arXiv++ Combinatorics

For a general curve in positive characteristic, taking the Frobenius pullback induces a generically finite rational map V on the moduli space of rank 2 vector bundles with trivial determinant. Recently, Kondo--Wakabayashi show that the generic degree of V, considered as a function on the characteristic of the base field, is a quasi-polynomial. In this paper, we show that this quasi-polynomial is indeed a polynomial, and we write out this polynomial explicitly.

We show that when the number of zeros or poles is at least four, every connected component of the strata of differentials in genus one with prescribed zero and pole orders is not an orbifold $K(π,1)$. For quadratic differentials, this provides infinitely many counterexamples to a conjecture attributed to Kontsevich, as well as to a folklore conjecture concerning the contractibility of spaces of Bridgeland stability conditions.

Continuing our previous work, this paper closely studies the relationship between the cluster algebra structures on the coordinate ring of Schubert cells and those on the coordinate ring of partial flag varieties. We give a finite-type classification for these cluster structures and point out several results that were left open in our previous work.

The forest polynomials $\mathfrak{P}_a$ of Nadeau-Tewari form a $\mathbb{Z}$-basis of $\mathbb{Z}[x_1, x_2, \dots]$ whose role for the cohomology of the quasisymmetric flag variety parallels that of Schubert polynomials for the classical flag variety. Nonnegativity of the structure constants $β^c_{a,b}$ in $\mathfrak{P}_a \mathfrak{P}_b = \sum_c β^c_{a,b} \mathfrak{P}_c$ is known, but no Littlewood-Richardson-style enumerative rule has been available. We give such a rule: $β^c_{a,b}$ counts pairs of forest RC graphs of forest-codes $a$ and $b$ whose lift product lands on a forest RC graph of forest-code and weight both equal to $c$. The same rule descends to the cup product on $H^\bullet(QFl_n)$. The proof introduces a Schubert bialgebra $\mathcal{A}$ and lifts the multiplication on its graded dual $\mathcal{D}$ to a product on a free abelian group $\mathcal{B}RC$ of bounded RC graphs; the same machinery yields enumerative LR rules for the dual Schubert, dual key, dual forest, and dual slide bases of $\mathcal{D}$.

Let \(M\) be a loopless matroid on a finite ground set \(E\), and let \(\G\) be a building set containing the top flat \(E\). We define a tangent class \(T_{M,\G}\) in the \(K\)-ring \(K(M,\G)\), which extends the tangent bundle class of the de Concini--Procesi wonderful model from realizable matroids to arbitrary matroids with building sets. The class \(T_{M,\G}\) satisfies a matroidal Hirzebruch--Riemann--Roch package. More precisely, its Hirzebruch class \[ \operatorname{ch}(λ_y T_{M,\G}^{\vee})\operatorname{td}(T_{M,\G}) \] specializes to the Todd class and computes the Chow polynomial of \((M,\G)\). In the realizable case, these identities agree with the usual tangent-bundle computations on the corresponding wonderful model. As an application, we prove Chern-number inequalities for \(T_{M,\G}\), including a Miyaoka--Yau type inequality with respect to the hyperplane class.

Our aim is to use tropical differential algebra to systematically build a combinatorial basis for the study of the set of (formal) power series solutions to nonlinear algebraic ordinary differential equations (over $\mathbb{C}$) expanded around the point $t_0=0\in\mathbb{C}$, which may also be effectively computed using standard tropical algebra. This paper is divided into two parts. First, given an ordinary tropical differential equation in one differential variable $P=P(y)$ of (differential) order $k$, we study the sets $Sol_{\mathbb{B}[\![t^Γ]\!],k}(P)\supset μ(Sol_{\mathbb{B}[\![t^Γ]\!]}(P)\!)$ of tropical elementary $k$-solutions and minimal tropical solutions, respectively; we show that these two sets bear many similarities. We do this for tropical solutions $y=\varphi(t)\in \mathbb{B}[\![t^Γ]\!]$ (with coefficients in the boolean semifield $\mathbb{B}$) of $P$ having support in different relevant submonoids $Γ$ of $(\mathbb{R},+,0)$. Then, given an ordinary algebraic differential equation $\mathfrak{P}$ (with meromorphic coefficients in one differential variable $\mathfrak{P}=\mathfrak{P}(y)$ and of differential order $k$), we consider the set $S(\mathfrak{P},0):=ord_t(Sol_{\mathbb{C}[\![t^{\mathbb{R}}]\!]}(\mathfrak{P})\!)\subset\mathbb{R}$ of $t$-adic orders of formal Hahn solutions of $\mathfrak{P}$, which is an algebraic object that gives information about the nature of the germs of solutions of $\mathfrak{P}$ at the point $t_0=0\in\mathbb{C}$. We show that this set is contained in the set of $t$-adic orders of Hahn elementary $k$-solutions of its tropicalization $P=trop(\mathfrak{P})$, this is $S(\mathfrak{P},0)\subset ord_t(Sol_{\mathbb{B}[\![t^{\mathbb{R}}]\!],k}(P))$. In most cases, the set $Sol_{\mathbb{B}[\![t^{\mathbb{R}}]\!],k}(P)$ is a finite family of univariate tropical polynomials.

