nLab cohomological dimension

Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

Contents

Idea

An object in an (∞,1)-topos is said to have cohomological dimension n\leq n if all cohomology groups of degree k>nk \gt n vanish on that object.

Definition

Definition

For H\mathbf{H} an (∞,1)-topos and nn \in \mathbb{N} , an object XHX \in \mathbf{H} is said to have cohomological dimension n\leq n if for all Eilenberg-MacLane objects B kA\mathbf{B}^k A for k>nk \gt n the cohomology of XX with these coefficients vanishes:

H k(X,A):=π 0H(X,B kA)*. H^k(X, A) := \pi_0 \mathbf{H}(X,\mathbf{B}^k A) \simeq * \,.

We say the (∞,1)-topos H\mathbf{H} itself has cohomological dimension n\leq n if its terminal object does.

This appears as HTT, def. 7.2.2.18.

Properties

Proposition

If 𝒳\mathcal{X} has homotopy dimension n\leq n then it also has cohomology dimension n\leq n.

The converse holds if 𝒳\mathcal{X} has finite homotopy dimension and n2n \geq 2.

This appears as HTT, cor. 7.2.2.30.

notion of dimension

References

The general (,1)(\infty,1)-topos-theoretic notion is discussed in section 7.2.2 of

Last revised on January 20, 2024 at 10:33:27. See the history of this page for a list of all contributions to it.