All Questions
385 questions
3
votes
1
answer
484
views
Harish-Chandra isomorphism for characteristic $p$
I am trying to understand the proof of Theorem 1 from this paper V. Kac and B. Weisfeiler (Indag. Math. 1976, DOI link).
Theorem 1. Let either $p\neq 2$ or $\varrho\in X(\mathscr{T})$. Then $\gamma(...
- 385
6
votes
1
answer
193
views
Restricted Lie algebras with no nonzero proper restricted subalgebras
Let $L\neq 0$ be a restricted Lie algebra over a field $F$ of characteristic $p>0$. If $F$ is algebraically closed, then it is known that $L$ has no nontrivial restricted subalgebras if and only ...
- 630
8
votes
2
answers
1k
views
Lefschetz on étale fundamental group for quasi-projective varieties
If $X$ is a smooth projective variety of dimension at least $3$ over $\mathbb{C}$, Lefschetz's Hyperplane theorem says that for every hyperplane section $H$
$$\pi^1(H)\to\pi^1(X)$$
is an isomorphism, ...
- 483
9
votes
1
answer
430
views
Existence of certain endomorphism of supersingular elliptic curve
Let $E$ be a supersingular elliptic curve over an algebraically closed field $K$ of characteristic $p$. Let $R = \operatorname{End}(E)$ be its ring of endomorphisms. Then, it is known $R \otimes_{\...
3
votes
0
answers
143
views
What kind of equivalences exist between categories of characteristic $0$ and characteristic $p$?
The tilting equivalence for perfectoid algebras gives an equivalence of categories $$K\text{-perf} \cong K^\flat\text{-perf}$$
where the left-hand-side are algebras in characteristic zero and the ...
- 4,164
21
votes
4
answers
2k
views
Simplest example of jumping of cohomology of structure sheaf in smooth families?
Using Hodge theory (and the ill-defined Lefschetz principle), one can show that in characteristic 0, given a proper smooth family $X \rightarrow B$, the cohomology groups of the structure sheaf of the ...
- 3,857
16
votes
2
answers
1k
views
Is the tangent space functor from PD formal groups to Lie algebras an equivalence?
The previous version of this question was rather badly broken, and I hope this version makes some sense.
There have been a few questions on MathOverflow about how much representation-theoretic ...
- 45.7k
4
votes
2
answers
340
views
On families of supersingular abelian surfaces over the projective line
Let $k=\mathbb{F}_q$. I recently learned that there are non-isotrivial families $f:X\to \mathbb{P}^1_k$ of supersingular abelian surfaces. In particular, the Kodaira-Spencer map of this family is non-...
- 43
18
votes
3
answers
3k
views
Lifting varieties to characteristic zero.
If you want to compute crystalline cohomology of a smooth proper variety $X$ over a perfect field $k$ of characteristic $p$, the first thing you might want to try is to lift $X$ to the Witt ring $W_k$ ...
- 4,015
4
votes
0
answers
169
views
Fibered surfaces degenerating to Frobenius
Let $R$ be a DVR with algebraically closed, positive characteristic residue field $k$. Let $X\rightarrow Spec(R)$ and $C\rightarrow Spec(R)$ be smooth projective morphisms of relative dimension 2 and ...
- 599
5
votes
0
answers
217
views
Exact differential forms in characteristic $p>0$
Let $k$ be an algebraically closed field of characteristic $p>0$. Suppose $1< e_i <p$ for $i=1,2, \ldots, n$ are integers ($n \ge 2$). What are the conditions on the $e_i$'s so that the ...
- 245
7
votes
3
answers
752
views
Does every linear group admit a subgroup of dimension 1?
Suppose that $G$ is a linear group of positive dimension, defined over some field $k$. Is that true, that $G$ admits a (closed) one-dimensional subgroup?
I'm pretty much sure this is true in ...
- 267
2
votes
0
answers
177
views
vanishing of higher algebraic de Rham cohomology and sheaves of differentials for singular curves
I'm looking for some results or references about de Rham cohomology of curves in less-than-optimal cases. The two vanishing results I care about are:
$H^{k}_{\text{dR}}(X) = 0$ for $k>2$, since $H^...
- 1,142
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 ...
22
votes
3
answers
2k
views
One dimensional (phi,Gamma)-modules in char p
I would like to better understand the simplest case of the correspondence between Galois representations and (phi,Gamma)-modules. Namely, consider 1-dimensional Galois representations of $G_{Q_p}$ ...
- 1,680
4
votes
0
answers
133
views
Non-cyclic Galois groups over the field of formal Laurent series in positive characteristic
This should be an easy question, but I am unfortunately not able to give an answer, so I am sorry if this is not the appropriate level for the site.
Let $C$ be an algebraically closed field of ...
- 41
19
votes
3
answers
2k
views
Elkies' supersingularity theorem in higher dimension
The following is a theorem of Elkies:
Let $X$ be an elliptic curve over $\mathbb{Q}$. Then there are infinitely many primes $p$ such that the action of Frobenius on $H^1(\mathcal{O}, X)$ is zero.
...
- 156k
11
votes
1
answer
928
views
Non-algebraic K3 surfaces in characteristic $p$
I have a very naive question.
Recall that over the field of complex numbers, there exist non-algebraic K3 surfaces. Namely, smooth non-projective simply connected compact complex surfaces with ...
- 21.4k
15
votes
1
answer
1k
views
Number of curves over a finite field
Let $K$ be a finite field. Is there a formula for the number of isomorphism classes of genus $g$ smooth curves over $K$?
In other words does there exists a formula for the number of rational points ...
- 8,998
5
votes
0
answers
568
views
Eisenbud-Goto conjecture in Positive Characteristic
Eisenbud-Goto conjecture predicted that the Castelnuovo-Mumford regularity
${\rm reg}(X)$ of a non-degenerate projective variety $X\subset \mathbb{P}^N$
is bounded by the $\deg(X)-{\rm codim}(X,\...
- 1,595
7
votes
2
answers
827
views
$p$-torsion of an abelian variety of $p$-rank $0$
Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $A$ be an abelian variety over $k$ such that $A[p](k) = 0$, i.e., such that $A$ has $p$-rank $0$. If I am not mistaken, ...
- 2,663
5
votes
1
answer
208
views
A generalization of Witt's theorem for quaternion algebra isomorphism
Let $Q$ be a quaternion $k$-algebra (namely, a dimension 4 $k$-central simple algebra).
Then it is possible to (canonically) attach a smooth projective conic $C_Q\subseteq \mathbf{P}_k^2$ to $Q$: if ...
- 375
10
votes
2
answers
761
views
Applications of alterations
In 1995, de Jong proved the existence of regular alterations in arbitrary characteristic. I would like to have a little survey of important applications of this theorem, e.g. things you could do if ...
- 1,072
14
votes
0
answers
1k
views
A slick proof (?) of Zariski-Nagata purity in characteristic $p$
I am trying to understand the MathSciNet review written by Mark Kisin of the paper "Almost etale extensions" of Faltings. There Kisin illustrates Faltings' approach to the almost purity theorem with ...
- 2,663
14
votes
3
answers
2k
views
Representations in characteristic p
Let G be a finite group and let F be an algebraically closed field. If the characteristic of F is 0, then the number of irreducible F-representations of G is given by the number of conjugacy classes ...
- 2,799
6
votes
1
answer
1k
views
Generic Smoothness Type of Results in Positive Characteristic
Let $f:X\to Y$ be a surjective morphism between two projective varieties over a field of characteristic $p>0$. Also assume that $f_*\mathcal{O}_X=\mathcal{O}_Y$, and $X$ is smooth.
We know that ...
- 313
9
votes
1
answer
863
views
Are there noncommutative extensions of $\alpha_p$ by $\mathbb{G}_m$?
Let $k$ be a field of characteristic $p > 0$ (algebraically closed, if you want; that doesn't make a difference). Consider a finite type $k$-group scheme $E$ that is a (central) extension of $\...
- 1,103
25
votes
3
answers
2k
views
product of all F_p, p prime
Let $R$ be the ring $$R = \prod_{p\ \text{prime}} \mathbb{F}_p$$ where $\mathbb{F}_p$ is the field having $p$ elements.
Is it true that $R$ has a quotient by a maximal ideal which is a field of ...
- 5,163
3
votes
1
answer
642
views
Decomposition theorem for polarized abelian varieties in positive characteristic
In characteristic zero we have the following decomposition theorem for polarized abelian varieties: it gives an isomorphism between a PPAV and a product of PPAV's of lower dimension and is valid (as ...
- 614
2
votes
1
answer
207
views
Subschemes in group action
Let $k$ be a field, of any characteristic. Let $G$ be a smooth group scheme over $k$ and let $X$ be a smooth scheme of finite type over $k$. Let $Y\subseteq X$ be a smooth subscheme of $X$, and let $...
- 21
15
votes
5
answers
3k
views
Can we count isogeny classes of abelian varieties?
Let's fix a finite field F and consider abelian varieties of dimension g over F. Can we say how many isogeny classes there are? Is it even clear that there's more than one isogeny class? For g=1, ...
- 1,988
4
votes
0
answers
468
views
Quaternion algebras in characteristic 2
Let $k$ be a field and let $Q$ be a quaternion algebra over $k$.
It is well known that, if $\mathrm{char}\,k\neq 2$, one can define $Q$ as the $k$-algebra of dimension $4$ generated by elements $x,y$ ...
- 375
1
vote
1
answer
280
views
Norms of elements in Artin-Schreier extensions
The following is claimed in the proof of Theorem 7.5 of Auslander, Goldman, "The Brauer group of a commutative ring":
Let $k$ be a nonperfect field of positive characteristic $p$, let $K := k(x)$ ...
- 428
10
votes
1
answer
625
views
Can a division algebra have degree divisible by its characteristic?
I apologize in advance if this is easy, but I've tried Googling, and had no luck.
I'm currently working on a proof, and I realized in the course of writing that this proof will break if out there ...
- 44.7k
18
votes
1
answer
2k
views
Independence of $\ell$ of Betti numbers
When $X$ is a smooth proper variety over $\mathbb F_q$, we know by Deligne's theory of weights that the dimension of $H^i_{\operatorname{\acute et}}(\bar X, \mathbb Q_\ell)$ does not depend on $\ell$. ...
- 28.8k
3
votes
1
answer
459
views
Frobenius functor and length of local cohomology
Let $(R,\mathfrak{m})$ be a Noetherian local ring of positive prime characteristic $p$ and let $F$ be the Frobenius functor. Write $d$ for dimension of $R$. Assume that for some $0\leq i< d $ the ...
- 3,101
10
votes
1
answer
1k
views
Are there "reasonable" criteria for existence/non-existence of Levi factors or their conjugacy in prime characteristic?
Classical theorems attributed to Levi, Mal'cev, Harish-Chandra for a finite
dimensional Lie algebra over a field of characteristic 0 state that it has a Levi decomposition (semisimple subalgebra plus ...
- 52.9k
5
votes
2
answers
1k
views
Weil Conjectures for Grassmannians
To establish the Weil conjectures for $n$-dimensional projective space over a finite field is elementary. Does there exist a simple direct proof of the conjectures for finite field Grassmannians?
- 1,462
21
votes
1
answer
2k
views
When does the relative differential $df=0$ imply that $f$ comes from the base?
Let $A \to B$ be a map of commutative rings, and $d : B \to I/I^2$ be
defined by $df = f\otimes 1 - 1\otimes f$, where $I$ is the kernel of
$B \otimes_A B \to B$, as in [Hartshorne II.8].
If $df=0$,...
- 27.9k
11
votes
2
answers
918
views
On a proposition in Hartshorne's paper "Ample vector bundles on curves"
In Prop. 4.1, p. 87 of the article "Ample vector bundles on curves" (Nagoya Math. J. 43 [1971], 73--89), R. Hartshorne states the following:
Let $A$ be an abelian variety [over an alg. closed field $...
- 3,076
2
votes
1
answer
791
views
Branching rule for classical Lie algebras in positive characteristic
The restriction of an irreducible $\mathfrak{sl}_n(\mathbb{C})$-module to $\mathfrak{sl}_{n-1}(\mathbb{C})$ is described by a branching rule which says that if $L(\lambda)$ is the simple $\mathfrak{sl}...
- 2,721
12
votes
4
answers
2k
views
Finite subgroups of $PGL_2(K)$ in characteristic $p$
Let $K$ be a field of characteristic $p$. What are the finite subgroups of $PGL_2(K)$ whose orders are divisible by $p$? And if $G$ and $H$ are two such subgroups that are isomorphic, can one say when ...
- 1,199
14
votes
1
answer
1k
views
Do varieties with ample canonical bundle have finite automorphism group in small characteristic?
Suppose $X$ is a smooth projective variety over a field $k$, with ample canonical bundle. If $\operatorname{char}(k)=0$ or $\operatorname{char}(k)>\dim(X)$ and $X$ lifts to $W_2(k)$ (thanks ...
- 23k
2
votes
1
answer
690
views
Restricted universal enveloping algebra of Abelian p-Lie algebra
Question: Let $p$ be a prime. Let $k$ be a commutative ring such that $p=0$ in $k$.
Let $\mathfrak g$ be an abelian $p$-restricted Lie algebra over $k$. In other words, let $\mathfrak g$ be a $k$-...
- 33.8k
17
votes
2
answers
1k
views
Higher level analogs of Nicolas-Serre theory
NICOLAS-SERRE THEORY
Let $F \in Z/2[[x]]$ be $x+x^9+x^{25}+...$, the exponents being the odd squares, and $V$ be the space spanned by the $F^k$ with $k$ odd. Nicolas and Serre define formal Hecke ...
- 5,422
10
votes
3
answers
2k
views
Is $Sym^n (V^*) \cong Sym^n (V)^\ast$ naturally in positive characteristic?
Background/motivation
It is a classical fact that we have a natural isomorphism $Sym^n (V^*) \cong Sym^n (V) ^\ast$ for vector spaces $V$ over a field $k$ of characteristic 0. One way to see this is ...
- 14.8k
12
votes
1
answer
750
views
Vanishing theorems in positive characteristic
In the paper
Deligne, Pierre; Illusie, Luc (1987), "Relèvements modulo $p^{2}$ et décomposition du complexe de De Rham", Inventiones Mathematicae 89 (2): 247–270, doi:10.1007/BF01389078
I found the ...
- 8,998
3
votes
1
answer
410
views
Derivations of central extensions of simple Lie algebras
Let $L$ be a finite-dimensional Lie algebra over a field of characteristic zero. It is not difficult to see (and also follows from Theorem 4.4 of [G. Hochschild: Semi-simple algebras and generalized ...
- 5,878
5
votes
0
answers
197
views
Semisimplicity of the p-adic étale Tate module over $F_p(t)$
Let $k$ be a finitely generated field of positive characteristic p.
Let $A$ be an abelian variety over $k$ and write $T_p(A)$ for the $p$-adic étale Tate module of $A$. Is it known if the natural ...
- 728
9
votes
0
answers
1k
views
Ample vector bundles, $H^1=0$ and global generation in characteristic $p$
This is a follow up from Ample vector bundles on curves question, in characteristic $p>0$. First, some background. It is known that in characteristic $0$, a vector bundle $E$ on say a projective ...
- 2,976