Cohomological characterizations of the complex projective space

Olivier Debarre

DOI: https://doi.org/10.48550/arXiv.1512.04321

2015-12-14

Abstract:In this survey, we discuss whether the complex projective space can be characterized by its integral cohomology ring among compact complex manifolds.

Algebraic Geometry

What problem does this paper attempt to address?

On the Cohomology of Some Complex Hyperbolic Arithmetic 3-Manifolds

Jian-Shu Li,Bo Sun

DOI: https://doi.org/10.1007/s40304-013-0017-3

2013-01-01

Communications in Mathematics and Statistics

Abstract:Given an arithmetic lattice of the unitary group U(3,1) arising from a hermitian form over a CM-field, we show that all unitary representations of U(3,1) with nonzero cohomology contribute to the cohomology of the attached arithmetic complex 3-manifold, at least when we pass to a finite-index subgroup of the given arithmetic lattice.
The Cohomology Ring of Crepant Resolutions of Orbifolds

Yongbin Ruan

DOI: https://doi.org/10.1090/conm/403/07597

2006-01-01

Abstract:Motivated by physics, we propose two conjectures regarding the cohomologyring of the crepant resolutions of orbifolds and cohomological invariants ofK-equivalent manifolds.
Complex-projective and lens product spaces

Jesus Gonzalez,Maurilio Velasco

DOI: https://doi.org/10.48550/arXiv.1311.1220

2013-11-06

Abstract:Let $t$ be a positive integer. Following work of D. M. Davis, we study the topology of complex-projective product spaces, i.e. quotients of cartesian products of odd dimensional spheres by the diagonal $S^1$-action, and of the $t$-torsion lens product spaces, i.e. the corresponding quotients when the action is restricted to the $t^{\mathrm{th}}$ roots of unity. For a commutative complex-oriented cohomology theory $h^*$, we determine the $h^*$-cohomology ring of these spaces (in terms of the $t$-series for $h^*$, in the case of $t$-torsion lens product spaces). When $h^*$ is singular cohomology with mod 2 coefficients, we also determine the action of the Steenrod algebra. We show that these spaces break apart after a suspension as a wedge of desuspensions of usual stunted complex projective ($t$-torsion lens) spaces. We estimate the category and topological complexity of complex-projective and lens product spaces, showing in particular that these invariants are usually much lower than predicted by the usual dimensional bounds. We extend Davis' analysis of manifold properties such as immersion dimension, (stable-)span, and (stable-)parallelizability of real projective product spaces to the complex-projective and lens product cases.

Algebraic Topology
The integral cohomology of configuration spaces of pairs of points in real projective spaces

Carlos Dominguez,Jesus Gonzalez,Peter Landweber

DOI: https://doi.org/10.48550/arXiv.1106.4593

2011-06-23

Abstract:We compute the integral cohomology ring of configuration spaces of two points on a given real projective space. Apart from an integral class, the resulting ring is a quotient of the known integral cohomology of the dihedral group of order 8 (in the case of unordered configurations, thus has only 2- and 4-torsion) or of the elementary abelian 2-group of rank 2 (in the case of ordered configurations, thus has only 2-torsion). As an application, we complete the computation of the symmetric topological complexity of real projective spaces of dimensions of the form 2^i+j for non-negative i and j with j<3.

Algebraic Topology
Correspondences between projective planes

June Huh

DOI: https://doi.org/10.48550/arXiv.1303.4113

2013-03-17

Algebraic Geometry

Abstract:We characterize integral homology classes of the product of two projective planes which are representable by a subvariety.
Characteristic forms of complex Cartan geometries II

Benjamin McKay

2023-12-07

Abstract:Characteristic class relations in Dolbeault cohomology follow from the existence of a holomorphic Cartan geometry (for example, a holomorphic conformal structure or a holomorphic projective connection). These relations can be calculated directly from the representation theory of the structure group, without selecting any metric or connection or having any knowledge of the Dolbeault cohomology groups of the manifold. This paper improves on its predecessor by allowing noncompact and non-Kähler manifolds and by deriving invariants in cohomology of vector bundles, not just in scalar Dolbeault cohomology, and computing relations involving Chern--Simons invariants in Dolbeault cohomology. For the geometric structures previously considered in its predecessor, this paper gives stronger results and simplifies the computations. It gives the first results on Chern--Simons invariants of Cartan geometries.

Differential Geometry
The Cohomology Ring of the Deligne-Mumford Moduli Space of Real Rational Curves with Conjugate Marked Points

Xujia Chen,Penka Georgieva,Aleksey Zinger

2024-01-17

