Let PConf^n M be the configuration space of ordered n-tuples of distinct points on a smooth manifold M admitting a nowhere-vanishing vector field. We show that the ith cohomology group with coefficients in a field H^i(PConf^n M, k) is an N-module, where N is the category of noncommutative finite sets introduced by Pirashvili and Richter. Studying the representation theory of N, we obtain new polynomiality results for the cohomology groups H^i(PConf^n M, k). In the case of unordered configuration space Conf^n M = (PConf^n M)/S_n and rational coefficients, we show that cohomology dimension in fixed degree is nondecreasing.
In this paper, we classify the characteristic matrices associated to quasitoric manifolds over a vertex cut of a finite product of simplices. We discuss the integral cohomology rings of these quasitoric manifolds with possibly minimal generators and show several relations among the product of these generators. We classify integral cohomology rings (up to isomorphism as graded rings) of the quasitoric manifolds over the vertex cut of a finite product of simplices.
In this paper, we compute the BP-cohomology of complex projective Stiefel manifolds. The method involves the homotopy fixed point spectral sequence, and works for complex oriented cohomology theories. We also use these calculations and BP-operations to prove new results about equivariant maps between Stiefel manifolds.
A torus manifold is an even-dimensional manifold acted on by a half-dimensional torus with non-empty fixed point set and some additional orientation data. It may be considered as a far-reaching generalisation of toric manifolds from algebraic geometry. The orbit space of a torus manifold has a rich combinatorial structure, e.g., it is a manifold with corners provided that the action is locally standard. Here we investigate relationships between the cohomological properties of torus manifolds and the combinatorics of their orbit quotients. We show that the cohomology ring of a torus manifold is…
We give Leray-Borel-type descriptions for the mod-$2$ and the rational equivariant cohomology rings of the real and the oriented flag manifolds under the canonical torus or 2-torus actions.
In this paper, we study the rational cohomology rings of indefinite Kac-Moody groups and their flag manifolds. By extracting the information of cohomology from the Poincaré series, we are able to determine the rational cohomology rings of Kac-Moody groups and their flag manifolds. Since Kac-Moody groups and their flag manifolds are rational formal, we also determine their rational homotopy groups and rational homotopy types.
Torus manifolds are topological generalization of smooth projective toric manifolds. We compute the rational cohomology ring of a class of smooth locally standard torus manifolds whose orbit space is a connected sum of simple polytopes.
In this paper, we investigate the existence of free involutions on some Wall manifolds and we compute the mod 2 cohomology algebra of the correspondent orbit space.
We give definitions of cohomology determinants for compact, connected, orientable 3-manifolds. We also give formulae relating cohomology determinants before and after gluing a solid torus along a torus boundary component. Cohomology determinants are related to Turaev torsion, though the author hopes that they have other uses as well.
In this article we introduce flag Bott manifolds of general Lie type as the total spaces of iterated flag bundles. They generalize the notion of flag Bott manifolds and generalized Bott manifolds, and admit nice torus actions. We calculate the torus equivariant cohomology rings of flag Bott manifolds of general Lie type.
This paper extends Dolbeault cohomology and its surrounding theory to arbitrary almost complex manifolds. We define a spectral sequence converging to ordinary cohomology, whose first page is the Dolbeault cohomology, and develop a harmonic theory which injects into Dolbeault cohomology. Lie-theoretic analogues of the theory are developed which yield important calculational tools for Lie groups and nilmanifolds. Finally, we study applications to maximally non-integrable manifolds, including nearly Kähler $6$-manifolds, and show Dolbeault cohomology can be used to prohibit the existence of nearl…
The equivariant cohomology of a space with a group action is not only a ring but also an algebra over the cohomology ring of the classifying space of the acting group. We prove that toric manifolds (i.e. compact smooth toric varieties) are isomorphic as varieties if and only if their equivariant cohomology algebras are weakly isomorphic. We also prove that quasitoric manifolds, which can be thought of as a topological counterpart to toric manifolds, are equivariantly homeomorphic if and only if their equivariant cohomology algebras are isomorphic.
The aim of this article is to establish the notion of bundle-type quasitoric manifolds and provide two classification results on them: (1) ($\mathbb{C}P^2\sharp\mathbb{C}P^2$)-bundle type quasitoric manifolds are weakly equivariantly homeomorphic if their cohomology rings are isomorphic, and (2) quasitoric manifolds over $I^3$ are homeomorphic if their cohomology rings are isomorphic. In the latter case, there are only four quasitoric manifolds up to weakly equivariant homeomorphism which are not bundle-type.
In this paper we show that in a stable range the cohomology of the space of regular algebraic sections of a line bundle $\mathscr{L}$on a curve $X$ is isomorphic to the cohomology of the space of regular $C^{\infty}$sections of the same line bundle.
In this paper we give a method to construct moment-angle manifolds whose cohomologies are not torsion free. We also give method to describe the corresponding simplicial sphere by its non-faces.
We define the algebraic elliptic cohomology theory coming from Krichever's elliptic genus as an oriented cohomology theory on smooth varieties over an arbitrary perfect field. We show that in the algebraic cobordism ring with rational coefficients, the ideal generated by differences of classical flops coincides with the kernel of Krichever's elliptic genus. This generalizes a theorem of B. Totaro in the complex analytic setting.
We consider closed manifolds, which occur as intersections of products of spheres of the same dimension with certain hyperplanes. Among those are the so called (big) polygon- and chain spaces. The equivariant cohomology with respect to natural actions of 2-tori is calculated and related to the notion of syzygy. It turns out that the equivariant cohomology module of these manifolds is often torsion free, but not free over the cohomology of the group. Coefficients are taken in the field with two elements.
The manuscript is an overview of the motivations and foundations lying behind Voevodsky's ideas of constructing categories similar to the ordinary topological homotopy categories. The objects of these categories are strictly related to algebraic varieties and preserve some of their algebraic invariants.
We show that for any set of primes $\mathcal{P}$ there exists a space $M_{\mathcal{P}}$ which is a homology and cohomology 3-manifold with coefficients in $\mathbb{Z}_{p}$ for $p\in \mathcal{ P}$ and is not a homology or cohomology 3-manifold with coefficients in $\mathbb{Z}_q$ for $q\not\in \mathcal{ P}$. Moreover, $M_{\mathcal{P}}$ is neither a homology nor cohomology 3-manifold with coefficients in $\mathbb{Z}$ or $\mathbb{Q}$.
A systematic study of the contributions at infinity for the cohomology of variations of polarized Hodge structures over quasicompact Kähler manifolds. Several isomorphisms between different cohomologies given.
A good contact toric manifold $M$ is determined by its moment cone $C$. We compute the equivariant cohomology ring with $\Z$ coefficient of $M$ in terms of the combinatorial data of $C$. Then under a smoothness criterion on the cone $C$, we compute the singular cohomology ring with $\Z$ coefficient of $M$ in terms of the combinatorial data of $C$.
The main result of the paper is a Borel type description of the $Sp(1)^n$-equivariant cohomology ring of the manifold $Fl_n(\mathbb{H})$ of all complete flags in $\mathbb{H}^n$. To prove this, we obtain a Goresky-Kottwitz-MacPherson type description of that ring.
A complete flag manifold is the quotient of a Lie group by its maximal torus. The rank of a flag manifold is the dimension of the maximal torus of the Lie group. The rank 2 complete flag manifolds are $SU(3)/T^2$, $Sp(2)/T^2$, $Spin(4)/T^2$, $Spin(5)/T^2$ and $G_2/T^2$. In this paper we calculate the cohomology of the free loop space of rank 2 complete flag manifolds.
We demonstrate how by using the intersection theory to calculate the cohomology of $G_2$-manifolds constructed by using the generalized Kummer construction. For one example we find the generators of the rational cohomology ring and describe the product structure.
We calculate the cohomology rings of a collection of seven dimensional manifolds supporting an S^3 x S^3-action with one dimensional orbit space. These manifolds are of interest to differential geometers studying non-negative and positive sectional curvature. From this collection, we identify several families of manifolds for which there exist well-known topological invariants distinguishing homeomorphism and diffeomorphism types.
We define Aeppli and Bott-Chern cohomology for bi-generalized complex manifolds and show that they are finite dimensional for compact bi-generalized Hermitian manifolds. For totally bounded double complexes $(A, d', d'')$, we show that the validity of $d'd''$-lemma is equivalent to having the same dimension of several cohomology groups. Some calculations of Bott-Chern cohomology groups of some bi-generalized Hermitian manifolds are given.
We obtain generalizations of some results of Turaev relating leading order terms of the Turaev torsion of closed, oriented, connected 3-manifolds to certain ``determinants'' derived from cohomology operations such as the alternate trilinear form on the first cohomology group given by cup product. These determinants unfortunately do not generalize directly to compact, connected, oriented 3-manifolds with nonempty boundary, because one must incorporate the cohomology of the manifold relative to its boundary. We define the new determinants that will be needed, and show that with these determinant…
A torus manifold is a closed smooth manifold of dimension $2n$ having an effective smooth $T^n = (S^1)^n$-action with non-empty fixed points. Petrie \cite{petrie:1973} has shown that any homotopy equivalence between a complex projective space $\CP^n$ and a torus manifold homotopy equivalent to $\CP^n$ preserves their Pontrjagin classes. A \emph{generalized Bott manifold} is a closed smooth manifold obtained as the total space of an iterated complex projective space bundles over a point, where each fibration is a projectivization of the Whitney sum of a finite many complex line bundles. For ins…
Cohomology of the Moduli Stacks of Real Vector Bundles on Type I Real Algebraic Curves
Dipartimento di Matematica Università degli Studi di Trento（特伦托大学数学系）；Dipartimento di Matematica "Felice Casorati" Università degli Studi di Pavia（帕维亚大学费利切·卡索拉蒂数学系）
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable subsets in o-minimal expansions of the tropical semi-group $Γ_\infty$, where $Γ$ denotes the value group of $K$. For quasi-projective varieties, both cohomologies are strongly related by a deformation retraction of the stable completion homeomorphic to a definable subset of $Γ_\infty$. In both contexts, we show that the corresponding cohomology theory satisf…
We give two applications of the exponential Ax-Lindemann Theorem to local systems. One application is to show that for a connected topological space, the existence of a finite model of the real homotopy type implies linearity of the cohomology jump loci around the trivial local system. Another application is the linearity of the cohomology jump loci of rank one local systems on quasi-compact Kähler manifolds.
In this paper, for any Milnor hypersurface we find the largest dimension of effective algebraic torus actions on it. The proof of the corresponding theorem is based on the computation of the automorphism group for any Milnor hypersurface. We find all generalised Buchstaber-Ray and Ray hypersurfaces that are toric varieties. We compute the Betti numbers of these hypersurfaces and describe their integral singular cohomology rings in terms of the cohomology of the corresponding ambient varieties.
Bredon has constructed a 2-dimensional compact cohomology manifold which is not homologically locally connected, with respect to the singular homology. In the present paper we construct infinitely many such examples (which are in addition metrizable spaces) in all remaining dimensions $n \ge 3$.
In this paper we prove, that none of the three combinatorial 8- manifolds on 15 vertices constructed by Brehm and Kuhnel, each of which is a cohomology quaternionic projective plane, can be combinatorially embedded in the Euclidean 12-space, though they have tight polyhedral embeddings in Euclidean 14-space. This extends a similar method already known for the nonembeddings of real and complex projective planes.
The classification of Seifert manifolds was given in terms of numeric data by Seifert in 1933, and then generalized by Orlik and Raymond in 1968 to circle actions on closed 3d manifolds. In this paper, we further generalize the classification to circle actions on 3d manifolds with boundaries by adding a numeric parameter and a union of cycle graphs. Then we describe the equivariant cohomology of 3d manifolds with circle actions in terms of ring, module and vector-space structures. We also compute equivariant Betti numbers and Poincaré series for these manifolds and discuss the equivariant form…
In this work we construct nontrivial Massey products in the cohomology of moment-angle manifolds corresponding to polytopes from the Pogorelov class. This class includes the dodecahedron and all fullerenes, i. e. simple 3-polytopes with only 5-gonal and 6-gonal facets. The existence of a nontrivial Massey product implies the nonformality of the space in the sense of rational homotopy theory.
In this paper we use tools from differential topology to give a geometric description of cohomology for Hilbert manifolds. Our model is Quillen's geometric description of cobordism groups for finite dimensional smooth manifolds \cite{Q}. Quillen stresses the fact that this construction allows the definition of Gysin maps for "oriented" proper maps. For finite dimensional manifolds one has a Gysin map in singular cohomology which is based on Poincaré duality, hence it is not clear how to extend it to infinite dimensional manifolds. But perhaps one can overcome this difficulty by giving a Quille…
In this article, we show the existence of conjugations on many simply-connected spin 6-manifolds with free integral cohomology. In a certain class the only condition on X^6 to admit a conjugation with fixed point set M^3 is the obvious one: the existence of a degree-halving ring isomorphism between the Z_2-cohomologies of X and M.
We give an algorithm to compute the integer cohomology groups of any real partial flag manifold, by computing the incidence coefficients of the Schubert cells. For even flag manifolds we determine the integer cohomology groups, by proving that any torsion class has order 2 (generalizing a result of Ehresmann). We conjecture this to hold for any real flag manifold. We obtain results concerning which Schubert varieties represent integer cohomology classes, their structure constants and how to express them in terms of characteristic classes. For even flag manifolds and Grassmannians we also descr…
We describe the basic Dolbealut cohomology algebra of the canonical foliation on a class of complex manifolds with a torus symmetry group. This class includes complex moment-angle manifolds, LVM- and LVMB-manifolds and, in most generality, complex manifolds with a maximal holomorphic torus action. We also provide a dga model for the ordinary Dolbeault cohomology algebra. The Hodge decomposition for the basic Dolbeault cohomology is proved by reducing to the transversely Kaehler (equivalently, polytopal) case using a foliated analogue of toric blow-up.
Graded skew-commutative rings occur often in practice. Here are two examples: 1) The cohomology ring of a compact three-dimensional manifold. 2) The cohomology ring of the complement of a hyperplane arrangement (the Orlik-Solomon algebra). We present some applications of the homological theory of these graded skew-commutative rings. In particular we find compact oriented 3-manifolds without boundary for which the Hilbert series of the Yoneda Ext-algebra of the cohomology ring of the fundamental group is an explicit transcendental function. This is only possible for large first Betti numbers of…
We describe the basic cohomology ring of the canonical holomorphic foliation on a moment-angle manifold, LVMB-manifold or any complex manifold with a maximal holomorphic torus action. Namely, we show that the basic cohomology has a description similar to the cohomology ring of a complete simplicial toric variety due to Danilov and Jurkiewicz. This settles a question of Battaglia and Zaffran, who previously computed the basic Betti numbers for the canonical holomorphic foliation in the case of a shellable fan. Our proof uses an Eilenberg-Moore spectral sequence argument; the key ingredient is t…
