We prove graded bounds on the individual Betti numbers of affine and projective complex varieties. In particular, we give for each $p,d,r$, explicit bounds on the $p$-th Betti numbers of affine and projective subvarieties of $\mathrm{C}^k$, $\mathbb{P}^k_{\mathrm{C}}$, as well as products of projective spaces, defined by $r$ polynomials of degrees at most $d$ as a function of $p,d$ and $r$. Unlike previous bounds these bounds are independent of $k$, the dimension of the ambient space. We also prove as consequences of our technique certain homological and representational stability results for sequences of complex projective varieties which could be of independent interest. Finally, we highlight differences in computational complexities of the problem of computing Betti numbers of complex as opposed to real projective varieties.
Recently Brosnan and Chow have proven a conjecture of Shareshian and Wachs describing a representation of the symmetric group on the cohomology of regular semisimple Hessenberg varieties for $GL_n(\mathbb{C})$. A key component of their argument is that the Betti numbers of regular Hessenberg varieties for $GL_n(\mathbb{C})$ are palindromic. In this paper, we extend this result to all reductive algebraic groups, proving that the Betti numbers of regular Hessenberg varieties are palindromic.
The weak factorization theorem for birational maps is used to prove that for all nonnegative i the ith mod 2 Betti number of compact nonsingular real algebraic varieties has a unique extension to a "virtual Betti number" beta_i defined for all real algebraic varieties, such that if Y is a closed subvariety of X, then beta_i(X) = beta_i(X\Y) + beta_i(Y).
We study the Jordan normal forms of the local and global monodromies over complete intersection subvarieties of $C^n$ by using the theory of motivic Milnor fibers. The results will be explicitly described by the mixed volumes of the faces of Newton polyhedrons.
It was noticed in a very recent preprint of T. Eguchi, K. Hori, and Ch.-Sh. Xiong (hep-th/9703086) that a curious identity between Betti numbers and Chern classes holds for many examples of Fano varieties. The goal of this paper is to prove that for varieties with trivial odd cohomology groups this identity is equivalent to having zero Hodge numbers $h^{p,q}$ for $p\neq q$.
We compute the rational cohomology groups of the smooth Brill-Noether varieties $G^r_d(C)$, parametrizing linear series of degree $d$ and dimension exactly $r$ on a general curve $C$. As an application, we determine the whole intersection cohomology of the singular Brill-Noether loci $W^r_d(C)$, parametrizing complete linear series on $C$ of degree $d$ and dimension at least $r$.
We prove new bounds on the Betti numbers of real varieties and semi-algebraic sets that have a more refined dependence on the degrees of the polynomials defining them than results known before. Our method also unifies several different types of results under a single framework, such as bounds depending on the total degrees, on multi-degrees, as well as in the case of quadratic and partially quadratic polynomials. The bounds we present in the case of partially quadratic polynomials offer a significant improvement over what was previously known. Finally, we extend a result of Barone and Basu on …
We give two constructions of functorial topological realizations for schemes of finite type over the field $\mathbb{C}(\!(t)\!)$ of formal Laurent series with complex coefficients, with values in the homotopy category of spaces over the circle. The problem of constructing such a realization was stated by D. Treumann, motivated by certain questions in mirror symmetry. The first construction uses spreading out and the usual Betti realization over $\mathbb{C}$. The second uses generalized semistable models and log Betti realization defined by Kato and Nakayama, and applies to smooth rigid analyti…
Desingularized fiber products of semi-stable, non-isotrivial jacobian elliptic surfaces with vanishing third Betti number are classified. Such varieties may play a role in the study of supersingular threefolds, of the deformation theory of varieties with trivial canonical bundle, and of the arithmetic degenerations of rigid Calabi-Yau threefolds.
The regular \Z^r-covers of a finite cell complex X are parameterized by the Grassmannian of r-planes in H^1(X,\Q). Moving about this variety, and recording when the Betti numbers b_1,..., b_i of the corresponding covers are finite carves out certain subsets Ω^i_r(X) of the Grassmannian. We present here a method, essentially going back to Dwyer and Fried, for computing these sets in terms of the jump loci for homology with coefficients in rank 1 local systems on X. Using the exponential tangent cones to these jump loci, we show that each Ω-invariant is contained in the complement of a union of …
We present an algorithm for explicitly computing the number of generators of the stable cohomology algebra of any rationally smooth partial toroidal compactification of ${\mathcal A}_g$, satisfying certain additivity and finiteness properties, in terms of the combinatorics of the corresponding toric fans. In particular the algorithm determines the stable cohomology of the matroidal partial compactification, in terms of simple regular matroids that are irreducible with respect to the 1-sum operation, and their automorphism groups. The algorithm also applies to compute the stable Betti numbers i…
The purpose of this note is to give a refinement of the product formula proved in [1] for the Poincare polynomial of a smooth Schubert variety in the flag variety of an algebraic group G over C. This yields a factorization of the number of elements in a Bruhat interval [e,w] in the Weyl group W of G provided the Schubert variety associated to w is smooth. This gives an elementary necessary condition for a Schubert variety in the flag variety to be smooth.
We present a counterexample to the conjecture of Bihan, Franz, McCrory, and van Hamel concerning the maximality of toric varieties. There exists a six dimensional projective toric variety X with the sum of the mod 2 Betti numbers of X(R) strictly less than the sum of the mod 2 Betti numbers of X(C).
It is well-known that the Eulerian polynomials, which count permutations in $S_n$ by their number of descents, give the $h$-polynomial/$h$-vector of the simple polytopes known as permutohedra, the convex hull of the $S_n$-orbit for a generic weight in the weight lattice of $S_n$. Therefore the Eulerian polynomials give the Betti numbers for certain smooth toric varieties associated with the permutohedra. In this paper we derive recurrences for the $h$-vectors of a family of polytopes generalizing this. The simple polytopes we consider arise as the orbit of a non-generic weight, namely a weight…
Let X and Y be two smooth projective n-dimensional algebraic varieties X and Y over C with trivial canonical line bundles. We use methods of p-adic analysis on algebraic varieties over local number fields to prove that if X and Y are birational, they have the same Betti numbers.
The degree of a projective subscheme has an upper bound in term of the codimension and the reduction number. If a projective variety has an almost maximal degree, that is, the degree equals to the upper bound minus one, then its Betti table has been described explicitly. We build on this work by showing that for most of such varieties, the defining ideals are componentwise linear and in particular the componentwise linearity is suitable for classifying the Betti tables of such varieties. As an application, we compute the Betti table of all varieties with almost maximal degree and componentwise…
We define the Z/2Z Hodge spaces H_{pq}(Σ) of a fan Σ. If Σis the normal fan of a reflexive polytope Δthen we use polyhedral duality to compute the Z/2Z Hodge Spaces of Σ. In particular, if the cones of dimension at most e in the face fan Σ^* of Δare smooth then we compute H_{pq}(Σ) for p<e-1. If Σ^* is a smooth fan then we completely determine the spaces H_{pq}(Σ) and we show the toric variety X associated to Σis maximal, meaning that the sum of the Z/2Z Betti numbers of X(R) is equal to the sum of the Z/2Z Betti numbers of X(C).
A Fourier transform technique is introduced for counting the number of solutions of holomorphic moment map equations over a finite field. This in turn gives information on Betti numbers of holomorphic symplectic quotients. As a consequence simple unified proofs are obtained for formulas of Poincare polynomials of toric hyperkahler varieties, Poincare polynomials of Hilbert schemes of points and twisted ADHM spaces of instantons on C^2 and Poincare polynomials of all Nakajima quiver varieties. As an application, a proof of a conjecture of Kac on the number of absolutely indecomposable represent…
A real algebraic variety is maximal (with respect to the Smith-Thom inequality) if the sum of the Betti numbers (with $\mathbb{Z}_2$ coefficients) of the real part of the variety is equal to the sum of Betti numbers of its complex part. We prove that there exist polytopes that are not Newton polytopes of any maximal hypersurface in the corresponding toric variety. On the other hand we show that for any polytope $Δ$ there are families of hypersurfaces with the Newton polytopes $(λΔ)_{λ\in \mathbb{N}}$ that are asymptotically maximal when $λ$ tends to infinity. We also show that these results ge…
Hyperplane arrangements form the geometric counterpart of combinatorial objects such as matroids. The shape of the sequence of Betti numbers of the complement of a hyperplane arrangement is of particular interest in combinatorics, where they are known, up to a sign, as Whitney numbers of the first kind, and appear as the coefficients of chromatic, or characteristic, polynomials. We show that certain combinations, some nonlinear, of these Betti numbers satisfy Schur positivity. At the same time, we study the higher degree resonance varieties of the arrangement. We draw some consequences, using …
It is a short report for the ICCM2019 Proceedings on recent results obtained with Michael Groechenig and Moritz Kerz concerning special subloci of the Betti moduli space of irreducible complex local systems on complex varieties.
We study the connection between stringy Betti numbers of Gorenstein toric varieties and the generating functions of the Ehrhart polynomials of certain polyhedral regions. We use this point of view to give counterexamples to Hibi's conjecture on the unimodality of delta-vectors of reflexive polytopes.
This is an extended abstract for a talk given at the mini-workshop "Cohomology rings and fundamental groups of hyperplane arrangements, wonderful compactifications, and real toric varieties", held in Oberwolfach, September 30-October 6, 2012. We describe a formula (obtained in joint work with Alvise Trevisan) for computing the Betti numbers of real toric manifolds, based on a study of cohomology with coefficients in rank one local systems for various polyhedral products. Applying this formula, we recover Henderson's computation of the Betti numbers of real Hessenberg varieties. We conclude wit…
In this paper, for any Milnor hypersurface we find the largest dimension of effective algebraic torus actions on it. The proof of the corresponding theorem is based on the computation of the automorphism group for any Milnor hypersurface. We find all generalised Buchstaber-Ray and Ray hypersurfaces that are toric varieties. We compute the Betti numbers of these hypersurfaces and describe their integral singular cohomology rings in terms of the cohomology of the corresponding ambient varieties.
Let $\mathrm{R}$ be a real closed field. The problem of obtaining tight bounds on the Betti numbers of semi-algebraic subsets of $\mathrm{R}^k$ in terms of the number and degrees of the defining polynomials has been an important problem in real algebraic geometry with the first results due to Ole{\uı}nik and Petrovski{\uı}, Thom and Milnor. These bounds are all exponential in the number of variables $k$. Motivated by several applications in real algebraic geometry, as well as in theoretical computer science, where such bounds have found applications, we consider in this paper the problem of bo…
We give some explicit bounds for the number of cobordism classes of real algebraic manifolds of real degree less than $d$, and for the size of the sum of $\mod 2$ Betti numbers for the real form of complex manifolds of complex degree less than $d$.
In this paper we prove the mixed Ax-Schanuel theorem for the universal abelian varieties (more generally any mixed Shimura variety of Kuga type), and give some simple applications. In particular we present an application to studying the generic rank of the Betti map.
We prove that the minimal free resolution of the secant variety of a curve is asymptotically pure. As a corollary, we show that the Betti numbers of converge to a normal distribution.
Let $X\rightarrow C$ be a totally real semistable degeneration over a smooth real curve $C$ with degenerate fiber $X_0$. Assuming that the irreducible components of $X_0$ are simple from a cohomological point of view, we give a bound for the individual Betti numbers of a real smooth fiber near $0$ in terms of the complex geometry of the degeneration. This generalizes previous work of Renaudineau-Shaw, obtained via combinatorial techniques, for tropical degenerations of hypersurfaces in smooth toric varieties. The main new ingredient is the use of real logarithmic geometry, which allows to work…
The geometric and algebraic properties of smooth projective varieties with 1-regular structure sheaf are well understood, and the complete classification of these varieties is a classical result. The aim of this paper is to study the next case: smooth projective varieties with 2-regular structure sheaf. First, we give a classification of such varieties using adjunction mappings. Next, under suitable conditions, we study the syzygies of section rings of those varieties to understand the structure of the Betti tables, and show a sharp bound for Castelnuovo-Mumford regularity.
In this paper we consider the problem of bounding the Betti numbers, $b_i(S)$, of a semi-algebraic set $S \subset \R^k$ defined by polynomial inequalities $P_1 \geq 0,...,P_s \geq 0$, where $P_i \in \R[X_1,...,X_k]$ and $°(P_i) \leq 2$, for $1 \leq i \leq s$. We prove that for $0\le i\le k-1$, \[ b_i(S) \le{1/2}(\sum_{j=0}^{min\{s,k-i\}}{{s}\choose j}{{k+1}\choose {j}}2^{j}). \] In particular, for $2\le s\le \frac{k}{2}$, we have \[ b_i(S)\le {1/2} 3^{s}{{k+1}\choose {s}} \leq {1/2} (\frac{3e(k+1)}{s})^s. \] This improves the bound of $k^{O(s)}$ proved by Barvinok. This improvement is made pos…
We show that for maximal Cohen-Macaulay modules over a homogeneous coordinate rings of smooth Calabi-Yau varieties $X$ computation of Betti numbers can be reduced to computations of dimensions of certain $\operatorname{Hom}$ groups in the bounded derived category $D^b(X)$. In the simplest case of a smooth elliptic curve $E$ imbedded into $\mathbb{P}^2$ as a smooth cubic we use our formula to get explicit answers for Betti numbers. Description of the automorphism group of the derived category $D^b(E)$ in terms of the spherical twist functors of Seidel and Thomas plays a major role in our approa…
A complex algebraic variety defined over the reals is maximal when the sum of its Betti numbers for Borel Moore homology with $\zz$ coefficients coincides with the sum of the Betti numbers of its real part. We will show in this paper that toric varieties of dimension 4 are maximal.
We describe a parallel polynomial time algorithm for computing the topological Betti numbers of a smooth complex projective variety $X$. It is the first single exponential time algorithm for computing the Betti numbers of a significant class of complex varieties of arbitrary dimension. Our main theoretical result is that the Castelnuovo-Mumford regularity of the sheaf of differential $p$-forms on $X$ is bounded by $p(em+1)D$, where $e$, $m$, and $D$ are the maximal codimension, dimension, and degree, respectively, of all irreducible components of $X$. It follows that, for a union $V$ of generi…
We prove a generating function formula for the Betti numbers of Nakajima quiver varieties. We prove that it is a q-deformation of the Weyl-Kac character formula. In particular this implies that the constant term of the polynomial counting the number of absolutely indecomposable representations of a quiver equals the multiplicity of a a certain weight in the corresponding Kac-Moody algebra, which was conjectured by Kac in 1982.
We compare the asymptotic grows of the number of rational points on modular varieties of D-elliptic sheaves over finite fields to the grows of their Betti numbers as the degree of the level tends to infinity. This is a generalization to higher dimensions of a well-known result for modular curves. As a consequence of the main result, we also produce a new asymptotically optimal sequence of curves.
In this paper, by a modification of a previously constructed minimal free resolution for a transversal monomial ideal, the Betti numbers of this ideal is explicitly computed. For convenient characteristics of the ground field, up to a change of coordinates, the ideal of $t$-minors of a generic pluri-circulant matrix is a transversal monomial ideal . Using a Gröbner basis for this ideal, it is shown that the initial ideal of a generic pluri-circulant matrix is a stable monomial ideal when the matrix has two square blocks. By means of the Eliahou-Kervair resolution, the Betti numbers of this ini…
In the present paper, we consider upper bounds of higher linear syzygies i.e. graded Betti numbers in the first linear strand of the minimal free resolutions of projective varieties in arbitrary characteristic. For this purpose, we first remind `Partial Elimination Ideals (PEIs)' theory and introduce a new framework in which one can study the syzygies of embedded projective schemes well using PEIs theory and the reduction method via inner projections. Next we establish fundamental inequalities which govern the relations between the graded Betti numbers in the first linear strand of an algebrai…
The comparison theorem for a smooth projective variety $X$ over $\mathbb{C}$ tells us that the Betti numbers are independent of $l$. We aim to understand the $l$ independence of Betti numbers for smooth projective varieties $X$ over $k$, where $k$ is an algebraic extension of $\mathbb{F}_p$.
The space of smooth rational curves of degree $d$ in a projective variety $X$ has compactifications by taking closures in the Hilbert scheme, the moduli space of stable sheaves or the moduli space of stable maps respectively. In this paper we compare these compactifications by explicit blow-ups and -downs when $X$ is a projective homogeneous variety and $d\leq 3$. Using the comparison result, we calculate the Betti numbers of the compactifications when $X$ is a Grassmannian variety.
Hierarchical structure of graded Betti numbers in the quadratic strand
Korea Institute for Advanced Study (KIAS)（韩国高等研究院）；Korea Advanced Institute of Science and Technology (KAIST)（韩国科学技术院）；Pukyong National University（釜庆国立大学）
In this manuscript we develop the theory of poset pinball, a combinatorial game recently introduced by Harada and Tymoczko for the study of the equivariant cohomology rings of GKM-compatible subspaces of GKM spaces. Harada and Tymoczko also prove that in certain circumstances, a successful outcome of Betti poset pinball yields a module basis for the equivariant cohomology ring of the GKM-compatible subspace. Our main contributions are twofold. First we construct an algorithm (which we call the dimension pair algorithm) which yields the result of a successful outcome of Betti poset pinball for …
In this paper we describe a singly exponential algorithm for computing the first Betti number of a given semi-algebraic set. Singly exponential algorithms for computing the zero-th Betti number, and the Euler-Poincaré characteristic, were known before. No singly exponential algorithm was known for computing any of the individual Betti numbers other than the zero-th one. We also give algorithms for obtaining semi-algebraic descriptions of the semi-algebraically connected components of any given real algebraic or semi-algebraic set in single-exponential time improving on previous results.
An SI-sequence is a finite sequence of positive integers which is symmetric, unimodal and satisfies a certain growth condition. These are known to correspond precisely to the possible Hilbert functions of Artinian Gorenstein algebras with the Weak Lefschetz Property, a property shared by most Artinian Gorenstein algebras. Starting with an arbitrary SI-sequence, we construct a reduced, arithmetically Gorenstein configuration $G$ of linear varieties of arbitrary dimension whose Artinian reduction has the given SI-sequence as Hilbert function and has the Weak Lefschetz Property. Furthermore, we s…
