All Questions
Tagged with characteristic-p or characteristic-p
287 questions
1
vote
0
answers
8
views
p-torsion in the Tate-Shafarevich group of supersingular elliptic curves
Let E be a supersingular elliptic curve over $\mathbb{F}_p(t)$. Is something known on the p-torsion of the Tate-Shafarevich group in this case? In particular, I would like to know if (or if known ...
- 83
1
vote
0
answers
88
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=\...
- 5,966
0
votes
0
answers
190
views
About Chern classes via Atiyah class
I am trying to understand a construction of the Chern classes of a vector bundle $\mathcal{E}$ via the Atiyah class, like is done in this text and here in section 1.4. I am interested in the case ...
- 348
1
vote
0
answers
82
views
Behavior of translation functors in characteristic $p$
Let $G$ be a semisimple and simply connected algebraic group over an algebraically closed field of characteristic $p>0$, and let $\mathfrak g$ be the Lie algebra of $G$. Let $U_\chi(\mathfrak g)$ ...
- 2,974
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
5
votes
1
answer
344
views
Surjection onto endomorphisms of multiplicative group of a field
Let $k$ be an algebraically closed field of characteristic $p > 0$. Denote by $k^\times$ the multiplicative group of $k$. There is a ring homomorphism given by restriction to $k^\times$
$$
\mathbb{...
- 53
2
votes
1
answer
176
views
Isomorphisms $S^d(S^m(V)^*) \cong \Lambda^d(S^{m+d-1}(V)^*)$
$\DeclareMathOperator\SL{SL}$Let $K$ be an algebraically closed field. Let $V$ be a 2-dimensional vector space over $K$. The group $G=\SL_2(K)$ acts naturally on $V$ by left-multiplication on column ...
- 185
4
votes
0
answers
108
views
Shafarevich conjecture for Abelian varieties over global function fields
Let $S$ be a finite set of places of a global function field $K$. Are there finitely many Abelian varieties over $K$ with good reduction outside $S$? What if we exclude isotrivial families?
- 679
2
votes
1
answer
106
views
Does a polynomial $P(X,Y)$ that specializes to a polynomial $P(x_0,Y)$ with distinct roots in $\overline{k}$ have distincts roots in $\overline{k(X)}$
Let $k$ be a field, $P\in k[X][Y]$ be a monic polynomial of degree $n$ in $Y$.
I am looking for a simple proof of the following fact.
"If there exists $x_0\in k$ such that $P(x_0,Y) \in k[Y]$ has ...
- 2,521
4
votes
0
answers
135
views
Nilpotent orbits in characteristic $0$ vs. positive characteristics
Let $G_\mathbb{C}$ be a connected reductive group over $\mathbb{C}$ with Lie algebra $\mathfrak{g}_{\mathbb{C}}$. For any algebraically closed field $k$, let $G_k$ denote the connected reductive group ...
- 2,751
4
votes
0
answers
183
views
Characters of finite fields - Reference request
Let $\mathbf{F}_q$ ($q=p^f$) be a finite field. We are interested in the characters $\chi: \mathbf{F}_q\rightarrow \mathbf{K}$ ($\chi(0)=0$) where the $ \mathbf{K}$ is an alg.closed field of ...
- 41
10
votes
0
answers
371
views
How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?
$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
- 1,335
2
votes
0
answers
127
views
Classification of restricted Lie algebras of reductive groups
$\DeclareMathOperator\Lie{Lie}$Let $G/K$ be a reductive group over a field $K$. In characteristic $0$ the Lie algebra is invariant under base change of fields, so to understand $\Lie(G)$ it is enough ...
- 461
1
vote
2
answers
197
views
What are the finite étale coverings of a quasi-hyperelliptic surface?
Let $X$ be a quasi-hyperelliptic surface in characteristic 3 where the canonical bundle $K_X$ is trivial.
Question: Is there a finite étale covering $Y \rightarrow X$ such that
$Y$ is an abelian ...
- 9,501
11
votes
1
answer
381
views
Chromatic representation theory of the symmetric groups?
We know that in characteristic 0, the group ring of the symmetric group $\Sigma_n$ splits via one idempotent for each partition of $n$.
In characteristic $p$, I believe the analogous statement is that ...
- 64k
17
votes
2
answers
2k
views
How to think of algebraic geometry in characteristic p?
How does a working mathematician usually think about algebraic geometry in characteristic $p$? For the sake of concreteness, and to make things more "geometric" (whatever that means), let's ...
2
votes
1
answer
160
views
Finding the mistake in an argument concerning $F$-finite $F$-split local Cohen--Macaulay ring of dimension $1$
Let $R$ be a commutative Noetherian ring, and $\phi: R \to R$ be a ring homomorphism. For an $R$-module $M$, let $^{\phi}M$ be the $R$-module defined via restriction of scalars via $\phi$, i.e., as ...
- 412
5
votes
1
answer
160
views
Derived subalgebra of a restricted Lie algebra
Let $L$ be a restricted Lie algebra over a field of characteristic $p>0$. It is well known that the commutator subalgebra $[L,L]$ is not necessarily restricted (that is, closed under the $p$-map).
...
- 630
20
votes
0
answers
408
views
Ado's theorem and the reduction to positive characteristic
The synopsis: proofs of Ado theorem in positive characteristic are simple, and in characteristic $0$ are difficult. Can one infer the characteristic $0$ case from the positive characteristic case?
The ...
- 2,934
2
votes
1
answer
170
views
Automorphism of positive characteristic field
Suppose $K$ is a field with $\text{char}(K) \geq 0$. Let $L$ be a cyclic extension of $K$ with degree $2n$. We consider the generator $\sigma$ of the Galois group $\text{Gal}(L/K)$.
I am interested in ...
- 923
1
vote
0
answers
88
views
Bad primes of twists of modular curves $X_E^{-1}(p)$
I am interested in a good reference for reading about primes of bad reduction for the modular curve $X_E^{-}(N)$, which is a twist of $X(N)$ parametrizing all elliptic curves $E'$ whose $N$-torsion ...
- 637
1
vote
0
answers
150
views
Relative compactification without resolutions of singularities
Let $Y$ be a smooth proper variety over a field $k$, let $X$ be a smooth variety over $k$, $U\hookrightarrow X$ the complement of a strict normal crossing divisor and $\phi\colon U\to Y$ a map. By ...
- 309
3
votes
0
answers
112
views
What are the possibilities of the general fibres in an Iitaka fibration?
This question is motivated by complex algebraic geometry.
If $X$ is a complex algebraic variety with Kodaira dimension in $[1,\dim X-1]$, then the Iitaka fibration (the rational map induced by the ...
- 9,501
4
votes
0
answers
103
views
Boundary divisor of an equivariant compactification of a non-trivial twist of $\mathbb{G}_a^n$
Let $K$ be a non-perfect field of positive characteristic. Then there exist non-trivial forms of $\mathbb{G}_a^n$ which split over finite purely inseparable extensions of $K$, i.e., algebraic groups $...
3
votes
0
answers
94
views
Dimension of a kernel of a cocycle map
Inspired by a previous question (Dimension of a kernel of a linear map) and some of the answers I was given I thought wheter I can generalize the question to the following:
Compute the kernel (or at ...
- 911
3
votes
0
answers
122
views
Torsion of Fermat hypersurfaces
An interesting invariant of a rationally chain-connected variety $X/k$ is the exponent of the group,
$$ \ker{(\mathrm{CH}_0(X_K) \xrightarrow{\deg} \mathbb{Z})} $$
where $K = k(X)$ is the function ...
- 3,730
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
2
votes
0
answers
119
views
Resolution of singularities of the resultant locus
We consider projective space of dimension $n$ as the parameter space of degree $n$ polynomials in one variable. Then, I am interested in resolving the singularities of the "resultant locus" $...
- 7,746
4
votes
0
answers
77
views
Conjugacy of cocharacters from conjugacy of labelled diagrams
Everything to follow is over some fixed algebraically closed field $k$. Although all the definitions make sense regardless of characteristic, the meat of the question is about small positive ...
- 12.9k
1
vote
1
answer
88
views
Generic finite subgroups, associated to small finite fields, of reductive algebraic groups
Theorem 1 of [LS] Liebeck and Seitz - On the subgroup structure of exceptional groups says:
Let $X = X(q)$ be a quasisimple group of Lie type in characteristic $p$, and suppose that $X < G$, where ...
- 12.9k
2
votes
0
answers
145
views
How to compute the character of the Steinberg module for the group $\mathrm{SL}_n$ over a field of characteristic $p$?
It is known that the Steinberg representation $V$ of the group $\mathrm{SL}_n$ over a field $k$ of characteristic $p$ (maybe one needs to assume that $k$ is perfect, I am not sure) is the irreducible ...
3
votes
0
answers
127
views
Isogeny of elliptic curve over positive characteristic $p$ which does not come from characteristic $0$
Let $K$ be quadratic imaginary field. Let $E$ be an elliptic curve which has CM over $R_K$
($R_K$ is ring of integers of $K$).
According to SIlverman's ''ADvanced topics in the arithmetic of elliptic ...
- 1,541
2
votes
0
answers
177
views
How do characters of representations in cohomology depend on the (positive-characteristic) field?
The following sentence appears in Jantzen - Representations of algebraic groups, 2nd edition, p. x, where $G$ is a reductive group over an algebraically closed field $k$, $B$ is a Borel subgroup, $T$ ...
- 12.9k
1
vote
1
answer
149
views
When is $R$ a direct summand of Frobenius pushforwards?
Let $(R,\mathfrak m)$ be a reduced Noetherian local ring of prime characteristic $p$. For integer $e>0$, let $F^e_* R$ denote the $R$-module which is $R$ as an abelian group, but the $R$-module ...
- 413
4
votes
1
answer
227
views
Compute de Rham-Witt sheaves
I am really new to this, but I am having a hard time understanding all the de Rham-Witt construction.
It seems to be really difficult to compute anything with those beasts: like I cannot find any ...
- 309
4
votes
1
answer
248
views
Relation between positive roots of $E_8$ and $\mathbb{F}_2^8 \setminus \{0\}$
There exists an explicit bijection (due to Cayley, that has built up a very nice table to describe this) between the positive roots of the lattice $E_7$ and $\mathbb{F}_2^6 \setminus \{0\}$ (where $\...
- 3,779
3
votes
1
answer
283
views
Is the theta characteristic attached to an etale double cover of a plane quintic arising from a cubic threefold even in characteristic two?
We work over an algebraically closed field $k$ of characteristic $2$. Let $X$ be a cubic threefold realized as a conic bundle via $f: X \to \mathbb{P}^2$ (after blowing up some line). Let $C \to \...
- 679
2
votes
0
answers
218
views
Borel-Weil-Bott theorem for wonderful compactification in characteristic p
Are there any known results for a Borel-Weil-Bott theorem for the wonderful compactifications over characteristic $p$ (i.e., theorems that classify the cohomologies of all line bundles on a wonderful ...
- 41
4
votes
0
answers
295
views
de Rham Witt complex vs. de Rham complex of the Witt ring
I am reading the paper "Revisiting the de Rham-Witt complex" by Bhatt-Lurie-Mathew and I am a bit confused about the difference between $W\Omega_R^*$ and $\hat{\Omega}^*_{W(R)}$.
Let $\...
- 218
3
votes
0
answers
149
views
What direction does the derivation of an inseparable algebraic variable point in?
I've been thinking about the geometry of inseparable field extensions lately, since I'm studying smoothness in commutative rings in an advanced topics course this semester. I've generally come to the ...
- 1,969
6
votes
1
answer
506
views
Degree-2 étale covers of curves in characteristic 2 vs torsion points on the Jacobian
It can be found, at Hartshorne exercise 4.2.7 for example, that in the case where $\operatorname{char}(k) \neq 2$ we have a nice correspondence between etale degree 2 covers of a curve $C$ and 2-...
- 679
2
votes
1
answer
185
views
Finite, normal subgroups of reductive groups in positive characteristic
Consider the following statement about a connected, reductive group $G$ over a field $k$:
Every finite, normal subgroup $N$ of $G$ is central.
In characteristic $0$, this is true, and the proof is ...
- 12.9k
2
votes
0
answers
287
views
Frobenius endomorphism is not flat
I am actually going through "Twenty four hours of local cohomology". They discuss the Frobenius endomorphism in Chapter 21. Here is the Exercise 21.6 which I am finding hard to solve:
Find a ...
- 183
4
votes
0
answers
231
views
How big are small inverse powers of 2 mod powers of 3?
Let $a \bmod b$ take value as an integer in $[0, b)$. For any $T \ge 1$, for what $R \in [0, 3^n)$ is
$$\min \{2^{-t}\bmod 3^n: t =1, \dotsc, T\} := \min A_T > R?$$
When $T$ is fixed as $n$ ...
- 459
6
votes
0
answers
113
views
$S_n$-invariant polynomials on the dual of reflection representation
Let $W=S_n$ (the symmetric group) acting on $V=k^n$ via permutation of the indices, where $k$ is an algebraically closed field. Closely related to this are the reflection (sub-)representation $V_0=\{ (...
- 1,336
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
245
views
Can non-geometrically reduced reduced subschemes happen for reductive groups?
The title is meant to be punchy, but also a tongue-in-cheek acknowledgement of the prevalence of ‘reduce’-derived words in this area. (Unfortunately, I overlooked the fact that the question in the ...
- 12.9k
5
votes
1
answer
419
views
Lifting $\mathfrak{sl}_2$-triples
Let
$k$ be an algebraically closed field,
$G$ a (smooth, connected) reductive algebraic group over $k$,
$H$ a (smooth, connected) reductive group of semisimple rank 1, and
$T$ a maximal torus in $H$.
...
- 12.9k
2
votes
1
answer
606
views
Do we have Hodge symmetry for char $p$?
Let $X$ be a smooth projective variety over a field $k$. Let $h^{p,q}=dim_k H^q(X,\Omega_{X/k}^p)$ be the Hodge numbers.
If $k$ is of char $0$, by Lefschetz principle, we always have Hodge symmetry, i....
- 547