We study the multigraded regularity of the complete flag variety under the Plücker embedding. In particular, we prove inductive relationships about the regularity regions, and we provide some inner and outer bounds on the regions.

We introduce a combinatorial structure $(n,W,T)$ encoding the topological type of a curve transverse to a fixed cellular arrangement of curves on a compact real surface, in terms of intersection numbers, Dyck words and rooted trees. We apply this formalism to analyze a natural generalization of Hilbert's 16th problem to arrangements of curves. We obtain a complete classification of arrangements of three lines and a cubic, and a partial classification of arrangements of three lines and a quartic. This is achieved using Bézout-type obstructions, Viro's patchworking and translations, and by developing the Julia library NWT to handle large databases of curves.

We study Ziegler pairs of line arrangements from both numerical and homological perspectives. First, we show that for arrangements of $d<9$ lines the intersection lattice determines the exponent data considered here. Then we list six distinct Ziegler pair with $d=10$. In particular, we construct higher-degree examples with the same intersection lattice, the same minimal degree of a Jacobian relation, and the same Hilbert function of the Milnor algebra, but with different minimal graded free resolutions.

This ArXiv preprint of my doctoral dissertation, which, at this stage, has not yet been accepted by the doctoral thesis committee, is intended both to lay the groundwork for a series of papers, and to confirm the existence of a first proposed solution to the "Dual Amplituhedron" problem posed in 2014 by Princeton physicists N. Arkani-Hamed and J. Trnka, a mathematical object which encapsulate the calculation of scattering amplitudes in high-energy particle colliders. The first part of this thesis deals with a rewriting of the positive real Grassmannian and performing the singular gluing of its positroid varieties in a new way via Spectral Algebraic Geometry of J. Lurie on "structured" spaces and a categorification of his "Tannaka Duality for Quasi-coherent Stacks", finding in this formal moduli problem, a compact yet holistic formulation via perverse intersection complexes of P. Deligne. This algebraico-geometric perspective paired with a synthetic differential-geometric perspective, namely the Differential Cohesion of B. Lawvere and U. Schreiber, subsumes infinitesimal thickenings, crystalline cohomology of De Rham stacks, the "Modalities of Structured Geometries" and the unification of their cohomologies of the underlying concrete topological etale algebraic space. The second part uses this rewriting of positive Schubert geometry and "The Cohomology of Brauer-Grothendieck Spaces" of B. Toën and B. Antieau, to show that, instead of the Grassmannian spectral Deligne-Mumford stack which is autodual in the infinity-category of prestable infinity-categories of modules on E\infty-ring spectra, the Amplituhedron, categorified in a functor between infinity topoï, possesses a concrete non-trivial dual, and has a De Rham volume, facts of interest for the expected Duality between the Standard Model of particles and String Theory. This new construction yields the Dual Amplituhedron.

In this paper, we introduce a new idea to study modules of logarithmic differential forms of hyperplane arrangements, which we call residue ideals. We first establish basic properties of these ideals, including their radicals and primary decompositions, and obtain applications for freeness of restrictions of arrangements. Then we apply these ideals to the study of modules of logarithmic differential $1$-forms for graphic arrangements. We give an explicit generating set for these modules and find a new connection to cover ideals of graphs studied in combinatorial commutative algebra. As a consequence we establish several new connections between arrangement theory and Stanley--Reisner theory.

We study Euler characteristics of scaled toric varieties arising from second hypersimplices. In algebraic statistics, these are closely connected to maximum likelihood (ML) degrees of toric models. We establish a correspondence between delta-matroids and the non-vanishing factors of the principal $A$-determinant, providing an explicit connection between delta-matroid theory and algebraic statistics. Using this framework, we show that a conjectured minimum ML degree is realizable by a suitable embedding of the variety. Furthermore, for second hypersimplices up to order six, we prove that this value is minimal among all embeddings, as conjectured by Clarke et al. (2024).

