Showing 1–8 of 8 results for author: Magee, T

Valuative independence and cluster theta reciprocity

Authors: Man-Wai Cheung, Timothy Magee, Travis Mandel, Greg Muller

Abstract: We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0} \operatorname{val}_v(\vartheta_u)$. As applications, we prove linear independence of theta functions with specialized coefficients and characterize when theta func… ▽ More We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0} \operatorname{val}_v(\vartheta_u)$. As applications, we prove linear independence of theta functions with specialized coefficients and characterize when theta functions for cluster varieties are unchanged by the unfreezing of an index. This yields a general gluing result for theta functions from moduli of local systems on marked surfaces. We then prove that theta functions for cluster varieties satisfy a symmetry property called theta reciprocity: briefly, $\operatorname{val}_v(\vartheta_u)=\operatorname{val}_u(\vartheta_v)$. For this we utilize a new framework called a "seed datum" for understanding cluster-type varieties. One may apply valuative independence and theta reciprocity together to identify theta function bases for global sections of line bundles on partial compactifications of cluster varieties. △ Less

Submitted 14 May, 2025; originally announced May 2025.

Comments: 54 pages

MSC Class: 13F60 (Primary) 14J33 (Secondary)

Fundamentals of Broken Line Convex Geometry

Authors: Juan Bosco Frías-Medina, Timothy Magee

Abstract: We develop the fundamentals of a new theory of convex geometry -- which we call "broken line convex geometry". This is a theory of convexity where the ambient space is the rational tropicalization of a cluster variety, as opposed to an ambient vector space. In this theory, line segments are replaced by broken line segments, and we adopt the notion of convexity in [CMN21]. We state and prove broken… ▽ More We develop the fundamentals of a new theory of convex geometry -- which we call "broken line convex geometry". This is a theory of convexity where the ambient space is the rational tropicalization of a cluster variety, as opposed to an ambient vector space. In this theory, line segments are replaced by broken line segments, and we adopt the notion of convexity in [CMN21]. We state and prove broken line convex geometry versions of many standard results from usual convex geometry. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: 34 pages, 6 figures. Feedback welcome

MSC Class: Primary: 52A01; Secondary: 14J33; 14M99; 13F60; 51M20

Newton--Okounkov bodies and minimal models for cluster varieties

Authors: Lara Bossinger, Man-Wai Cheung, Timothy Magee, Alfredo Nájera Chávez

Abstract: Let $Y$ be a (partial) minimal model of a scheme $V$ with a cluster structure. Under natural assumptions, for every choice of seed we associate a Newton--Okounkov body to every divisor on $Y$ supported on $Y \setminus V$ and show that these Newton--Okounkov bodies are positive sets in the sense of Gross, Hacking, Keel and Kontsevich \cite{GHKK}. This construction essentially reverses the procedure… ▽ More Let $Y$ be a (partial) minimal model of a scheme $V$ with a cluster structure. Under natural assumptions, for every choice of seed we associate a Newton--Okounkov body to every divisor on $Y$ supported on $Y \setminus V$ and show that these Newton--Okounkov bodies are positive sets in the sense of Gross, Hacking, Keel and Kontsevich \cite{GHKK}. This construction essentially reverses the procedure in loc. cit. that generalizes the polytope construction of a toric variety to the framework of cluster varieties. In a closely related setting, we consider cases where $Y$ is a projective variety whose universal torsor $\text{UT}_Y$ is a partial minimal model of a scheme with a cluster structure of type $\mathcal A$. If the theta functions parametrized by the integral points of the associated superpotential cone form a basis of the ring of algebraic functions on $\text{UT}_Y$ and the action of the torus $T_{\text{Pic}(Y)^*}$ on $\text{UT}_Y$ is compatible with the cluster structure, then for every choice of seed we associate a Newton--Okounkov body to every line bundle on $Y$. We prove that any such Newton--Okounkov body is a positive set and that $Y$ is a minimal model of a quotient of a cluster $\mathcal A$-variety by the action of a torus. Our constructions lead to the notion of the intrinsic Newton--Okounkov body associated to a boundary divisor in a partial minimal model of a scheme with a cluster structure. This provides a wide class of examples of Newton-Okoukov bodies exhibiting a wall-crossing phenomenon in the sense of Escobar--Harada \cite{EH20}. This approach includes the partial flag varieties that arise as minimal models of cluster varieties. For the case of Grassmannians, our approach recovers, up to interesting unimodular equivalences, the Newton--Okounkov bodies constructed by Rietsch--Williams in \cite{RW}. △ Less

Submitted 28 October, 2024; v1 submitted 8 May, 2023; originally announced May 2023.

