We show that for a complete complex algebraic variety the pure component of homology coincides with the image of intersection homology. Therefore pure homology is topologically invariant. To obtain slightly more general results we introduce "image homology" for noncomplete varieties.
Let $X$ be a toric variety. Rationally Borel-Moore homology of $X$ is isomorphic to the homology of the Koszul complex $A^T_*(X)\otimes Λ^\x M$, where $A^T_*(X)$ is the equivariant Chow group and $M$ is the character group of $T$. Moreover, the same holds for coefficients which are the integers with certain primes inverted.
We give an explicit formula for the zeroth $\mathbb{A}^1$-homology sheaf of a smooth proper variety. We also provide a simple proof of a theorem of Kahn-Sujatha which describes hom sets in the birational localization of the category of smooth varieties.
In this paper, we study the persistent homology of the offset filtration of algebraic varieties. We prove the algebraicity of two quantities central to the computation of persistent homology. Moreover, we connect persistent homology and algebraic optimization. Namely, we express the degree corresponding to the distance variable of the offset hypersurface in terms of the Euclidean Distance Degree of the starting variety, obtaining a new way to compute these degrees. Finally, we describe the non-properness locus of the offset construction and use this to describe the set of points that are topol…
We generalize some classical results on Chow group of an abelian variety to semiabelian varieties and to motivic (co)homology, using a result of Ancona--Enright-Ward--Huber on a decomposition of the motive of a semiabelian variety in the Voevodsky's category.
This paper describes a paving by affines for regular nilpotent Hessenberg varieties in all Lie types, namely a kind of cell decomposition that can be used to compute homology despite its weak closure conditions. Precup recently proved a stronger result; we include ours because we use different methods. We then use this paving to prove that the homology of the Peterson variety injects into the homology of the full flag variety. The proof uses intersection theory and expands the class of the Peterson variety in the homology of the flag variety in terms of the basis of Schubert classes. We explic…
We associate to each real algebraic variety a filtered chain complex, the weight complex, which is well-defined up to filtered quasi-isomorphism, and which induces on classical (compactly supported) homology with Z/2 coefficients an analog of the weight filtration for complex algebraic varieties. This complements our previous definition of the weight filtration of Borel-Moore homology.
In this paper we introduce the Fourier-Mukai transform for Lawson homology of abelian varieties and prove an inversion theorem for the Lawson homology as well as the morphic cohomology of abelian varieties. As applications, we obtain the direct sum decomposition of the Lawson homology and the morphic cohomology groups with rational coefficients, inspired by Beauville's works on the Chow theory. An analogue of the Beauville conjecture for Chow groups is proposed and is shown to be equivalent to the (weak) Suslin conjecture for Lawson homology. A filtration on Lawson homology is proposed and con…
We construct rational projective 4-dimensional varieties with the property that certain Lawson homology groups tensored with Q are infinite dimensional Q-vector spaces. More generally, each pair of integers p and k, with k\geq 0, p>0, we find a projective variety Y, such that L_pH_{2p+k}(Y) is infinitely generated. We also construct two singular rational projective 3-dimensional varieties Y and Y' with the same homeomorphism type but different Lawson homology groups, specifically L_1H_3(Y) is not isomorphic to L_1H_3(Y')even up to torsion.
We study the topological group structure (coming from loop multiplication) on an affine Grassmannian. In particular, we study finite-dimensional subvarieties that generate the homology ring. We show that there is a canonical family of generating Schubert varieties, namely those defined by the negative of the coroot associated to the highest root. These not only generate the homology, but generate the affine Grassmannian itself in a precise sense.
We compute the rational Borel-Moore homology groups for affine determinantal varieties in the spaces of general, symmetric, and skew-symmetric matrices, solving a problem suggested by the work of Pragacz and Ratajski. The main ingredient is the relation with Hartshorne's algebraic de Rham homology theory, and the calculation of the singular cohomology of matrix orbits, using the methods of Cartan and Borel. We also establish the degeneration of the Čech-de Rham spectral sequence for determinantal varieties, and compute explicitly the dimensions of de Rham cohomology groups of local cohomology …
A fundamental goal of algebraic geometry is to do for singular varieties whatever we can do for smooth ones. Intersection homology, for example, directly produces groups associated to any variety which have almost all the properties of the usual homology groups of a smooth variety. Minimal model theory suggests the possibility of working more indirectly by relating any singular variety to a variety which is smooth or nearly so. Here we use ideas from minimal model theory to define some characteristic numbers for singular varieties, generalizing the Chern numbers of a smooth variety. This was s…
We study the behavior of cohomological support loci of the canonical bundle under derived equivalence of smooth projective varieties. This is achieved by investigating the derived invariance of a generalized version of Hochschild homology. Furthermore, using techniques coming from birational geometry, we establish the derived invariance of the Albanese dimension for varieties having non-negative Kodaira dimension. We apply our machinery to study the derived invariance of the holomorphic Euler characteristic and of certain Hodge numbers for special classes of varieties. Further applications con…
We demonstrate that a conjecture of Teh which relates the niveau filtration on Borel-Moore homology of real varieties and the images of generalized cycle maps from reduced Lawson homology is false. We show that the niveau filtration on reduced Lawson homology is trivial and construct an explicit class of examples for which Teh's conjecture fails by generalizing a result of Schulting. We compare various cycle maps and in particular we show that the Borel-Haeflinger cycle map naturally factors through the reduced Lawson homology cycle map.
In this paper we develop homology and cohomology theories which play the same role for real projective varieties that Lawson homology and morphic cohomology play for projective varieties respectively. They have nice properties such as the existence of long exact sequences, the homotopy invariance, the Lawson suspension property, the homotopy property for bundle projection, the splitting principle, the cup product, the slant product and the natural transformations to singular theories. The Friedlander-Lawson moving lemma is used to prove a duality theorem between these two theories. This dualit…
We prove that the intersection homology Poincare' polynomial P(X) of an affine toric variety X is bounded below by the product P(Y)P(X/Y), where Y is the closure of any orbit in X and X/Y is a slice transverse to the orbit. This proves a combinatorial conjecture of Kalai for rational polytopes.
Let $X_Σ$ be a smooth, not necessarily compact toric variety. We show that a certain complex, defined in terms of the fan $Σ$, computes the integral cohomology of $X_Σ$, including the module structure over the homology of the torus. In some cases we can also give the product. As a corollary we obtain that the cycle map from Chow groups to integral Borel-Moore homology is split injective for smooth toric varieties. Another result is that the differential algebra of singular cochains on the Borel construction of $X_Σ$ is formal.
We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from Saito's decomposition theorem. For varieties with conical singularities we show, that the existence of intersection homology morphism is exactly equivalent to the validity of Hard Lefschetz Theorem for links. For varieties with arbitrary analytic singularities we extract a remarkable property, which we call Local Hard Lefschetz.
We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds. We identify Joyce's vertex algebra construction on $H_\ast(\mathcal{M},\mathbb{Q})$ with a generalized super-lattice vertex algebra associated to $K^0_{\rm top}(X^{\rm an}) \oplus K^1_{\rm top}(X^{\rm an})$.
Given a smooth projective toric variety X, we construct an A-infinity category of Lagrangians with boundary on a level set of the Landau-Ginzburg mirror of X. We prove that this category is quasi-equivalent to the DG category of line bundles on X. This establishes part of the Homological Mirror Conjecture for toric varieties.
We present a definition of intersection homology for real algebraic varieties that is analogous to Goresky and MacPherson's original definition of intersection homology for complex varieties.
Given a closed subvariety of an algebraic torus, the associated tropical variety is a polyhedral fan in the space of 1-parameter subgroups of the torus which describes the behaviour of the subvariety at infinity. We show that the link of the origin has only top rational homology if a genericity condition is satisfied. Our result is obtained using work of Tevelev and Deligne's theory of mixed Hodge structures.
We will show that the cotangent bundle of a manifold whose free loopspace homology grows exponentially is not symplectomorphic to any smooth affine variety. We will also show that the unit cotangent bundle of such a manifold is not Stein fillable by a Stein domain whose completion is symplectomorphic to a smooth affine variety. For instance, these results hold for end connect sums of simply connected manifolds whose cohomology with coefficients in some field has at least two generators. We use an invariant called the growth rate of symplectic homology to prove this result.
Let X be a smooth projective variety of dimension n on which rational and homological equivalence coincide for algebraic p-cycles in the range 0\leq p\leq s. We show that the homologically trivial sector of rational Lawson homology L_pH_k(X,Q)_{hom} vanishes for 0\leq n-p\leq s+2. This is an analogue of a theorem of C. Peters in "dual dimensions". Together with Peters' theorem we get that the natural transformation L_pH_k(X,Q)--> H_k(X,Q) is injective for all p and k when X is a smooth projective variety of dimension 4 and Ch_0(X) =Z.
This paper establishes an isomorphism between the Bar-Natan skein module of the solid torus with a particular boundary curve system and the homology of the (n,n) Springer variety. The results build on Khovanov's work with crossingless matchings and the cohomology of the (n,n) Springer variety. We also give a formula for comultiplication in the Bar-Natan skein module for this specific three-manifold and boundary curve system.
We compute the integral homology (including torsion), the topological K-theory, and the Hodge structure on cohomology of Calabi-Yau threefold hypersurfaces and complete intersections in Gorenstein toric Fano varieties. The methods are purely topological.
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…
Homology Hirzebruch characteristic classes for singular varieties have been recently defined by Brasselet-Schuermann-Yokura as an attempt to unify previously known characteristic class theories for singular spaces (e.g., MacPherson-Chern classes, Baum-Fulton-MacPherson Todd classes, and Goresky-MacPherson L-classes, respectively). In this note we define equivariant analogues of these classes for singular quasi-projective varieties acted upon by a finite group of algebraic automorphisms, and show how these can be used to calculate the homology Hirzebruch classes of global quotient varieties. We…
A classical result of A. Connes asserts that the Frechet algebra of smooth functions on a smooth compact manifold X provides, by a purely algebraic procedure, the de Rham cohomology of X. Namely the procedure uses Hochschild and cyclic homology of this algebra. In the situation of a Thom-Mather stratified variety, we construct a Frechet algebra of functions on the regular part and a module of poles along the singular part. We associate to these objects a complex of differential forms and an Hochschild complex, on the regular part, both with poles along the singular part. The de Rham cohomology…
We prove a conjecture of Etingof and the second author for hypertoric varieties, that the Poisson-de Rham homology of a unimodular hypertoric cone is isomorphic to the de Rham cohomology of its hypertoric resolution. More generally, we prove that this conjecture holds for an arbitrary conical variety admitting a symplectic resolution if and only if it holds in degree zero for all normal slices to symplectic leaves. The Poisson-de Rham homology of a Poisson cone inherits a second grading. In the hypertoric case, we compute the resulting 2-variable Poisson-de Rham-Poincare polynomial, and prove …
We consider derived invariants of varieties in positive characteristic arising from topological Hochschild homology. Using theory developed by Ekedahl and Illusie-Raynaud in their study of the slope spectral sequence, we examine the behavior under derived equivalences of various $p$-adic quantities related to Hodge-Witt and crystalline cohomology groups, including slope numbers, domino numbers, and Hodge-Witt numbers. As a consequence, we obtain restrictions on the Hodge numbers of derived equivalent varieties, partially extending results of Popa-Schell to positive characteristic.
We study special values of zeta functions of singular varieties over finite fields. We give a new formula of special values by constructing a morphism of homology theories, which we call regulator, from higher Chow group to weight homology. Our regulator is defined by using the notion of weight complex for varieties over a perfect field, which was introduced by Gillet and Soule. The main idea of the proof of our formula of special values is to use weight spectral sequence of homology theories, whose E1 terms are homology groups for smooth projective schemes. Also, to calculate special values, …
We study certain mild degenerations of algebraic varieties which appear in the analysis of a large class of supersymmetric theories, including superstring theory. We analyze Witten's sigma-model and find that the non-transversality of the superpotential induces a singularization and stratification of the ground state variety. This stratified variety (the union of the singular ground state variety and its exo-curve strata) admit homology groups which, excepting the middle dimension, satisfy the "Kahler package" of requirements, extend the "flopped" pair of small resolutions to an "(exo)flopped"…
Schmidt and Spieß described the abelian tame fundamental group of a smooth variety over a finite field by using Suslin homology. In this paper we show that their result generalizes to singular varieties if one uses Weil-Suslin homology instead.
In this paper, we introduce the notion of relation type of analytic and formal algebras and prove that it is well-defined and invariant by describing this notion in terms of the André-Quillen homology and using the Jacobi-Zariski long exact sequence of homology. In particular, the relation type is an invariant of schemes of finite type over a field, analytic varieties, and algebroid varieties.
In this paper we compute the motivic Chern classes and homology Hirzebruch characteristic classes of (possibly singular) toric varieties, which in the complete case fit nicely with a generalized Hirzebruch-Riemann-Roch theorem. As special cases, we obtain new (or recover well-known) formulae for the Baum-Fulton-MacPherson Todd (or MacPherson-Chern) classes of toric varieties, as well as for the Thom-Milnor L-classes of simplicial projective toric varieties. We present two different perspectives for the computation of these characteristic classes of toric varieties. First, we take advantage of …
The K-rings of non-singular complex pro jective varieties as well as quasi- toric manifolds were described in terms of generators and relations in an earlier work of the author with V. Uma. In this paper we obtain a similar description for complete non-singular toric varieties. Indeed, our approach enables us to obtain such a description for the more general class of torus manifolds with locally standard torus action and orbit space a homology polytope.
We generalize the Künneth formula for Chow groups to an arbitrary OBM-homology theory satisfying descent (e.g. algebraic cobordism) when taking a product with a toric variety. As a corollary we obtain a universal coefficient theorem for the operational cohomology rings. We also give a description for the homology groups of smooth toric varieties, that allows the calculation of algebraic cobordism groups of singular toric varieties. Some computations are carried out.
We generalize the Harnack-Thom theorem to relate the ranks of the Lawson homology groups with $\Z_2$-coefficients of a real quasiprojective variety with the ranks of its reduced real Lawson homology groups. In the case of zero-cycle group, we recover the classical Harnack-Thom theorem and generalize the classical version to include real quasiprojective varieties. We use Weil's construction of Picard varieties to construct reduced real Picard groups, and Milnor's construction of universal bundles to construct some weak models of classifying spaces of some cycle groups. These weak models are use…
Given any connected topological space $X$, assume that there exists an epimorphism $ϕ: π_1(X) \to \mathbb{Z}$. The deck transformation group $\mathbb{Z}$ acts on the associated infinite cyclic cover $X^ϕ$ of $X$, hence on the homology group $H_i(X^ϕ, \mathbb{C})$. This action induces a linear automorphism on the torsion part of the homology group as a module over the Laurent ring $\mathbb{C}[t,t^{-1}]$, which is a finite dimensional $\mathbb{C}$-vector space. We study the sizes of the Jordan blocks of this linear automorphism. When $X$ is a compact Kähler manifold, we show that all the Jordan …
We construct an extended oriented $(2+ε)$-dimensional topological field theory, the character field theory $X_G$ attached to a affine algebraic group in characteristic zero, which calculates the homology of character varieties of surfaces. It is a model for a dimensional reduction of Kapustin-Witten theory ($N=4$ $d=4$ super-Yang-Mills in the GL twist), and a universal version of the unipotent character field theory introduced in arXiv:0904.1247. Boundary conditions in $X_G$ are given by quantum Hamiltonian $G$-spaces, as captured by de Rham (or strong) $G$-categories, i.e., module categories …
This note studies the behavior of Euler characteristics and of intersection homology Euler characterstics under proper morphisms of algebraic (or analytic) varieties. The methods also yield, for algebraic (or analytic) varieties, formulae comparing these two kinds of Euler characteristics. The main results are direct consequences of the calculus of constructible functions and Grothendieck groups of constructible sheaves. Similar formulae for Hodge theoretic invariants of algebraic varieties under morphisms were announced by the first and third authors in \cite{CS1, S}.
We study tori attached to the fundamental groups of plane curves with arbitrary singularities. These tori provide complete information about homology of finite abelian covers of the plane branched along the curve. We calculate these tori in terms of certain linear systems determined by the singularities of the curve. In the case of the complements to a union of lines they can be calculated from the lattice of the arrangement and are closely related to the components of the space of Aomoto complexes with prescribed homology.
We compare various groups of 0-cycles on quasi-projective varieties over a field. As applications, we show that for certain singular projective varieties, the Levine-Weibel Chow group of 0-cycles coincides with the corresponding Friedlander-Voevodsky motivic cohomology. We also show that over an algebraically closed field of positive characteristic, the Chow group of 0-cycles with modulus on a smooth projective variety with respect to a reduced divisor coincides with the Suslin homology of the complement of the divisor. We prove several generalizations of the finiteness theorem of Saito and Sa…
The aim of this paper is to study the behavior of Hodge-theoretic (intersection homology) genera and their associated characteristic classes under proper morphisms of complex algebraic varieties. We obtain formulae that relate (parametrized families of) global invariants of a complex algebraic variety $X$ to such invariants of singularities of proper algebraic maps defined on $X$. Such formulae severely constrain, both topologically and analytically, the singularities of complex maps, even between smooth varieties. Similar results were announced by the first and third author in \cite{CS1, S}.
Given a rational homogeneous manifold $S=G/P$ of Picard number one and a Schubert variety $S_0 $ of $S$, the pair $(S,S_0)$ is said to be homologically rigid if any subvariety of $S$ having the same homology class as $S_0$ must be a translate of $S_0$ by the automorphism group of $S$. The pair $(S,S_0)$ is said to be Schur rigid if any subvariety of $ S$ with homology class equal to a multiple of the homology class of $S_0$ must be a sum of translates of $S_0$. Earlier we completely determined homologically rigid pairs $(S,S_0)$ in case $S_0 $ is homogeneous and answered the same question in s…
For a complete toric variety, we obtain an explicit formula for the localized equivariant Todd class in terms of the combinatorial data -- the fan. This is based on the equivariant Riemann-Roch theorem and the computation of the equivariant cohomology and equivariant homology of toric varieties.