Showing 1–26 of 26 results for author: Cheung, M

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)

Regression Conformal Prediction under Bias

Authors: Matt Y. Cheung, Tucker J. Netherton, Laurence E. Court, Ashok Veeraraghavan, Guha Balakrishnan

Abstract: Uncertainty quantification is crucial to account for the imperfect predictions of machine learning algorithms for high-impact applications. Conformal prediction (CP) is a powerful framework for uncertainty quantification that generates calibrated prediction intervals with valid coverage. In this work, we study how CP intervals are affected by bias - the systematic deviation of a prediction from gr… ▽ More Uncertainty quantification is crucial to account for the imperfect predictions of machine learning algorithms for high-impact applications. Conformal prediction (CP) is a powerful framework for uncertainty quantification that generates calibrated prediction intervals with valid coverage. In this work, we study how CP intervals are affected by bias - the systematic deviation of a prediction from ground truth values - a phenomenon prevalent in many real-world applications. We investigate the influence of bias on interval lengths of two different types of adjustments -- symmetric adjustments, the conventional method where both sides of the interval are adjusted equally, and asymmetric adjustments, a more flexible method where the interval can be adjusted unequally in positive or negative directions. We present theoretical and empirical analyses characterizing how symmetric and asymmetric adjustments impact the "tightness" of CP intervals for regression tasks. Specifically for absolute residual and quantile-based non-conformity scores, we prove: 1) the upper bound of symmetrically adjusted interval lengths increases by $2|b|$ where $b$ is a globally applied scalar value representing bias, 2) asymmetrically adjusted interval lengths are not affected by bias, and 3) conditions when asymmetrically adjusted interval lengths are guaranteed to be smaller than symmetric ones. Our analyses suggest that even if predictions exhibit significant drift from ground truth values, asymmetrically adjusted intervals are still able to maintain the same tightness and validity of intervals as if the drift had never happened, while symmetric ones significantly inflate the lengths. We demonstrate our theoretical results with two real-world prediction tasks: sparse-view computed tomography (CT) reconstruction and time-series weather forecasting. Our work paves the way for more bias-robust machine learning systems. △ Less

Submitted 7 October, 2024; originally announced October 2024.

Comments: 17 pages, 6 figures, code available at: https://github.com/matthewyccheung/conformal-metric

Dihedral Tilings of the Sphere by Regular Polygons and Quadrilaterals II: Regular Polygons with High Gonality and Rhombi

Authors: Ho Man Cheung, Hoi Ping Luk

Abstract: We classify the dihedral edge-to-edge tilings of the sphere by regular polygons with gonality at least 5 and rhombi. We classify the dihedral edge-to-edge tilings of the sphere by regular polygons with gonality at least 5 and rhombi. △ Less

Submitted 9 March, 2024; originally announced March 2024.

Comments: 23 pages, 21 figures. arXiv admin note: text overlap with arXiv:2403.05941

MSC Class: 05B45; 52C20; 51M09; 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

Clustering Cluster Algebras with Clusters

Authors: Man-Wai Cheung, Pierre-Philippe Dechant, Yang-Hui He, Elli Heyes, Edward Hirst, Jian-Rong Li

Abstract: 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 num… ▽ More 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. △ Less

Submitted 19 December, 2022; originally announced December 2022.

Comments: 32 pages; 14 figures

Report number: LIMS-2022-025

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

Authors: Jenny August, Man-Wai Cheung, Eleonore Faber, Sira Gratz, Sibylle Schroll

Abstract: 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,… ▽ More 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. △ Less

Submitted 30 May, 2022; originally announced May 2022.

Comments: 23 pages, comments welcome

Rational Angles and Tilings of the Sphere by Congruent Quadrilaterals

Authors: Ho Man Cheung, Hoi Ping Luk

Abstract: We apply Diophantine analysis to classify edge-to-edge tilings of the sphere by congruent almost equilateral quadrilaterals (i.e., edge combination a3b). Parallel to a complete classification by Cheung, Luk and Yan, the method implemented here is more systematic and applicable to other related tiling problems. We also provide detailed geometric data for the tilings. We apply Diophantine analysis to classify edge-to-edge tilings of the sphere by congruent almost equilateral quadrilaterals (i.e., edge combination a3b). Parallel to a complete classification by Cheung, Luk and Yan, the method implemented here is more systematic and applicable to other related tiling problems. We also provide detailed geometric data for the tilings. △ Less

Submitted 3 August, 2022; v1 submitted 6 April, 2022; originally announced April 2022.

Comments: 79 pages, 41 figures, 16 tables, 2 algorithms. Spherical Geometry