Comments: 50 pages, comments are welcome

MSC Class: 14M25; 13F60; 14J33

Journal ref: Adv. Math.447(2024), Paper No. 109680, 72 pp

Quantization of deformed cluster Poisson varieties

Authors: Man-Wai Mandy Cheung, Juan Bosco Frías-Medina, Timothy Magee

Abstract: Fock and Goncharov described a quantization of cluster $\mathcal{X}$-varieties (also known as cluster Poisson varieties) in [FG09]. Meanwhile, families of deformations of cluster $\mathcal{X}$-varieties were introduced in [BFMNC18]. In this paper we show that the two constructions are compatible -- we extend the Fock-Goncharov quantization of $\mathcal{X}$-varieties to the families of [BFMNC18]. A… ▽ More Fock and Goncharov described a quantization of cluster $\mathcal{X}$-varieties (also known as cluster Poisson varieties) in [FG09]. Meanwhile, families of deformations of cluster $\mathcal{X}$-varieties were introduced in [BFMNC18]. In this paper we show that the two constructions are compatible -- we extend the Fock-Goncharov quantization of $\mathcal{X}$-varieties to the families of [BFMNC18]. As a corollary, we obtain that these families and each of their fibers have Poisson structures. We relate this construction to the Berenstein-Zelevinsky quantization of $\mathcal{A}$-varieties ([BZ05]). Finally, inspired by the counter-example to quantum positivity of the quantum greedy basis in [LLRZ14], we compute a counter-example to quantum positivity of the quantum theta basis. △ Less

Submitted 1 August, 2023; v1 submitted 5 July, 2020; originally announced July 2020.

Comments: 46 pages, 4 figures, 2 tables. We added Definition 3.5 in order to obtain a correct proof of Proposition 3.6 (formerly Proposition 3.5). We added a discussion of Definition 3.11 (formerly Definition 3.10) in which we describe the gluings in greater detail. Other minor corrections. To appear in Algebras and Representation Theory

MSC Class: 13F60 (Primary) 14D06; 81R60 (Secondary)

Compactifications of cluster varieties and convexity

Authors: Man-Wai Cheung, Timothy Magee, Alfredo Nájera Chávez

Abstract: In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster variety $V$ (of either type -- $\mathcal{A}$ or $\mathcal{X}$), and let $S$ be a closed subset of $\left(V^\vee\right)^{\text{trop}}(\mathbb{R})$ -- the ambient spac… ▽ More In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster variety $V$ (of either type -- $\mathcal{A}$ or $\mathcal{X}$), and let $S$ be a closed subset of $\left(V^\vee\right)^{\text{trop}}(\mathbb{R})$ -- the ambient space of $\mathfrak{D}$. The set $S$ is positive if the theta functions corresponding to the integral points of $S$ and its $\mathbb{N}$-dilations define an $\mathbb{N}$-graded subalgebra of $Γ(V, \mathcal{O}_V)[x]$. In particular, a positive set $S$ defines a compactification of $V$ through a Proj construction applied to the corresponding $\mathbb{N}$-graded algebra. In this paper we give a natural convexity notion for subsets of $\mathfrak{D}$, called "broken line convexity", and show that a set is positive if and only if it is broken line convex. The combinatorial criterion of broken line convexity provides a tractable way to construct positive subsets of $\mathfrak{D}$, or to check positivity of a given subset. △ Less

Submitted 27 January, 2021; v1 submitted 30 December, 2019; originally announced December 2019.

Comments: 40 pages, 19 figures, comments welcome. Added subsection 2.2.3 treating quotients and fibers of cluster varieties. The main theorem holds in this broader setting. To appear in IMRN

Toric degenerations of cluster varieties and cluster duality

Authors: Lara Bossinger, Bosco Frías-Medina, Timothy Magee, Alfredo Nájera Chávez

Abstract: We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: a cluster $\mathcal{X}$-variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed cluster $\mathcal{X}$-variety $\widehat{\mathcal{X}}$ to the toric variety associated to its $\mathbf{g}$-fan. Moreover, we show that the fibers of this fa… ▽ More We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: a cluster $\mathcal{X}$-variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed cluster $\mathcal{X}$-variety $\widehat{\mathcal{X}}$ to the toric variety associated to its $\mathbf{g}$-fan. Moreover, we show that the fibers of this family are stratified in a natural way, with strata the specially completed $\mathcal{X}$-varieties encoded by $\mathrm{Star}(τ)$ for each cone $τ$ of the $\mathbf{g}$-fan. These strata degenerate to the associated toric strata of the central fiber. We further show that the family is cluster dual to $\mathcal{A}_{\mathrm{prin}}$ of Gross-Hacking-Keel-Kontsevich, and the fibers cluster dual to $\mathcal{A}_t$. Finally, we give two applications. First, we use our construction to identify the Rietsch-Williams toric degeneration of Grassmannians with the Gross-Hacking-Keel-Kontsevich degeneration in the case of $\mathrm{Gr}_2(\mathbb{C}^5)$. Next, we use it to link cluster duality to Batyrev-Borisov duality of Gorenstein toric Fanos in the context of mirror symmetry. △ Less

