Showing 1–43 of 43 results for author: Manon, C

Gorenstein-Fano polytopes and compactifications of rank 2 polyptych lattices

Authors: Adrian Cook, Laura Escobar, Megumi Harada, Christopher Manon

Abstract: The notion of polyptych lattices, introduced by Escobar, Harada, and Manon, wraps the data of a collection of lattices related by piecewise-linear bijections together into a single semi-algebraic object, equipped with its own notions of convexity and polyhedra. The main purpose of this manuscript is to construct an explicit family of polyptych lattices, and to illustrate via explicit computations… ▽ More The notion of polyptych lattices, introduced by Escobar, Harada, and Manon, wraps the data of a collection of lattices related by piecewise-linear bijections together into a single semi-algebraic object, equipped with its own notions of convexity and polyhedra. The main purpose of this manuscript is to construct an explicit family of polyptych lattices, and to illustrate via explicit computations the abstract theory introduced by Escobar-Harada-Manon. Specifically, we first construct a family of rank-$2$ polyptych lattices $\mathcal{M}_s$ with $2$ charts, compute their space of points, and prove that they are full and self-dual. We then give a concrete sample computation of a point-convex hull in $\mathcal{M}_s \otimes \mathbb{R}$ to illustrate that convex geometry in the polyptych lattice setting can exhibit phenomena not seen in the classical situation. We also give multiple examples of $2$-dimensional ``chart-Gorenstein-Fano'' polytopes, which give rise to pairs of mutation-related $2$-dimensional (classical) Gorenstein-Fano polytopes. Finally, we produce detropicalizations $(\mathcal{A}_s, \mathfrak{v}_s)$ of $\mathcal{M}_s$, and in the case $s=1$ where the detropicalization is a UFD, and with respect to a certain choice of PL polytope $\mathcal{P}$, we give an explicit generators-and-relations presentation of the (finitely generated) Cox ring of the compactification $X_{\mathcal{A}_s}(\mathcal{P})$ of $\mathrm{Spec}(\mathcal{A}_s)$ with respect to $\mathcal{P}$. △ Less

Submitted 3 August, 2024; originally announced August 2024.

Comments: 25 pages. Comments welcome

MSC Class: Primary: 14M15; Secondary: 13F60; 14T15; 14T20

Geometric families of degenerations from mutations of polytopes

Authors: Laura Escobar, Megumi Harada, Christopher Manon

Abstract: We introduce the notion of a polyptych lattice, which encodes a collection of lattices related by piecewise linear bijections. We initiate a study of the new theory of convex geometry and polytopes associated to polyptych lattices. In certain situations, such a polytope associated to a polyptych lattice encodes a compactification of an affine variety whose coordinate ring can be equipped with a va… ▽ More We introduce the notion of a polyptych lattice, which encodes a collection of lattices related by piecewise linear bijections. We initiate a study of the new theory of convex geometry and polytopes associated to polyptych lattices. In certain situations, such a polytope associated to a polyptych lattice encodes a compactification of an affine variety whose coordinate ring can be equipped with a valuation into a certain semialgebra associated to the polyptych lattice. We show that aspects of the geometry of the compactification can be understood combinatorially; for instance, under some hypotheses, the resulting compactifications are arithmetically Cohen-Macaulay, and have finitely generated class group and finitely generated Cox rings. △ Less

Submitted 3 August, 2024; originally announced August 2024.

Comments: 58 pages. Comments welcome

MSC Class: Primary: 14M15; 52B20; Secondary: 13F60; 14T15; 14T20

Equivariant vector bundles on complexity-one T-varieties and Bruhat-Tits buildings

Authors: Jyoti Dasgupta, Chandranandan Gangopadhyay, Kiumars Kaveh, Christopher Manon

Abstract: We give a combinatorial classification of torus equivariant vector bundles on a (normal) projective T-variety of complexity-one. This extends the classification of equivariant line bundles on complexity-one T-varieties by Petersen-Süss on one hand, and Klyachko's classification of equivariant vector bundles on toric varieties on the other hand. A main ingredient in our classification is the classi… ▽ More We give a combinatorial classification of torus equivariant vector bundles on a (normal) projective T-variety of complexity-one. This extends the classification of equivariant line bundles on complexity-one T-varieties by Petersen-Süss on one hand, and Klyachko's classification of equivariant vector bundles on toric varieties on the other hand. A main ingredient in our classification is the classification of torus equivariant vector bundles on toric schemes over a DVR in terms of piecewise affine maps to the (extended) Bruhat-Tits building of the general linear group. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Comments: 29 pages, 1 figure. arXiv admin note: text overlap with arXiv:2402.18712

MSC Class: 14L30 (primary); 20E42 (secondary)

Tropical vector bundles and matroids

Authors: Kiumars Kaveh, Christopher Manon

Abstract: We introduce a notion of tropical vector bundle on a tropical toric variety which is a tropical analogue of a torus equivariant vector bundle on a toric variety. Alternatively it can be called a toric matroid bundle. We define equivariant $K$-theory and characteristic classes of these bundles. As a particular case, we show that any matroid comes with tautological tropical toric vector bundles over… ▽ More We introduce a notion of tropical vector bundle on a tropical toric variety which is a tropical analogue of a torus equivariant vector bundle on a toric variety. Alternatively it can be called a toric matroid bundle. We define equivariant $K$-theory and characteristic classes of these bundles. As a particular case, we show that any matroid comes with tautological tropical toric vector bundles over the permutahedral toric variety and the corresponding equivariant $K$-classes and Chern classes recover the tautological classes of matroids constructed in the recent work of Berger-Eur-Spink-Tseng. In analogy with toric vector bundles, we define sheaf of sections and Euler characteristic as well as positivity notions such as global generation, ampleness and nefness for tropical toric vector bundles. Moreover, we prove a vanishing of higher cohomologies result. Finally, we study the splitting of our tropical toric vector bundles and, in particular, an analogue of Grothendieck's theorem on splitting of vector bundles on projective line. △ Less

Submitted 13 August, 2024; v1 submitted 6 May, 2024; originally announced May 2024.

Comments: Title changed. We now call the main combinatorial objects introduced in the paper "tropical toric vector bundles" (previously we called them "toric matroid bundles"). New material added, in particular a theorem about vanishing of higher cohomologies (after tensoring with a high power of an ample line bundle) was added. 38 pages, 3 figures

MSC Class: 14M25 (Primary) 52B40; 14T90 (Secondary)

Equivariant Chern Classes of Toric Vector Bundles over a DVR and Bruhat--Tits Buildings

Authors: Ana María Botero, Kiumars Kaveh, Christopher Manon

Abstract: We define equivariant Chern classes of a toric vector bundle over a proper toric scheme over a DVR. We provide a combinatorial description of them in terms of piecewise polynomial functions on the polyhedral complex associated to the toric scheme, which factorize through to an extended Bruhat--Tits building. We further motivate this definition from an arithmetic perspective, connecting to the non-… ▽ More We define equivariant Chern classes of a toric vector bundle over a proper toric scheme over a DVR. We provide a combinatorial description of them in terms of piecewise polynomial functions on the polyhedral complex associated to the toric scheme, which factorize through to an extended Bruhat--Tits building. We further motivate this definition from an arithmetic perspective, connecting to the non-Archimedean Arakelov theory of toric varieties. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: Comments welcome!

