scholarly journals The vanishing of the chow cohomology ring for affine toric varieties and additional results

2019 ◽  
Author(s):  
◽  
Ryan Matthew Richey

From the recent work of Edidin and Satriano, given a good moduli space morphism between a smooth Artin stack and its good moduli space X, they prove that the Chow cohomology ring of X embeds into the Chow ring of the stack. In the context of toric varieties, this implies that the Chow cohomology ring of any toric variety embeds into the Chow ring of its canonical toric stack. Furthermore, the authors give a conjectural description of the image of this embedding in terms of strong cycles. One consequence of their conjectural description, and an additional conjecture, is that the Chow cohomology ring of any affine toric variety ought to vanish. We prove this result without any assumption on smoothness. Afterwards, we present a series of results related to their conjectural description, and finally, we provide a conjectural toric description of the image of this embedding for complete toric varieties by utilizing Minkowski weights.

2019 ◽  
Vol 69 (3) ◽  
pp. 685-698 ◽  
Author(s):  
Jyoti Dasgupta ◽  
Bivas Khan ◽  
Vikraman Uma

Abstract Let X be a 2n-dimensional torus manifold with a locally standard T ≅ (S1)n action whose orbit space is a homology polytope. Smooth complete complex toric varieties and quasitoric manifolds are examples of torus manifolds. Consider a principal T-bundle p : E → B and let π : E(X) → B be the associated torus manifold bundle. We give a presentation of the singular cohomology ring of E(X) as a H*(B)-algebra and the topological K-ring of E(X) as a K*(B)-algebra with generators and relations. These generalize the results in [17] and [19] when the base B = pt. These also extend the results in [20], obtained in the case of a smooth projective toric variety, to any smooth complete toric variety.


2011 ◽  
Vol 54 (3) ◽  
pp. 561-565
Author(s):  
James J. Uren

AbstractIn this note we give a brief review of the construction of a toric variety coming from a genus g ≥ 2 Riemann surface Σg equipped with a trinion, or pair of pants, decomposition. This was outlined by J. Hurtubise and L. C. Jeffrey. A. Tyurin used this construction on a certain collection of trinion decomposed surfaces to produce a variety DMg , the so-called Delzant model of moduli space, for each genus g. We conclude this note with some basic facts about the moment polytopes of the varieties . In particular, we show that the varieties DMg constructed by Tyurin, and claimed to be smooth, are in fact singular for g ≥ 3.


Author(s):  
Claire Voisin

This book provides an introduction to algebraic cycles on complex algebraic varieties, to the major conjectures relating them to cohomology, and even more precisely to Hodge structures on cohomology. The book is intended for both students and researchers, and not only presents a survey of the geometric methods developed in the last thirty years to understand the famous Bloch-Beilinson conjectures, but also examines recent work by the author. It focuses on two central objects: the diagonal of a variety—and the partial Bloch-Srinivas type decompositions it may have depending on the size of Chow groups—as well as its small diagonal, which is the right object to consider in order to understand the ring structure on Chow groups and cohomology. An exploration of a sampling of recent works by the author looks at the relation, conjectured in general by Bloch and Beilinson, between the coniveau of general complete intersections and their Chow groups and a very particular property satisfied by the Chow ring of K3 surfaces and conjecturally by hyper-Kähler manifolds. In particular, the book delves into arguments originating in Nori's work that have been further developed by others.


Author(s):  
Ugo Bruzzo ◽  
William D. Montoya

AbstractFor a quasi-smooth hypersurface X in a projective simplicial toric variety $$\mathbb {P}_{\Sigma }$$ P Σ , the morphism $$i^*:H^p(\mathbb {P}_{\Sigma })\rightarrow H^p(X)$$ i ∗ : H p ( P Σ ) → H p ( X ) induced by the inclusion is injective for $$p=\dim X$$ p = dim X and an isomorphism for $$p<\dim X-1$$ p < dim X - 1 . This allows one to define the Noether–Lefschetz locus $$\mathrm{NL}_{\beta }$$ NL β as the locus of quasi-smooth hypersurfaces of degree $$\beta $$ β such that $$i^*$$ i ∗ acting on the middle algebraic cohomology is not an isomorphism. We prove that, under some assumptions, if $$\dim \mathbb {P}_{\Sigma }=2k+1$$ dim P Σ = 2 k + 1 and $$k\beta -\beta _0=n\eta $$ k β - β 0 = n η , $$n\in \mathbb {N}$$ n ∈ N , where $$\eta $$ η is the class of a 0-regular ample divisor, and $$\beta _0$$ β 0 is the anticanonical class, every irreducible component V of the Noether–Lefschetz locus quasi-smooth hypersurfaces of degree $$\beta $$ β satisfies the bounds $$n+1\leqslant \mathrm{codim}\,Z \leqslant h^{k-1,\,k+1}(X)$$ n + 1 ⩽ codim Z ⩽ h k - 1 , k + 1 ( X ) .