Submitted 11 September, 2024; v1 submitted 21 September, 2018; originally announced September 2018.

Comments: 53 pages. Published in Compositio Mathematica. Fixed typo in Figure 1 -- thanks to Antoine Bourget for spotting this and pointing it out

MSC Class: 13F60; 14M25; 14D06

Journal ref: Compositio Math. 156 (2020) 2149-2206

Littlewood-Richardson coefficients via mirror symmetry for cluster varieties

Authors: Timothy Magee

Abstract: I prove that the full Fock-Goncharov conjecture holds for $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$-- the configuration space of triples of decorated flags in generic position. As a key ingredient of this proof, I exhibit a maximal green sequence for the quiver of the initial seed. I compute the Landau-Ginzburg potential $W$ on… ▽ More I prove that the full Fock-Goncharov conjecture holds for $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$-- the configuration space of triples of decorated flags in generic position. As a key ingredient of this proof, I exhibit a maximal green sequence for the quiver of the initial seed. I compute the Landau-Ginzburg potential $W$ on $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})^\vee$ associated to the partial minimal model $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell}) \subset \mathrm{Conf}_3(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$. The integral points of the associated "cone" ${Ξ:=\left\{W^T \geq 0\right\} \subset \mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})^\vee\left({\mathbb{R}^T}\right)}$ parametrize a basis for $\mathcal{O}\left(\mathrm{Conf}_3(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})\right) = \bigoplus \left(V_α\otimes V_β\otimes V_γ\right)^G$ and encode the Littlewood-Richardson coefficients $c^γ_{αβ}$. In the initial seed, the inequalities defining $Ξ$ are exactly Zelevinsky's tail positivity conditions. I exhibit a unimodular $p^*$ map that identifies $W$ with the potential of Goncharov-Shen on $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$ and $Ξ$ with the Knutson-Tao hive cone. △ Less

Submitted 1 December, 2019; v1 submitted 18 September, 2017; originally announced September 2017.

Comments: 51 pages, Many of the proofs are lifted from [Mag15]. See Remark 3. To appear in P. Lond. Math. Soc

Fock-Goncharov conjecture and polyhedral cones for $U \subset SL_n$ and base affine space $SL_n /U$

Authors: Timothy Magee

Abstract: I prove several conjectures of \cite{GHKK} on the cluster structure of $SL_n$, which in particular imply the full Fock-Goncharov conjecture for the open double Bruhat cell $\mathcal{A} \subset SL_n/U$, for $U \subset SL_n$ a maximal unipotent subgroup. This endows the mirror cluster variety $\mathcal{X}$ with a canonical potential function $W$, and determines a canonical cone… ▽ More I prove several conjectures of \cite{GHKK} on the cluster structure of $SL_n$, which in particular imply the full Fock-Goncharov conjecture for the open double Bruhat cell $\mathcal{A} \subset SL_n/U$, for $U \subset SL_n$ a maximal unipotent subgroup. This endows the mirror cluster variety $\mathcal{X}$ with a canonical potential function $W$, and determines a canonical cone $W^T \geq 0 \subset \mathcal{X}\left(\mathbb{R}^T\right)$ of the mirror tropical space, whose integer points parametrize a basis of $H^0\left(SL_n/U,\mathcal{O}_{SL_n/U}\right)$, canonically determined by the open subset $\mathcal{A} \subset SL_n/U$. Each choice of seed identifies $\mathcal{X}\left(\mathbb{R}^T\right)$ with a real vector space, and $W^T \geq 0$ with a system of linear equations with integer coefficients, cutting out a polyhedral cone. We obtain in this way (generally) infinitely many parameterizations of the canonical basis as integer points of a polyhedral cone. For the usual initial seed of the double Bruhat cell, we recover the parametrizations of Berenstein-Kazhdan\cite{BKaz,BKaz2} and Berenstein-Zelevinsky\cite{BZ96} by integer points of the Gelfand-Tsetlin cone. △ Less

Submitted 12 February, 2015; originally announced February 2015.