MSC Class: 14M25; 51E24; 14C17

Algebra and Geometry of Irreducible toric vector bundles of rank $n$ on $\mathbb{P}^n$

Authors: Courtney George, Christopher Manon

Abstract: We construct a presentation for the Cox ring of the projectivization $\mathbb{P}\mathcal{E}$ of any rank $n$ irreducible toric vector bundle on $\mathbb{P}^n$. We use this presentation to show that $\mathbb{P}\mathcal{E}$ always satisfies Fujita's freeness and ampleness conjectures. We construct a presentation for the Cox ring of the projectivization $\mathbb{P}\mathcal{E}$ of any rank $n$ irreducible toric vector bundle on $\mathbb{P}^n$. We use this presentation to show that $\mathbb{P}\mathcal{E}$ always satisfies Fujita's freeness and ampleness conjectures. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Comments: 18 pages, 2 figures

MSC Class: 14M25; 14T05; 05E10; 13A50

Positivity properties of divisors on Toric Vector Bundles

Authors: Courtney George, Christopher Manon

Abstract: We use presentations of the Cox rings of projectivized toric vector bundles and elements of matroid theory to compute Newton-Okounkov bodies, effective cones, and nef cones of these spaces. As an application we analyze the Fano property and establish Fujita's freeness and ampleness conjectures for several classes of projectivized toric vector bundles. We use presentations of the Cox rings of projectivized toric vector bundles and elements of matroid theory to compute Newton-Okounkov bodies, effective cones, and nef cones of these spaces. As an application we analyze the Fano property and establish Fujita's freeness and ampleness conjectures for several classes of projectivized toric vector bundles. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Comments: 30 pages, 2 figures

MSC Class: 14M25; 14T05; 05E10; 13A50

Toric vector bundles, valuations and tropical geometry

Authors: Kiumars Kaveh, Christopher Manon

Abstract: A toric vector bundle $\mathcal{E}$ is a torus equivariant vector bundle on a toric variety. We give a valuation theoretic and tropical point of view on toric vector bundles. We present three (equivalent) classifications of toric vector bundles, which should be regarded as repackagings of the Klyachko data of compatible $\mathbb{Z}$-filtrations of a toric vector bundle: (1) as piecewise linear map… ▽ More A toric vector bundle $\mathcal{E}$ is a torus equivariant vector bundle on a toric variety. We give a valuation theoretic and tropical point of view on toric vector bundles. We present three (equivalent) classifications of toric vector bundles, which should be regarded as repackagings of the Klyachko data of compatible $\mathbb{Z}$-filtrations of a toric vector bundle: (1) as piecewise linear maps to space of $\mathbb{Z}$-valued valuations, (2) as valuations with values in the semifield of piecewise linear functions, and (3) as points in tropical linear ideals over the semifield of piecewise linear functions. Moreover, we interpret the known criteria for ampleness and global generation of $\mathcal{E}$ as convexity conditions on its piecewise linear map in (1). Finally, using (2) we associate to $\mathcal{E}$ a collection of polytopes indexed by elements of a certain (representable) matroid encoding the dimensions of weight spaces of global sections of $\mathcal{E}$. This recovers and extends the Di Rocco-Jabbusch-Smith matriod and parliament of polytopes of $\mathcal{E}$. This is a follow up paper to arXiv:1806.05613. △ Less

Submitted 21 April, 2023; originally announced April 2023.

Comments: 28 pages, 3 figures. The paper is an expanded and thoroughly revised version of the second half of an early version of arXiv:1806.05613. Following the advice of the referee for arXiv:1806.05613, this second half was removed and made into the present paper

MSC Class: 14M25 (Primary); 14T15; 14J60 (Secondary)

A Fano compactification of the $\mathrm{SL}_2(\mathbb{C})$ free group character variety

Authors: Joseph Cummings, Christopher Manon

Abstract: We show that a certain compactification $\mathfrak{X}_g$ of the $\mathrm{SL}_2(\mathbb{C})$ free group character variety $\mathcal{X}(F_g, \mathrm{SL}_2(\mathbb{C}))$ is Fano. This compactification has been studied previously by the second author, and separately by Biswas, Lawton, and Ramras. Part of the proof of this result involves the construction of a large family of integral reflexive polytop… ▽ More We show that a certain compactification $\mathfrak{X}_g$ of the $\mathrm{SL}_2(\mathbb{C})$ free group character variety $\mathcal{X}(F_g, \mathrm{SL}_2(\mathbb{C}))$ is Fano. This compactification has been studied previously by the second author, and separately by Biswas, Lawton, and Ramras. Part of the proof of this result involves the construction of a large family of integral reflexive polytopes. △ Less

Submitted 6 September, 2022; originally announced September 2022.

Comments: 16 pages, 5 figures

MSC Class: 14M25; 14M27; 14M35; 14J45

Toric vector bundles over a discrete valuation ring and Bruhat-Tits buildings

Authors: Kiumars Kaveh, Christopher Manon, Boris Tsvelikhovskiy

Abstract: We give a classification of rank $r$ torus equivariant vector bundles $\mathcal{E}$ on a toric scheme $\mathfrak{X}$ over a discrete valuation ring, in terms of piecewise affine maps $Φ$ from the polyhedral complex of $\mathfrak{X}$ to the extended Bruhat-Tits building of $GL(r)$. This is an extension of Klyachko's classification of torus equivariant vector bundles on a toric variety over a field.… ▽ More We give a classification of rank $r$ torus equivariant vector bundles $\mathcal{E}$ on a toric scheme $\mathfrak{X}$ over a discrete valuation ring, in terms of piecewise affine maps $Φ$ from the polyhedral complex of $\mathfrak{X}$ to the extended Bruhat-Tits building of $GL(r)$. This is an extension of Klyachko's classification of torus equivariant vector bundles on a toric variety over a field. We also give a simple criterion for equivariant splitting of $\mathcal{E}$ into a sum of toric line bundles in terms of its piecewise affine map. △ Less

Submitted 8 August, 2022; originally announced August 2022.

Comments: 32 pages, 10 figures

MSC Class: 14M25; 51E24

Cox rings of projectivized toric vector bundles and toric flag Bundles

Authors: Courtney George, Christopher Manon

