arXiv++ Combinatorics

Grothendieck weights, introduced by Shah, are $K$-theoretic analogues of Minkowski weights on smooth toric varieties. We study Grothendieck weights on the permutohedral fan and prove two main results: a $K$-balancing condition that characterizes Grothendieck weights by a finite system of linear equations, and an explicit product rule for the ring structure. We apply this framework to matroids, giving a combinatorial characterization of Grothendieck weights on matroidal fans. As the main application, we compute the motivic Chern class of the hyperplane arrangement complement in its wonderful compactification and show that the result depends only on the matroid, not on the realization. This allows us to extend the definition of the motivic Chern class to all loopless matroids.

We show that the Hilbert polynomial of a Calabi-Yau hypersurface $Z$ in a smooth toric variety $M$ associated to a convex polytope $Δ$ is given by a lattice point count in the polytope boundary $\partial Δ,$ just as the Hilbert polynomial of $M$ is known to be given by a lattice point count in the convex polytope $Δ.$ Our main tool is a computation of the Euler class in $K$-theory of the normal line bundle to the hypersurface $Z,$ in terms of the Euler classes of the divisors corresponding to the facets of the moment polytope. We observe a remarkable parallel between our expression for the Euler class and the inclusion-exclusion principle in combinatorics. To obtain our result we combine these facts with the known relation between lattice point counts in the facets of $Δ$ and the Hilbert polynomials of the smooth toric varieties corresponding to these facets.

We show that the number of lattice points in the boundary of a positive integer dilate of a Delzant integral polytope is a polynomial in the dilation parameter, analogous to the Ehrhart polynomial giving the number of lattice points in a lattice polytope. We give an explicit formula for this polynomial, analogous to the formula of Khovanskii-Pukhlikov for the Ehrhart polynomial. These counting polynomials satisfy a lacunarity principle, the vanishing of alternate coefficients, quite unlike the Ehrhart polynomial. We show that formal geometric quantization of singular Calabi Yau hypersurfaces in smooth toric varieties gives this polynomial, in analogy with the relation of the Khovanskii-Pukhlikov formula to the geometric quantization of toric varieties. The Atiyah-Singer theorem for the index of the Dirac operator gives a moral argument for the lacunarity of the counting polynomial. We conjecture that similar formulas should hold for arbitrary simple integral polytope boundaries.

This paper studies rings of integral piecewise-exponential functions on rational fans. Motivated by lattice-point counting in polytopes, we introduce a special class of unimodular fans called Ehrhart fans, whose rings of integral piecewise-exponential functions admit a canonical linear functional that behaves like a lattice-point count. In particular, we verify that all complete unimodular fans are Ehrhart and that the Ehrhart functional agrees with lattice-point counting in corresponding polytopes, which can otherwise be interpreted as holomorphic Euler characteristics of vector bundles on smooth toric varieties. We also prove that all Bergman fans of matroids are Ehrhart and that the Ehrhart functional in this case agrees with the Euler characteristic of matroids, introduced recently by Larson, Li, Payne, and Proudfoot. A key property that we prove about the Ehrharticity of fans is that it only depends on the support of the fan, not on the fan structure, thus providing a uniform framework for studying K-rings and Euler characteristics of complete fans and Bergman fans simultaneously.

We give a sufficient condition on a positive integer $m$ for every stratum of a given real toric hyperplane arrangement to contain a rational point of denominator $m$. As a consequence, we give a sufficient condition on $m$ for the degree $m$ Frobenius pushforward of the structure sheaf on a smooth toric variety to contain all possible summands in the Picard group.

We describe a natural geometric relationship between matroids and underlying flag matroids by relating the geometry of the greedy algorithm to monotone path polytopes. This perspective allows us to generalize the construction of underlying flag matroids to polymatroids. We show that the polytopes associated to underlying flag polymatroid are simple by proving that they are normally equivalent to certain nestohedra. We use this to show that polymatroids realized by subspace arrangements give rise to smooth toric varieties in flag varieties and we interpret our construction in terms of toric quotients. We give various examples that illustrate the rich combinatorial structure of flag polymatroids. Finally, we study general monotone paths on polymatroid polytopes, that relate to the enumeration of certain Young tableaux.

A dissection of a polygon is obtained by drawing diagonals such that no two diagonals intersect in their interiors. In this paper, we define a toric variety of Schröder type as a smooth toric variety associated with a polygon dissection. Toric varieties of Schröder type are Fano generalized Bott manifolds, and they are isomorphic if and only if the associated Schröder trees are the same as unordered rooted trees. We describe the cohomology ring of a toric variety of Schröder type using the associated Schröder tree and discuss the cohomological rigidity problem.

To any poset $P$, we associate a convex cone called a braid cone. We also associate a fan and study the toric varieties the cone and fan define. The fan always defines a smooth toric variety $X_P$, while the toric variety $U_P$ of the cone may be singular. We show that $X_{P} \dashrightarrow U_{P}$ is a crepant resolution of singularities if and only if $P$ is bounded. Next, we aim to determine when $U_P$ is Gorenstein or $\mathbb{Q}$-Gorenstein. We prove that whether or not $U_P$ is ($\mathbb{Q}$)-Gorenstein depends only on the biconnected components of the Hasse diagram of $P$. In the case that $P$ has a minimum or maximum element, we show that the Gorenstein property of $U_P$ is completely determined by the Möbius function of $P$. We also provide a recursive method that determines if $U_P$ is ($\mathbb{Q}$)-Gorenstein in this case. We conjecture that $U_P$ is Gorenstein if and only if it is $\mathbb{Q}$-Gorenstein. We verify this conjecture for posets of length $1$ and also for posets with a minimum or maximum element.