Inspired by work of Altmann and Christophersen, we study the graded pieces of the cotangent cohomology $T^i_{S_{\mathcal{K}}}$, $i\geq 3$ of the Stanley-Reisner ring $S_{\mathcal{K}}$ associated to a simplicial complex $\mathcal{K}$. We prove a localization formula allowing one to reduce to the case of negative weights. Our results give a complete description of $T^3$ and $T^4$ in terms of the topology of $\mathcal{K}$ whenever $\mathcal{K}$ is a flag complex. As an application, we give a sufficient criterion for the vanishing of $T^3$ for simplicial spheres, classify two-spheres that have vanishing $T^3$, and show that the boundary complex of the dual associahedron has vanishing $T^3$. Our results make use of the arborescent resolutions considered by Hancharuk, Laurent-Gengoux, and Strobl. We give an alternative and self-contained treatment of these resolutions that may be of independent interest.

We associate to each positroid variety in the Grassmannian $\mathrm{Gr}(k,n)$ a polyhedral complex, which we call a fence complex. Fence complexes consist of unions of faces of the Gelfand-Tsetlin polytope $P_{k,n}$ associated to a fundamental weight $ω_k$. We show that these fence complexes are homeomorphic to closed balls. Furthermore, they endow the Gelfand-Tsetlin polytope with the structure of a regular CW complex, giving a polyhedral complex presentation of the regular CW complex structure on $\mathrm{Gr}(k,n)_{\geq 0}$. We also show that the Ehrhart polynomial of a fence complex equals the Hilbert polynomial of the associated positroid variety. We prove that under the Sturmfels-Gonciulea-Lakshmibai degeneration of $\mathrm{Gr}(k,n)$ to the toric variety of the Gelfand-Tsetlin polytope, positroid varieties degenerate to the reduced union of toric varieties corresponding to their fence complexes. As an application, we classify when positroid varieties contained inside hook Schubert varieties are arithmetically Gorenstein. We also derive a recursive character formula for cyclic Demazure modules, which we show is equivalent to a formula of Almousa, Gao and Huang.

The relationship between linear codes in the Hamming metric and projective algebraic varieties has led to deep interactions between coding theory and algebraic geometry, with classical examples such as Reed-Solomon codes and the rational normal curve. On the other hand, the sum-rank metric has recently gained attention due to applications in network coding, distributed storage, and post-quantum cryptography, with linearized Reed-Solomon codes emerging as optimal constructions. Despite recent advances, their structural and geometric properties are still not fully understood, and existing distinguishers remain limited. In this paper, we develop a geometric framework for linearized Reed-Solomon codes by considering a $q$-analogue of the rational normal curve. This yields a geometric characterization for certain parameter choices and reveals that the corresponding sets of points satisfy unexpectedly many $(q+1)$-degree hypersurface conditions. Our approach extends Schur-product-based techniques from the Hamming and rank-metric settings to the sum-rank metric case. Finally, we study the Hilbert function of the associated coordinate ring, providing a detailed description of its behavior and identifying its regularity, which also sheds new light on Gabidulin codes.

We give two combinatorial presentations for the algebraic cobordism ring $Ω^*(M)$ of the toric variety of the Bergman fan of any loopless matroid $M$. As a consequence of our presentations, we obtain an $Ω^*(\mathrm{pt})$-algebra isomorphism $Ω^*(M) \simeq CH^*(M) \otimes_{\mathbb{Z}} Ω^*(\mathrm{pt})$, where $CH^*(M)$ is the Chow ring of $M$ and $Ω^*(\mathrm{pt})$ is the algebraic cobordism ring of the point. This isomorphism generalizes, in part, the exceptional integral isomorphism between the Chow ring and $K$-ring of a matroid, studied in the recent works of Berget--Eur--Spink--Tseng and Larson--Li--Payne--Proudfoot. For a complex hyperplane arrangement $\mathcal{H}$, we prove that the algebraic cobordism ring of the wonderful variety $W_\mathcal{H}$ of $\mathcal{H}$ and the algebraic cobordism ring of the toric variety of the matroid underlying $\mathcal{H}$ are isomorphic, and that both rings coincide with the complex cobordism ring of $W_\mathcal{H}$.