Abstract: Work of González, Hering, Payne, and Süss shows that it is possible to find both examples and non-examples of Mori dream spaces among projectivized toric vector bundles. This result, and the combinatorial nature of the data of projectivized toric vector bundles make them an ideal test class for the question: what makes a variety a Mori dream space? In the present paper we consider this question wi… ▽ More Work of González, Hering, Payne, and Süss shows that it is possible to find both examples and non-examples of Mori dream spaces among projectivized toric vector bundles. This result, and the combinatorial nature of the data of projectivized toric vector bundles make them an ideal test class for the question: what makes a variety a Mori dream space? In the present paper we consider this question with respect to natural algebraic operations on vector bundles. Suppose $\mathcal{E}$ is a toric vector bundle such that the projectivization $\mathbb{P}\mathcal{E}$ is a Mori dream space, then when are the direct sum bundles $\mathbb{P}(\mathcal{E} \oplus \mathcal{E})$, $\mathbb{P}(\mathcal{E} \oplus \mathcal{E} \oplus \mathcal{E})\ldots$ also Mori dream spaces? We give an answer to this question utilizing a relationship with the associated full flag bundle $\mathcal{FL}(\mathcal{E})$. We describe several classes of examples, and we compute a presentation for the Cox ring of the full flag bundle for the tangent bundle of projective space. △ Less

Submitted 17 April, 2023; v1 submitted 20 May, 2022; originally announced May 2022.

Comments: 27 pages, 1 figure, updated exposition, to appear in Journal of Pure and Applied Algebra

MSC Class: 14M25; 14T05; 05E10; 13A50

Invariants for level-1 phylogenetic networks under the Cavendar-Farris-Neyman Model

Authors: Joseph Cummings, Benjamin Hollering, Christopher Manon

Abstract: Phylogenetic networks can model more complicated evolutionary phenomena that trees fail to capture such as horizontal gene transfer and hybridization. The same Markov models that are used to model evolution on trees can also be extended to networks and similar questions, such as the identifiability of the network parameter or the invariants of the model, can be asked. In this paper we focus on fin… ▽ More Phylogenetic networks can model more complicated evolutionary phenomena that trees fail to capture such as horizontal gene transfer and hybridization. The same Markov models that are used to model evolution on trees can also be extended to networks and similar questions, such as the identifiability of the network parameter or the invariants of the model, can be asked. In this paper we focus on finding the invariants of the Cavendar-Farris-Neyman (CFN) model on level-1 phylogenetic networks. We do this by reducing the problem to finding invariants of sunlet networks, which are level-1 networks consisting of a single cycle with leaves at each vertex. We then determine all quadratic invariants in the sunlet network ideal which we conjecture generate the full ideal. △ Less

Submitted 5 February, 2021; originally announced February 2021.

Comments: 29 pages, 6 figures

MSC Class: 92B10; 13P25

The well-poised property and torus quotients

Authors: Joseph Cummings, Christopher Manon

Abstract: An embedded variety is said to be well-poised when the associated initial ideal degenerations coming from points of the tropical variety are reduced and irreducible. Varieties with a well-poised embedding admit a large collection of explicitly constructible Newton-Okounkov bodies. This paper aims to study the well-poised property under torus quotients. Our first result states that GIT quotients… ▽ More An embedded variety is said to be well-poised when the associated initial ideal degenerations coming from points of the tropical variety are reduced and irreducible. Varieties with a well-poised embedding admit a large collection of explicitly constructible Newton-Okounkov bodies. This paper aims to study the well-poised property under torus quotients. Our first result states that GIT quotients of normal well-poised varieties by quasi-tori also have well-poised embeddings. As an application, we show that several Hassett spaces, $\overline{M}_{0,β}$, are well-poised under Alexeev's embedding. Conversely, given an affine $T$-variety $X$ with polyhedral divisor $\mathfrak{D}$ on a well-poised base $Y$, we construct an embedding of $X \subseteq \mathbb{A}^N$ and provide conditions on $Y$ and $\mathfrak{D}$ which if met, imply $X$ is well-poised under this embedding. Then we show that any affine arrangement variety meets the specified criteria, generalizing results of Ilten and the second author for rational complexity 1 varieties. Using this result, we explicitly compute many Newton-Okounkov cones of $X$ and provide a criterion for the associated toric degenerations to be normal. Our final application combines these two results to show that hypertoric varieties have well-poised embeddings. △ Less

Submitted 25 August, 2021; v1 submitted 18 September, 2020; originally announced September 2020.

Comments: 23 pages, new title and abstract, added new material on the well-poised property under GIT quotient

MSC Class: 14M25; 14T90

Generic tropical initial ideals of Cohen-Macaulay algebras

Authors: Kiumars Kaveh, Christopher Manon, Takuya Murata

Abstract: We study the generic tropical initial ideals of a positively graded Cohen-Macaulay algebra $R$ over an algebraically closed field $\mathbf{k}$. Building on work of Römer and Schmitz, we give a formula for each initial ideal, and we express the associated quasivaluations in terms of certain $I$-adic filtrations. As a corollary, we show that in the case that $R$ is a domain, every initial ideal comi… ▽ More We study the generic tropical initial ideals of a positively graded Cohen-Macaulay algebra $R$ over an algebraically closed field $\mathbf{k}$. Building on work of Römer and Schmitz, we give a formula for each initial ideal, and we express the associated quasivaluations in terms of certain $I$-adic filtrations. As a corollary, we show that in the case that $R$ is a domain, every initial ideal coming from the codimension-$1$ skeleton of the tropical variety is prime, so "generic presentations of Cohen-Macaulay domains are well-poised in codimension-$1$." △ Less

Submitted 15 January, 2021; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: 11 pages, to appear in J. Pure Appl. Algebra

MSC Class: 14T05; 14M05; 13A18

Well-Poised Hypersurfaces

Authors: Joseph Cecil, Neelav Dutta, Christopher Manon, Benjamin Riley, Angela Vichitbandha

Abstract: An ideal $I$ is said to be "well-poised" if all of the initial ideals obtained from points in the tropical variety $Trop(I)$ are prime. This condition was first defined by Nathan Ilten and the third author. We classify all well-poised hypersurfaces over an algebraically closed field. We also study the tropical varieties and associated Newton-Okounkov bodies of these hypersurfaces. An ideal $I$ is said to be "well-poised" if all of the initial ideals obtained from points in the tropical variety $Trop(I)$ are prime. This condition was first defined by Nathan Ilten and the third author. We classify all well-poised hypersurfaces over an algebraically closed field. We also study the tropical varieties and associated Newton-Okounkov bodies of these hypersurfaces. △ Less

Submitted 18 January, 2021; v1 submitted 31 July, 2020; originally announced August 2020.

Comments: 13 pages, 2 figures, to appear in Comm. Algebra

MSC Class: 14M25; 14T20

Toric flat families, valuations, and applications to projectivized toric vector bundles

Authors: Kiumars Kaveh, Christopher Manon

Abstract: Using the notion of a valuation into the semifield of piecewise linear functions, we give a classification of torus equivariant flat families of finite type over a toric variety base, by certain piecewise linear maps between fans. As a consequence we derive a classification of toric vector bundles phrased in terms of tropicalized linear spaces. We use these tools to give a characterization of the… ▽ More Using the notion of a valuation into the semifield of piecewise linear functions, we give a classification of torus equivariant flat families of finite type over a toric variety base, by certain piecewise linear maps between fans. As a consequence we derive a classification of toric vector bundles phrased in terms of tropicalized linear spaces. We use these tools to give a characterization of the Mori dream space property for a projectivized toric vector bundle. △ Less

