Related papers: Hodge Theory for Combinatorial Geometries

In this paper we prove that the cohomology of smooth projective tropical varieties verify the tropical analogs of three fundamental theorems which govern the cohomology of complex projective varieties: Hard Lefschetz theorem, Hodge-Riemann…

Combinatorial rigidity theory seeks to describe the rigidity or flexibility of bar-joint frameworks in R^d in terms of the structure of the underlying graph G. The goal of this article is to broaden the foundations of combinatorial rigidity…

We prove the Hodge-Riemann bilinear relations, the hard Lefschetz theorem and the Lefschetz decomposition for compact Kahler manifolds in the mixed situation.

Let K be the face ring of the independence complex of a matroid. We show that if T is a generic linear system of parameters, then K/T satisfies a weak form of the Hard Lefschetz Theorem. As a result, the first half of the h-vector of the…

Let M be a matroid on E, representable over a field of characteristic zero. We show that h-vectors of the following simplicial complexes are log-concave: 1. The matroid complex of independent subsets of E. 2. The broken circuit complex of…

Chow rings of toric varieties, which originate in intersection theory, feature a rich combinatorial structure of independent interest. We survey four different ways of computing in these rings, due to Billera, Brion, Fulton--Sturmfels, and…

To prove log-concavity of the characteristic polynomials of matroids, Adiprasito-Huh-Katz proved the K\"{a}hler package (the hard Lefschetz theorem and the Hodge-Riemann bilinear relations) for their Chow rings. Amini-Piquerez generalized…

For any Shimura variety of Hodge type with hyperspecial level at a prime $p$ and automorphic lisse sheaf on it, we prove a formula, conjectured by Kottwitz \cite{Kottwitz90}, for the Lefschetz numbers of Frobenius-twisted Hecke…

The algebra of smooth translation-invariant valuations on convex bodies, introduced by S.Alesker in the early 2000s, was in part proved and in part conjectured to satisfy properties formally analogous to those of the cohomology ring of a…

Recently, it was proved by Anari-Oveis Gharan-Vinzant, Anari-Liu-Oveis Gharan-Vinzant and Br\"{a}nd\'{e}n-Huh that, for any matroid $M$, its basis generating polynomial and its independent set generating polynomial are log-concave on the…

We give a cohomological and geometrical interpretation for the weighted Ehrhart theory of a full-dimensional lattice polytope $P$, with Laurent polynomial weights of geometric origin. For this purpose, we calculate the motivic Chern and…

We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of M, in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always…

We study the class of Lorentzian polynomials. The class contains homogeneous stable polynomials as well as volume polynomials of convex bodies and projective varieties. We prove that the Hessian of a nonzero Lorentzian polynomial has…

The Hard Lefschetz theorem is known to hold for the intersection cohomology of the toric variety associated to a rational convex polytope. One can construct the intersection cohomology combinatorially from the polytope, hence it is well…

Morphisms of matroids are combinatorial abstractions of linear maps and graph homomorphisms. We introduce the notion of basis for morphisms of matroids, and show that its generating function is strongly log-concave. As a consequence, we…

We give a simple bijective proof of associativity and commutativity of the Littlewood-Richardson coefficients or the hive ring. Specifically, we establish existence a polarized polymatroidal discretely concave functions on the tetrahedron…

We study the cohomology rings of snc log symplectic pairs $(X,Y)$ which have log symplectic forms of pure weight. We show that under a certain natural condition, the cohomology ring of $X \setminus Y$ exhibits the curious hard Lefschetz…

We give a self-contained proof of the strongest version of Mason's conjecture, namely that for any matroid the sequence of the number of independent sets of given sizes is ultra log-concave. To do this, we introduce a class of polynomials,…

We give a semi-small orthogonal decomposition of the Chow ring of a matroid M. The decomposition is used to give simple proofs of Poincar\'e duality, the hard Lefschetz theorem, and the Hodge-Riemann relations for the Chow ring, recovering…

In this paper, we establish an innovative framework in logarithmic Hodge theory for toroidal varieties, introducing weighted toroidal structures and developing a systematic obstruction theory for Hodge classes. Building upon recent advances…