MSC Class: 05B45; 52C20; 51M09; 11Y50

Tilings of the Sphere by Congruent Quadrilaterals or Triangles

Authors: Ho Man Cheung, Hoi Ping Luk, Min Yan

Abstract: We completely classify edge-to-edge tilings of the sphere by congruent quadrilaterals. As part of the classification, we also present a modern version of the classification of edge-to-edge tilings of the sphere by congruent triangles. Together with our series of papers that classifies edge-to-edge tilings of the sphere by congruent pentagons, we complete the classification of edge-to-edge tilings… ▽ More We completely classify edge-to-edge tilings of the sphere by congruent quadrilaterals. As part of the classification, we also present a modern version of the classification of edge-to-edge tilings of the sphere by congruent triangles. Together with our series of papers that classifies edge-to-edge tilings of the sphere by congruent pentagons, we complete the classification of edge-to-edge tilings of the sphere by congruent polygons. △ Less

Submitted 8 February, 2024; v1 submitted 6 April, 2022; originally announced April 2022.

Comments: 135 pages, 76 figures. slight update on the notations and constructions for tilings

MSC Class: 05B45; 52C20; 51M20

Zeta function of projective hypersurfaces with ADE singularities

Authors: Matthew Cheung

Abstract: Given a hypersurface, $X$, prime $p$, the zeta function is a generating function for the number of $\mathbb{F}_{p}$ rational points of $X$. Until now, there is no algorithm for computing hypersurfaces with ADE singularities. Scott Stetson and Vladimir Baranovsky provided an algorithm with Mathematica for the ordinary double point case. In this paper, I go over a Sage algorithm for computing the ze… ▽ More Given a hypersurface, $X$, prime $p$, the zeta function is a generating function for the number of $\mathbb{F}_{p}$ rational points of $X$. Until now, there is no algorithm for computing hypersurfaces with ADE singularities. Scott Stetson and Vladimir Baranovsky provided an algorithm with Mathematica for the ordinary double point case. In this paper, I go over a Sage algorithm for computing the zeta function of a hypersurface with ADE singularities over 3-dimensional projective space. To make the algorithm more efficient, I established an equivalence between a polynomial belonging to the Jacobian ideal with a polynomial satisfying a set of differential operators. △ Less

Submitted 3 January, 2022; v1 submitted 20 November, 2021; originally announced November 2021.

Scattering Diagrams from Holomorphic Discs in Log Calabi-Yau Surfaces

Authors: Sam Bardwell-Evans, Man-Wai Mandy Cheung, Hansol Hong, Yu-Shen Lin

Abstract: We construct special Lagrangian fibrations for log Calabi-Yau surfaces, and scattering diagrams from Lagrangian Floer theory of the fibres. Then we prove that the scattering diagrams recover the scattering diagrams of Gross-Pandharipande-Siebert and the canonical scattering diagrams of Gross-Hacking-Keel. With an additional assumption on the non-negativity of boundary divisors, we compute the disc… ▽ More We construct special Lagrangian fibrations for log Calabi-Yau surfaces, and scattering diagrams from Lagrangian Floer theory of the fibres. Then we prove that the scattering diagrams recover the scattering diagrams of Gross-Pandharipande-Siebert and the canonical scattering diagrams of Gross-Hacking-Keel. With an additional assumption on the non-negativity of boundary divisors, we compute the disc potentials of the Lagrangian torus fibres via a holomorphic/tropical correspondence. As an application, we provide a version of mirror symmetry for rank two cluster varieties. △ Less

Submitted 4 April, 2024; v1 submitted 28 October, 2021; originally announced October 2021.

Comments: 61 pages, 9 figures. comments are welcome; v2. exposition improved, accepted version

MSC Class: 53D40; 53D37; 13F60

Cluster scattering diagrams and theta functions for reciprocal generalized cluster algebras

Authors: Man-Wai Mandy Cheung, Elizabeth Kelley, Gregg Musiker

Abstract: We give a construction of generalized cluster varieties and generalized cluster scattering diagrams for reciprocal generalized cluster algebras, the latter of which were defined by Chekhov and Shapiro. These constructions are analogous to the structures given for ordinary cluster algebras in the work of Gross, Hacking, Keel, and Kontsevich. As a consequence of these constructions, we are also able… ▽ More We give a construction of generalized cluster varieties and generalized cluster scattering diagrams for reciprocal generalized cluster algebras, the latter of which were defined by Chekhov and Shapiro. These constructions are analogous to the structures given for ordinary cluster algebras in the work of Gross, Hacking, Keel, and Kontsevich. As a consequence of these constructions, we are also able to construct theta functions for generalized cluster algebras, again in the reciprocal case, and demonstrate a number of their structural properties. △ Less