Submitted 11 October, 2022; v1 submitted 1 July, 2019; originally announced July 2019.

Comments: Title changed to emphasize applications to the study of projectivized toric vector bundles. Revised in many places and exposition improved. Some material rearranged and new sections introduced. References updated and a list of notation added. 44 pages

MSC Class: 14M25; 14T05

Emergence of homogamy in a two-loci stochastic population model

Authors: Coron Camille, Costa Manon, Laroche Fabien, Leman Hélène, Smadi Charline

Abstract: This article deals with the emergence of a specific mating preference pattern called homogamy in a population. Individuals are characterized by their genotype at two haploid loci, and the population dynamics is modelled by a non-linear birth-and-death process. The first locus codes for a phenotype, while the second locus codes for homogamy defined with respect to the first locus: two individuals a… ▽ More This article deals with the emergence of a specific mating preference pattern called homogamy in a population. Individuals are characterized by their genotype at two haploid loci, and the population dynamics is modelled by a non-linear birth-and-death process. The first locus codes for a phenotype, while the second locus codes for homogamy defined with respect to the first locus: two individuals are more (resp. less) likely to reproduce with each other if they carry the same (resp. a different) trait at the first locus. Initial resident individuals do not feature homogamy, and we are interested in the probability and time of invasion of a mutant presenting this characteristic under a large population assumption. To this aim, we study the trajectory of the birth-and-death process during three phases: growth of the mutant, coexistence of the two types, and extinction of the resident. We couple the birth-and-death process with simpler processes, like branching processes or dynamical systems, and study the latter ones in order to control the trajectory and duration of each phase. △ Less

Submitted 24 September, 2019; v1 submitted 21 February, 2019; originally announced February 2019.

MSC Class: 60J80; 60J27; 37N25; 92D25

Tropical geometry and Newton-Okounkov cones for Grassmannian of planes from compactifications

Authors: Christopher Manon, Jihyeon Jessie Yang

Abstract: We construct a family of compactifications of the affine cone of the Grassmannian variety of 2-planes. We show that both the tropical variety of the Plücker ideal and familiar valuations associated to the construction of Newton-Okounkov bodies for the Grassmannian variety can be recovered from these compactifications. In this way, we unite various perspectives for constructing toric degenerations… ▽ More We construct a family of compactifications of the affine cone of the Grassmannian variety of 2-planes. We show that both the tropical variety of the Plücker ideal and familiar valuations associated to the construction of Newton-Okounkov bodies for the Grassmannian variety can be recovered from these compactifications. In this way, we unite various perspectives for constructing toric degenerations of flag varieties. △ Less

Submitted 13 January, 2019; v1 submitted 18 June, 2018; originally announced June 2018.

Comments: 25 pages; we added a proof that the compactifications are Fano

MSC Class: 14M15; 14T05; 14M25

Toric principal bundles, piecewise linear maps and Tits buildings

Authors: Kiumars Kaveh, Christopher Manon

Abstract: We define the notion of a piecewise linear map from a fan $Σ$ to $\tilde{\mathfrak{B}}(G)$, the cone over the Tits building of a linear algebraic group $G$. Let $X_Σ$ be a toric variety with fan $Σ$. We show that when $G$ is reductive the set of integral piecewise linear maps from $Σ$ to $\tilde{\mathfrak{B}}(G)$ classifies the isomorphism classes of (framed) toric principal $G$-bundles on $X_Σ$.… ▽ More We define the notion of a piecewise linear map from a fan $Σ$ to $\tilde{\mathfrak{B}}(G)$, the cone over the Tits building of a linear algebraic group $G$. Let $X_Σ$ be a toric variety with fan $Σ$. We show that when $G$ is reductive the set of integral piecewise linear maps from $Σ$ to $\tilde{\mathfrak{B}}(G)$ classifies the isomorphism classes of (framed) toric principal $G$-bundles on $X_Σ$. This in particular recovers Klyachko's classification of toric vector bundles, and gives new classification results for the orthogonal and symplectic toric principal bundles. △ Less

Submitted 28 October, 2022; v1 submitted 14 June, 2018; originally announced June 2018.

Comments: Final version. 26 pages

MSC Class: 14M25; 55R91; 20E42

Journal ref: Mathematische Zeitschrift 302, 1367-1392 (2022)

On degenerations of projective varieties to complexity-one T-varieties

Authors: Kiumars Kaveh, Christopher Manon, Takuya Murata

Abstract: Let $R$ be a positively graded finitely generated $\textbf{k}$-domain with Krull dimension $d+1$. We show that there is a homogeneous valuation $\mathfrak{v}: R \setminus \{0\} \to \mathbb{Z}^d$ of rank $d$ such that the associated graded $\text{gr}_\mathfrak{v}(R)$ is finitely generated. This then implies that any polarized $d$-dimensional projective variety $X$ has a flat deformation over… ▽ More Let $R$ be a positively graded finitely generated $\textbf{k}$-domain with Krull dimension $d+1$. We show that there is a homogeneous valuation $\mathfrak{v}: R \setminus \{0\} \to \mathbb{Z}^d$ of rank $d$ such that the associated graded $\text{gr}_\mathfrak{v}(R)$ is finitely generated. This then implies that any polarized $d$-dimensional projective variety $X$ has a flat deformation over $\mathbb{A}^1$, with reduced and irreducible fibers, to a polarized projective complexity-one $T$-variety (i.e. a variety with a faithful action of a $(d-1)$-dimensional torus $T$). As an application we conclude that any $d$-dimensional complex smooth projective variety $X$ equipped with an integral Kähler form has a proper $(d-1)$-dimensional Hamiltonian torus action on an open dense subset that extends continuously to all of $X$. △ Less

Submitted 13 January, 2020; v1 submitted 8 August, 2017; originally announced August 2017.

Comments: Presentation improved in many places and many typos fixed

MSC Class: 14D06; 13D10; 14M25

Rational Complexity-One T-Varieties are Well-Poised

Authors: Nathan Ilten, Christopher Manon

Abstract: Given an affine rational complexity-one $T$-variety $X$, we construct an explicit embedding of $X$ in affine space $\mathbb{A}^n$. We show that this embedding is well-poised, that is, every initial ideal of $I_X$ is a prime ideal, and determine the tropicalization of $X$. We then study valuations of the coordinate ring $R_X$ of $X$ which respect the torus action, showing that for full rank valuati… ▽ More Given an affine rational complexity-one $T$-variety $X$, we construct an explicit embedding of $X$ in affine space $\mathbb{A}^n$. We show that this embedding is well-poised, that is, every initial ideal of $I_X$ is a prime ideal, and determine the tropicalization of $X$. We then study valuations of the coordinate ring $R_X$ of $X$ which respect the torus action, showing that for full rank valuations, the natural generators of $R_X$ form a Khovanskii basis. This allows us to determine Newton-Okounkov bodies of rational projective complexity-one $T$-varieties, partially recovering (and generalizing) results of Petersen. We apply our results to describe all irreducible special fibers of $\mathbb{K}^*\times T$-equivariant degenerations of rational projective complexity-one $T$-varieties, generalizing a results of Süß and the first author. △ Less