Abstract:It is a long-established and heavily-used fact that the integral cohomology ring of the Deligne-Mumford moduli space of (complex) rational curves is the polynomial ring on the boundary divisors modulo the ideal generated by the obvious geometric relations between them. We show that the rational cohomology ring of the Deligne-Mumford moduli space of real rational curves with conjugate marked points only is the polynomial ring on certain (``complex") boundary divisors and real boundary hypersurfaces modulo the ideal generated by the obvious geometric relations between them and the geometric relation in positive dimension and codimension identified in a previous paper.

Algebraic Geometry,High Energy Physics - Theory,Algebraic Topology,Symplectic Geometry
The topology of spaces of holomorphic maps to projective space

Alexis Aumonier

2024-02-08

Abstract:We show that the spaces of holomorphic and continuous maps from a smooth complex projective variety to a projective space have the same homology in a range depending on the degree of the maps.

Algebraic Topology,Algebraic Geometry
Cohomology Rings of Moment-Angle Complexes

Fei Fan,Xiangjun Wang

2015-01-01

Abstract:The main goal of this article is to study the cohomology rings and their applications of moment-angle complexes associated to Gorenstein* complexes, especially, the applications in combinatorial commutative algebra and combinatorics. First, we give a topological characterization of Gorenstein* complexes in terms of Alexander duality (as an application we give a topological proof of Stanley's Theorem). Next we give some cohomological transformation formulae of $\mathcal {Z}_{K}$, which are induced by some combinatorial operations on the Gorenstein* complex $K$, such as the connected sum operation and stellar subdivisions. We also prove that $\mathcal {Z}_{K}$ is a prime manifold whenever $K$ is a flag $2$-sphere by proving the indecomposability of their cohomology rings. Then we use these results to give the unique decomposition of the cohomology rings of moment-angle manifolds associated to simplicial $2$-spheres, and explain how to use it to detect the cohomological rigidity problem of these moment-angle manifolds.
Algebraic description of complex conjugation on cohomology of a smooth projective hypersurface

Jeehoon Park,Junyeong Park,Philsang Yoo

2024-04-06

Abstract:We describe complex conjugation on the primitive middle-dimensional algebraic de Rham cohomology of a smooth projective hypersurface defined over a number field that admits a real embedding. We use Griffiths' description of the cohomology in terms of a Jacobian ring. The resulting description is algebraic up to transcendental factors explicitly given by certain periods.

Algebraic Geometry
Hochschild Cohomology of Projective Hypersurfaces

Liyu Liu,Wendy Lowen

DOI: https://doi.org/10.1093/imrn/rnx216

2017-01-01

International Mathematics Research Notices

Abstract:We compute Hochschild cohomology of projective hypersurfaces starting from the Gerstenhaber-Schack complex of the (restricted) structure sheaf. We are particularly interested in the second cohomology group and its relation with deformations. We show that a projective hypersurface is smooth if and only if the classical HKR decomposition holds for this group. In general, the first Hodge component describing scheme deformations has an interesting inner structure corresponding to the various ways in which first order deformations can be realized: deforming local multiplications, deforming restriction maps, or deforming both. We make our computations precise in the case of quartic hypersurfaces, and compute explicit dimensions in many examples.
Meromorphic Projective Structures, Opers and Monodromy

Titouan Sérandour

2023-09-05

Abstract:The complex projective structures considered is this article are compact curves locally modeled on $\mathbb{CP}^1$. To such a geometric object, modulo marked isomorphism, the monodromy map associates an algebraic one: a representation of its fundamental group into $\operatorname{PGL}(2,\mathbb{C})$, modulo conjugacy. This correspondence is neither surjective nor injective. Nonetheless, it is a local diffeomorphism [Hejhal, 1975]. We generalize this theorem to projective structures admitting poles (without apparent singularity and with fixed residues): the corresponding monodromy map (including Stokes data) is a local biholomorphism.

Differential Geometry,Algebraic Geometry,Complex Variables
Characterization on projective submanifolds of codimensions 2 and 3

Ping Li,Fangyang Zheng

2020-01-01

Abstract: In this article we give a necessary and sufficient condition to characterize projective submanifolds in ${\mathbb P}^N$ with codimensions 2 and 3. The conditions involve the Chern classes of the manifold and a very ample line bundle on the manifold. This generalizes our earlier characterization for hypersurfaces. The higher codimensional cases are proposed as a general question.
Cohomology rings of the moduli of one-dimensional sheaves on the projective plane

Yakov Kononov,Woonam Lim,Miguel Moreira,Weite Pi

2024-06-23

Abstract:We initiate a systematic study on the cohomology rings of the moduli stack $\mathfrak{M}_{d,\chi}$ of semistable one-dimensional sheaves on the projective plane. We introduce a set of tautological relations of geometric origin, including Mumford-type relations, and prove that their ideal is generated by certain primitive relations via the Virasoro operators. Using BPS integrality and the computational efficiency of Virasoro operators, we show that our geometric relations completely determine the cohomology rings of the moduli stacks up to degree 5. As an application, we verify the refined Gopakumar--Vafa/Pandharipande--Thomas correspondence for local $\mathbb{P}^2$ in degree 5. Furthermore, we propose a substantially strengthened version of the $P=C$ conjecture, originally introduced by Shen and two of the authors. This can be viewed as an analogue of the $P=W$ conjecture in a compact and Fano setting.

Algebraic Geometry
Cohomological characterisation of hyperbolicity

Francesco Milizia,Nansen Petrosyan,Alessandro Sisto,Vladimir Vankov

2024-09-28

Abstract:For any geodesic metric space $X$, we give a complete cohomological characterisation of the hyperbolicity of $X$ in terms of vanishing of its second $\ell^{\infty}$-cohomology. We extend this result to the relative setting of $X$ with a collection of uniformly hyperbolic subgraphs. As an application, we give a cohomological characterisation of acylindrical hyperbolicity.

Group Theory,Algebraic Topology,Functional Analysis,Geometric Topology
Projective Modules and Cohomology for Integral Basic Algebras

David J. Benson,Kay Jin Lim

2024-07-08

Abstract:Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at good enough prime. In this paper, we initiate the study of this topic by imposing increasingly strong hypotheses on basic algebras. When the algebras satisfy the right hypotheses, we have equalities of the dimensions of their cohomology groups between simple modules and equalities of graded Cartan numbers. The examples include the Solomon descent algebras of finite Coxeter groups at large enough primes, nil-Coxeter algebra, and certain finite semigroup algebras at an arbitrary prime.

Representation Theory
Complex quaternionic manifolds and c-projective structures

Aleksandra Borówka

2024-12-14

Abstract:We discuss complex quaternionic manifolds, i.e., those that have holonomy $U^*(2n)$, which naturally arise via quaternionic Feix--Kaledin construction. We show that for a fixed c-projective class, any real analytic connection with type $(1,1)$ curvature induce, via quaternionic Feix--Kaledin construction an $S^1$-invariant connection with holonomy contained in $U^*(2n)$. As an application we characterize the distinguished $U^*(2n)$ connection studied in \cite{Bat} and \cite{Hit3} in this setting.

Differential Geometry
Koszul Bicomplexes and Generalized Koszul Complexes in Projective Dimension One

Bogdan Ichim,Udo Vetter

DOI: https://doi.org/10.1080/00927870600876284

2005-10-27

Abstract:We describe Koszul type complexes associated with a linear map from any module to a free module, and vice versa with a linear map from a free module to an arbitrary module, generalizing the classical Koszul complexes. Given a short complex of finite free modules, we assemble these complexes to what we call Koszul bicomplexes. They are used in order to investigate the homology of the Koszul complexes in projective dimension one. As in the case of the classical Koszul complexes this homology turns out to be grade sensitive. In a special setup we obtain necessary conditions for a map of free modules to be lengthened to a short complex of free modules.

Commutative Algebra
Indecomposable direct summands of cohomologies of curves

Jędrzej Garnek

2024-10-04

Abstract:Groups with a non-cyclic Sylow $p$-subgroup have too many representations over a field of characteristic~$p$ to describe them fully. A~natural question arises, whether the world of representations coming from algebraic varieties with a group action is as vast as the realm of all modular representations. In this article, we explore the possible ``building blocks'' (the indecomposable direct summands) of cohomologies of smooth projective curves with a group action. We show that usually there are infinitely many such possible summands. To prove this, we study a family of $\mathbb Z/p \times \mathbb Z/p$-covers and describe the cohomologies of the members of this family completely.

Algebraic Geometry

Cohomological characterizations of the complex projective space

On the Cohomology of Some Complex Hyperbolic Arithmetic 3-Manifolds

The Cohomology Ring of Crepant Resolutions of Orbifolds

Complex-projective and lens product spaces

The integral cohomology of configuration spaces of pairs of points in real projective spaces

Correspondences between projective planes

Characteristic forms of complex Cartan geometries II

The Cohomology Ring of the Deligne-Mumford Moduli Space of Real Rational Curves with Conjugate Marked Points

The topology of spaces of holomorphic maps to projective space

Cohomology Rings of Moment-Angle Complexes

Algebraic description of complex conjugation on cohomology of a smooth projective hypersurface

Hochschild Cohomology of Projective Hypersurfaces

Meromorphic Projective Structures, Opers and Monodromy

Characterization on projective submanifolds of codimensions 2 and 3

Cohomology rings of the moduli of one-dimensional sheaves on the projective plane

Cohomological characterisation of hyperbolicity

Projective Modules and Cohomology for Integral Basic Algebras

Complex quaternionic manifolds and c-projective structures

Koszul Bicomplexes and Generalized Koszul Complexes in Projective Dimension One

Indecomposable direct summands of cohomologies of curves