Submitted 28 November, 2022; v1 submitted 15 October, 2021; originally announced October 2021.

Comments: Updated to reflect reviewers' comments and to use the preferred journal formatting

MSC Class: 13F60

Tilings of the Sphere by Congruent Quadrilaterals with Exactly Two Equal Edges

Authors: Ho Man Cheung, Hoi Ping Luk

Abstract: In this paper we give a classification of tilings of the sphere by congruent quadrilaterals with exactly two equal edges. The tilings are the earth map tilings, $(p,q)$-earth map tilings and their flip modifications, and quadrilateral subdivisions of the cube and the triangular prism. We described the ranges of values of the edges and angles for the tile to be geometrically realisable. The symmetr… ▽ More In this paper we give a classification of tilings of the sphere by congruent quadrilaterals with exactly two equal edges. The tilings are the earth map tilings, $(p,q)$-earth map tilings and their flip modifications, and quadrilateral subdivisions of the cube and the triangular prism. We described the ranges of values of the edges and angles for the tile to be geometrically realisable. The symmetry groups of the tilings are also determined. △ Less

Submitted 3 September, 2021; v1 submitted 14 August, 2021; originally announced August 2021.

Comments: 75 pages, 32 figures

MSC Class: 05B45

Some Examples of Family Floer Mirrors

Authors: Man-Wai Mandy Cheung, Yu-Shen Lin

Abstract: In this article, we give explicit calculations for the family Floer mirrors of some non-compact Calabi-Yau surfaces. We compare it with the mirror construction of Gross-Hacking-Keel for suitably chosen log Calabi-Yau pairs and the rank two cluster varieties of finite type. In particular, the analytifications of the later two give partial compactifications of the family Floer mirrors that we comput… ▽ More In this article, we give explicit calculations for the family Floer mirrors of some non-compact Calabi-Yau surfaces. We compare it with the mirror construction of Gross-Hacking-Keel for suitably chosen log Calabi-Yau pairs and the rank two cluster varieties of finite type. In particular, the analytifications of the later two give partial compactifications of the family Floer mirrors that we computed. △ Less

Submitted 18 March, 2024; v1 submitted 18 January, 2021; originally announced January 2021.

Comments: 38 pages, 15 figures, comments are welcome. More details are added to the new version

Algebraic and symplectic viewpoint on compactifications of two-dimensional cluster varieties of finite type

Authors: Man-Wai Mandy Cheung, Renato Vianna

Abstract: In this article we explore compactifications of cluster varieties of finite type in complex dimension two. Cluster varieties can be viewed as the spec of a ring generated by theta functions and a compactification of such varieties can be given by a grading on that ring, which can be described by positive polytopes [17]. In the examples we exploit, the cluster variety can be interpreted as the comp… ▽ More In this article we explore compactifications of cluster varieties of finite type in complex dimension two. Cluster varieties can be viewed as the spec of a ring generated by theta functions and a compactification of such varieties can be given by a grading on that ring, which can be described by positive polytopes [17]. In the examples we exploit, the cluster variety can be interpreted as the complement of certain divisors in del Pezzo surfaces. In the symplectic viewpoint, they can be described via almost toric fibrations over $\R^2$ (after completion). Once identifying them as almost toric manifolds, one can symplectically view them inside other del Pezzo surfaces. So we can identify other symplectic compactifications of the same cluster variety, which we expect should also correspond to different algebraic compactifications. Both viewpoints are presented here and several compactifications have their corresponding polytopes compared. The finiteness of the cluster mutations are explored to provide cycles in the graph describing monotone Lagrangian tori in del Pezzo surfaces connected via almost toric mutation [34]. △ Less

Submitted 18 February, 2021; v1 submitted 7 August, 2020; originally announced August 2020.

Journal ref: 2019-20 MATRIX Annals pp 567-602

Categories for Grassmannian cluster algebras of infinite rank

Authors: Jenny August, Man-Wai Cheung, Eleonore Faber, Sira Gratz, Sibylle Schroll

Abstract: 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… ▽ More 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. △ Less

Submitted 29 January, 2023; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: V2: revision, title change. Revised version to appear in IMRN

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

Theta functions and quiver Grassmannians

Authors: Man-Wai Cheung

Abstract: 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 fu… ▽ More 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. △ Less

Submitted 28 June, 2019; originally announced June 2019.

Comments: 40 pages, 5 figures

MSC Class: 13F60; 14E18; 16G20; 18G99

The Model Orbit in $G_2$

Authors: Man-Wai Cheung