Submitted 3 October, 2017; v1 submitted 5 April, 2017; originally announced April 2017.

Comments: v2 minor revisions, 25 pages, to appear in IMRN

Journal ref: IMRN (2019), no. 13, pp. 4198-4232

Gröbner theory and tropical geometry on spherical varieties

Authors: Kiumars Kaveh, Christopher Manon

Abstract: Let $G$ be a connected reductive algebraic group. We develop a Gröbner theory for multiplicity-free $G$-algebras, as well as a tropical geometry for subschemes in a spherical homogeneous space $G/H$. We define the notion of a spherical tropical variety and prove a fundamental theorem of tropical geometry in this context. We also propose a definition for a spherical amoeba in $G/H$. Our work partly… ▽ More Let $G$ be a connected reductive algebraic group. We develop a Gröbner theory for multiplicity-free $G$-algebras, as well as a tropical geometry for subschemes in a spherical homogeneous space $G/H$. We define the notion of a spherical tropical variety and prove a fundamental theorem of tropical geometry in this context. We also propose a definition for a spherical amoeba in $G/H$. Our work partly builds on the previous work of Vogiannou on spherical tropicalization and in some ways is complementary. △ Less

Submitted 6 July, 2017; v1 submitted 6 November, 2016; originally announced November 2016.

Comments: Some sections throughly revised. In particular, added a subsection about fan structure on spherical tropical varieties. In the spherical tropical varieties sections, previously we used a G-line bundle on G/H, we now use a very ample G-line bundle on a projective spherical embedding of G/H. Typos corrected and presentation improved in several places. 43 pages, 1 figure

MSC Class: 14M27; 14T05; 13P10

Khovanskii bases, higher rank valuations and tropical geometry

Authors: Kiumars Kaveh, Christopher Manon

Abstract: Given a finitely generated algebra $A$, it is a fundamental question whether $A$ has a full rank discrete (Krull) valuation $\mathfrak{v}$ with finitely generated value semigroup. We give a necessary and sufficient condition for this, in terms of tropical geometry of $A$. In the course of this we introduce the notion of a Khovanskii basis for $(A, \mathfrak{v})$ which provides a framework for far… ▽ More Given a finitely generated algebra $A$, it is a fundamental question whether $A$ has a full rank discrete (Krull) valuation $\mathfrak{v}$ with finitely generated value semigroup. We give a necessary and sufficient condition for this, in terms of tropical geometry of $A$. In the course of this we introduce the notion of a Khovanskii basis for $(A, \mathfrak{v})$ which provides a framework for far extending Gröbner theory on polynomial algebras to general finitely generated algebras. In particular, this makes a direct connection between the theory of Newton-Okounkov bodies and tropical geometry, and toric degenerations arising in both contexts. We also construct an associated compactification of $Spec(A)$. Our approach includes many familiar examples such as the Gel'fand-Zetlin degenerations of coordinate rings of flag varieties as well as wonderful compactifications of reductive groups. We expect that many examples coming from cluster algebras naturally fit into our framework. △ Less

Submitted 9 May, 2019; v1 submitted 2 October, 2016; originally announced October 2016.

Comments: Extensively revised and many typos and errors corrected. Section on Gröbner bases and higher rank tropical geometry moved to the appendix. To appear in SIAM Journal on Applied Algebra and Geometry (SIAGA). 43 pages

MSC Class: 14T05; 13P10

The Gorenstein property for projective coordinate rings of the moduli of parabolic $\mathrm{SL}_2$-principal bundles on a smooth curve

Authors: Theodore Faust, Christopher Manon

Abstract: Using combinatorial methods, we determine that a projective coordinate ring of the moduli of parabolic principal $\mathrm{SL}_2$-bundles on a marked projective curve is not Gorenstein when the genus and number of marked points are greater than $1$. Using combinatorial methods, we determine that a projective coordinate ring of the moduli of parabolic principal $\mathrm{SL}_2$-bundles on a marked projective curve is not Gorenstein when the genus and number of marked points are greater than $1$. △ Less

Submitted 26 August, 2019; v1 submitted 1 June, 2016; originally announced June 2016.

Comments: 12 pages, 6 figures, fixed an error in the main theorem, to appear in Electronic Journal of Combinatorics

MSC Class: 14D20; 05E10

Contraction of Hamiltonian $K$-spaces

Authors: Joachim Hilgert, Christopher Manon, Johan Martens

Abstract: In the spirit of recent work of Harada-Kaveh and Nishinou-Nohara-Ueda, we study the symplectic geometry of Popov's horospherical degenerations of complex algebraic varieties with the action of a complex linearly reductive group. We formulate an intrinsic symplectic contraction of a Hamiltonian space, which is a surjective, continuous map onto a new Hamiltonian space that is a symplectomorphism on… ▽ More In the spirit of recent work of Harada-Kaveh and Nishinou-Nohara-Ueda, we study the symplectic geometry of Popov's horospherical degenerations of complex algebraic varieties with the action of a complex linearly reductive group. We formulate an intrinsic symplectic contraction of a Hamiltonian space, which is a surjective, continuous map onto a new Hamiltonian space that is a symplectomorphism on an explicitly defined dense open subspace. This map is given by a precise formula, using techniques from the theory of symplectic reduction and symplectic implosion. We then show, using the Vinberg monoid, that the gradient-Hamiltonian flow for a horospherical degeneration of an algebraic variety gives rise to this contraction from a general fiber to the special fiber. We apply this construction to branching problems in representation theory, and finally we show how the Gel'fand-Tsetlin integrable system can be understood to arise this way. △ Less

Submitted 31 August, 2016; v1 submitted 21 September, 2015; originally announced September 2015.

Comments: v3: 42 pages, various minor edits, to appear in IMRN

Journal ref: International Mathematics Research Notices, Volume 2017, Issue 20, 1 October 2017, pp. 6255-6309

Character Varieties of Free Groups are Gorenstein but not always Factorial

Authors: Sean Lawton, Christopher Manon

Abstract: Fix a rank g free group F and a connected reductive complex algebraic group G. Let X(F,G) be the G-character variety of F. When the derived subgroup DG in G is simply connected we show that X(F,G) is factorial (which implies it is Gorenstein), and provide examples to show that when DG is not simply connected X(F,G) need not even be locally factorial. Despite the general failure of factoriality of… ▽ More Fix a rank g free group F and a connected reductive complex algebraic group G. Let X(F,G) be the G-character variety of F. When the derived subgroup DG in G is simply connected we show that X(F,G) is factorial (which implies it is Gorenstein), and provide examples to show that when DG is not simply connected X(F,G) need not even be locally factorial. Despite the general failure of factoriality of these moduli spaces, using different methods, we show that X(F,G) is always Gorenstein. △ Less

Submitted 9 March, 2016; v1 submitted 6 April, 2015; originally announced April 2015.

Comments: 11 pages, 3 figures; accepted for publication in the Journal of Algebra

