Cohomological Dimension Research Articles

Rational cohomology of classifying spaces and Hilali conjecture

Let X be a simply connected space with finite-dimensional rational homotopy groups. Denote by Bau 1 (X) the classifying space of fibrations with fiber X and max π ∗ (X)=max {i; π i (X)≠0}. In this paper, we show that the dimensional rational cohomology and the Lusternik-Schnirelmann category of Bau 1 (X) are infinite if max π ∗ (X) is odd. Our results apply, in particular, when X is elliptic. As a consequence, we prove the Hilali conjecture for classifying space.

Cohomology of algebraic varieties over non-archimedean fields

Abstract We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed nontrivially valued nonarchimedean 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 $\Gamma _{\infty }$ , where $\Gamma $ 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 $\Gamma _{\infty }$ . In both contexts, we show that the corresponding cohomology theory satisfies the Eilenberg-Steenrod axioms, finiteness and invariance, and we provide natural bounds of cohomological dimension in each case. As an application, we show that there are finitely many isomorphism types of cohomology groups in definable families. Moreover, due to the strong relation between the stable completion of an algebraic variety and its analytification in the sense of V. Berkovich, we recover and extend results on the singular cohomology of the analytification of algebraic varieties concerning finiteness and invariance.

Periodic solutions to symmetric Newtonian systems in neighborhoods of orbits of equilibria

<abstract><p>The aim of this paper is to prove the existence of periodic solutions to symmetric Newtonian systems in any neighborhood of an isolated orbit of equilibria. Applying equivariant bifurcation techniques we obtain a generalization of the classical Lyapunov center theorem to the case of symmetric potentials with orbits of non-isolated critical points. Our tool is an equivariant version of the Conley index. To compare the indices we compute cohomological dimensions of some orbit spaces.</p></abstract>

Hodge filtration on local cohomology, Du Bois complex and local cohomological dimension

Abstract We study the Hodge filtration on the local cohomology sheaves of a smooth complex algebraic variety along a closed subscheme Z in terms of log resolutions and derive applications regarding the local cohomological dimension, the Du Bois complex, local vanishing and reflexive differentials associated to Z.

The algebra of derivations of quasi-modular forms from mirror symmetry

We study moduli spaces of mirror non-compact Calabi-Yau threefolds enhanced with choices of differential forms. The differential forms are elements of the middle dimensional cohomology whose variation is described by a variation of mixed Hodge structures which is equipped with a flat Gauss-Manin connection. We construct graded differential rings of special functions on these moduli spaces and show that they contain rings of quasi-modular forms. We show that the algebra of derivations of quasi-modular forms can be obtained from the Gauss--Manin connection contracted with vector fields on the enhanced moduli spaces. We provide examples for this construction given by the mirrors of the canonical bundles of $\mathbb{P}^2$ and $\mathbb{F}_2$.

Rational Pontryagin classes of Euclidean fiber bundles

The rational Pontryagin classes, evaluated on fiber bundles where the fiber is a 2n-dimensional euclidean space, can be nonzero in cohomology dimensions much greater than 4n. This makes a striking contrast with the Pontryagin classes of vector bundles.

Coronas for properly combable spaces

This paper is a systematic approach to the construction of coronas (i.e. Higson dominated boundaries at infinity) of combable spaces. We introduce three additional properties for combings: properness, coherence and expandingness. Properness is the condition under which our construction of the corona works. Under the assumption of coherence and expandingness, attaching our corona to a Rips complex construction yields a contractible [Formula: see text]-compact space in which the corona sits as a [Formula: see text]-set. This results in bijectivity of transgression maps, injectivity of the coarse assembly map and surjectivity of the coarse co-assembly map. For groups we get an estimate on the cohomological dimension of the corona in terms of the asymptotic dimension. Furthermore, if the group admits a finite model for its classifying space [Formula: see text], then our constructions yield a [Formula: see text]-structure for the group.

The first omega alephs: From simplices to trees of trees to higher walks

The point of departure for the present work is Barry Mitchell's 1972 theorem that the cohomological dimension of ℵn is n+1. We record a new proof and mild strengthening of this theorem; our more fundamental aim, though, is some clarification of the higher-dimensional infinitary combinatorics lying at its core. In the course of this work, we describe simplicial characterizations of the ordinals ωn, higher-dimensional generalizations of coherent Aronszajn trees, bases for critical inverse systems over large index sets, nontrivial n-coherent families of functions, and higher-dimensional generalizations of portions of Todorcevic's walks technique. These constructions and arguments are undertaken entirely within a ZFC framework; at their heart is a simple, finitely iterable technique of compounding C-sequences.

Equivariant perverse sheaves and quasi-hereditary algebras

