variety
2680 papers tagged with this keyword
Matchings and Clusters on Plabic Fences
Fix two positive braid words $β_+,β_-$, and let $\text{Conf}(β_+,β_-)$ be the corresponding (type A) double Bott-Samelson variety. Let $β$ be a double braid word containing $β_+,β_-$ as the top, bottom words. We consider the open cluster torus $T(C_β)$ associated to a triangulation $C_β$ in $\text{Conf}(β_+,β_-)$ from arXiv:1904.07992, and we identify these with weighted plabic fences, where the usual local moves on planar bipartite graphs naturally correspond to change of torus coordinates in double Bott-Samelson variety. Moreover, $T(C_β)$ can be parametrized explicitly by certain matrix products, and also has monomial coordinates given by the cluster variables, which are matrix minors. We interpret these minors as a generalized notion of perfect matchings on weighted plabic fences, which may not be reduced plabic graphs. Using this interpretation, we show that the cluster variables are given by "generalized minimal matchings", extending the minimal matchings from arXiv:1606.08383. Lastly, we derive a Chamber Ansatz formula for double Bott-Samelson varieties via face alternating products from dimer theory. In general, plabic fences are not reduced plabic graphs, yet we are able to extend and apply the standard tools such as local moves on plabic graphs, trips, and minimal matchings to them.
The Vámos Matroid Has No Second Symmetric Power
Symmetric powers of matroids were introduced by Lovász and Mason. The subject has recently attracted renewed interest through its connection with the realizability of tropical linear spaces by tropical ideals. Anderson proved that the tropical linear space associated with a matroid $M$ is the variety of a tropical ideal if and only if $M$ has a $d$th symmetric power for every positive integer $d$. He also asked whether the Vámos matroid $V_8$ has a second symmetric power. We answer this question in the negative by proving that $V_8$ has no second symmetric power. By Anderson's characterization, the associated tropical linear space cannot be realized as the variety of a tropical ideal.
Permutation Representations on Cohomology of Toric Varieties
Let $G$ be a finite group acting properly by lattice automorphisms on a complete simplicial fan $Σ$. An open question due to Stanley asked whether the (ungraded) representation carried by the cohomology $H^*(X_Σ)$ of the associated toric variety $X_Σ$ is isomorphic to a permutation representation of $G$. We prove that Stanley's question has an affirmative answer for all smooth projective toric varieties without the properness assumption on the action. The proof is inspired by toric mirror symmetry.
A hereditary theorem for rigid and pseudorigid components of Lusztig's nilpotent varieties in type $A$
For irreducible components $C_σ$ of Lusztig's nilpotent varieties of type $A$ with graded dimension $(1,2,\dots,n,n-1,\dots,1)$ arising from permutations $σ\in S_n$, we characterize the property that $C_σ\oplus C_σ$ is an irreducible component combinatorially in terms of $σ$. The permutations that occur, which we call \emph{pseudosmooth}, are described by a recursion on direct sums and deleting suitable corners, whose terminal cases are the permutations obtained from \[ 3412,\quad 4231,\quad 35142,\quad 42513,\quad 45312,\quad 426153,\quad 463152,\quad 526413 \] by inflating the entries into consecutive decreasing blocks. The main new input is a hereditary property valid for decompositions of multisegments with disjoint extreme points.
Non-attacking rook placements on crossword grids
We introduce the notion of a non-attacking rook placement on a crossword grid. A crossword grid is a collection of white squares (which comprise across and down words) and black squares (which separate the words), and a complete non-attacking rook placement on such a grid is a subset of white squares which intersects every across and every down word exactly once. We prove an upper bound on the number of rook placements that a general grid can admit. We then study sparse grids in which no two black squares share an edge and show that rook placements on certain sparse grids correspond bijectively to alternating sign matrices with prescribed $-1$ entries. Specializing further to permutation grids, we prove that every permutation grid admits at least one rook placement, and characterize the permutations whose grids admit exactly one placement in terms of the Robinson--Schensted correspondence. Throughout, we pose a variety of conjectures and open questions.
Varieties of chain complexes and mixed dimer covers
A quiver representation consists of a collection of vector spaces along with a set of arrows, which are linear maps between these spaces. In this work, we study quiver representations in equioriented type $A$ which are also chain complexes; that is, in which consecutive arrows compose to zero. We show that orbits of these representations under a change of basis action are in bijection with mixed dimer covers of a $2 \times n$ grid graph. The latter object can be endowed with a partial order which is a distributive lattice, and we show that the degeneration order on the orbits of chain complexes is a coarsening of this partial order. In addition, we use recent matrix formulae of Claussen and Ovenhouse to enumerate these orbits. This also computes the Kostant partition function applied to height-restricted, type $A$ roots. When the dimension vector is uniform, we discuss a correspondence with paths of a beam of light bouncing between glass plates and give an explicit generating function.
Compactification of $\operatorname{SL}(3,\mathbb{C})$-Character Varieties of Surfaces via Skein Algebras
We investigate the filtration structure of the skein algebra induced by the (quantum) trace map. Utilizing the structure, we prove that relative $\operatorname{SL}(3, \mathbb{C})$ character varieties of punctured surfaces admit log Calabi-Yau compactifications and prove the (weak) geometric P=W conjecture.
On cluster deep loci in double Bruhat cells
We study deep loci for the reduced-word Berenstein-Fomin-Zelevinsky cluster atlas on type-A double Bruhat cells. As defined in CGSS24, for a seed collection on a cluster variety X, the deep locus is the complement of the union of all corresponding cluster tori. We focus on double Bruhat cells G(u,v) for G = SL(n). Our main results are several theorems describing the structure of these deep loci, including their interaction with the Poisson structure, the relationships between the deep loci of different cells, and a tracking formula that allows us to compute the reduced-word deep locus of a cell from a lower-dimensional one. The paper also includes explicit low-rank calculations for double Bruhat cells in SL(3) and Borel double Bruhat cells in SL(4). Finally, we discuss the relationship between these results and some general properties of deep loci.
Noncommutative Cluster Varieties and Moduli Spaces of Local Systems
In this article, we construct noncommutative cluster varieties, $\mathcal{A}_{R,S}$, for each reduced root system $R$ and marked surface $S$ simultaneously generalizing the cluster varieties of Fock-Goncharov, Li, Goncharov-Shen, Berenstein-Retakh, Goncharov-Kontsevich, and our previously introduced polygonal cluster algebras. Additionally, we define a large class of algebraic groups, we call Jordan split groups. Given a reduced root system $R$ and a family of Jordan algebras, the Lie algebra for $G$ is constructed by unifying the Tits-Kantor-Koecher construction for a single Jordan algebra with the construction of a split Lie algebra.
The notion of Jordan split groups is closely related to a grading of its Lie algebra by the root system $R$. We show that these gradings are usually induced by a choice of standard parabolic subalgebra $\mathfrak{p}_Θ$ and we classify $R$-graded pairs $(G,Θ)$ via a condition depending only on the subset $Θ\subset Δ$ of the set of simple roots. Next, we define Jordan algebra points of $\mathcal{A}_{R,S}$ which parameterize $G$-local systems on $S$ with boundary decoration related to cosets $G/U_Θ$ when $G$ is Jordan split of type $R$. When $S$ is a disk, points of $\mathcal{A}_{R,S}$ parameterize configurations of decorated flags. We use this to give noncommutative cluster structures on the double $R$-Bruhat cells of $G$, generalizing the cluster algebras of Berenstein-Fomin-Zelevinsky. When each Jordan algebra is formally real, we say that $G$ has a positive structure with respect to $Θ$. This defines a positive semigroup in $G$. For real algebraic groups, the pairs $(G,Θ)$ which have positive structures are exactly those which admit a positive structure as defined by Guichard-Wienhard and we give algebraic proofs of many of the properties of positive configurations of flags and of positive representations.
When are tropical multidegrees positive?
We study the positivity of the tropical multidegrees of a tropical variety contained in a product of real vector spaces. These multidegrees are obtained by stably intersecting the tropical variety with pullbacks of positive tropical divisors. We introduce projection-purity and facet-selectability, two conditions under which positivity is determined by the dimensions of the natural projections, and the support of the tropical multidegrees is precisely the set of lattice points of a polymatroid base polytope. This extends He's theorem for translation-admissible tropical varieties. We also show that these conditions alone do not force the corresponding tropical volume polynomial to be Lorentzian. By contrast, for the augmented Bergman fan of any polymatroid, the positive multidegrees are supported precisely on the lattice points of the polymatroid base polytope, and the tropical volume polynomial is Lorentzian for every sequence of positive tropical divisors.
Dimensions of type $A$ Hessenberg varieties over a fixed sheet
Hessenberg varieties $\mathcal{H}\mathrm{ess}(\mathsf{X},\mathbf{h})$ are subvarieties of the flag variety parameterized by a Hessenberg function $\mathbf{h}: [n] \to [n]$ and a matrix $\mathsf{X} \in \mathfrak{gl}_n(\mathbb{C})$. In recent work, Goldin and the second author showed the existence of flat degenerations of Hessenberg varieties to nilpotent Hessenberg varieties over the minimal sheet. This implies that all Hessenberg varieties over the minimal sheet have the same dimension. Our main result generalizes this dimension result to arbitrary sheets. Specifically, we prove that for a fixed Hessenberg function $\mathbf{h}:[n] \to [n]$, all Hessenberg varieties $\mathcal{H}\mathrm{ess}(\mathsf{X},\mathbf{h})$ defined in the type $A$ flag variety by linear operators $\mathsf{X}$ from the same sheet of the Lie algebra $\mathfrak{gl}_n(\mathbb{C})$ have the same dimension.
Partitions of canonical bases
We show that various partitions of the canonical basis of quantum groups constructed by Lusztig and by Kashiwara coincide. Using this partition, we show that the subset corresponding to open Richardson varieties equals to the intersection of the subsets corresponding to the Schubert cells. We also show that in type $A$, the weights from open Richardson varieties are saturated in the corresponding Bruhat interval polytope.
An Exact Counting Formula for the Mutual Position of Two Plane Conics
Let $q$ be an odd prime power, and $\mathcal{C}, \mathcal{D}$ be two smooth plane conics defined over $\mathbb{F}_q$ with transversal intersection. We present an exact formula for the number of points in $\mathbb{P}^2(\mathbb{F}_q)$ that are internal/external to $\mathcal{C}$ and internal/external to $\mathcal{D}$. This refines the $\frac{q^2}{4}+O(q^{3/2})$ asymptotic estimate for this quantity due to Asgarli and Yip \cite[Theorem 1.2]{Asgarli}. In particular, we show that the error term is of size at most $q+\sqrt{q} + 1$. By studying the geometry of the incidence variety related to this problem, we link the exact point counts directly to the Frobenius traces of two associated elliptic curves, and the number of $\mathbb{F}_q$-rational intersection points of $\mathcal{C}$ and $\mathcal{D}$ and of the corresponding dual conics $\mathcal{C}^*$ and $\mathcal{D}^*$. Lastly, We provide a remark explaining the challenges in generalizing this method to the study of higher-dimensional quadrics.
Point Counts of Cluster Varieties of Marked Surfaces Over Finite Fields
We establish formulae for point counts of cluster varieties of cluster algebras of marked surfaces, possibly with punctures. We then establish formulae for the number of non-deep points in these cluster varieties over $\mathbb{F}_2$, which gives us the number of algebraic tori necessary to cover the cluster manifold over $\mathbb{F}_2$. We also show that these formulae satisfy certain recurrence relations.
Richardson tableaux and Motzkin paths
Richardson tableaux were introduced by Karp and Precup in their study of irreducible components of Springer fibers that are Richardson varieties. Guo gave an explicit bijection between Richardson tableaux and Motzkin paths through noncrossing involutions and the Robinson--Schensted (RS) algorithm. In this paper, we study Richardson tableaux of a fixed shape from the viewpoint of Motzkin paths. We introduce a shape algorithm, independent of the RS algorithm, that directly determines the shape of the corresponding Richardson tableau from a Motzkin path. Based on this algorithm, we construct a local bijection which keeps track of the major statistic and reproves combinatorially Karp and Precup's $q$-enumeration formula for Richardson tableaux of a given shape. We also prove a conjecture of Guo on the comajor generating function for Richardson tableaux with a prescribed number of odd columns.
Locally Acyclic Surface Type and Finite Type Cluster Algebras Have No Mysterious Points
Cluster varieties contain the union of cluster tori and the points not in this union are called $\textit{deep points}$, and the locus of these points is called the $\textit{deep locus}$. In arXiv:2402.16970, a description of this locus is conjectured for locally acyclic cluster algebras, in particular, stating that this should be the stabilizer locus of the cluster automorphism group. We resolve this conjecture for the case of cluster algebras arising from surfaces, introduced in arXiv:math/0608367, and the remaining finite type cases as categorized in arXiv:math/0208229. In particular, we show locally acyclic surface type cluster varieties have no deep points not contained in the stabilizer locus, and finite type cluster algebras also have no deep points not contained in the stabilizer locus, validating the mysterious points conjecture in these cases.
Complexity-sensitive additive energy and off-diagonal Young inequalities on bounded-degree algebraic varieties
We develop additive-energy estimates and weighted Young inequalities for finite sets on bounded-degree real algebraic varieties. For an irreducible $m$-dimensional variety $V$, let $σ(V)=2m-\dim\overline{V-V}^{\mathrm{Zar}}$ and $α(V)=\max{2,1+\frac{2σ(V)}{m}}$. For every $a\in[α(V),3)$ we define a finite-degree translation-partition flag parameter $Λ_{a,R}(X;V)$ and prove $E(X)\ll Λ_{a,R}(X;V)^{3-a}|X|^{a+\varepsilon}$. This recovers the line-concentration theorem of Jing and Wu for algebraic surfaces in $\mathbb{R}^3$. For codimension-two quadratic threefolds ${(u,Q_1(u),Q_2(u))\in\mathbb{R}^3}\subset\mathbb{R}^5$ with positive-definite $Q_1$ and simple generalized spectrum, we prove the sharp estimate $E(X)\ll_{\varepsilon}|X|^{2+\varepsilon}$ without a flag loss. Hereditary versions of these estimates imply weighted $L^4$ restriction bounds and off-diagonal Young inequalities; at the near-diagonal threshold the sharp region is $1\le p,q\le 2$ and $p^{-1}+q^{-1}\ge 1$. We also prove a sharp turning-complexity extension of the Cushman-Demeter-Wu theorem: $J_3(P)\ll_{\varepsilon}κ(P)^2|P|^{3+\varepsilon}$, with matching examples at every power scale.
A generalised transference principle
The last two decades have witnessed a growing trend towards proving sparse random analogues of combinatorial theorems. One unified approach to proving such theorems, formalised by Conlon and Gowers [Ann. of Math. 2016], involves establishing a 'transference principle' which allows one to translate between robust properties in the dense setting and the sparse $p$-random setting, provided $p$ is not too small. Our results provide a more general transference theorem, extending the results of Conlon and Gowers and also those of Schacht [Ann. of Math. 2016]. Among a variety of other applications, we use this to obtain a sparse counting lemma for graphs and hypergraphs which are not necessarily strictly balanced. Our method achieves asymptotically optimal bounds on the probability $p$, and the probability of success.
Combinatorial Hodge Index Theorem for Polytopes
Toric varieties can be constructed from rational polytopes, and several invariants of toric varieties can be expressed in terms of the combinatorics of the corresponding polytope. Barthel-Brasselet-Fieseler-Kaup (BBFK) introduced combinatorial intersection cohomology for convex polytopes, which agrees with the intersection cohomology of the associated toric variety when the polytope is rational. Maxim-Schuermann computed the intersection cohomology signature of a projective toric variety, corresponding to the case of a polytope with rational vertices. Using the combinatorial framework of BBFK, we show that the Maxim-Schuermann formula extends to arbitrary convex polytopes. Finally, we discuss a version of the Hodge index theorem for polytopes.
Quot scheme of points on torus knot singularities
For $\gcd(a,b)=1$, we show that the moduli space of $m$-codimensional $\Bbbk[\![T^a,T^b]\!]$-submodules of $\Bbbk[\![T]\!]^n$ is paved by affine cells, by proving that each Białynicki-Birula stratum of a closed related moduli space with respect to the natural $\mathbb{G}_m$-action is an affine bundle over the fixed point locus and that the fixed point locus is an iterated Grassmannian bundle. As an application, we determine the motive of this moduli space in the Grothendieck ring of varieties in terms of an explicit two-variable series $N_{a,b;n}(q,t)$, and use it to explicit compute the groupoid volume of the category of finite modules over $\mathbb{F}_q[\![T^a,T^b]\!]$.
The series $N_{a,b;n}$ carries the conjectures we then formulate. At $n=\infty$ we conjecture a bi-infinite family of Rogers--Ramanujan type identities by specializing the $t$-variable; we identify their product side with the normalized character of a module over the $\mathcal{W}$-algebra minimal model $\mathcal{W}_a(a,a+b)$, and observe a connetion to colored Jones tails. At $n<\infty$ we conjecture that $N_{a,b;n}$ is computed by the bottom $α$-row of the trigraded $S^n$-colored HOMFLY homology of the torus knot $T(a,b)$, and that this same bottom row also computes the Quot schemes of finite codimensional $\Bbbk[\![T^a,T^b]\!]$-submoudles of $\Bbbk[\![T^a,T^b]\!]^n$ and the punctual Hilbert schemes of the non-reduced curve $(Y^a-X^b)^n=0$; the three quantities are special values at three points of the trigrading, and when $n=1$ they recover both the conjectures of Oblomkov--Rasmussen--Shende and of Kivinen--Trinh.
Finally we conjecture that the one direction of the trigrading these three points do not see is a perverse filtration on the moduli spaces themselves, and we verify its prediction for a smooth germ at $n=2$ by computing the decomposition theorem for the $\mathrm{GL}_2$ spectral-curve family.