MSC Class: 14D20; 14L30; 16U30; 13H10; 16E65

Journal ref: J. Algebra 456 (2016), 278-293

Toric geometry of $SL_2(\mathbb{C})$ free group character varieties from outer space

Authors: Christopher Manon

Abstract: Culler and Vogtmann defined a simplicial space $O(g)$ called outer space to study the outer automorphism group of the free group $F_g$. Using representation theoretic methods, we give an embedding of $O(g)$ into the analytification of $\mathcal{X}(F_g, SL_2(\mathbb{C})),$ the $SL_2(\mathbb{C})$ character variety of $F_g,$ reproving a result of Morgan and Shalen. Then we show that every point $v$ c… ▽ More Culler and Vogtmann defined a simplicial space $O(g)$ called outer space to study the outer automorphism group of the free group $F_g$. Using representation theoretic methods, we give an embedding of $O(g)$ into the analytification of $\mathcal{X}(F_g, SL_2(\mathbb{C})),$ the $SL_2(\mathbb{C})$ character variety of $F_g,$ reproving a result of Morgan and Shalen. Then we show that every point $v$ contained in a maximal cell of $O(g)$ defines a flat degeneration of $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ to a toric variety $X(P_Γ)$. We relate $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ and $X(v)$ topologically by showing that there is a surjective, continuous, proper map $Ξ_v: \mathcal{X}(F_g, SL_2(\mathbb{C})) \to X(v)$. We then show that this map is a symplectomorphism on a dense, open subset of $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ with respect to natural symplectic structures on $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ and $X(v)$. In this way, we construct an integrable Hamiltonian system in $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ for each point in a maximal cell of $O(g)$, and we show that each $v$ defines a topological decomposition of $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ derived from the decomposition of $X(v)$ by its torus orbits. Finally, we show that the valuations coming from the closure of a maximal cell in $O(g)$ all arise as divisorial valuations built from an associated projective compactification of $\mathcal{X}(F_g, SL_2(\mathbb{C})).$ △ Less

Submitted 1 June, 2016; v1 submitted 30 September, 2014; originally announced October 2014.

Comments: Added material on tropical geometry in Section 6

MSC Class: 14M25; 14T05; 14D20

Newton-Okounkov polyhedra for character varieties and configuration spaces

Authors: Christopher Manon

Abstract: We construct families of Newton-Okounkov bodies for the free group character varieties and configuration spaces of any connected reductive group. We use this construction to give a proof that these spaces are Cohen-Macaulay. We construct families of Newton-Okounkov bodies for the free group character varieties and configuration spaces of any connected reductive group. We use this construction to give a proof that these spaces are Cohen-Macaulay. △ Less

Submitted 13 July, 2016; v1 submitted 16 March, 2014; originally announced March 2014.

Comments: 26 pages, 9 figures, published version

MSC Class: 14M25; 05E10; 14M15

Journal ref: Trans. Amer. Math. Soc. 368 (2016), 5979-6003

Compactifications of character varieties and skein relations on conformal blocks

Authors: Christopher Manon

Abstract: Let $M_C(G)$ be the moduli space of semistable principal $G-$bundles over a smooth curve $C$. We show that a flat degeneration of this space $M_{C_Γ}(G)$ associated to a singular stable curve $C_Γ$ contains the free group character variety $\mathcal{X}(F_g, G)$ as a dense, open subset, where $g = genus(C).$ In the case $G = SL_2(\mathbb{C})$ we describe the resulting compactification explicitly, a… ▽ More Let $M_C(G)$ be the moduli space of semistable principal $G-$bundles over a smooth curve $C$. We show that a flat degeneration of this space $M_{C_Γ}(G)$ associated to a singular stable curve $C_Γ$ contains the free group character variety $\mathcal{X}(F_g, G)$ as a dense, open subset, where $g = genus(C).$ In the case $G = SL_2(\mathbb{C})$ we describe the resulting compactification explicitly, and in turn we conclude that the coordinate ring of $M_{C_Γ}(SL_2(\mathbb{C}))$ is presented by homogeneous skein relations. Along the way, we prove the parabolic version of these results over stable, marked curves $(C_Γ, \vec{p}_Γ)$. △ Less

Submitted 13 July, 2016; v1 submitted 31 January, 2014; originally announced January 2014.

Comments: 36 page, 24 figures, final version

MSC Class: 14D20

Journal ref: Geometriae Dedicata (2015), 179, 1, 335 - 376

Cox rings of moduli of quasi parabolic principal bundles and the K-Pieri rule

Authors: Christopher Manon

Abstract: We study a toric degeneration of the Cox ring of the moduli of principal $SL_m(\mathbb{C})$ bundles on the projective line, with quasi parabolic data given by the the stabilizer of the highest weight vector in $\mathbb{C}^m$ and its dual $\bigwedge^{m-1}(\mathbb{C}^m)$. The affine semigroup algebra resulting from this degeneration is described using the $K-$Pieri rule from Kac-Moody representation… ▽ More We study a toric degeneration of the Cox ring of the moduli of principal $SL_m(\mathbb{C})$ bundles on the projective line, with quasi parabolic data given by the the stabilizer of the highest weight vector in $\mathbb{C}^m$ and its dual $\bigwedge^{m-1}(\mathbb{C}^m)$. The affine semigroup algebra resulting from this degeneration is described using the $K-$Pieri rule from Kac-Moody representation theory. Along the way we give a proof of the $K-$Pieri rule which utilizes the classical Pieri rule and elements of commutative algebra, and we describe a relationship between the Cox ring and a classical invariant ring studied by Weyl. △ Less

Submitted 13 June, 2016; v1 submitted 22 September, 2013; originally announced September 2013.

Comments: 26 pages, 11 figures, final version

MSC Class: 14M25; 14J60

Journal ref: J. Combin. Theory Ser. A 139 (2016), 1--29

Conformal blocks, Berenstein-Zelevinsky triangles and group-based models

Authors: Kaie Kubjas, Christopher Manon

Abstract: Work of Buczynska, Wisniewski, Sturmfels and Xu, and the second author has linked the group-based phylogenetic statistical model associated with the group Z/2Z with the Wess-Zumino-Witten (WZW) model of conformal field theory associated to SL(2,C). In this article we explain how this connection can be generalized to establish a relationship between the phylogenetic statistical model for the cyclic… ▽ More Work of Buczynska, Wisniewski, Sturmfels and Xu, and the second author has linked the group-based phylogenetic statistical model associated with the group Z/2Z with the Wess-Zumino-Witten (WZW) model of conformal field theory associated to SL(2,C). In this article we explain how this connection can be generalized to establish a relationship between the phylogenetic statistical model for the cyclic group Z/mZ and the WZW model for the special linear group SL(m,C). We use this relationship to also show how a combinatorial device from representation theory, the Berenstein-Zelevinsky triangles, correspond to elements in the affine semigroup algebra of the Z/3Z phylogenetic statistical model. △ Less

Submitted 22 August, 2013; originally announced August 2013.

Comments: 24 pages, 15 figures

