variety
2680 papers tagged with this keyword
Classical double Grothendieck transitions
Kirillov and Naruse have constructed double Grothendieck polynomials to represent the equivariant K-theory classes of Schubert varieties in the complete flag manifolds of types B, C, and D. We derive a recursive formula for these polynomials, extending certain K-theoretic transition equations known in type A to all classical types. As an application, we obtain an identity that expands the K-Stanley symmetric functions in types B, C, and D into positive linear combinations of K-theoretic Schur P- and Q-functions. We also resolve several positivity conjectures related to the skew generalizations of the latter functions.
Cyclotomic points on varieties and all rational $a^3b$-monotiles
By computing all cyclotomic points on some algebraic varieties, we get an independent and efficient way to find all rational $a^3b$-monotiles for the sphere, thereby completing the classification of edge-to-edge monohedral quadrilateral tilings. Both of the previous classifications \cite{lw2} and \cite{cl} depended on many old works of different authors while quite a few typos and gaps were found.
The geometric Merkurjev-Panin Conjecture for the Cox category
We show that a strong version of the geometric Merkurjev-Panin conjecture holds for the Cox category of a projective toric variety. That is, we prove that the full strong exceptional collection of Bondal-Thomsen line bundles is invariant under the group of lattice automorphisms that permute the rays of the toric variety's fan. Our result is meant to further illustrate that the Cox category is a natural repository for homological algebra on toric varieties.
Möbius function is strongly orthogonal to polynomial phases over $\mathbb{F}_p[t]$
In this paper, we prove power-saving bounds for the corelation of the Möbius function with polynomial phases of degree $k$ in function fields $\mathbb{F}_p[t]$, when $p > k$. The proof relies on a new approximation result for phases of biased multilinear forms and the recently established strong bounds for the problem of finding bounded codimension varieties inside the dense ones. Along the way, we also obtain polynomial bounds in the inverse theorem for Gowers uniformity norms in the special case of polynomial phases in finite vector spaces.
Low-codimensional Subvarieties Inside Dense Multilinear Varieties
Published in Proceedings of the 13th European Conference on Combinatorics, Graph Theory and Applications EUROCOMB '25 (2025), 904--909
• Search Publication
Let $G_1, \dots, G_k$ be finite-dimensional vector spaces over a prime field $\mathbb{F}_p$. Let $V$ be a variety inside $G_1 \times \cdots \times G_k$ defined by a multilinear map. We show that if $|V| \geq c |G_1| \cdots |G_k|$, then $V$ contains a subvariety defined by at most $K(\log_{p} c^{-1} + 1)$ multilinear forms, where $K$ depends on $k$ only. This result is optimal up to multiplicative constant and is relevant to the partition vs. analytic rank problem in additive combinatorics.
Tropical KP Theory on Banana Curves
The Kadomtsev-Petviashvili (KP) equation is the cornerstone of integrable systems, whose solutions reflect deep connections in algebraic geometry. Banana curves are reducible rational curves obtained as a degeneration of hyperelliptic curves. In this work, we relate the family of KP multi-solitons arising from banana curves together with non-special divisors of fixed degree to the combinatorics of the tropical theta divisor of the curve. We describe the Voronoi and Delaunay polytopes and show that the latter are combinatorially equivalent to uniform matroid polytopes. As a consequence, the combinatorics of the tropical theta divisor canonically encodes the matroid and Grassmannian structures underlying the associated KP multi-soliton solutions. We define the Hirota variety of a banana graph, which parametrizes all tau functions arising from such a graph. Starting from the matroid arising from Delaunay polytopes and the periods in the tropical limit, we construct an explicit parametrization of this variety which realizes the tau function as a multi-soliton. Our framework specializes naturally to real and positive settings.
Coordinate rings of regular semisimple Hessenberg varieties and cohomology rings of regular nilpotent Hessenberg varieties
The polynomials $f_{i,j}$ are introduced by Abe-Harada-Horiguchi-Masuda to produce an explicit presentation by generators and relations of the cohomology rings of regular nilpotent Hessenberg varieties. In this paper we quantize the polynomials $f_{i,j}$ by a method of Fomin-Gelfand-Postnikov. Our main result states that their quantizations $F_{i,j}$ are related to the coordinate rings of regular semisimple Hessenberg varieties. This result yields a connection between the coordinate rings of regular semisimple Hessenberg varieties and the cohomology rings of regular nilpotent Hessenberg varieties. We also provide the quantized recursive formula for $F_{i,j}$.
On strongly Koszul algebras and tidy Gröbner bases
Strongly Koszul algebras were introduced by Herzog, Hibi and Restuccia in 2000. The goal of the present paper is to provide an in-depth study of such algebras and to investigate how strong Koszulness interacts with the existence of a quadratic Gröbner basis for the defining ideal. Firstly, we prove that the existence of a quadratic revlex-universal Gröbner basis with a strong sparsity condition (that we name "tidiness") is a sufficient condition for strong Koszulness, and exhibit several concrete examples arising from determinantal objects and Macaulay's inverse system. We then prove that there exist standard graded algebras that are strongly Koszul but do not admit a Gröbner basis of quadrics even after a linear change of coordinates, thus answering negatively a question posed by Conca, De Negri and Rossi. As a bonus, we prove that strong Koszulness behaves well under tensor and fiber products of algebras and illustrate how Severi varieties and Macaulay's inverse system interact to produce examples of strongly Koszul algebras with a geometric flavor.
Diagonal Simplicial Tensor Modules and Algebraic $n$-Hypergroupoids
Let $A$ be a commutative ring, let $k\in\mathbb{Z}^+$, and let $\vec{s}=(n_1,\dots,n_k)\in(\mathbb{Z}^+)^k$ with $n=\min_a(n_a)-1$. We attach to $\vec{s}$ a diagonal simplicial tensor module $X_\bullet(\vec{s};A)$ whose $p$-simplices are functions on a cosimplicial index set $I_p(\vec{s})\subseteq \mathbb{N}^k$. This extends Quillen's diagonal on double semi-simplicial groups: $X_\bullet(\vec{s};A)$ is obtained by restricting a $k$-fold simplicial $A$-module along the diagonal $p\mapsto(p,\ldots,p)$.
Using a ``missing indices'' description of face kernels, we compute the horn kernels $R_{p,j}(X)$ and show that $R_{p,j}(X)\neq 0$ if and only if $k\ge p$, independently of $j$. Consequently, $X_\bullet(\vec{s};A)$ is an algebraic $n$-hypergroupoid in the sense of Duskin (1979) and Glenn (1982) if and only if $k\le n$, and horn fillers in dimension $n$ are non-unique if and only if $k\ge n$; in particular it is strict precisely when $k=n$. A Horn Non-Degeneracy Lemma shows that, for $p\ge 1$, $R_{p,j}(X)\cap D_p(X)=\{0\}$ and yields a decomposition $X_p=R_{p,j}(X)\oplus D_p(X)$. An explicit shift-and-truncate chain homotopy, equivariant under $\operatorname{Stab}(\vec{s})$ and compatible with a natural filtration, contracts $X_\bullet(\vec{s};A)$ and forces the associated spectral sequence to collapse at $E_1$.
When $A$ is an infinite field $K$, we study simplicial submodules generated by a single tensor via kernel sequences and a moduli map to a product of Grassmannians. The moduli map image is an irreducible and unirational constructible subset of a determinantal incidence variety.
Fano and Reflexive Polytopes from Feynman Integrals
We classify the Fano and reflexive polytopes that arise from quasi-finite Feynman integrals. These polytopes appear as scaled Minkowski sums of the Newton polytopes associated with the Symanzik graph polynomials. For one-loop graphs and multiloop sunset graphs, we identify the Fano and reflexive cases by computing the number of interior points from the associated bivariate Ehrhart polynomials. More generally, we utilize the properties of Symanzik polynomials and their symmetries to conduct a direct search over all Feynman graphs in generic kinematics with up to ten edges and nine loops. We find that such cases are remarkably sparse: for example, we find only two two-dimensional reflexive polytopes, three three-dimensional reflexive polytopes, and four three-dimensional Fano polytopes. We also reveal a surprising feature of one-loop $N$-gon integrals in higher dimensions: their associated reflexive polytopes encode degenerate Calabi--Yau $(N-2)$-folds. We further analyze the geometric structures encoded by these polytopes and exhibit explicit connections with del Pezzo surfaces, $K3$ surfaces, and Calabi--Yau threefolds. Since reflexive polytopes naturally correspond to Calabi--Yau varieties, our classification demonstrates that quasi-finite Feynman integrals, with reflexive polytopes, are intrinsically linked to Calabi--Yau period integrals.
Billey-Postnikov posets, rationally smooth Schubert varieties, and Poincaré duality
Billey-Postnikov (BP) decompositions govern when Schubert varieties $X(w)$ decompose as bundles of smaller Schubert varieties. We further develop the theory of BP decompositions and show that, in finite type, they can be recognized by pattern conditions and are indexed by the order ideals of a poset $\mathsf{bp}(w)$ that we introduce; we conjecture that this holds in any Coxeter group. We then apply BP decompositions to show that, when $X(w)$ is rationally smooth and $W$ simply laced, the Schubert structure constants $c_{uv}^w$ satisfy a triangularity property, yielding a canonical involution on the Schubert cells of $X(w)$ respecting Poincaré duality. We also classify the rationally smooth Bruhat intervals in finite type (other than $E$) which admit generalized Lehmer codes, answering questions and conjectures of Billey-Fan-Losonczy, Bolognini-Sentinelli, and Bishop-Milićević-Thomas. Finally, we show that rationally smooth Schubert varieties in infinite type need not have Grassmannian BP decompositions, disproving conjectures of Richmond-Slofstra and Oh-Richmond.
Unitarity of highest weight Harish-Chandra modules and smoothness of Schubert varieties
Let $G_{\mathbb{R}}$ be a Lie group of Hermitian type, and $L(λ)$ a highest weight Harish-Chandra module of $G_{\mathbb{R}}$ with highest weight $λ$. In this article, we exhibit a bijection between the set of connected Dynkin subdiagrams containing the noncompact simple root and the set of unitary highest weight modules $L(-wρ-ρ)$, where $ρ$ is half the sum of positive roots. We find that $L(-wρ-ρ)$ is unitary if and only if the Schubert variety $X(w)$ is smooth. We also give the cardinality of the set of unitary highest weight modules $L(-wρ-ρ)$ for each Kazhdan-Lusztig right cell.
On Borel orbits of quadratic forms in characteristic 2
We consider the spherical variety of quadratic forms over a quadratically closed field of characteristic 2, and determine its orbits for the action of the Borel subgroup of upper triangular matrices. We exhibit a connection between these orbits and the Catalan triangle numbers. In addition, we describe explicitly a natural Weyl group action on the set of Borel orbit double covers
Totally nonnegative Peterson variety and strongly dominant weight polytope
We study the totally nonnegative part of the Peterson variety in arbitrary Lie type and establish its connection to the strongly dominant weight polytope. In particular, we prove that the totally nonnegative part of the Peterson variety is a regular CW-complex, which is homeomorphic to a cube as a cell-decomposed space. This confirms a conjecture of Rietsch for all Lie types.
The Intersection Cohomology of a Fan and the Hodge Conjecture for Toric Varieties
We formulate a combinatorial version of the Intersection Hodge Conjecture for projective toric varieties. The conjecture asserts that the subspace of rational Hodge classes in the intersection cohomology $IH^*(X_Σ)$ is generated by the classes of algebraic cycles. We define the space of combinatorial Hodge classes, $Hdg^k_{\mathrm{comb}}(Σ) \subset IH^{2k}_{\mathrm{comb}}(Σ, \mathbb{Q})$, using the combinatorial intersection cohomology theory for fans developed by Barthel, Brasselet, Fieseler, and Kaup. We conjecture that this space is spanned by the combinatorial cycle classes corresponding to torus-invariant subvarieties. We verify this conjecture for all projective toric varieties of dimension $n \le 3$ and for the class of simplicial projective toric varieties. Finally, we provide an algorithmic framework to verify the conjecture for arbitrary rational fans.
A poset representation for stable contracts in a two-sided market generated by integer choice functions
Generalizing a variety of earlier problems on stable contracts in two-sided markets, Alkan and Gale introduced in 2003 a general stability model on a bipartite graph $G=(V,E)$ in which the vertices are interpreted as ``agents'', and the edges as possible ``contract'' between pairs of ``agents''. The edges are endowed with nonnegative capacities $b$ giving upper bounds on ``contract intensities'', and the preferencies of each ``agent'' $v\in V$ depend on a \emph{choice function} (CFs) that acts on the set of ``contracts'' involving $v$, obeying three well motivated axioms of \it{consistence}, \it{substitutability} and \it{cardinal monotonicity}. In their model, the capacities and choice functions can take reals or discrete values and, extending well-known earlier results on particular cases, they proved that systems of \it{stable} contracts always exist and, moreover, their set $\cal S$ constitutes a distributive lattice under a natural comparison relation $\prec$.
In this paper, we study Alkan--Gale's model when all capacities and choice functions take integer values. We characterize the set of rotations -- augmenting cycles linking neighboring stable assignments in the lattice $(\cal S,\prec)$, explain how to construct the rotations efficiently, and devise a weighted poset in which the lattice of closed functions is isomorphic to $(\cal S,\prec)$, thus obtaining an explicit representation for the latter. We show that in general the size of the poset is at most $b^{\rm max}|E|$, where $b^{\rm max}$ is the maximal capacity, and the poset can be constructed in pseudo polynomial time. Then we explain that by imposing an additional condition on CFs, the size of the poset becomes polynomial in $|V|$, and the total time reduces to a polynomial in $|V|,\log b^{\rm max}$.
On stationary real matrix Schubert varieties
In this paper, we study when a real matrix Schubert variety is stationary with respect to the first variation. We first show that a necessary condition for its open dense regular part to be a minimal submanifold is that the corresponding partial permutation is vexillary. Among vexillary partial permutations, we establish minimality by a geometric argument when the Rothe diagram is of Grassmannian type and has at most two connected components. We further obtain, as a corollary, the minimality of those varieties that decompose as products of this type. These varieties include all determinantal varieties as well as some new minimal cones.
First Betti number of real Calabi-Yau hypersurfaces: examples
Continuing the investigation of real Calabi-Yau hypersurfaces in toric varieties obtained by patchworking, we present a new theorem concerning the computation of their first Betti number using mirror symmetry. Although the proof of this result will appear elsewhere, we focus here on its consequences and applications to the topology of real Calabi-Yau hypersurfaces.
Varieties of Lines in 3-Space
We consider configurations of lines in 3-space with incidences prescribed by a graph. This defines a subvariety in a product of Grassmannians. Leveraging a connection with rigidity theory in the plane, for any graph, we determine the dimension of the incidence variety and characterize when it is irreducible or a complete intersection. We study its multidegree and the family of Schubert problems it encodes. Our spanning-tree coordinates enable efficient symbolic computations. We also provide numerical irreducible decompositions for incidence varieties with up to eight lines. These constructions with lines play a key role in the Landau analysis of scattering amplitudes in particle physics.
The Eulerian numbers can D.I.E
The Eulerian numbers form a triangular array with many interesting properties. The numbers arise from various combinatorial and probabilistic interpretations, and have been studied in a variety of mathematical contexts. In this article we examine two distinct alternating sign formulas for the Eulerian numbers and show how they can be proved using a sign-reversing involution technique described by Benjamin and Quinn known as the ``D.I.E.'' method. Each of these arguments lends itself to a broad generalization, shedding light on different parts of mathematics.