Let X denote a quasi-projective variety over a field on which a connected linear algebraic group G acts with finitely many orbits. Then, the G-orbits define a stratification of X. We establish several key properties of the category of equivariant perverse sheaves on X, which have locally constant cohomology sheaves on each of the orbits. Under the above assumptions, we show that this category comes close to being a highest weight category in the sense of Cline, Parshall and Scott and defines a quasi-hereditary algebra. We observe that the above hypotheses are satisfied by all toric varieties and by all spherical varieties associated to connected reductive groups over any algebraically closed field.Next we show that the odd dimensional intersection cohomology sheaves vanish on all spherical varieties defined over algebraically closed fields of positive characteristics, extending similar results for spherical varieties defined over the field of complex numbers by Michel Brion and the author in prior work. Assuming that the linear algebraic group G and the action of G on X are defined over a finite field Fq, and where the odd dimensional intersection cohomology sheaves on the orbit closures vanish, we also establish several basic properties of the mixed category of mixed equivariant perverse sheaves so that the associated terms in the weight filtration are finite sums of the shifted equivariant intersection cohomology complexes on the orbit closures.

Height four formal groups with quadratic complex multiplication

We construct spectral sequences for computing the cohomology of automorphism groups of formal groups with complex multiplication by a $p$-adic number ring. We then compute the cohomology of the group of automorphisms of a height four formal group law which commute with complex multiplication by the ring of integers in the field $\mathbb{Q}_p(\sqrt{p})$, for primes $p>5$. This is a large subgroup of the height four strict Morava stabilizer group. The group cohomology of this group of automorphisms turns out to have cohomological dimension $8$ and total rank $80$. We then run the $K(4)$-local $E_4$-Adams spectral sequence to compute the homotopy groups of the homotopy fixed-point spectrum of this group's action on the Lubin-Tate/Morava spectrum $E_4$.

A spectral sequence for Dehn fillings

We study how the cohomology of a type $F_\infty$ relatively hyperbolic group pair $(G,\mathcal{P})$ changes under Dehn fillings (i.e. quotients of group pairs). For sufficiently long Dehn fillings where the quotient pair $(\bar{G},\bar{\mathcal{P}})$ is of type $F_\infty$, we show that there is a spectral sequence relating the cohomology groups $H^i(G,\mathcal{P};\mathbb{Z} G)$ and $H^i\left(\bar{G},\bar{\mathcal{P}};\mathbb{Z}\bar{G}\right)$. As a consequence, we show that essential cohomological dimension does not increase under these Dehn fillings.

Homogeneous spaces, algebraic $K$-theory and cohomological dimension of fields

Let q be a non-negative integer. We prove that a perfect field K has cohomological dimension at most q + 1 if, and only if, for any finite extension L of K and for any homogeneous space Z under a smooth linear connected algebraic group over L , the q -th Milnor K -theory group of L is spanned by the images of the norms coming from finite extensions of L over which Z has a rational point. We also prove a variant of this result for imperfect fields.

Milnor excision for motivic spectra

Abstract We prove that the ∞ {\infty} -category of motivic spectra satisfies Milnor excision: if A → B {A\to B} is a morphism of commutative rings sending an ideal I ⊂ A {I\subset A} isomorphically onto an ideal of B, then a motivic spectrum over A is equivalent to a pair of motivic spectra over B and A / I {A/I} that are identified over B / I ⁢ B {B/IB} . Consequently, any cohomology theory represented by a motivic spectrum satisfies Milnor excision. We also prove Milnor excision for Ayoub’s étale motives over schemes of finite virtual cohomological dimension.

Vandermonde Varieties, Mirrored Spaces, and the Cohomology of Symmetric Semi-algebraic Sets

Let $\mathrm{R}$ be a real closed field. We prove that for each fixed $\ell, d \geq 0$, there exists an algorithm that takes as input a quantifier-free first order formula $\Phi$ with atoms $P=0, P > 0, P < 0 \text{ with } P \in \mathcal{P} \subset \mathrm{D}[X_1,\ldots,X_k]^{\mathfrak{S}_k}_{\leq d}$, where $\mathrm{D}$ is an ordered domain contained in $\mathrm{R}$, and computes the ranks of the first $(\ell+1)$ cohomology groups, of the symmetric semi-algebraic set defined by $\Phi$. The complexity of this algorithm (measured by the number of arithmetic operations in $\mathrm{D}$) is bounded by a \emph{polynomial} in $k$ and $\mathrm{card}(\mathcal{P})$ (for fixed $d$ and $\ell$). This result contrasts with the $\mathbf{PSPACE}$-hardness of the problem of computing just the zero-th Betti number (i.e. the number of semi-algebraically connected components) in the general case for $d \geq 2$ (taking the ordered domain $\mathrm{D}$ to be equal to $\mathbb{Z}$). The above algorithmic result is built on new representation theoretic results on the cohomology of symmetric semi-algebraic sets. We prove that the Specht modules corresponding to partitions having long lengths cannot occur with positive multiplicity in the isotypic decompositions of low dimensional cohomology modules of closed semi-algebraic sets defined by symmetric polynomials having small degrees. This result generalizes prior results obtained by the authors giving restrictions on such partitions in terms of their ranks, and is the key technical tool in the design of the algorithm mentioned in the previous paragraph.