MSC Class: 14D20; 05E10

Bounds on generators and relations for the algebra of $SL_2(\C)$ conformal blocks

Authors: Christopher Manon

Abstract: We show that the Cox ring of the moduli of $SL_2(\C)$ quasi-parabolic principal bundles on a marked curve is generated by conformal blocks of level 1 and 2. We show that the ideal which vanishes on these generators is generated by forms of degrees $2, 3, 4.$ We show that the Cox ring of the moduli of $SL_2(\C)$ quasi-parabolic principal bundles on a marked curve is generated by conformal blocks of level 1 and 2. We show that the ideal which vanishes on these generators is generated by forms of degrees $2, 3, 4.$ △ Less

Submitted 7 November, 2012; originally announced November 2012.

MSC Class: 14D20

The algebra of $SL_3(\mathbb{C})$ conformal blocks

Authors: Christopher Manon

Abstract: We construct and study a family of toric degenerations of the algebra of conformal blocks for a stable marked curve $(C, \vec{p})$ with structure group $SL_3(\mathbb{C}).$ We find that this algebra is Gorenstein. For the genus $0, 1$ cases we find the level of conformal blocks necessary to generate the algebra. In the genus 0 case we also find bounds on the degrees of relations required to present… ▽ More We construct and study a family of toric degenerations of the algebra of conformal blocks for a stable marked curve $(C, \vec{p})$ with structure group $SL_3(\mathbb{C}).$ We find that this algebra is Gorenstein. For the genus $0, 1$ cases we find the level of conformal blocks necessary to generate the algebra. In the genus 0 case we also find bounds on the degrees of relations required to present the algebra. Along the way we recover polyhedral rules for counting conformal blocks originally due to Senechal, Mathieu, Kirillov, and Walton. △ Less

Submitted 2 June, 2016; v1 submitted 12 June, 2012; originally announced June 2012.

Comments: 22 pages, 13 figures

MSC Class: 14D20; 05E10

Journal ref: Trans. Groups December 2013, Volume 18, Issue 4, pp 1165-1187

Semigroups of $sl_3(\mathbb{C})$ tensor product invariants

Authors: Christopher Manon, Zhengyuan Zhou

Abstract: We compute presentations for a family of semigroup algebras related to the problem of decomposing $sl_3(\mathbb{C})$ tensor products. Along the way we find new toric degenerations of the Grassmannian variety $Gr_3(\mathbb{C}^n)$ which $T-$invariant for $T \subset GL_n(\mathbb{C})$ the diagonal torus. We compute presentations for a family of semigroup algebras related to the problem of decomposing $sl_3(\mathbb{C})$ tensor products. Along the way we find new toric degenerations of the Grassmannian variety $Gr_3(\mathbb{C}^n)$ which $T-$invariant for $T \subset GL_n(\mathbb{C})$ the diagonal torus. △ Less

Submitted 2 June, 2016; v1 submitted 12 June, 2012; originally announced June 2012.

Comments: 12 pages, 13 figures

MSC Class: 14M15; 05E10

Journal ref: J. Alg., 400 (15) 2014, 94-104

Dissimilarity maps on trees and the representation theory of $GL_n(\C)$

Authors: Christopher Manon

Abstract: We revisit the representation theory in type $A$used previously to establish that the dissimilarity vectors of phylogenetic trees are points on the tropical Grassmannian variety. We use a different version of this construction to show that the space of phylogenetic trees $K_n$ maps to the tropical varieties of every flag variety of $GL_n(\C).$ Using this map, we interpret the tropicalization of th… ▽ More We revisit the representation theory in type $A$used previously to establish that the dissimilarity vectors of phylogenetic trees are points on the tropical Grassmannian variety. We use a different version of this construction to show that the space of phylogenetic trees $K_n$ maps to the tropical varieties of every flag variety of $GL_n(\C).$ Using this map, we interpret the tropicalization of the semistandard tableaux basis of an irreducible representation of $GL_n(\C)$ as combinatorial invariants of phylogenetic trees. △ Less

Submitted 19 July, 2011; originally announced July 2011.

Comments: 6 figures

Journal ref: Elec. J. Comb. 19 (3) 2012, P38

Coordinate rings for the moduli of $SL_2(\C)$ quasi-parabolic principal bundles on a curve and toric fiber products

Authors: Christopher Manon

Abstract: We continue the program started in \cite{M1} to understand the combinatorial commutative algebra of the projective coordinate rings of the moduli stack $\mathcal{M}_{C, \vec{p}}(SL_2(\C))$ of quasi-parabolic $SL_2(\C)$ principal bundles on a generic marked projective curve. We find general bounds on the degrees of polynomials needed to present these algebras by studying their toric degenerations.… ▽ More We continue the program started in \cite{M1} to understand the combinatorial commutative algebra of the projective coordinate rings of the moduli stack $\mathcal{M}_{C, \vec{p}}(SL_2(\C))$ of quasi-parabolic $SL_2(\C)$ principal bundles on a generic marked projective curve. We find general bounds on the degrees of polynomials needed to present these algebras by studying their toric degenerations. In particular, we show that the square of any effective line bundle on this moduli stack yields a Koszul projective coordinate ring. This leads us to formalize the properties of the polytopes used in proving our results by constructing a category of polytopes with term-orders. We show that many of results on the projective coordinate rings of $\mathcal{M}_{C, \vec{p}}(SL_2(\C))$ follow from closure properties of this category with respect to fiber products. △ Less

Submitted 21 June, 2012; v1 submitted 10 May, 2011; originally announced May 2011.

Comments: 23 pages, 14 figures, added new figures, stronger main results

MSC Class: 13P10; 14D20

Journal ref: J. Algebra 365 (2012), 163-183

Toric Degenerations and tropical geometry of branching algebras

Authors: Christopher Manon

Abstract: We construct polyhedral families of valuations on the branching algebra of a morphism of reductive groups. This establishes a connection between the combinatorial rules for studying a branching problem and the tropical geometry of the branching algebra. In the special case when the branching problem comes from the inclusion of a Levi subgroup or a diagonal subgroup, we use the dual canonical basis… ▽ More We construct polyhedral families of valuations on the branching algebra of a morphism of reductive groups. This establishes a connection between the combinatorial rules for studying a branching problem and the tropical geometry of the branching algebra. In the special case when the branching problem comes from the inclusion of a Levi subgroup or a diagonal subgroup, we use the dual canonical basis of Lusztig and Kashiwara to build toric deformations of the branching algebra. △ Less

Submitted 27 August, 2012; v1 submitted 12 March, 2011; originally announced March 2011.

Comments: 11 figures; shortened

MSC Class: 14M15; 05E10; 14T05. 52B20

Valuations from representation theory and tropical geometry

Authors: Christopher Manon

Abstract: We recall the space of seminorms discussed by Payne in \cite{P} and define a slight modification, the space of graded valuations. After explaining how these spaces relate to tropical geometry, we describe examples of graded valuations which come from the representation theory of reductive groups. We recall the space of seminorms discussed by Payne in \cite{P} and define a slight modification, the space of graded valuations. After explaining how these spaces relate to tropical geometry, we describe examples of graded valuations which come from the representation theory of reductive groups. △ Less

