All Questions
Tagged with etale-cohomology ac.commutative-algebra
30
questions
1
vote
0
answers
99
views
Do étale coordinates give rise to a regular sequence of diagonal elements?
Fix an algebraic extension $k\subseteq K$ of fields of characteristic zero and consider a map of commutative rings $\phi\colon K\left[T_{1}^{\pm},\dots,T_{n}^{\pm}\right]\to A$ which is étale. Now ...
- 497
1
vote
1
answer
126
views
An etale cover of a semiperfect ring
Assume that $R$ is a semiperfect ring in characteristic $p$, i.e the frobenius is surjective on $R$. I think one can prove that an etale cover of $R$ should again be semiperfect by considering the ...
- 65
2
votes
1
answer
242
views
Images of smooth schemes under lci morphisms
Let $S$ be a Noetherian scheme, $f : X\to S$ a smooth quasi-projective morphism, $g : X\to Y$ a morphism of finite type, and $h : Y\to S$ a smooth projective morphism with $h\circ g =f$.
Can we say ...
user505967
2
votes
1
answer
257
views
Flat scheme-theoretic closure
Suppose $R$ is a discrete valuation ring with fraction field $K$. Let $X\subset \mathbf{P}^n_{C_K}$ be a closed subscheme, flat over $C_K$, a smooth projective curve over $K$.
Let $C_R$ be a flat ...
user501361
1
vote
0
answers
124
views
Strict henselianization of complete intersections
As far as I understand (and tbh for my purposes), one of the main points of strict henselisation of a local ring is that it computes the stalk at a point of a scheme in the étale topology. In the ...
- 4,286
1
vote
1
answer
178
views
Exactness of functor $ Et(B) \to \operatorname{(Ab)}, \ C \mapsto \mathcal{F}(C) $ (Etale Cohomology and the Weil Conjecture by Freitag, Kiehl )
I have question about a statement from Etale Cohomology and the Weil Conjecture by Freitag, Kiehl
at the top of page 16. It seemingly uses the same notations as introduced at the bottom of page 15
and ...
- 5,780
0
votes
0
answers
283
views
Faithfully flat etale morphism from strictly Henselian ring (from Etale Cohomology and the Weil Conjecture by Freitag/Kiehl)
I have question about a statement found in Etale Cohomology and the Weil Conjecture by Freitag, Kiehl at the end of page 15.
It starts with the Remark 1.18 : Let $A$ be a strictly Henselian ring (i.e. ...
- 5,780
5
votes
1
answer
396
views
On universally closed morphisms of reduced schemes
In this question I'd like to examine some properties of universally closed morphisms.
The question is self-contained. It can also be seen as a follow-up to this question.
Let $R$ be a discrete ...
user315884
8
votes
2
answers
2k
views
The Mumford-Tate conjecture
The Mumford-Tate conjecture asserts that, via the Betti-étale comparison isomorphism, and for any smooth projective variety $ X $, over a number field $ K $, the $ \mathbb{Q}_{ \ell } $-linear ...
- 595
2
votes
0
answers
384
views
Henselization and completions of local rings & schemes
That's the second part of my coarse becoming acquainted with Henselizations of fields and local rings. (in this question we focus on local rings as it is more algebro geometric motivated). So let $(R,...
- 5,780
5
votes
1
answer
1k
views
Structure theorem for etale algebras over a more general ring than a field
I call etale a finite-type flat $R$-algebra $A$ such that $\Omega_A =0$ (I hope this is the standard definition).
In the case where $R=k$ is a field, any such algebra $A$ decomposes as a finite ...
- 1,494
1
vote
1
answer
191
views
Lifts of smooth algebras
Let $(R, I)$ be a Henselian pair, with $I$ a finitely generated ideal.
We know that for any smooth $R/I$-algebra $A_0$, there exists a smooth $R$-algebra $A$ such that $A/I\simeq A_0$.
We also know ...
- 180
4
votes
1
answer
216
views
Henselianizations over countable index sets
Let $A$ be a ring, $I\subset A$ a finitely generated ideal.
The henselianization $A^h$ of $A$ along $I$ is the universal $A$-algebra that is henselian along $I$ and can be presented as a direct limit ...
user132229
7
votes
1
answer
524
views
Vector space objects in schemes - confusion
Let $R$ be the ring $\mathbf{C}\times\mathbf{C}$, and consider the affine line $\mathbf{A}^1_R$.
$\mathbf{A}^1_R$ can be given the structure of additive group scheme over $R$, denoted $(\mathbf{G}_a)...
user128448
9
votes
1
answer
1k
views
Picard group and reduced schemes
$\DeclareMathOperator\Pic{Pic}$If $A$ is a ring, then we know that $\Pic(A)=\Pic(A_\text{red})$, but for a scheme $X$ it is false in general.
On the other hand, we have that $\Pic(X)=H^{1}_{et}(X,\...
- 3,452