For two elements $v$ and $w$ of the symmetric group $\mathfrak{S}_n$ with $v\leq w$ in Bruhat order, the Bruhat interval polytope $Q_{v,w}$ is the convex hull of the points $(z(1),\ldots,z(n))\in \mathbb{R}^n$ with $v\leq z\leq w$. It is known that the Bruhat interval polytope $Q_{v,w}$ is the moment map image of the Richardson variety $X^{v^{-1}}_{w^{-1}}$. We say that $Q_{v,w}$ is \emph{toric} if the corresponding Richardson variety $X_{w^{-1}}^{v^{-1}}$ is a toric variety. We show that when $Q_{v,w}$ is toric, its combinatorial type is determined by the poset structure of the Bruhat interval $[v,w]$ while this is not true unless $Q_{v,w}$ is toric. We are concerned with the problem of when $Q_{v,w}$ is (combinatorially equivalent to) a cube because $Q_{v,w}$ is a cube if and only if $X_{w^{-1}}^{v^{-1}}$ is a smooth toric variety. We show that a Bruhat interval polytope $Q_{v,w}$ is a cube if and only if $Q_{v,w}$ is toric and the Bruhat interval $[v,w]$ is a Boolean algebra. We also give several sufficient conditions on $v$ and $w$ for $Q_{v,w}$ to be a cube.

We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism. In the present paper we focus on line bundles on toric varieties. First, we present a possibility of understanding their cohomology in terms of their (generalized) momentum polytopes. Then we present a method to exhibit the entire locus of immaculate divisors within the class group. This will be applied to the cases of smooth toric varieties of Picard rank two and three and to those being given by splitting fans. The locus of immaculate line bundles contains several linear strata of varying dimensions. We introduce a notion of relative immaculacy with respect to certain contraction morphisms. This notion will be stronger than plain immaculacy and provides an explanation of some of these linear strata.

The goal of this paper is to solve the conjecture stated in a paper of Mezzetti, Miró-Roig, Ottaviani and classify all smooth minimal monomial Togliatti systems of cubics. More precisely, we classify all minimal monomial artinian ideals generated by cubics, failing the weak Lefschetz property and whose apolar cubic system defines a smooth toric variety or, equivalently, we classify all minimal monomial artinian ideals generated by cubics whose apolar cubic system defines a smooth toric variety satisfying at least a Laplace equation of order 2.

A fundamental result of toric geometry is that there is a bijection between toric varieties and fans. More generally, it is known that some class of manifolds having well-behaved torus actions, called topological toric manifolds $M^{2n}$, can be classified in terms of combinatorial data containing simplicial complexes with $m$ vertices. We remark that topological toric manifolds are a generalization of smooth toric varieties. The number $m-n$ is known as the Picard number when $M^{2n}$ is a {compact smooth} toric variety. In this paper, we investigate the relationship between the topological toric manifolds over a simplicial complex $K$ and those over the complex obtained by simplicial wedge operations from $K$. As applications, we do the following. 1. We classify smooth toric varieties of Picard number 3. This is a reproving of a result of Batyrev. 2. We give a new and complete proof of projectivity of smooth toric varieties of Picard number 3 originally proved by Kleinschmidt and Sturmfels. 3. We find a criterion for a toric variety over the join of boundaries of simplices to be projective. When the toric variety is smooth, it is known as a generalized Bott manifold which is always projective. 4. We classify and enumerate real topological toric manifolds when $m-n=3$. 5. When $m-n \leq 3$, any real topological toric manifold is realizable as fixed points of the conjugation of a topological toric manifold.

We investigate toric varieties defined by arrangements of hyperplanes and call them strongly symmetric. The smoothness of such a toric variety translates to the fact that the arrangement is crystallographic. As a result, we obtain a complete classification of this class of toric varieties. Further, we show that these varieties are projective and describe associated toric arrangements in these varieties.

The Oda's Strong Factorization Conjecture states that a proper birational map between smooth toric varieties can be decomposed as a sequence of smooth toric blowups followed by a sequence of smooth toric blowdowns. This article describes an algorithm that conjecturally constructs such a decomposition. Several reductions and simplifications of the algorithm are presented and some special cases of the conjecture are proved.

We study a graded algebra D=D(L,G) defined by a finite lattice L and a subset G in L, a so-called building set. This algebra is a generalization of the cohomology algebras of hyperplane arrangement compactifications found in work of De Concini and Procesi. Our main result is a representation of D, for an arbitrary atomic lattice L, as the Chow ring of a smooth toric variety that we construct from L and G. We describe this variety both by its fan and geometrically by a series of blowups and orbit removal. Also we find a Groebner basis of the relation ideal of D and a monomial basis of D over Z.

We consider a manifold X obtained by a Kahler reduction of C^n, and we define its hyperkahler analogue M as a hyperkahler reduction of T^*C^n = H^n by the same group. In the case where the group is abelian and X is a smooth toric variety, M is a toric hyperkahler manifold, as defined by Bielawski-Dancer, and further studied by Konno and Hausel-Sturmfels. The manifold M carries a natural action of S^1, induced by the scalar action of S^1 on the fibers of T^*C^n. In this paper we study this action, computing its fixed points and its equivariant cohomology. As an application, we use the associated Z/2 action on the real locus of M to compute a deformation of the Orlik-Solomon algebra of a smooth, generic, real hyperplane arrangement, depending nontrivially on the affine structure of the arrangement. This deformation is given by the Z/2-equivariant cohomology of the complement of the complexification, where Z/2 acts by complex conjugation.