In this section we study when in Situation 58.19.1. the restriction functor
is an equivalence of categories.
Lemma 58.23.1. In Situation 58.19.1 assume
$A$ has a dualizing complex and is $f$-adically complete,
one of the following is true
$A_ f$ is $(S_2)$ and every irreducible component of $X$ not contained in $X_0$ has dimension $\geq 4$, or
if $\mathfrak p \not\in V(f)$ and $V(\mathfrak p) \cap V(f) \not= \{ \mathfrak m\} $, then $\text{depth}(A_\mathfrak p) + \dim (A/\mathfrak p) > 3$.
Then the restriction functor
is an equivalence.
Proof. This follows from Lemma 58.17.4 and Algebraic and Formal Geometry, Lemma 52.24.1. $\square$
Lemma 58.23.2. In Situation 58.19.1 assume
$A$ is $f$-adically complete,
$f$ is a nonzerodivisor,
$H^1_\mathfrak m(A/fA)$ and $H^2_\mathfrak m(A/fA)$ are finite $A$-modules.
Then the restriction functor
is an equivalence.
Proof. This follows from Lemma 58.17.4 and Algebraic and Formal Geometry, Lemma 52.24.2. $\square$
Remark 58.23.3. Let $(A, \mathfrak m)$ be a complete local Noetherian ring and $f \in \mathfrak m$ nonzero. Suppose that $A_ f$ is $(S_2)$ and every irreducible component of $\mathop{\mathrm{Spec}}(A)$ has dimension $\geq 4$. Then Lemma 58.23.1 tells us that the category is equivalent to the category of schemes finite étale over $U_0$. For example this holds if $A$ is a normal domain of dimension $\geq 4$!
\[ \mathop{\mathrm{colim}}\nolimits \nolimits _{U' \subset U\text{ open, }U_0 \subset U} \text{ category of schemes finite étale over }U' \]
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)