Submitted 15 June, 2010; v1 submitted 31 May, 2010; originally announced June 2010.

Comments: 16 pages, updated works cited, added new theorem in section 5

MSC Class: 14T05

The $m-$dissimilarity map and representation theory of $SL_m$

Authors: Christopher Manon

Abstract: We give another proof that $m$-dissimilarity vectors of weighted trees are points on the tropical Grassmanian, as conjectured by Cools, and proved by Giraldo in response to a question of Sturmfels and Pachter. We accomplish this by relating $m$-dissimilarity vectors to the representation theory of $SL_m.$ We give another proof that $m$-dissimilarity vectors of weighted trees are points on the tropical Grassmanian, as conjectured by Cools, and proved by Giraldo in response to a question of Sturmfels and Pachter. We accomplish this by relating $m$-dissimilarity vectors to the representation theory of $SL_m.$ △ Less

Submitted 15 June, 2010; v1 submitted 21 March, 2010; originally announced March 2010.

Comments: 11 pages, 8 figures

MSC Class: 14T05

Journal ref: J. Alg. Comb. March 2011, 33, 2, pp 199-213

The Algebra of Conformal Blocks

Authors: Christopher A. Manon

Abstract: For each simply connected, simple complex group $G$ we show that the direct sum of all vector bundles of conformal blocks on the moduli stack $\bar{\mathcal{M}}_{g, n}$ of stable marked curves carries the structure of a flat sheaf of commutative algebras. The fiber of this sheaf over a smooth marked curve $(C, \vec{p})$ agrees with the Cox ring of the moduli of quasi-parabolic principal $G-$bundle… ▽ More For each simply connected, simple complex group $G$ we show that the direct sum of all vector bundles of conformal blocks on the moduli stack $\bar{\mathcal{M}}_{g, n}$ of stable marked curves carries the structure of a flat sheaf of commutative algebras. The fiber of this sheaf over a smooth marked curve $(C, \vec{p})$ agrees with the Cox ring of the moduli of quasi-parabolic principal $G-$bundles on $(C, \vec{p})$. We use the factorization rules on conformal blocks to produce flat degenerations of these algebras. These degenerations are toric in the case $G = SL_2(\mathbb{C}),$ and the resulting toric varieties are shown to be isomorphic to phylogenetic algebraic varieties from mathematical biology. We conclude with a proof that the Cox ring of the moduli stack of qausi-parabolic $SL_2(\mathbb{C})$ principal bundles over a generic curve is generated by conformal blocks of levels 1 and 2 with relations generated in degrees $2, 3,$ and 4. △ Less

Submitted 27 May, 2016; v1 submitted 3 October, 2009; originally announced October 2009.

Comments: 14 figures; updated exposition; final version

MSC Class: 14M25; 14J60

Gorenstein Semigroup Algebras of Weighted Trees

Authors: Christopher Manon

Abstract: We classify exactly when the toric algebras $\C[S_{\tree}(\br)]$ are Gorenstein. These algebras arise as toric deformations of algebras of invariants of the Cox-Nagata ring of the blow-up of $n-1$ points on $\mathbb{P}^{n-3}$, or equivalently algebras of the ring of global sections for the Plücker embedding of weight varieties of the Grassmanian $Gr_2(\C^n)$, and algebras of global sections for em… ▽ More We classify exactly when the toric algebras $\C[S_{\tree}(\br)]$ are Gorenstein. These algebras arise as toric deformations of algebras of invariants of the Cox-Nagata ring of the blow-up of $n-1$ points on $\mathbb{P}^{n-3}$, or equivalently algebras of the ring of global sections for the Plücker embedding of weight varieties of the Grassmanian $Gr_2(\C^n)$, and algebras of global sections for embeddings of moduli of weighted points on $\mathbb{P}^1$. As a corollary, we find exactly when these families of rings are Gorenstein as well. △ Less

Submitted 10 May, 2011; v1 submitted 8 October, 2008; originally announced October 2008.

Comments: 11 Pages, 7 Figures, expanded proof of proposition 3.2

MSC Class: 14M25; 14Q99

Journal ref: J. Algebra 354 (2012), 110-120

The Toric Geometry of Triangulated Polygons in Euclidean Space

Authors: Benjamin Howard, Christopher Manon, John Millson

Abstract: Speyer and Sturmfels [SpSt] associated Gröbner toric degenerations $\mathrm{Gr}_2(\C^n)^{\tree}$ of $\mathrm{Gr}_2(\C^n)$ to each trivalent tree $\tree$ with $n$ leaves. These degenerations induce toric degenerations $M_{\br}^{\tree}$ of $M_{\br}$, the space of $n$ ordered, weighted (by $\br$) points on the projective line. Our goal in this paper is to give a geometric (Euclidean polygon) descri… ▽ More Speyer and Sturmfels [SpSt] associated Gröbner toric degenerations $\mathrm{Gr}_2(\C^n)^{\tree}$ of $\mathrm{Gr}_2(\C^n)$ to each trivalent tree $\tree$ with $n$ leaves. These degenerations induce toric degenerations $M_{\br}^{\tree}$ of $M_{\br}$, the space of $n$ ordered, weighted (by $\br$) points on the projective line. Our goal in this paper is to give a geometric (Euclidean polygon) description of the toric fibers as stratified symplectic spaces and describe the action of the compact part of the torus as "bendings of polygons." We prove the conjecture of Foth and Hu [FH] that the toric fibers are homeomorphic to the spaces defined by Kamiyama and Yoshida [KY]. △ Less

Submitted 8 October, 2008; originally announced October 2008.

Comments: 41 pages, 10 figures

MSC Class: 53D20; 53D30; 14M25

Journal ref: Can. J. Math.-J. Can. Math. 63 (2011) 878-937

Presentations of Semigroup Algebras of Weighted Trees

Authors: Christopher A. Manon

Abstract: We find presentations for subalgebras of invariants of the coordinate algebras of binary symmetric models of phylogenetic trees studied by Buczynska and Wisniewski in \cite{BW}. These algebras arise as toric degenerations of rings of global sections of weight varieties of the Grassmanian of two planes associated to the Plücker embedding, and as toric degenerations of rings of invariants of Cox-N… ▽ More We find presentations for subalgebras of invariants of the coordinate algebras of binary symmetric models of phylogenetic trees studied by Buczynska and Wisniewski in \cite{BW}. These algebras arise as toric degenerations of rings of global sections of weight varieties of the Grassmanian of two planes associated to the Plücker embedding, and as toric degenerations of rings of invariants of Cox-Nagata rings. △ Less

Submitted 17 September, 2008; v1 submitted 8 August, 2008; originally announced August 2008.

Comments: 17 pages; 16 figures; Shortened proof of Theorems 2.2 and 2.4, changed abstract

MSC Class: 14Q99; 14M25

Journal ref: J. Alg. Comb. June 2010, Volume 31, Issue 4, pp 467-489