All Questions
Tagged with characteristic-p schemes
9 questions
31
votes
4
answers
5k
views
The Frobenius morphism
I found the following list on the "Frobenius Page" by David Ben-Zvi, described by the author as "an outdated collection of intuitive ways to think about raising to the p-th power".
Generates a ...
27
votes
2
answers
3k
views
Reference for de Rham cohomology in positive characteristic
It is known in characteristic $0$ that (algebraic) de Rham cohomology is a Weil cohomology theory. However, in characteristic $p > 0$ it isn't, if only because it has mod $p$ coefficients, whereas ...
- 28.8k
6
votes
1
answer
825
views
More on universal homeomorphisms
I would like to understand this notion better; where could I find some examples? In particular, I am interested in the following questions (and references for the answers).
Is a universal ...
- 16.9k
5
votes
1
answer
230
views
Do regular (but non-smooth) conics over a discretely valued field of characteristic $2$ admit a regular model over the valuation ring?
Let $K$ be a non-perfect field of characteristic $2$. Let $T \subseteq K$ be a discrete valuation ring.
Assume there exist $a,b \in K^{\times}$ such that the projective conic $C$ defined by $$aX^2 + ...
- 103
4
votes
2
answers
339
views
Is the pre-image of a regular subscheme with respect to a universal homeomorphism of regular schemes regular?
Let $f:X\to Y$ be a universal homeomorphism of regular (excellent finite-dimensional) schemes, $Z\subset Y$ be a regular subscheme. Is $f^{-1}(Z)$ necessarily regular?
- 16.9k
3
votes
0
answers
87
views
Obstruction for points to be contained in smooth hypersurfaces in tterms of inseparability degree of residue field
Let $k$ be an imperfect field of char $p>0$ and
$x \in \mathbb{P}^n_k$ be closed point of projective space.
In this discussion Qing Liu wrote that
Over an imperfect field, a reduced point can not ...
- 619
3
votes
0
answers
105
views
Points with residue fields having big inseparability degree cannot be contained in smooth hypersurfaces
Let $X$ be a $k$-scheme over imperfect field $k$ and $x \in X $ some (reduced) point with residue field $\kappa(x) = \mathcal{O}_{X,x}/ \mathfrak{m}_x$. How to check that if $\kappa(x)$ has "big ...
- 619
1
vote
0
answers
89
views
Generic reducedness of geometric generic fibre
Let $f:X\to Y$ be a surjective morphism between two projective schemes over a field of characteristic $p>0$. Also assume that $X$ is smooth,$Y$ smooth & irreducible and $f_*\mathcal{O}_X=\...
- 6,006