variety
2744 papers tagged with this keyword
A Lagrangian filling for every cluster seed
Published in Inventiones Math. (2024)
• View Publication
• BIB
We show that each cluster seed in the augmentation variety is inhabited by an embedded exact Lagrangian filling. This resolves the matter of surjectivity of the map from Lagrangian fillings to cluster seeds. The main new technique to produce these Lagrangian fillings is the construction and study of a quiver with potential associated to curve configurations. We prove that its deformation space is trivial and show how to use it to manipulate Lagrangian fillings with $\mathbb{L}$-compressing systems via Lagrangian disk surgeries.
Towards combinatorial characterization of the smoothness of Hessenberg Schubert varieties
Published
• View Publication
• BIB
A \emph{Hessenberg Schubert variety} is an irreducible component of the intersection of a Schubert variety and a Hessenberg variety, defined as the closure of a Schubert cell inside the Hessenberg variety. We consider the smoothness of Hessenberg Schubert varieties of regular semisimple Hessenberg varieties of type $A$ in this paper.
We consider the smoothness of the intersection of a Schubert variety and a Hessenberg variety to ensure the smoothness of the corresponding Hessenberg Schubert variety. Specifically, we analyze the structure of the GKM graphs of the intersection of a Schubert variety indexed by some special permutations and a Hessenberg variety. The regularity of the GKM graph is completely characterized in terms of pattern avoidance, which is a necessary (and also sufficient conjecturally) condition for the intersection to be smooth. We then extend the pattern avoidance result to all permutations, which is believed to be a sufficient condition for the corresponding Hessenberg Schubert variety to be smooth.
Quasi-coincidence of cluster structures on positroid varieties
Published
• View Publication
• BIB
By work of a number of authors, beginning with Scott and culminating with Galashin and Lam, the coordinate rings of positroid varieties in the Grassmannian carry cluster algebra structures. In fact, they typically carry many such structures, the two best understood being the source-labelled and target-labelled structures, referring to how the initial cluster is computed from a Postnikov diagram or plabic graph. In this article, we show that these two cluster algebra structures quasi-coincide, meaning in particular that a cluster variable in one structure may be expressed in the other structure as the product of a cluster variable and a Laurent monomial in the frozen variables. This resolves a conjecture attributed to Muller and Speyer from 2017. The proof depends critically on categorification: of the relevant cluster algebra structures by the author, of perfect matchings and twists by the author with Çanakçı and King, and of quasi-equivalences of cluster algebras by Fraser and Keller. By similar techniques, we also show that Muller and Speyer's left twist map is a quasi-cluster equivalence from the target-labelled structure to the source-labelled structure.
Taylor is prime
Published
• View Publication
• BIB
We study the Taylor varieties and obtain new characterizations of them via compatible reflexive digraphs. Based on our findings, we prove that in the lattice of interpretability types of varieties, the filter of the types of all Taylor varieties is prime.
Relative cluster categories and Higgs categories with infinite-dimensional morphism spaces
Cluster algebras *with coefficients* are important since they appear in nature as coordinate algebras of varieties like Grassmannians, double Bruhat cells, unipotent cells, ... . The approach of Geiss-Leclerc-Schröer often yields Frobenius exact categories which allow to categorify such cluster algebras. In previous work, the third-named author has constructed Higgs categories and relative cluster categories in the relative Jacobi-finite setting (arXiv:2109.03707). Higgs categories generalize the Frobenius categories used by Geiss-Leclerc-Schröer.
In this article, we construct the Higgs category and the relative cluster category in the relative Jacobi-infinite setting under suitable hypotheses. These cover for example the case of Jensen-King-Su's Grassmannian cluster category. As in the relative Jacobi-finite case, the Higgs category is no longer exact but still extriangulated in the sense of Nakaoka-Palu. We also construct a cluster character refining Plamondon's.
In the appendix, Chris Fraser and the second-named author categorify quasi-cluster morphisms using Frobenius categories. A recent application of this result is due to Matthew Pressland, who uses it to prove a conjecture by Muller-Speyer.
Moduli spaces of quantum toric stacks and their compactification
A toric variety is a normal complex variety which is completely described by combinatorial data, namely by a fan of strongly convex rational (with respect to a lattice) cones. Due to this rationality condition, toric varieties are (equivariantly) rigid since a deformation of the lattice can make it dense. A solution to this problem consists in considering quantum toric stacks. The latter is a stacky generalization of toric varieties where the "lattice" is replaced by a finitely generated subgroup of $\mathbb{R}^d$ (in the simplicial case as introduced by L. Katzarkov, E. Lupercio, L. Meersseman and A. Verjovsky). The goal of this paper is to explain the moduli spaces of quantum toric stacks and their compactification.
Partitioning problems via random processes
Published
• View Publication
• BIB
There are a number of well-known problems and conjectures about partitioning graphs to satisfy local constraints. For example, the majority colouring conjecture of Kreutzer, Oum, Seymour, van der Zypen and Wood states that every directed graph has a 3-colouring such that for every vertex $v$, at most half of the out-neighbours of $v$ have the same colour as $v$. As another example, the internal partition conjecture, due to DeVos and to Ban and Linial, states that for every $d$, all but finitely many $d$-regular graphs have a partition into two nonempty parts such that for every vertex $v$, at least half of the neighbours of $v$ lie in the same part as $v$.
We prove several results in this spirit: in particular, two of our results are that the majority colouring conjecture holds for Erdős-Rényi random directed graphs (of any density), and that the internal partition conjecture holds if we permit a tiny number of "exceptional vertices".
Our proofs involve a variety of techniques, including several different methods to analyse random recolouring processes. One highlight is a "personality-changing" scheme: we "forget" certain information based on the state of a Markov chain, giving us more independence to work with.
K-classes of delta-matroids and equivariant localization
Published
• View Publication
• BIB
Delta-matroids are "type B" generalizations of matroids in the same way that maximal orthogonal Grassmannians are generalizations of Grassmannians. A delta-matroid analogue of the Tutte polynomial of a matroid is the interlace polynomial. We give a geometric interpretation for the interlace polynomial via the K-theory of maximal orthogonal Grassmannians. To do so, we develop a new Hirzebruch-Riemann-Roch-type formula for the type B permutohedral variety.
Cocharge and skewing formulas for $Δ$-Springer modules and the Delta Conjecture
Published
• View Publication
• BIB
We prove that $ωΔ'_{e_{k}}e_n|_{t=0}$, the symmetric function in the Delta Conjecture at $t=0$, is a skewing operator applied to a Hall-Littlewood polynomial, and generalize this formula to the Frobenius series of all $Δ$-Springer modules. We use this to give an explicit Schur expansion in terms of the Lascoux-Schützenberger cocharge statistic on a new combinatorial object that we call a \textit{battery-powered tableau}. Our proof is geometric, and shows that the $Δ$-Springer varieties of Levinson, Woo, and the second author are generalized Springer fibers coming from the partial resolutions of the nilpotent cone due to Borho and MacPherson.
We also give alternative combinatorial proofs of our Schur expansion for several special cases, and give conjectural skewing formulas for the $t$ and $t^2$ coefficients of $ωΔ'_{e_{k}}e_n$.
Geometry of the twin manifolds of regular semisimple Hessenberg varieties and unicellular LLT polynomials
Published
• View Publication
• BIB
Recently, Masuda-Sato and Precup-Sommers independently proved an LLT version of the Shareshian-Wachs conjecture which says that the Frobenius characteristics of the cohomology of the twin manifolds of regular semisimple Hessenberg varieties are unicellular LLT polynomials. The purpose of this paper is to study the geometry of twin manifolds and we prove that they are related by explicit blowups and fiber bundle maps. Upon taking their cohomology, we obtain a direct proof of the modular law which establishes the LLT Shareshian-Wachs conjecture.
Combinatorics of semi-toric degenerations of Schubert varieties in type C
Published
• View Publication
• BIB
An approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Using the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced Kogan faces. The first named author introduced a generalization of reduced Kogan faces to symplectic Gelfand-Tsetlin polytopes using a semi-toric degeneration of a Schubert variety, and extended the result of Kiritchenko-Smirnov-Timorin to type C case. In this paper, we introduce a combinatorial model to this type C generalization using a kind of pipe dream with self-crossings. As an application, we prove that the type C generalization can be constructed by skew mitosis operators.
Matroid Products in Tropical Geometry
Published
• View Publication
• BIB
Symmetric powers of matroids were first introduced by Lovasz and Mason in the 1970s, where it was shown that not all matroids admit higher symmetric powers. Since these initial findings, the study of matroid symmetric powers has remained largely unexplored. In this paper, we establish an equivalence between valuated matroids with arbitrarily large symmetric powers and tropical linear spaces that appear as the variety of a tropical ideal. In establishing this equivalence, we additionally show that all tropical linear spaces are connected through codimension one. These results provide additional geometric and algebraic connections to the study of matroid symmetric powers, which we leverage to prove that the class of matroids with second symmetric power is minor closed and has infinitely many forbidden minors.
Positive del Pezzo Geometry
Published
• View Publication
• BIB
Real, complex, and tropical algebraic geometry join forces in a new branch of mathematical physics called positive geometry. We develop the positive geometry of del Pezzo surfaces and their moduli spaces, viewed as very affine varieties. Their connected components are derived from polyhedral spaces with Weyl group symmetries. We study their canonical forms and scattering amplitudes, and we solve the likelihood equations.
On combinatorics of string polytopes in types $B$ and $C$
Published
• View Publication
• BIB
A string polytope is a rational convex polytope whose lattice points parametrize a highest weight crystal basis, which is obtained from a string cone by explicit affine inequalities depending on a highest weight. It also inherits geometric information of a flag variety such as toric degenerations, Newton-Okounkov bodies, mirror symmetry, Schubert calculus, and so on. In this paper, we study combinatorial properties of string polytopes in types $B$ and $C$ by giving an explicit description of string cones in these types which is analogous to Gleizer-Postnikov's description of string cones in type $A$. As an application, we characterize string polytopes in type $C$ which are unimodularly equivalent to the Gelfand-Tsetlin polytope in type $C$ for a specific highest weight.
Space of nilpotent orbits and extension of period maps (I): The weight 3 Calabi-Yau types
In Kato-Nakayama-Usui's theory, a certain space of nilpotent orbits can be constructed and serve as a completion of a given period map. This can be regarded as a generalization of Mumford's toroidal compactification for locally symmetric varieties.
Kato-Nakayama-Usui's construction requires the existence of a weak fan, which is not known in general for non-classical cases. In this paper, we show after some slight modifications, such weak fans exist for a large class of period maps of weight 3 Calabi-Yau type. In particular, for these cases a Kato-Nakayama-Usui type completion can be constructed.
Forest polynomials and the class of the permutahedral variety
Published
• View Publication
• BIB
We study a basis of the polynomial ring that we call forest polynomials. This family of polynomials is indexed by a combinatorial structure called indexed forests and permits several definitions, one of which involves flagged P-partitions. As such, these polynomials have a positive expansion in the basis of slide polynomials. By a novel insertion procedure that may be viewed as a generalization of the Sylvester correspondence we establish that Schubert polynomials decompose positively in terms of forest polynomials. Our insertion procedure involves a correspondence on words which allows us to show that forest polynomials multiply positively.
We proceed to show that forest polynomials are a particularly convenient basis in regards to studying the quotient of the polynomial ring modulo the ideal of positive degree quasisymmetric polynomials. This aspect allows us to give a manifestly nonnegative integral description for the Schubert class expansion of the cohomology class of the permutahedral variety in terms of a parking procedure. We study the associated combinatorics in depth and introduce a multivariate extension of mixed Eulerian numbers.
Matching Fields in Macaulay2
This article introduces the package MatchingFields for Macaulay2 and highlights some open problems. A matching field is a combinatorial object whose data encodes a candidate toric degeneration of a Grassmannian or partial flag variety of type A. Each coherent matching field is associated to a certain maximal cone of the respective tropical variety. The MatchingFields package provides methods to construct matching fields along with their rings, ideals, polyhedra and matroids. The package also supplies methods to test whether a matching field is coherent, linkage and gives rise to a toric degeneration.
On Permutation Trinomials of the type $X^{q^2-q+1}+AX^{q^2}+BX$ over $\mathbb{F}_{q^3}$
Necessary and sufficient conditions on $A,B\in \mathbb{F}_{q^3}^*$ for $f(X)=X^{q^2-q+1}+AX^{q^2}+BX$ being a permutation polynomial of $\mathbb{F}_{q^3}$ are investigated via a connection with algebraic varieties over finite fields.
Noncrossing Partition Lattices from Planar Configurations
Published in Discrete & Computational Geometry (2024)
• View Publication
• BIB
The lattice of noncrossing partitions is well-known for its wide variety of combinatorial appearances and properties. For example, the lattice is rank-symmetric and enumerated by the Catalan numbers. In this article, we introduce a large family of new noncrossing partition lattices with both of these properties, each parametrized by a configuration of n points in the plane.
New Calabi-Yau Manifolds from Genetic Algorithms
Published
• View Publication
• BIB
Calabi-Yau manifolds can be obtained as hypersurfaces in toric varieties built from reflexive polytopes. We generate reflexive polytopes in various dimensions using a genetic algorithm. As a proof of principle, we demonstrate that our algorithm reproduces the full set of reflexive polytopes in two and three dimensions, and in four dimensions with a small number of vertices and points. Motivated by this result, we construct five-dimensional reflexive polytopes with the lowest number of vertices and points. By calculating the normal form of the polytopes, we establish that many of these are not in existing datasets and therefore give rise to new Calabi-Yau four-folds. In some instances, the Hodge numbers we compute are new as well.