Questions tagged [frobenius-map]
The frobenius-map tag has no usage guidance.
13 questions with no upvoted or accepted answers
6
votes
0
answers
236
views
Group homomorphism from $\mathrm{GL}_p$ to $\mathrm{SL}_p$ in characteristic $p$
If $k$ is a commutative field of characteristic $p>0$, then the map
$$ \theta \colon \mathrm{GL}_p(k) \to \mathrm{SL}_p(k) \colon A = (a_{ij}) \mapsto (\det A)^{-1} (a_{ij}^p) $$
is a group ...
- 6,614
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
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
0
answers
192
views
How can I prove this stronger version of Fedder's Criterion?
I was reading Fedder's original paper which proved what is now known as "Fedder's criterion". I noticed that the abstract stated something which is a priori stronger than what is proved in ...
- 317
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
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
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$-structure implies regular singularities + unipotent local monodromy?
Let $(\mathcal{E},\nabla)$ be a vector bundle with an integrable connection on a smooth quasi-projective $K$ scheme $X$, with $K$ a $p$-adic number field of characteristic $0$. Let $F$ denote a semi-...
- 2,907
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
1
vote
0
answers
187
views
Supersingular points on the modular curve $X_0(p)$ over $\mathbb{F}_p$ and their Frobenius action
I am trying to understand certain points on the modular curve $X_0(p)$ over $\mathbb{F}_p$ (where $p$ is a rational prime) via their moduli description.
A point $P \in X_0(p)$ can be viewed as $P:=(E, ...
- 637
1
vote
0
answers
55
views
If $ n \in \mathbb{N} $, then does the Reynolds operator of $ \mathbb{G}_{m}^{n} $ commute with the Frobenius endomorphism?
If $ n \in \mathbb{N} $, then $ \mathbb{G}_{m}^{n} $ is linearly reductive. Let $ \beta: \mathbb{G}_{m}^{n} \to \operatorname{GL}(\mathbf{V}) $ where $ \mathbf{V} $ is a vector space over an ...
- 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