We study Euler characteristics of tropical subvarieties of tropical abelian varieties. We prove that every H-regular subvariety, locally modeled on tropicalizations of sufficiently well-behaved very affine varieties, has nonnegative signed Euler characteristic. This gives a tropical analogue of a theorem of Green-Lazarsfeld for subvarieties of complex abelian varieties. The main input is a local vanishing theorem for H-regular tropical fans, which also yields a Lefschetz-type theorem for affine H-regular tropical varieties. We further show that the signed Euler characteristic inequality fails for general tropical subvarieties of tropical abelian varieties, and we construct a 3-dimensional tropical fan whose link is not homotopy equivalent to a bouquet of 2-spheres.

Our paper shows that if a matroid contains the Fano plane or its dual as a minor, then its toric ideal does not have any quadratic Gröbner basis. More than 25 years ago, Hibi, Herzog, and Sturmfels established a direct connection between the existence of quadratic Gröbner bases and regular unimodular flag triangulations. Our paper solves a famous question posed by Herzog and Hibi on a polyhedral reformulation for the existence of quadratic Gröbner bases: we show that the base polytopes of the Fano plane and its dual do not have regular unimodular flag triangulations which implies the main result on Gröbner bases. Our proof relies on several novel tools: a lemma that connects the $1$-skeleton of a lattice polytope to the lattice points in its dilations, an encoding with Boolean formulas and SAT solvers, and symmetry-breaking arguments.

In this thesis, we study the nested Hilbert scheme ((\mathbb{A}^2)^{[n,n+1]}=\mathrm{Hilb}^{n,n+1}(\mathbb{A}^2)) from a combination of deformation theory, torus actions, and Young diagram combinatorics. We first recall the scheme theory and functor basics needed to define Hilbert schemes. We then use a classic result on first-order deformations to identify (T_I(\mathbb{A}^2)^{[n]}\cong \mathrm{Hom}*{\mathbb{C}[x,y]}(I,\mathbb{C}[x,y]/I)). For a nested pair (I\subset J), with (\dim*{\mathbb{C}}\mathbb{C}[x,y]/I=n+1) and (\dim_{\mathbb{C}}\mathbb{C}[x,y]/J=n), the tangent space becomes a compatibility kernel (T_{(I,J)}(\mathbb{A}^2)^{[n,n+1]}\cong \ker(\mathrm{Hom}(I,R/I)\oplus \mathrm{Hom}(J,R/J)\to \mathrm{Hom}(I,R/J))). The torus-fixed points are indexed by a partition (λ\vdash n+1) together with a removable corner (c) of its Young diagram. This corner is not only combinatorial, but also the monomial form of a one dimensional socle direction in (R/I_λ). The blow-up map to ((\mathbb{A}^2)^{[n]}\times \mathbb{A}^2) has fibres given by projective spaces of one-dimensional quotients of (J/\mathfrak m_pJ), whose torus-fixed points are addable boxes of the smaller diagram. These two local fibres explain how the universal family, the blow-up geometry, and Young diagram combinatorics come together in the study of the local geometry of the nested Hilbert scheme of points. Finally, we derive the tangent weight formula at a fixed point ((I_λ,I_{λ\setminus c})) in the torus convention used in the thesis. Using the standard arrow basis, we show in the proof how the arm-leg weights are modified by the compatibility kernel through a shortening rule determined by (c). A Macaulay2 verification computes the compatibility kernel from monomial syzygies and checks the weight formula for all partitions of size at most (16).

In 1992, Pukhlikov and Khovanskii provided a description of the cohomology ring of toric variety as a quotient of the ring of differential operators on spaces of virtual polytopes. Later Kaveh generalized this construction to the case of cohomology rings for full flag varieties. In this paper we extend Pukhlikov-Khovanskii type presentation to the case of K-theory of toric and flag varieties. First, we study the Frobenius algebras obtained as quotients of the group algebra of free abelian group (possibly of infinite rank). Then we apply this construction to define a K-ring associated to a linear family of (virtual) polytopes. We study in detail two examples of such families: the family of integer (virtual) polytopes with a fixed normal fan and the family of (virtual) Gelfand-Zetlin polytopes. We show that the K-theory of toric and flag varieties can be realized as K-rings of the above families and use this to get natural set of relations in the above K-rings. Further, we describe the classes of structure sheaves of toric orbit closures and Schubert varieties in type A flag varieties. Finally, we show that our results also hold true in T-equivariant setting.