skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: THE INTEGRAL COHOMOLOGY OF THE HILBERT SCHEME OF TWO POINTS
The Hilbert scheme $$X^{[a]}$$ of points on a complex manifold $$X$$ is a compactification of the configuration space of $$a$$ -element subsets of $$X$$ . The integral cohomology of $$X^{[a]}$$ is more subtle than the rational cohomology. In this paper, we compute the mod 2 cohomology of $$X^{[2]}$$ for any complex manifold $$X$$ , and the integral cohomology of $$X^{[2]}$$ when $$X$$ has torsion-free cohomology.  more » « less
Award ID(s):
1701237
PAR ID:
10280064
Author(s) / Creator(s):
Date Published:
Journal Name:
Forum of Mathematics, Sigma
Volume:
4
ISSN:
2050-5094
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We show that the underlying complex manifold of a complete non-compact two-dimensional shrinking gradient Kähler-Ricci soliton (M,g,X) with soliton metric g with bounded scalar curvature Rg whose soliton vector field X has an integral curve along which Rg↛0 is biholomorphic to either C×P1 or to the blowup of this manifold at one point. Assuming the existence of such a soliton on this latter manifold, we show that it is toric and unique. We also identify the corresponding soliton vector field. Given these possibilities, we then prove a strong form of the Feldman-Ilmanen-Knopf conjecture for finite time Type I singularities of the Kähler-Ricci flow on compact Kähler surfaces, leading to a classification of the bubbles of such singularities in this dimension. 
    more » « less
  2. Abstract Given a closed symplectic manifoldX, we construct Gromov-Witten-type invariants valued both in (complex)K-theory and in any complex-oriented cohomology theory$$\mathbb{K}$$which isKp(n)-local for some MoravaK-theoryKp(n). We show that these invariants satisfy a version of the Kontsevich-Manin axioms, extending Givental and Lee’s work for the quantumK-theory of complex projective algebraic varieties. In particular, we prove a Gromov-Witten type splitting axiom, and hence define quantumK-theory and quantum$$\mathbb{K}$$-theory as commutative deformations of the corresponding (generalised) cohomology rings ofX; the definition of the quantum product involves the formal group of the underlying cohomology theory. The key geometric input of these results is a construction of global Kuranishi charts for moduli spaces of stable maps of arbitrary genus toX. On the algebraic side, in order to establish a common framework covering both ordinaryK-theory andKp(n)-local theories, we introduce a formalism of ‘counting theories’ for enumerative invariants on a category of global Kuranishi charts. 
    more » « less
  3. null (Ed.)
    Abstract We show that if X is a smooth complex projective surface with torsion-free cohomology, then the Hilbert scheme $$X^{[n]}$$ has torsion-free cohomology for every natural number n . This extends earlier work by Markman on the case of Poisson surfaces. The proof uses Gholampour-Thomas’s reduced obstruction theory for nested Hilbert schemes of surfaces. 
    more » « less
  4. For a local complete intersection subvariety $X = V (I)$ in $P^n$ over a field of characteristic zero, we show that, in cohomological degrees smaller than the codimension of the singular locus of $$X$$, the cohomology of vector bundles on the formal completion of $P^n$ along $$X$$ can be effectively computed as the cohomology on any sufficiently high thickening $$X_t = V (I^t)$$; the main ingredient here is a positivity result for the normal bundle of $$X$$. Furthermore, we show that the Kodaira vanishing theorem holds for all thickenings $$X_t$$ in the same range of cohomological degrees; this extends the known version of Kodaira vanishing on $$X$$, and the main new ingredient is a version of the Kodaira- Akizuki-Nakano vanishing theorem for $$X$$, formulated in terms of the cotangent complex. 
    more » « less
  5. Abstract A simple polytopePis calledB-rigidif its combinatorial type is determined by the cohomology ring of the moment-angle manifold$$\mathcal {Z}_P$$overP. We show that any tensor product decomposition of this cohomology ring is geometrically realized by a product decomposition of the moment-angle manifold up to equivariant diffeomorphism. As an application, we find thatB-rigid polytopes are closed under products, generalizing some recent results in the toric topology literature. Algebraically, our proof establishes that the Koszul homology of a Gorenstein Stanley–Reisner ring admits a nontrivial tensor product decomposition if and only if the underlying simplicial complex decomposes as a join of full subcomplexes. 
    more » « less