Aperiodicity, rotational tiling spaces and topological space groups

We study the rotational structures of aperiodic tilings in Euclidean space of arbitrary dimension using topological methods. Classical topological approaches to the study of aperiodic patterns have largely concentrated just on translational structures, studying an associated space, the continuous hull, here denoted Ωt. In this article we consider two further spaces Ωr and ΩG (the rotational hulls) which capture the full rigid motion properties of the underlying patterns. The rotational hull Ωr is shown to be a matchbox manifold which contains Ωt as a sub-matchbox manifold. We develop new S-MLD invariants derived from the homotopical and cohomological properties of these spaces demonstrating their computational as well as theoretical utility. We compute these invariants for a variety of examples, including a class of 3-dimensional aperiodic patterns, as well as for the space of periodic tessellations of R3 by unit cubes. We show that the classical space group of symmetries of a periodic pattern may be recovered as the fundamental group of our space ΩG. Similarly, for those patterns associated to quasicrystals, the crystallographers' aperiodic space group may be recovered as a quotient of our fundamental invariant.

An Estimate of the Growth of Cohomology with Coefficients

For a connected reductive algebraic group over an arbitrary number eld, we consider a nite dimensional algebraic, irreducible representation of the group of its real points. Each adelic locally symmetric space corresponding to a level structure constructed using the group has an associated sheaf induced by this representation. The purpose of this note is to estimate the rate of growth of the total dimension of the pertinent cohomology with coecients as either of the level structure or the associated sheaf varies. We obtain an upper bound on this total dimension. We also obtain a lower bound under certain topological conditions. Both the bounds are consistent with several classical dimension formulae as well as other known results.

The dualizing module and top-dimensional cohomology group of $$\hbox {GL}_n(\mathcal {O})$$

For a number ring $\mathcal{O}$, Borel and Serre proved that $\text{SL}_n(\mathcal{O})$ is a virtual duality group whose dualizing module is the Steinberg module. They also proved that $\text{GL}_n(\mathcal{O})$ is a virtual duality group. In contrast to $\text{SL}_n(\mathcal{O})$, we prove that the dualizing module of $\text{GL}_n(\mathcal{O})$ is sometimes the Steinberg module, but sometimes instead is a variant that takes into account a sort of orientation. Using this, we obtain vanishing and nonvanishing theorems for the cohomology of $\text{GL}_n(\mathcal{O})$ in its virtual cohomological dimension.

On the homology of the commutator subgroup of the pure braid group

We study the homology of $[P_n,P_n]$, the commutator subgroup of the pure braid group on $n$ strands, and show that $H_l([P_n,P_n])$ contains a free abelian group of infinite rank for all $1\leq l\leq n-2$. As a consequence we determine the cohomological dimension of $[P_n,P_n]$: for $n\geq 2$ we have $\mathrm{cd}([P_n,P_n])=n-2$.

The topological nilpotence degree of a Noetherian unstable algebra

We investigate the topological nilpotence degree, in the sense of Henn–Lannes–Schwartz, of a connected Noetherian unstable algebra R. When R is the mod p cohomology ring of a compact Lie group, Kuhn showed how this invariant is controlled by centralizers of elementary abelian p-subgroups. By replacing centralizers of elementary abelian p-subgroups with components of Lannes’ T-functor, and utilizing the techniques of unstable algebras over the Steenrod algebra, we are able to generalize Kuhn’s result to a large class of connected Noetherian unstable algebras. We show how this generalizes Kuhn’s result to more general classes of groups, such as groups of finite virtual cohomological dimension, profinite groups, and Kac–Moody groups. In fact, our results apply much more generally, for example, we establish results for p-local compact groups in the sense of Broto–Levi–Oliver, for connected H-spaces with Noetherian mod p cohomology, and for the Borel equivariant cohomology of a compact Lie group acting on a manifold. Along the way we establish several results of independent interest. For example, we formulate and prove a version of Carlson’s depth conjecture in the case of a Noetherian unstable algebra of minimal depth.

Parafree augmented algebras and Gröbner-Shirshov bases for complete augmented algebras

We develop a theory of parafree augmented algebras similar to the theory of parafree groups and explore some questions related to the Parafree Conjecture. We provide an example of finitely generated parafree augmented algebra of infinite cohomological dimension. Motivated by this example, we prove a version of the Composition-Diamond lemma for complete augmented algebras and provide a sufficient condition for augmented algebra to be residually nilpotent on the language of its relations.