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.
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…
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.
In this paper we study certain algebraic properties of the quantum homology algebra for the class of symplectic toric Fano manifolds. In particular, we examine the semi-simplicity of the quantum homology algebra, and the more general property of containing a field as a direct summand. Our main result provides an easily-verified sufficient condition for these properties which is independent of the symplectic form. Moreover, we answer two questions of Entov and Polterovich negatively by providing examples of toric Fano manifolds with non semi-simple quantum homology algebra, and others in which …
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.
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 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.
Given a smooth toric variety $X$, the action of the torus $T$ lifts to the moduli space $\mathcal{M}$ of stable sheaves on $X$. Using the pioneering work of Klyacho, a fairly explicit combinatorial description of the fixed point locus $\mathcal{M}^T$ can be given (as shown by earlier work of the author). In this paper, we apply this description to the case of torsion free sheaves on a smooth toric surface $S$. A general expression for the generating function of the Euler characteristics of such moduli spaces is obtained. The generating function is expressed in terms of Euler characteristics of…
In this note, we prove that the Grothendieck group of a smooth complete toric Deligne-Mumford stack is torsion free. This statement holds when the generic point is stacky. We also construct an example of open toric stack with torsion in K-theory. This is a part of the author's Ph.D thesis.
In a recent paper, Dimca and Nemethi pose the problem of finding a homogeneous polynomial f such that the homology of the complement of the hypersurface defined by f is torsion-free, but the homology of the Milnor fiber of f has torsion. We prove that this is indeed possible, and show by construction that, for each prime p, there is a polynomial with p-torsion in the homology of the Milnor fiber. The techniques make use of properties of characteristic varieties of hyperplane arrangements.
We prove that the mod $2$ Betti numbers of double coverings of a complex hyperplane arrangement complement are combinatorially determined. The proof is based on a relation between the mod $2$ Aomoto complex and the transfer long exact sequence. Applying the above result to the icosidodecahedral arrangement ($16$ planes in the three dimensional space related to the icosidodecahedron), we conclude that the first homology of the Milnor fiber has non-trivial $2$-torsion.
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.
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 …
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.
As is well-known, the homology groups of the complement of a complex hyperplane arrangement are torsion-free. Nevertheless, as we showed in a recent paper [arXiv:1209.3414] the homology groups of the Milnor fiber of such an arrangement can have non-trivial integer torsion. We give here a brief account of the techniques that go into proving this result, outline some of its applications, and indicate some further questions that it brings to light.
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.
Given a smooth and projective curve C and a smooth and projective toric variety X, we first describe a compactification of the space of morphisms from C to X representing a fixed homology class, and after we study the intersection theory on this variety.
Let A be a commutative ring, and \a a weakly proregular ideal in A. This includes the noetherian case: if A is noetherian then any ideal in it is weakly proregular; but there are other interesting examples. In this paper we prove the MGM equivalence, which is an equivalence between the category of cohomologically \a-adically complete complexes and the category of cohomologically \a-torsion complexes. These are triangulated subcategories of the derived category of A-modules. Our work extends earlier work by Alonso- Jeremias-Lipman, Schenzel and Dwyer-Greenlees.
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)$.
We define the notion of a holomorphic bundle on the noncommutative toric orbifold $T_θ/G$ associated with an action of a finite cyclic group $G$ on an irrational rotation algebra. We prove that the category of such holomorphic bundles is abelian and its derived category is equivalent to the derived category of modules over a finite-dimensional algebras $Λ$. As an application we finish the computation of $K_0$-groups of the crossed product algebras describing the above orbifolds initiated by Kumjian, Walters and Buck. Also, we describe a torsion pair in the category of $Λ$-modules, such that th…
Following an old suggestion of M. Kontsevich, and inspired by recent work of A. Beilinson and B. Bhatt, we introduce a new version of periodic cyclic homology for DG agebras and DG categories. We call it co-periodic cyclic homology. It is always torsion, so that it vanishes in char 0. However, we show that co-periodic cyclic homology is derived-Morita invariant, and that it coincides with the usual periodic cyclic homology for smooth cohomologically bounded DG algebras over a torsion ring. For DG categories over a field of odd positive characteristic, we also establish a non-commutative genera…
Using the method of Elias-Hogancamp and combinatorics of toric braids we give an explicit formula for the triply graded Khovanov-Rozansky homology of an arbitrary torus knot, thereby proving some of the conjectures of Aganagic-Shakirov, Cherednik, Gorsky-Negut and Oblomkov-Rasmussen-Shende.
Given a smooth toric variety X and an ample line bundle O(1), we construct a sequence of Lagrangian submanifolds of (C^*)^n with boundary on a level set of the Landau-Ginzburg mirror of X. The corresponding Floer homology groups form a graded algebra under the cup product which is canonically isomorphic to the homogeneous coordinate ring of X.