Contents

cohomology

# Contents

## Idea

A variant of étale morphism of schemes where the finiteness conditions on étale morphisms are relaxed.

Used in the definition of pro-étale site and pro-étale cohomology.

## Definition

###### Definition

A morphism $f \colon X \longrightarrow Y$ of schemes is called weakly étale if

1. $f$ is a flat morphism of schemes;

2. its diagonal $X \longrightarrow X \times_Y X$ is also flat.

## Properties

###### Remark

As discussed there, an étale morphism is a formally étale morphism which is locally of finite presentation.

###### Corollary

étale morphism$\Rightarrow$ weakly étale morphism $\Rightarrow$ formally étale morphism

In fact a weakly étale morphism is equivalently a formally étale morphism which is “locally pro-finitely presentable” (dually locally of ind-finite rank) in the following sense

###### Definition

For $A \to B$ a homomorphism of rings, say that it is an ind-étale morphism if that $A$-algebra $B$ is a filtered colimit of $A$-étale algebras.

###### Proposition

Let $f \;\colon\; A \longrightarrow B$ be a homomorphism of rings.

• If $f$ is ind-étale, def. , then it is weakly étale, def. .

Almost conversely

• If $f$ is weakly étale, then there is a faithfully flat morphism $g \colon B \to C$ which is ind-étale such that the composite $g\circ f$ is ind-étale.
###### Corollary

The sheaf toposes over the sites of weak étale morphisms and of pro-étale morphisms of schemes into some base scheme are equivalent, both define the pro-étale topos over the pro-étale site.

étale morphism$\Rightarrow$ pro-étale morphism $\Rightarrow$ weakly étale morphism $\Rightarrow$ formally étale morphism

## References

Last revised on June 30, 2016 at 08:05:06. See the history of this page for a list of all contributions to it.