Skip to main content
removed capitals from title
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Homology of the Étale Homotopy Typeétale homotopy type

Minor TeX fixes
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Homology of the Étale Homotopy typeType

Let$\DeclareMathOperator\Et{Et}$Let $X$ be a scheme and denote by $Et(X)$$\Et(X)$ the associated étale homotopy type. Then by the work of Artin-MazurArtin–Mazur, we know that for an abelian group $A$, we have $$H^n(Et(X),A)=H^n_{ét}(X,A)$$$$H^n(\Et(X),A)=H^n_{\text{ét}}(X,A)$$ and
$$\pi^1(Et(X))\cong \pi^1_{alg}(X).$$$$\pi^1(\Et(X))\cong \pi^1_{\text{alg}}(X).$$ Therefore I wonder what $H_n(Et(X),A)$$H_n(\Et(X),A)$ is? NaivelyNaïvely I would hope that it is $H_{n,ét}(X,A)$$H_{n,\text{ét}}(X,A)$, however, it seems that no survey or reference mentions this.

Homology of the Étale Homotopy type

Let $X$ be a scheme and denote by $Et(X)$ the associated étale homotopy type. Then by the work of Artin-Mazur, we know that for an abelian group $A$, we have $$H^n(Et(X),A)=H^n_{ét}(X,A)$$ and
$$\pi^1(Et(X))\cong \pi^1_{alg}(X).$$ Therefore I wonder what $H_n(Et(X),A)$ is? Naively I would hope that it is $H_{n,ét}(X,A)$, however, no survey or reference mentions this.

Homology of the Étale Homotopy Type

$\DeclareMathOperator\Et{Et}$Let $X$ be a scheme and denote by $\Et(X)$ the associated étale homotopy type. Then by the work of Artin–Mazur, we know that for an abelian group $A$, we have $$H^n(\Et(X),A)=H^n_{\text{ét}}(X,A)$$ and
$$\pi^1(\Et(X))\cong \pi^1_{\text{alg}}(X).$$ Therefore I wonder what $H_n(\Et(X),A)$ is? Naïvely I would hope that it is $H_{n,\text{ét}}(X,A)$, however, it seems that no survey or reference mentions this.

Source Link

Homology of the Étale Homotopy type

Let $X$ be a scheme and denote by $Et(X)$ the associated étale homotopy type. Then by the work of Artin-Mazur, we know that for an abelian group $A$, we have $$H^n(Et(X),A)=H^n_{ét}(X,A)$$ and
$$\pi^1(Et(X))\cong \pi^1_{alg}(X).$$ Therefore I wonder what $H_n(Et(X),A)$ is? Naively I would hope that it is $H_{n,ét}(X,A)$, however, no survey or reference mentions this.