All Questions
Tagged with frobenius-map ag.algebraic-geometry
13 questions
1
vote
1
answer
120
views
Frobenius action on the trivial connection
Let $F$ denote the absolute Frobenius acting on a smooth quasiprojective scheme $X$ over a finite field $k$.
Denote the trivial connection on $\mathcal{O}_X$ by $d$. Denote its pullback by Frobenius ...
- 2,907
4
votes
1
answer
254
views
Frobenius and regular scheme
Let $X$ be a noetherian regular scheme over $\mathbb{F}_{p}$. Then by Kunz's theorem, the absolute Frobenius $F: X\rightarrow X$ is flat and integral. Can it be written as a projective limit of finite ...
- 3,472
1
vote
0
answers
82
views
Relative 1 form of Frobenius morphism
Let $X$ be a connected smooth algebraic variety over a field $k$ of characteristic $p > 0$. We can consider the Frobenius morphism associated to $X \mapsto Spec(k)$. I'd like to show $\Omega^{1}_{X/...
- 73
2
votes
0
answers
92
views
When is a smooth point of a projective, simplicial, toric variety $ X_{\Sigma} $ compatibly $ F $-split?
A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
- 912
4
votes
1
answer
394
views
Frobenius pushforward of an equivariant tautological bundle on the flag variety
Let $m,n$ be nonnegative integers. Let $k$ be a field of positive characteristic. Let the vector space $V$ over the field $k$ have basis $e_1,...,e_{m+n}, f_1,..., f_n$. Let $k^*$ act on $V$ by $t \...
4
votes
0
answers
147
views
Uniqueness of Galois descent
Let $Y,Z$ be $\mathbb{F}_p$-schemes, they are both models of scheme $X$ over $\overline{\mathbb{F}_p}$ . Let $F$ be the absolute Frobenius of $\overline{\mathbb{F}_p}$, If $1_Y\times F$ and $1_Z\times ...
- 653
2
votes
0
answers
165
views
Does anyone know an example of a non-singular, globally $ F $-regular variety $ X $ for which generic smoothness does not hold?
Let us denote the Frobenius endomorphism of a variety $ X $ by $ F $. A variety $ X $ over a field $ k $ of positive characteristic is globally $ F $-regular if for every effective Weil divisor $ D $,...
- 912
1
vote
0
answers
64
views
$F_q×1$-stable affine subspace
Let $A^n$ be an affine space over $\mathbb{F}_q$. Let $F_q$ be the absolutely Frobenius of $A^n$. Let $\bar{A^n}$ be the base change to $\bar{\mathbb{F}_q}$ and $F_q×1$ be $F_q\times_{\mathbb{F}_q}id_{...
- 653
1
vote
0
answers
128
views
Fixed space of absolutely Frobenius
Let $A$ be an affine space over $\bar{\mathbb{F}}_q$, $F$ be the absolutely Frobenius. Let $B$ be an $F-$ invariant affine subspace contained in $A$, $B^F$ be the fixed points of $F$ in $B$.
My ...
- 653
3
votes
0
answers
533
views
The cycle class map with values in crystalline cohomology
Let $ k = \mathbb{F}_q $ be a finite field of characteristic $ p > 0 $.
Let $ X $ be a smooth proper scheme of dimension $ d $ over $ k $.
Consider the associated $ K $ - linear cycle class map ...
- 595
4
votes
0
answers
189
views
If the Frobenius endomorphism of a characteristic $p$ ring is epimorphic, is it surjective?
MO question 19282 is about integral epimorphisms of commutative rings, and a counterexample is given to surjectivity. What about the case of the Frobenius endomorphism of a commutative, characteristic ...
- 4,492
3
votes
1
answer
258
views
Automorphisms of Frobenius liftings and degeneration of the Hodge-de Rham spectral sequence
I am still studying Deligne and Illusie's paper (https://eudml.org/doc/143480), and I am again stuck, this time on pages 262/263.
Assume $X\longrightarrow S$ is a smooth morphism of $\mathbb{F}_{p}$-...
- 1,805
2
votes
1
answer
195
views
Length of a module and Frobenius map
Let $(R,m)$ be a regular local ring of dimension $d$ and char $p>0.$ Let $F^e:R\longrightarrow R$ defined by $r\longrightarrow r^{p^e}$be the Frobenius map.
How to compute $l(R/m^{[p^e]})?.$
I ...
- 1,713