Author(s):  
Ugo Bruzzo ◽  
William Montoya

AbstractWe establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in Bruzzo and Grassi (Commun Anal Geom 28: 1773–1786, 2020). We also show that the Hodge Conjecture holds asymptotically for suitable quasi-smooth hypersurface in the Noether–Lefschetz locus, where “asymptotically” means that the degree of the hypersurface is big enough, under the assumption that the ambient variety $${{\mathbb {P}}}_\Sigma ^{2k+1}$$ P Σ 2 k + 1 has Picard group $${\mathbb {Z}}$$ Z . This extends to a class of toric varieties Otwinowska’s result in Otwinowska (J Alg Geom 12: 307–320, 2003).


Author(s):  
Michele Rossi ◽  
Lea Terracini

AbstractLet X be a $$\mathbb {Q}$$ Q -factorial complete toric variety over an algebraic closed field of characteristic 0. There is a canonical injection of the Picard group $$\mathrm{Pic}(X)$$ Pic ( X ) in the group $$\mathrm{Cl}(X)$$ Cl ( X ) of classes of Weil divisors. These two groups are finitely generated abelian groups; while the first one is a free group, the second one may have torsion. We investigate algebraic and geometrical conditions under which the image of $$\mathrm{Pic}(X)$$ Pic ( X ) in $$\mathrm{Cl}(X)$$ Cl ( X ) is contained in a free part of the latter group.


10.37236/5038 ◽  
2016 ◽  
Vol 23 (2) ◽  
Author(s):  
Laura Escobar

Bott-Samelson varieties are a twisted product of $\mathbb{C}\mathbb{P}^1$'s with a map into $G/B$. These varieties are mostly studied in the case in which the map into $G/B$ is birational to the image; however in this paper we study a fiber of this map when it is not birational. We prove that in some cases the general fiber, which we christen a brick manifold, is a toric variety. In order to do so we use the moment map of a Bott-Samelson variety to translate this problem into one in terms of the "subword complexes" of Knutson and Miller. Pilaud and Stump realized certain subword complexes as the dual of the boundary of a polytope which generalizes the brick polytope defined by Pilaud and Santos. For a nice family of words, the brick polytope is the generalized associahedron realized by Hohlweg, Lange and Thomas. These stories connect in a nice way: we show that the moment polytope of the brick manifold is the brick polytope. In particular, we give a nice description of the toric variety of the associahedron. We give each brick manifold a stratification dual to the subword complex. In addition, we relate brick manifolds to Brion's resolutions of Richardon varieties.


2020 ◽  
Vol 71 (2) ◽  
pp. 395-438
Author(s):  
Jack Smith

Abstract We give a short new computation of the quantum cohomology of an arbitrary smooth (semiprojective) toric variety $X$, by showing directly that the Kodaira–Spencer map of Fukaya–Oh–Ohta–Ono defines an isomorphism onto a suitable Jacobian ring. In contrast to previous results of this kind, $X$ need not be compact. The proof is based on the purely algebraic fact that a class of generalized Jacobian rings associated to $X$ are free as modules over the Novikov ring. When $X$ is monotone the presentation we obtain is completely explicit, using only well-known computations with the standard complex structure.


Author(s):  
Luca Battistella ◽  
Navid Nabijou

Abstract We construct and study the theory of relative quasimaps in genus zero, in the spirit of Gathmann. When $X$ is a smooth toric variety and $Y$ is a smooth very ample hypersurface in $X$, we produce a virtual class on the moduli space of relative quasimaps to $(X,Y)$, which we use to define relative quasimap invariants. We obtain a recursion formula which expresses each relative invariant in terms of invariants of lower tangency, and apply this formula to derive a quantum Lefschetz theorem for quasimaps, expressing the restricted quasimap invariants of $Y$ in terms of those of $X$. Finally, we show that the relative $I$-function of Fan–Tseng–You coincides with a natural generating function for relative quasimap invariants, providing mirror-symmetric motivation for the theory.


2016 ◽  
Vol 27 (04) ◽  
pp. 1650032 ◽  
Author(s):  
Suyoung Choi ◽  
Seonjeong Park

Let [Formula: see text] be the Whitney sum of complex line bundles over a topological space [Formula: see text]. Then, the projectivization [Formula: see text] of [Formula: see text] is called a projective bundle over [Formula: see text]. If [Formula: see text] is a nonsingular complete toric variety, then so is [Formula: see text]. In this paper, we show that the cohomology ring of a nonsingular projective toric variety [Formula: see text] determines whether it admits a projective bundle structure over a nonsingular complete toric surface. In addition, we show that two [Formula: see text]-dimensional projective bundles over [Formula: see text]-dimensional quasitoric manifolds are diffeomorphic if their cohomology rings are isomorphic as graded rings. Furthermore, we study the smooth classification of higher dimensional projective bundles over [Formula: see text]-dimensional quasitoric manifolds.


Sign in / Sign up

Export Citation Format

Share Document