Abstract: 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. 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. △ Less

Submitted 2 March, 2019; originally announced March 2019.

Comments: 11 pages

MSC Class: 16Gxx

Donaldson-Thomas invariants from tropical disks

Authors: Man-Wai Cheung, Travis Mandel

Abstract: 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 whi… ▽ More 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. △ Less

Submitted 29 July, 2020; v1 submitted 14 February, 2019; originally announced February 2019.

Comments: 38 pages, 7 figures; published version

MSC Class: 14N35 (Primary) 14T99; 13F60; 14N10 (Secondary)

Journal ref: Selecta Math. (N.S.) vol. 26 (2020), no. 57

Symmetrizing Tableaux and the 5th case of the Foulkes Conjecture

Authors: Man-Wai Cheung, Christian Ikenmeyer, Sevak Mkrtchyan

Abstract: 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 To… ▽ More 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. △ Less

Submitted 13 September, 2015; originally announced September 2015.

Comments: 14 pages

MSC Class: 20C30; 20C40; 14-04

The greedy basis equals the theta basis

Authors: Man Wai Cheung, Mark Gross, Greg Muller, Gregg Musiker, Dylan Rupel, Salvatore Stella, Harold Williams

Abstract: We prove the equality of two canonical bases of a rank 2 cluster algebra, the greedy basis of Lee-Li-Zelevinsky and the theta basis of Gross-Hacking-Keel-Kontsevich. We prove the equality of two canonical bases of a rank 2 cluster algebra, the greedy basis of Lee-Li-Zelevinsky and the theta basis of Gross-Hacking-Keel-Kontsevich. △ Less

Submitted 7 August, 2015; v1 submitted 6 August, 2015; originally announced August 2015.

Comments: 17 pages

Journal ref: J. Comb. Theory (Series A) 145 (2017), pp. 150-171

Faithful realizability of tropical curves

Authors: Man-Wai Cheung, Lorenzo Fantini, Jennifer Park, Martin Ulirsch

Abstract: 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 metr… ▽ More 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. △ Less

Submitted 20 August, 2015; v1 submitted 15 October, 2014; originally announced October 2014.

Comments: 16 pages, introduction improved and other minor modifications, to appear in IMRN, comments very welcome!

MSC Class: 14T05

Journal ref: Int. Math. Res. Not. IMRN, no. 15, 4706-4727, 2016

Tilings of the Sphere by Congruent Pentagons I

Authors: Ka Yue Cheuk, Ho Man Cheung, Min Yan

Abstract: We show that there are no edge-to-edge tilings of the sphere by congruent pentagons beyond the minimal dodecahedron tiling, such that there is a tile with all vertices having degree 3 and the edge length combinations are three of the five possibilities. We show that there are no edge-to-edge tilings of the sphere by congruent pentagons beyond the minimal dodecahedron tiling, such that there is a tile with all vertices having degree 3 and the edge length combinations are three of the five possibilities. △ Less

Submitted 7 March, 2018; v1 submitted 8 October, 2013; originally announced October 2013.

Comments: 33 pages, 22 figures

Tilings of the Sphere by Edge Congruent Pentagons

Authors: Ka Yue Cheuk, Ho Man Cheung, Min Yan

Abstract: We study edge-to-edge tilings of the sphere by edge congruent pentagons, under the assumption that there are tiles with all vertices having degree 3. We develop the technique of neighborhood tilings and apply the technique to completely classify edge congruent earth map tilings. We study edge-to-edge tilings of the sphere by edge congruent pentagons, under the assumption that there are tiles with all vertices having degree 3. We develop the technique of neighborhood tilings and apply the technique to completely classify edge congruent earth map tilings. △ Less

Submitted 13 April, 2013; v1 submitted 4 January, 2013; originally announced January 2013.

Comments: 36 pages, 34 figures

MSC Class: 05B45; 52C20

Ricci flow and curvature on the variety of flags on the two dimensional projective space over the complexes, quaternions and the octonions

Authors: Man-Wai Cheung, Nolan R. Wallach

Abstract: For homogeneous metrics on the spaces of the title it is shown that the Ricci flow can move a metric of stricly positive sectional curvature to one with some negative sectional curvature and one of positive definite Ricci tensor to one with indefinite signature. For homogeneous metrics on the spaces of the title it is shown that the Ricci flow can move a metric of stricly positive sectional curvature to one with some negative sectional curvature and one of positive definite Ricci tensor to one with indefinite signature. △ Less

Submitted 30 June, 2012; v1 submitted 12 June, 2012; originally announced June 2012.

Journal ref: Proc. Amer. Math. Soc. 143 (2015), 369-378