Searcharxiv⌕ Search

arXiv subjects

Man-Wai Cheung

Publications and source records attributed to Man-Wai Cheung.

12 recordsLinked to original sources
arXiv2025

Valuative independence and cluster theta reciprocity

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.

math.AG↗
arXiv2023

Newton--Okounkov bodies and minimal models for cluster varieties

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}.

math.AG↗
arXiv2023

Categories for Grassmannian cluster algebras of infinite rank

We construct Grassmannian categories of infinite rank, providing an infinite analogue of the Grassmannian cluster categories introduced by Jensen, King, and Su. Each Grassmannian category of infinite rank is given as the category of graded maximal Cohen-Macaulay modules over a certain hypersurface singularity. We show that generically free modules of rank $1$ in a Grassmannian category of infinite rank are in bijection with the Plücker coordinates in an appropriate Grassmannian cluster algebra of infinite rank. Moreover, this bijection is structure preserving, as it relates rigidity in the category to compatibility of Plücker coordinates. Along the way, we develop a combinatorial formula to compute the dimension of the $\mathrm{Ext}^1$-spaces between any two generically free modules of rank $1$ in the Grassmannian category of infinite rank.

math.RT↗
arXiv2022

Clustering Cluster Algebras with Clusters

Classification of cluster variables in cluster algebras (in particular, Grassmannian cluster algebras) is an important problem, which has direct application to computations of scattering amplitudes in physics. In this paper, we apply the tableaux method to classify cluster variables in Grassmannian cluster algebras $\mathbb{C}[Gr(k,n)]$ up to $(k,n)=(3,12), (4,10)$, or $(4,12)$ up to a certain number of columns of tableaux, using HPC clusters. These datasets are made available on GitHub. Supervised and unsupervised machine learning methods are used to analyse this data and identify structures associated to tableaux corresponding to cluster variables. Conjectures are raised associated to the enumeration of tableaux at each rank and the tableaux structure which creates a cluster variable, with the aid of machine learning.

hep-th↗
arXiv2022

Cluster structures for the $A_{\infty}$ singularity

We study a category $\mathcal{C}_2$ of $\mathbb{Z}$-graded MCM modules over the $A_\infty$ curve singularity and demonstrate it has infinite type $A$ cluster combinatorics. In particular, we show that this Frobenius category (or a suitable subcategory) is stably equivalent to the infinite type $A$ cluster categories of Holm-Jorgensen, Fisher and Paquette-Yildirim. As a consequence, $\mathcal{C}_2$ has cluster tilting subcategories modelled by certain triangulations of the (completed) $\infty$-gon. We use the Frobenius structure to extend this further to consider maximal almost rigid subcategories, and show that these subcategories and their mutations exhibit the combinatorics of the completed $\infty$-gon.

math.RT↗
arXiv2021

Compactifications of cluster varieties and convexity

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.

math.AG↗
arXiv2020

Donaldson-Thomas invariants from tropical disks

We prove that the quantum DT invariants associated to quivers with genteel potential can be expressed in terms of certain refined counts of tropical disks. This is based on a quantum version of Bridgeland's description of cluster scattering diagrams in terms of stabilitiy conditions, plus a new version of the description of scattering diagrams in terms of tropical disk counts. The weights with which the tropical disks are counted are expressed in terms of motivic integrals of certain quiver flag varieties. We also show via explicit counterexample that Hall algebra broken lines do not result in consistent Hall algebra theta functions, i.e., they violate the extension of a lemma of Carl-Pumperla-Siebert from the classical setting.

math.AG↗
arXiv2019

Theta functions and quiver Grassmannians

In this article, we use the relationship between cluster scattering diagrams and stability scattering diagrams to relate quiver representations with these diagrams. With a notion of positive crossing of a path $γ$, we show that if $γ$ has positive crossing in the scattering diagram, then it goes in the opposite direction of the Auslander-Reiten quiver of $Q$. We then give the Hall algebra theta functions which recover the cluster character formula by the Euler characteristic map. At last, we define the Hall algebra broken lines and then are able to give the stratification of the quiver Grassmannians by the bending of the broken lines.

math.AG↗
arXiv2019

The Model Orbit in $G_2$

In this article, we decompose the ring of regular functions on the nilpotent orbit of dimension 8 for the complex $G_2$ in which every irreducible representation of $G_2$ appears exactly once. This confirms the predication of McGovern and we have shown that his proposed representation attaching to this orbit is unitarizable.

math.RT↗
arXiv2015

Symmetrizing Tableaux and the 5th case of the Foulkes Conjecture

The Foulkes conjecture states that the multiplicities in the plethysm Sym^a(Sym^b V) are at most as large as the multiplicities in the plethysm Sym^b(Sym^a V) for all a <= b. This conjecture has been known to be true for a <= 4. The main result of this paper is its verification for a = 5. This is achieved by performing a combinatorial calculation on a computer and using a propagation theorem of Tom McKay from 2008. Moreover, we obtain a complete representation theoretic decomposition of the vanishing ideal of the 5th Chow variety in degree 5, we show that there are no degree 5 equations for the 6th Chow variety, and we also find some representation theoretic degree 6 equations for the 6th Chow variety.

math.RT↗
arXiv2015

Faithful realizability of tropical curves

We study whether a given tropical curve $Γ$ in $\mathbb{R}^n$ can be realized as the tropicalization of an algebraic curve whose non-archimedean skeleton is faithfully represented by $Γ$. We give an affirmative answer to this question for a large class of tropical curves that includes all trivalent tropical curves, but also many tropical curves of higher valence. We then deduce that for every metric graph $G$ with rational edge lengths there exists a smooth algebraic curve in a toric variety whose analytification has skeleton $G$, and the corresponding tropicalization is faithful. Our approach is based on a combination of the theory of toric schemes over discrete valuation rings and logarithmically smooth deformation theory, expanding on a framework introduced by Nishinou and Siebert.

math.AG↗