All Questions
393 questions
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 ...
CommunityBot
- 1
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
4
votes
0
answers
284
views
modularity of elliptic curves over function fields in positive characteristic
Let $F$ be a global function field over a finite field, and $E$ be an elliptic curve over $F$. Much like the number field case, it is natural to study the Galois representation on the Tate module of $...
- 685
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
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 ...
- 2,821
4
votes
0
answers
296
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
4
votes
0
answers
204
views
Explicit description of wonderful compactification for PGL_3
Let $k$ be an algebraically closed field of positive characteristics. Let $X$ be the wonderful compactification of $PGL_3$ (see for example section 6 of "Frobenius Splitting Methods in Geometry ...
- 163
2
votes
0
answers
147
views
Automorphism groups of "reductive" Lie algebras in positive characteristic
I put "reductive" in quotes because, of course, in positive characteristic one should speak of Lie algebras of reductive groups, not of reductive Lie algebras.
Let $G$ be a reductive group ...
- 63.9k
20
votes
5
answers
4k
views
Equivalent statements of the Riemann hypothesis in the Weil conjectures
In the cohomological incarnation, the Riemann hypothesis part of the Weil conjectures for a smooth proper scheme of finite type over a finite field with $q$ elements says that: the eigenvalues of ...
- 4,713
2
votes
1
answer
361
views
Lie algebroid in algebraic geometry
When I did net-surfing at home, I met some geometric backgrounds of Lie algebras and encountered the concept of Lie algebroids. In differential geometry, a Lie algebroid seems to be defined as ...
- 4,008
9
votes
1
answer
356
views
Reference request for indecomposable representations of $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$
Is there a good reference on the classification of indecomposable representations of the Lie algebra $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$ (of course, in ...
CommunityBot
- 1
2
votes
0
answers
97
views
Non-noetherian Cartier Isomorphism
A result in positive characteristic is that if $R/\mathbb{F}_p$ is a smooth ring, then we have a Cartier isomorphism
$$\Omega_{R}^\bullet\cong H^\bullet(\Omega_R^\bullet)$$
which is essentially ...
- 4,428
11
votes
2
answers
1k
views
Representations of $\mathrm{SL}(2)$ in characteristic 2
$\DeclareMathOperator\SL{SL}$In characteristic zero one can use the Clebsch-Gordan rule to decompose tensor products of $\SL(2)$-modules. In characteristic $p$, things are more complicated.
I am ...
- 63.9k
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 ...
- 2,821
4
votes
0
answers
215
views
Reference request: Radicial morphisms & Jacobson-Bourbaki correspondence
My name is Chemy (Przemysław). I am a PhD student at UvA (Amsterdam), and I work on projects related to foliations in algebraic geometry in positive characteristic. Therefore I am avidely reading two ...
- 485
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$-...
- 4,492
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-...
- 12.9k
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
3
votes
1
answer
129
views
Schur multiplier of finite-dimensional simple Lie algebras in positive characteristic
The Schur multipliers of finite simple groups are known and easily accessible:
https://en.wikipedia.org/wiki/List_of_finite_simple_groups
Moreover, as a consequence of the second Whitehead's Lemma, if ...
- 5,878
6
votes
1
answer
643
views
Classification of simple Lie algebras over finite fields
Classification of simple (or simple-restricted) Lie algebras over algebraically closed fields in positive characteristic is studied for a long time. Today, we know all finite-dimensional simple (or ...
- 5,878
2
votes
0
answers
171
views
Monogenic function fields
Recall that a number field $K$ is said to be monogenic if its ring of integers is of the form $\mathbb{Z}[\alpha]$, or equivalently, if it has a power integral basis. There are many references one can ...
- 103
27
votes
4
answers
3k
views
Have people successfully worked with the full ring of differential operators in characteristic p?
This question is inspired by an earlier one about the possibility of using the full ring of differential operators on a flag variety to develop a theory of localization in characteristic $p$. (Here ...
- 1,228
4
votes
1
answer
198
views
Simple restricted but not restricted simple Lie algebras
Let $F$ be a field which has a positive characteristic $p \ge 2$ and $(\mathfrak{g},[p])$ be a restricted Lie algebras over a field $F$ where $[p]$ is a $p$-th power map on $\mathfrak{g}$. $(\mathfrak{...
- 5,878
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 ...
- 63.9k
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 ...
- 35.5k
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
5
votes
0
answers
139
views
Liouville property in the Bost theorem on foliations
Let $X$ be a smooth algebraic variety over a number field $K$, and let $\mathcal{F}$ be an involutive coherent subsheaf of the tangent bundle. After a pullback to $\mathbb{C}$, $\mathcal{F}_\mathbb{C}$...
- 485
6
votes
0
answers
173
views
Orlik-Solomon algebra and hyperplane complements in positive characteristic
Let $k$ be an algebraically closed field of characteristic $p\geq 0$, $\underline H:=\{H_1,\dots, H_m\}$ a set of hyperplanes in $\mathbb A_k^n$ and $X:=\mathbb A^n-(\bigcup H_i)$.
Given a ring $R$ ...
- 728
11
votes
4
answers
3k
views
What does ramification have to do with separability?
Does ramification have anything to do with inseparability? It feels like an extension of Q in which p ramifies should somehow correspond to an extension of F_p(t). Does totally ramified <--> purely ...
- 411
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
21
votes
5
answers
5k
views
Mirror symmetry mod p?! ... Physics mod p?!
In his answer to this question, Scott Carnahan mentions "mirror symmetry mod p". What is that?
(Some kind of) Gromov-Witten invariants can be defined for varieties over fields other than $\mathbb{C}$...
- 35.5k
19
votes
1
answer
2k
views
The Infinitesimal topos in positive characteristic
This question was inspired by and is somewhat related to this question.
In his article "Crystals and the de Rham cohomology of schemes" in the collection "Dix exposes sur la cohomologie ...
- 19.4k
8
votes
0
answers
688
views
An Azumaya algebra from a vector bundle, and a construction of Belov-Kanel and Kontsevich
Let $S/k$ be a scheme over a perfect field $k$ of characteristic $p>0$.
In Automorphisms of the Weyl Algebra, Belov-Kanel and Kontsevich write down the map
$$\alpha: H^0(\Omega^1_{S/k}/d\mathcal O) ...
- 9,650
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
4
votes
0
answers
262
views
de Rham Bloch-Ogus theory in positive characteristic
In their famous paper Gersten's conjecture and the homology of schemes, one of the results that Bloch and Ogus prove is that the second page of the coniveau spectral sequence for $X$ smooth over a ...
- 2,054
3
votes
1
answer
188
views
Maximal closed subscheme stable under the action of a finite connected group scheme
Let $k$ be a field of characteristic $p>0$, $X$ a smooth projective $k$-variety and $Y\subseteq X$ a closed irreducible subvariety. Let $G$ be a connected finite $k$-group scheme acting on $X$.
...
- 7,377
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$.
...
- 631
2
votes
1
answer
607
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....
- 28.8k
7
votes
1
answer
400
views
Does perfect fraction field imply perfect residue field?
Let $A$ be a local integral domain of characteristic $p$. Let $K$ be the fraction field and let $k$ be the residue field of $A$. If $K$ is perfect, is $k$ necessarily perfect?
Thoughts:
If $A$ is ...
- 28.2k
9
votes
2
answers
910
views
Example of a smooth projective family of varieties in characteristic $p$ where the Hodge numbers jump
Let $\mathbb F$ be an algebraic closure of the field of order $p$. Let $S=\textrm{Spec}(\mathbb F[[z]])$ with special point $s$ and generic point $\eta$. I'm looking for an example of a smooth ...
- 2,607
19
votes
1
answer
2k
views
Perfectoid approach to resolution of singularities in char $p$
Since perfectoid techniques have built a bridge between char $0$ and char $p$ worlds, it is conceivable that they can be applied to resolution of singularities in char $p$ using their successful ...
- 21.3k
4
votes
1
answer
638
views
perfect fields in positive characteristic
Let $k$ be an infinite perfect field in positive characteristic $p$, i.e. every element of $k$ is a $p$th power. I am interested in properties of finite fields that can be extended to $k$. For example:...
- 168
8
votes
0
answers
300
views
Which algebra is $\mathbb{F}_p \otimes_{HH^{\cdot} (\mathbb{F}_p)} \mathbb{F}_p$?
Let $HH^{\cdot}(\mathbb{F}_p)$ be the Hochschild cohomology of $\mathbb{F}_p$ over $\mathbb{Z}$, which as a $E_1$ ring is simply $\mathbb{F}_p[x]$ with $x$ in cohomological degree $2$. Then it's clear ...
- 2,356
4
votes
0
answers
130
views
Castelnuovo–Mumford regularity and wedge powers in positive characterisitc
A vector bundle on $\mathbb{P}^n$ is said to be $r$-regular if
$$H^i(\mathbb{P}^n,F(r-i))=0$$ for all $i>0$.
It is always true that if $F$ is $r$-regular and $G$ is $s$-regular (both vector bundles)...
- 2,356
3
votes
3
answers
423
views
Are there characteristic-dependent Betti numbers in characteristic not equal to two?
Let $\Delta$ be a finite simplicial complex on $n$ vertices. Let $S = \mathbb{k}[\mathbf{x}]$ be a polynomial ring over a field $\mathbb{k}$ in $n$ variables and $I$ be the Stanley-Reisner ideal of $\...
- 150
4
votes
1
answer
428
views
p-torsion in the Picard group of a regular projective curve
Let $K$ be a field of characteristic $p>0$ and $C$ a regular projective geometrically integral curve over $K$.
If $C$ is smooth, then the connected component ${\rm Pic}^0_C$ of the Picard scheme of ...
- 19.6k
8
votes
1
answer
943
views
Automorphisms over finite field that do not lift to an automorphism in characteristic zero
My main question is the following: is there an automorphism of the affine space $\mathbb{A}^n$ (automorphism of an algebraic variety) defined over a finite field which does not lift to an automorphism ...
- 7,722