For a normal variety X defined over an algebraically closed field with an action of the multiplicative group G_m, we consider the ``hyperbolic localization'' functor from D^b(X) to D^b(X^T), which localizes using closed supports in the directions flowing into the fixed points, and compact supports in the directions flowing out. We show that the hyperbolic localization of the intersection cohomology sheaf is a direct sum of intersection cohomology sheaves.
For any conical symplectic resolution, we give a conjecture relating the intersection cohomology of the singular cone to the quantum cohomology of its resolution. We prove this conjecture for hypertoric varieties, recovering the ring structure on hypertoric intersection cohomology that was originally constructed by Braden and the second author.
We say that a complex analytic space, $X$, is an intersection cohomology manifold if and only if the shifted constant sheaf on $X$ is isomorphic to intersection cohomology; this is quickly seen to be equivalent to $X$ being a homology manifold. Given an analytic function $f$ on an intersection cohomology manifold, we describe a simple relation between $V(f)$ being an intersection cohomology manifold and the vanishing cycle Milnor monodromy of $f$. We then describe how the Sebastiani-Thom isomorphism allows us to easily produce intersection cohomology manifolds with arbitrary singular sets. Fin…
We describe the relationship between intersection cohomology with twisted coefficients and the perverse sheaves which play the role of the eigenspaces for the Milnor monodromy of an affine hypersurface.
We study intersection cohomology of character varieties for punctured Riemann surfaces with prescribed monodromies around the punctures. Relying on previous result from Mellit for semisimple monodromies we compute the intersection cohomology of character varieties with monodromies of any Jordan type. This proves the Poincaré polynomial specialization of a conjecture from Letellier.
We describe a method of computing equivariant and ordinary intersection cohomology of certain varieties with actions of algebraic tori, in terms of structure of the zero- and one-dimensional orbits. The class of varieties to which our formula applies includes Schubert varieties in flag varieties and affine flag varieties. We also prove a monotonicity result on local intersection cohomology stalks.
We introduce the semi-infinite category of sheaves on the affine Grassmannian, and construct a particular object in it, which we call the the semi-infinite intersection cohomology sheaf. We relate it to several other entities naturally appearing in the geometric Langlands theory.
We construct Landau-Ginzburg models for numerically effective complete intersections in toric manifolds as partial compactifications of families of Laurent polynomials. We show a mirror statement saying that the quantum D-module of the ambient part of the cohomology of the submanifold is isomorphic to an intersection cohomology D-module defined from this partial compactification and we deduce Hodge properties of these differential systems.
The eigenvalues of Frobenius acting on $\ell$-adic cohomology of a complete intersection over a finite field have the divisibility predicted by the theorem of Ax and Katz. We have corrected some unforgivable typos.
We completely determine the intersection cohomology of the Satake compactifications of the moduli space of principally polarized abelian varieties in genera 2,3,4, except for the degree 10 intersection cohomology in genus 4. We also determine all the ingredients appearing in the decomposition theorem applied to the map from a toroidal compactification to the Satake compactification in these genera. As a byproduct we obtain in addition several results about the intersection cohomology of the link bundles involved.
This paper applies the decomposition theorem in intersection cohomology to geometric invariant theory quotients, relating the intersection cohomology of the quotient to that of the semistable points for the action. Suppose a connected reductive complex algebraic group $G$ acts linearly on a complex projective variety $X$. We prove that if $1 \to N \to G \to H \to 1$ is a short exact sequence of connected reductive groups, and $X^{ss}$ the set of semistable points for the action of $N$ on $X$, then the $H$-equivariant intersection cohomology of the geometric invariant theory quotient $X^{ss}//N…
We improve the known Hodge type bound for the exotic cohomology of complete intersections. In the revised version, we included a simplification of our original argument due to Pierre Deligne. The note appears in the C. R. de l'Aca. des Sc. de Paris.
We present several approaches to equivariant intersection cohomology. We show that for a complete algebraic variety acted by a connected algebraic group $G$ it is a free module over $H^*(BG)$. The result follows from the decomposition theorem or from a weight argument.
Let $X^{2n}\subseteq \mathbb{P} ^N$ be a smooth projective variety. Consider the intersection cohomology complex of the local system $R^{2n-1}π{_*}\mathbb{Q}$, where $π$ denotes the projection from the universal hyperplane family of $X^{2n}$ to ${(\mathbb{P} ^N)}^{\vee}$. We investigate the cohomology of the intersection cohomology complex $IC(R^{2n-1}π{_*}\mathbb{Q})$ over the points of a Severi's variety, parametrizing nodal hypersurfaces, whose nodes impose independent conditions on the very ample linear system giving the embedding in $\mathbb{P} ^N$.
We describe the homology intersection form associated to regular holonomic GKZ systems in terms of the combinatorics of regular triangulations. Combining this result with the twisted period relation, we obtain a formula of cohomology intersection numbers in terms of a Laurent series. We show that the cohomology intersection number depends rationally on the parameters. We also prove a conjecture of F. Beukers and C. Verschoor on the signature of the monodromy invariant hermitian form. This is a continuation of the previous work arXiv:1904.00565.
The purpose of this article is to investigate the intersection cohomology for algebraic varieties with torus action. Given an algebraic torus $\mathbb{T}$, one of our result determines the intersection cohomology Betti numbers of any normal projective $\mathbb{T}$-variety admitting an algebraic curve as global quotient. The calculation is expressed in terms of a combinatorial description involving a divisorial fan which is the analogous of the defining fan of a toric variety. Our main tool to obtain this computation is a description of the decomposition theorem in this context.
We study a Pfaffian of the system of differential equations annihilating Appell's hypergeometric series $F_4(a,b,c;x)$ by twisted cohomology groups associated with integrals representing solutions to this system. We simplify its connection matrix by the pull-back under a double cover of the complement of the singular locus. We express the simplified connection matrix in terms of the intersection form of the twisted cohomology groups.
We consider a hypersurface in $\mathbb{C}^n$ with an isolated singular point at the origin, and study the mixed Hodge structure of the stalk of its intersection cohomology complex at the origin. In particular we express the dimension of each graded piece of the weight filtration of this mixed Hodge structure in terms of the numbers of the Jordan blocks in the Milnor monodromy.
This text is an introduction to equivariant cohomology, a classical tool for topological transformation groups, and to equivariant intersection theory, a much more recent topic initiated by D. Edidin and W. Graham. It is based on lectures given at Montréal is Summer 1997. Our main aim is to obtain explicit descriptions of cohomology or Chow rings of certain manifolds with group actions which arise in representation theory, e.g. homogeneous spaces and their compactifications. As another appplication of equivariant intersection theory, we obtain simple versions of criteria for smoothness or rati…
In this paper, we show that the Galois representations provided by $\ell$-adic cohomology of proper smooth varieties, and more generally by $\ell$-adic intersection cohomology of proper varieties, over any field, are orthogonal or symplectic according to the degree. We deduce this from a preservation result of orthogonal and symplectic pure perverse sheaves by proper direct image. We show moreover that the subgroup of the Grothendieck group generated by orthogonal pure perverse sheaves of even weights and symplectic pure perverse sheaves of odd weights are preserved by Grothendieck's six opera…
The real intersection cohomology of a toric variety is described in a purely combinatorial way using methods of elementary commutative algebra only. We define, for arbitrary fans, the notion of a ``minimal extension sheaf'' on the fan as an axiomatic characterization of the equivariant intersection cohomology sheaf. This provides a purely algebraic interpretation of Stanley's generalized f- and g-vector of an arbitrary polytope or complete fan under a natural vanishing condition. -- The results presented in this note originate from joint work with G.Barthel, J.-P.Brasselet and L.Kaup, continui…
Let $X$ be a smooth complete curve, $G$ be a reductive group and $P\subset G$ a parabolic. Following Drinfeld, one defines a compactification $\widetilde{\on{Bun}}_P$ of the moduli stack of $P$-bundles on $X$. The present paper is concerned with the explicit description of the Intersection Cohomology sheaf of $\widetilde{\on{Bun}}_P$. The description is given in terms of the combinatorics of the Langlands dual Lie algebra $\check{\mathfrak g}$.
This paper is a sequel to [Ga1]. We study the semi-infinite category on the Ran version of the affine Grassmannian, and study a particular object in it that we call the semi-infinite intersection cohomology sheaf. Unlike the situation of [Ga1], this version of the semi-infinite intersection IC sheaf is defined as the middle of extension of the constant (more precisely, dualizing) sheaf on the basic stratum, in a certain t-structure. We give several explicit description and characterizations of our semi-infinite intersection IC sheaf: we describe its !- and *- stalks; we present it explicitly a…
Let $\mathbf{M}_n$ be the Simpson compactification of twisted ideal sheaves $\mathcal{I}_{L,Q}(1)$ where $Q$ is a rank $4$ quardric hypersurface in $\mathbb{P}^n$ and $L$ is a linear subspace of dimension $n-2$. This paper calculates the intersection Poincaré polynomial of $\mathbf{M}_n$ using Kirwan's desingularization method. We obtain the intersection Poincaré polynomial of the moduli space for one-dimensional sheaves on del Pezzo surfaces of degree $\geq 8$ by considering wall-crossings of stable pairs and complexes.
Let $X$ be any subanalytic compact pseudomanifold. We show a De Rham theorem for $L^\infty$ forms. We prove that the cohomology of $L^\infty$ forms is isomorphic to intersection cohomology in the maximal perversity.
We generalize Givental's Theorem for complete intersections in smooth toric varieties in the Fano case. In particular, we find Gromov--Witten invariants of Fano varieties of dimension $\geq 3$, which are complete intersections in weighted projective spaces and singular toric varieties. We generalize the Riemann-Roch equations to weighted projective spaces. We compute counting matrices of smooth Fano threefolds with Picard group Z and anticanonical degrees 2, 8, and 16.
In this paper, we provide two different resolutions of structural sheaves of projectivized tangent bundles of smooth complete intersections. These resolutions allow in particular to obtain convenient (and completely explicit) descriptions of cohomology of twisted symmetric powers of cotangent bundles of complete intersections, which are easily implemented on computer. We then provide several applications. First, we recover the known vanishing theorems on the subject, and show that they are optimal via some non-vanishing theorems. Then, we study the symmetric algebra of global sections of symme…
We show that the etale cohomology (with compact supports) of an algebraic variety $X$ over an algebraically closed field has the canonical weight filtration $W$, and prove that the middle weight part of the cohomology with compact supports of $X$ is a subspace of the intersection cohomology of a compactification $X'$ of X, or equivalently, the middle weight part of the (so-called) Borel-Moore homology of $X$ is a quotient of the intersection cohomology of $X'$. We are informed that this has been shown by A. Weber in the case $X$ is proper (and $k=\bC$) using a theorem of G. Barthel, J.-P. Bras…
The Hurwitz space is a compactification of the space of rational functions of a given degree. The Lyashko-Looijenga map assigns to a rational function the set of its critical values. It is known that the number of ramified coverings of CP^1 by CP^1 with prescribed ramification points and ramification types is related to the degree of the Lyashko--Looijenga map on various strata of the Hurwitz space. Here we explain how the degree of the Lyashko-Looijenga map is related to the intersection theory on this space. We describe the cohomology algebra of the Hurwitz space and prove several relations …
The purpose of this paper is to provide a way to compute the intersection cohomology of the GIT quotient of a nonsingular projective variety. We show that the middle perversity intersection cohomology of the GIT quotient $M//G$ is naturally embedded into the $G$ equivariant cohomology of $M^{ss}$ under an assumption satisfied by many interesting spaces. This embedding enables us to compute the intersection pairing in terms of the cup product structure of the equivariant cohomology ring. We also show that the image is a subspace defined by truncation. Overall, we can compute the intersection co…
We revisit the localization formulas of cohomology intersection numbers associated to a logarithmic connection. The main contribution of this paper is threefold: we prove the localization formula of the cohomology intersection number of logarithmic forms in terms of residue of a connection; we prove that the leading term of the Laurent expansion of the cohomology intersection number is Grothendieck residue when the connection is hypergeometric; and we prove that the leading term of stringy integral discussed by Arkani-Hamed, He and Lam is nothing but the self-cohomology intersection number of …
Under a certain condition A we give a construction to calculate the intersection cohomology of a rank one local system on the complement to a hyperplane-like divisor
We show by studying the symplectic geometry of the extended moduli space that the intersection cohomology of the representation space $Hom(π_1(Σ),G)/G$ for a simply connected compact Lie group $G$ is naturally embedded into the $G$ equivariant cohomology of $Hom(π_1(Σ),G)$ where $Σ$ is a closed Riemann surface. This enables us to compute the intersection cohomology as a graded vector space with intersection pairing, in terms of the equivariant cohomology ring. The case where $G=SU(2)$ -- the moduli space of rank 2 holomorphic vector bundles of even degree -- is discussed in detail.
We prove a general formula for the intersection form of two arbitrary monomials in boundary divisors. Furthermore we present a tree basis of the cohomology of $\overline {M}_{0,n}$. With the help of the intersection form we determine the Gram matrix for this basis and give a formula for its inverse. This enables us to calculate the tensor product of the higher order multiplications arising in quantum cohomology and formal Frobenius manifolds. In the context of quantum cohomology this establishes the explicit Künneth formula.
We extend the methods developed in our earlier work to algorithmically compute the intersection cohomology Betti numbers of reductive varieties. These form a class of highly symmetric varieties that includes equivariant compactifications of reductive groups. Thereby, we extend a well-known algorithm for toric varieties.
We study intersection cohomology of moduli spaces of semistable vector bundles on a complex algebraic surface. Our main result relates intersection Poincare polynomials of the moduli spaces to Donaldson-Thomas invariants of the surface. In support of this result, we compute explicitly intersection Poincare polynomials for sheaves with rank two and three on ruled surfaces.
We prove several results concerning the intersection cohomology and the perverse filtration associated with a Lagrangian fibration of an irreducible symplectic variety. We first show that the perverse numbers only depend on the deformation equivalence class of the ambient variety. Then we compute the border of the perverse diamond, which further yields a complete description of the intersection cohomology of the Lagrangian base and the invariant cohomology classes of the fibers. Lastly, we identify the perverse and Hodge numbers of intersection cohomology when the irreducible symplectic variet…
For each nonsingular hyperelliptic curve of arbitrary genus, we construct a natural injection from the Galois cohomology of 2-torsion subgroups of Jacobian varieties of the curve to the set of isomorphism classes of nonsingular complete intersections of two quadrics. This gives a generalization of the result of Flynn and Skorobogatov.
Let $M$ be a proper Hamiltonian $K$-space with proper moment map $μ$. The symplectic quotient $X=μ^{-1}(0)/K$ is in general a singular stratified space. In this paper we first generalize the Kirwan map to this symplectic setting which maps the $K$ equivariant cohomology of $μ^{-1}(0)$ to the middle perversity intersection cohomology $IH^*(X)$. Next, we show that there is a natural right inverse of the Kirwan map, under an assumption coming from the cosupport axiom for the intersection homology sheaf. Furthermore, we can identify the subspace of $H^*_K(μ^{-1}(0))$ which corresponds to $IH^*(X)$…
We show that the cohomology intersection number of a twisted Gauss-Manin connection with regularization condition is a rational function. As an application, we obtain a new quadratic relation associated to period integrals of a certain family of K3 surfaces.
We describe the weight filtration in the cohomology of toric varieties. We present a role of the Frobenius automorphism in an elementary way. We prove that equivariant intersection homology of an arbitrary toric variety is pure. We obtain results concerning Koszul duality: nonequivariant intersection cohomology is equal to the cohomology of the Koszul complex $IH_T^*(X)\otimes H^*(T)$. We also describe the weight filtration in $IH^*(X)$.
The Riemann-Wirtinger integral is an analogue of the hypergeometric integral, which is defined as an integral on a one-dimensional complex torus. We study the intersection forms on the twisted homology and cohomology groups associated with the Riemann-Wirtinger integral. We derive explicit formulas of some intersection numbers, and apply them to study the monodromy representation, connection problems, and contiguity relations.
In this review article, we report on some recent advances on the computational aspects of cohomology intersection numbers of GKZ systems developed in \cite{GM}, \cite{MH}, \cite{MT} and \cite{MT2}. We also discuss the relation between intersection theory and evaluation of an integral of a product of powers of absolute values of polynomials.
We formulate a strong positivity conjecture on characters afforded by the Alvis-Curtis dual of the intersection cohomology of Deligne-Lusztig varieties. This conjecture provides a powerful tool to determine decomposition numbers of unipotent $\ell$-blocks of finite reductive groups.
The Hard Lefschetz theorem for intersection cohomology of nonrational polytopes was recently proved by K. Karu [Ka]. This theorem implies the conjecture of R. Stanley on the unimodularity of the generalized $h$-vector. In this paper we strengthen Karu's theorem by introducing a canonical bilinear form $(\cdot ,\cdot)_Φ$ on the intersection cohomology $IH(Φ)$ of a complete fan $Φ$ and proving the Hodge-Riemann bilinear relations for $(\cdot ,\cdot)_Φ$.
The quantum cohomology algebra of a projective manifold X is the cohomology H(X,Q) endowed with a different algebra structure, which takes into account the geometry of rational curves in X. We show that this algebra takes a remarkably simple form for complete intersections when the dimension is large enough w.r.t. the degree. As a reward we get a number of surprising enumerative formulas relating lines, conics and twisted cubics on X.
Given a projective morphism of compact, complex, algebraic varieties and a relatively ample line bundle on the domain we prove that a suitable choice, dictated by the line bundle, of the decomposition isomorphism of the Decomposition Theorem of Beilinson, Bernstein, Deligne and Gabber, yields isomorphisms of pure Hodge structures. The proof is based on a new cohomological characterization of the decomposition isomorphism associated with the line bundle. We prove some corollaries concerning the intersection form in intersection cohomology, the natural map from cohomology to intersection cohomol…
