Fields of characteristic $p$, i.e., fields for which there is a prime $p$ such that $px=0$ for each $x$. Do not use this tag for questions on characteristic polynomials of a matrix.

**12**

votes

**2**answers

723 views

### Residues of $\frac{1}{\prod_{i=1}^n (x-P_i)^{e_i}}$

This is a problem occurring in my research about deformations of $\mathbb{Z}/p^n$-covers over a ring of power series. Given an algebraically closed field $k$ of characteristic $p>0$, suppose $1< ...

**9**

votes

**1**answer

185 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_{\...

**16**

votes

**1**answer

543 views

### Lang's Jacobian identity: slicker, elementary proof?

In Jeffrey Lang, A Jacobian identity in positive characteristic, J. Commut. Algebra, Volume 7, Number 3 (2015), pp. 393--409, the following result is proven:
Theorem 1. Let $p$ be a prime. Let $\...

**4**

votes

**0**answers

45 views

### Symmetric power contained in tensor power?

Let $V$ be an $R$-module. Traditionally the symmetric algebra $S(V)$ is defined as a quotient of the tensor algebra $T(V)$, by the ideal generated by all $a\otimes b-b\otimes a$.
Can $S^n(V)$ also be ...

**18**

votes

**1**answer

1k views

### A linear algebra problem in positive characteristic

Let $A$ be a symmetric square matrix with entries in $\mathbb{Z}/p\mathbb{Z}$ for a prime $p$ such that all of its diagonal entries are nonzero. Does there exists always a vector $x$ with all ...

**5**

votes

**1**answer

66 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 ...

**4**

votes

**1**answer

82 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 ...

**4**

votes

**0**answers

120 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$ ...

**2**

votes

**0**answers

84 views

### Indecomposablity in purely inseparable extensions

Let $k$ be a field of characteristic $p$ (e.g. the separable closure of $\mathbb{F}_p(t)$) and consider the extension $k(x)/k$ where $x^p\in k$ but $x$ does not. Consider a (finitely generated) ...

**7**

votes

**3**answers

380 views

### Lefschetz fixed-point theorem for the Frobenius map

Where can one find a proof of Lefschetz fixed-point theorem for the Frobenius map on elliptic curves over algebraic closures of $F_{p}$ ?
This could immediately follow if their coholomogies (for the ...

**4**

votes

**2**answers

219 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-...

**5**

votes

**0**answers

131 views

### Map associated to linear system onto curve is morphism

In Mumford's first paper on Surfaces in char $p$ [1], part 2 Step (II), he wants to show that, given an indecomposable curve of canonical type $D$ on a smooth projective surface $F$ with $p_g(F)=0, ...

**16**

votes

**2**answers

957 views

### A short proof for simple connectedness of the projective line

The Riemann-Hurwitz formula implies that the projective line $\mathbb{P}^1_K$ over any algebraically closed field $K$ is simply connected (i.e., $\pi_1^{et}(\mathbb{P}^1_K) = 1$; equivalently, if $\...

**11**

votes

**0**answers

435 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 ...

**3**

votes

**1**answer

153 views

### Restriction of separable map

If $f: X\to Y$ is a separable map between varieties that is a bijection on closed points, is it true that $f$ remains separable when restricted to an integral subscheme $Z\subset X$?
If we drop the ...

**2**

votes

**0**answers

141 views

### Does the sheaf of locally exact differential forms splitting in positive characteristic

Let k be an algebraically closed field of characteristic $p>2$, $X$ a smooth projective curve of genus $g>1$ over $k$, and $F_X:X\rightarrow X$ be the absolute Frobenius morphism. Let $B^1_X$ be ...

**5**

votes

**0**answers

289 views

### Torsionfree crystalline cohomology implies torsionfree etale cohomology?

Let $X$ be a smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$. Let $W=W(k)$ be the ring of Witt vectors of $k$.
Assume that the crystalline cohomology $H^2_{...

**1**

vote

**0**answers

108 views

### Smoothability of stable curves in mixed characteristic

Let $R$ be a complete DVR with residue field $k$ algebraically closed of characteristic $p$ and fraction field $K$ of characteristic zero. Let $C$ be a stable curve (in the sense of Mumford-Deligne) ...

**1**

vote

**0**answers

143 views

### Examples of semi-stable models of curves

Let $R$ be a discrete valuation ring with fraction field $K$ of characteristic zero and residue field $k$ of characteristic $p>0$. Assume $k$ is algebraically closed. I want to produce examples of ...

**3**

votes

**1**answer

286 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.
Here $Z$ is the center of universal enveloping algebra $U(G)$ (here $G = \operatorname{Lie} \mathscr{G}$ ). $...

**2**

votes

**0**answers

104 views

### Purely inseparable $k$-rational dominant maps between an absolutely irreducible $k$-surface and $\mathbb{P}^2$

Let $X$ be an absolutely irreducible surface over an algebraically closed or finite field $k$ of characteristic $p$. Is it true that the following conditions are equivalent?
There is a purely ...

**12**

votes

**0**answers

550 views

### Elkies' supersingularity theorem in higher dimension (in terms of the associated Newton polygon)

Elkies' supersingularity theorem: Given an elliptic curve $E$ over $\mathbb{Q}$, there are infinitely many primes $p$ such that $E$ is supersingular over $\mathbb{F}_p$.
I have seen another post on ...

**0**

votes

**1**answer

56 views

### Authomorphisms of factoralgebra A_5 over its center in characteristic 2

Let L be classical Lie algebra of type A_5 over field of characteristic 2, M - factoralgebra L/Z(L) where Z(L) - center of L.
What about group of automorphisms of M?
Does anybody know answer or at ...

**4**

votes

**0**answers

212 views

### Application of Frobenius splitting in characteristic $0$

In general, Frobenius splitting only defines on field of characteristic $p$ (algebraically closed) field.
I am reading Brion and Kumar's book and I can see that there are geometric results can be ...

**23**

votes

**1**answer

1k views

### Reference for de Rham cohomology in positive characteristic

It is known in characteristic $0$ that (algebraic) de Rham cohomology is a Weil cohomology theory. However, in characteristic $p > 0$ it isn't, if only because it has mod $p$ coefficients, whereas ...

**4**

votes

**1**answer

227 views

### How do non-trivial global differentials give non-trivial cohomology classes in positive characteristic

Let $k$ be an algebraically closed field and let $X$ be an $n$-dimensional smooth projective variety over $k$.
If $k= \mathbb C$, there is a natural injective morphism of vector spaces
$$H^0(X,\...

**4**

votes

**1**answer

329 views

### Lifting torsors in characteristic $p$ to characteristic zero

Let $R$ be a local integral domain with residue field $k$ such that $R$ is of characteristic zero and $k$ is of characteristic $p>0$. Let $G$ be a smooth finite type affine group scheme with ...

**7**

votes

**1**answer

470 views

### Mod 2 modular forms in levels 5 and 25--how to account for this Hecke isomorphism?

The space $P1$ of my earlier question 203755 "Two spaces attached to mod 2 level 9 modular forms...", is essentially the space of mod 2 level 3 modular forms. That such a space should appear inside ...

**7**

votes

**0**answers

291 views

### Are curves over imperfect fields defined over a smaller field?

Let $C$ be regular projective curve defined over a field $K$. Let $K/L$ be a totally inseparable finite extension. Does there exist a regular projective curve $C'$ over $L$ such that that the pullback ...

**3**

votes

**1**answer

303 views

### Two spaces attached to mod 2 level 9 modular forms--a conjectural Hecke isomorphism

MOTIVATION
Nicolas and Serre have analyzed the structure of the space of mod $2$ modular forms of level $1$, viewed as a "Hecke-module". They show that for each $p>2$, the operator $T_p$ acting on ...

**2**

votes

**1**answer

135 views

### A question about decomposing mod 2 modular forms of level p^2

Fix an odd prime $p$. Each $f \in \mathbb{Z}/2[[x]]$ can be written as $f_{+} + f_{-} + f_0$ where each exponent k of $x$ appearing in $f_{+}$ (resp. $f_{-}$, $f_0$) has Legendre symbol $(k/p)$ equal ...

**8**

votes

**0**answers

317 views

### Degeneration of wildly ramified local monodromy representations - near or far from Deligne?

Suppose we have a surface $S$ mapping to a curve $C$ and a finite cover $Y/S$ that is ramified at a divisor $D$. For each point $x \in C$ we get a ramified cover of the curve $S_x$, and we can study ...

**4**

votes

**1**answer

326 views

### Motivic integration in positive characteristic: how much is known?

It seems that in papers on motivic integration people usually assume the base field to have characteristic $0$ (and algebraically closed?). My question is: how much can one prove over a positive ...

**13**

votes

**2**answers

495 views

### Is there a proof of Warning's Second Theorem using p-adic cohomology?

Let $\mathbb{F}_q$ be a finite field, $n \in \mathbb{Z}^+$, and $f_1,\ldots,f_r \in \mathbb{F}_q[t_1,\ldots,t_n]$ with $\operatorname{deg}(f_i) = d_i$. Put $d = \sum_{i=1}^n d_i$ and suppose $d< n$...

**6**

votes

**1**answer

186 views

### Recursions for some binary theta series in characteristic 3

Define $A(0), A(1), A(2) \dots$ in ${\bf Z}/3[[x]]$ as follows. For $n$ in $\bf N$ let $s=3^{2n+1}$. Then $A(n) = \sum a_kx^k$ where $a_k$ is the mod 3 reduction of the number of representations of $k$...

**4**

votes

**0**answers

177 views

### Partial differential Equation over characteristic p

I want some references on partial differential equations over characteristic $p$. If we have a first order partial differential equation, how can we check whether there exists polynomials or rational ...

**3**

votes

**1**answer

240 views

### Embedded resolution of curves on smooth varieties

As far as I understand, embedded resolution of singularities means the following: given a variety $X$ over an algebraically closed field, and a closed subvariety $Y$, there exists a birational map $f:...

**3**

votes

**1**answer

207 views

### Mumford-Ramanujam examples in characteristic p [and in Arakelov geometry]

For a compact Riemann surface $B$ of genus $\geq 2$, it is a consequence of the Narasimhan-Seshadri theorem that there exist rank-$2$ vector bundles $E \to B$ of degree zero, all of whose symmetric ...

**9**

votes

**2**answers

445 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 ...

**11**

votes

**1**answer

439 views

### Extended Deformation Theory (dg-Lie algebra principle in positive characteristic?)

Recently, I looked at articles that make use of Deligne's idea that "in characteristic 0 every deformation problem is governed by a differential graded
Lie algebra" as explained first in Goldman-...

**7**

votes

**0**answers

150 views

### Invariant theory of $SL_2$ over a field of positive characteristic

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $W$ be a finite dimensional $SL_2$-module over $k$. Let $V$ be the natural representation of $SL_2$.
What can be said - in ...

**8**

votes

**2**answers

927 views

### Representations of $SL(2)$ in characteristic 2

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 interested in the special case $S^dV\...

**5**

votes

**0**answers

186 views

### Nori fundamental group and etale fundamental group in positive characteristic

Let $X$ be a smooth projective surface over an algebraically closed field of char $p > 0$. Suppose that $\pi_{1}^{et}(X) = \{1\}$. Can Nori fundamental group scheme of $X$ be non-trivial?

**14**

votes

**1**answer

1k views

### The “Level N modular equation for delta” in characteristics 3, 5, 7 and 13

When $N > 1$, the modular forms $\Delta(z)$ and $\Delta(Nz)$ are algebraically independent over the complexes, and the same then is true of their expansions at infinity. But using the fact that
the ...

**13**

votes

**0**answers

769 views

### Katz--Mazur for abelian varieties

Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties.
Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac 1N]...

**11**

votes

**1**answer

617 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 ...

**11**

votes

**0**answers

1k views

### Why was it so difficult to define the relative de Rham-Witt complex?

In Illusie's original article, the de Rham-Witt complex is defined for a smooth scheme over a perfect characteristic $p$ base $S$, without reference to $S$. Some 25 years later, Langer and Zink ...

**1**

vote

**0**answers

113 views

### Vanishing theorems that work in positive characteristic

Let $X$ be a smooth projective variety over a field of characteristic $p>0$ of dimension at least $2$. I am looking for some examples when $H^2(\mathcal{O}_X)$ vanishes. Is there any standard way ...

**2**

votes

**1**answer

563 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}...

**3**

votes

**2**answers

296 views

### Colon property of Gorenstein rings

Let $(R, \mathfrak{m})$ be a Gorenstein local ring of characteistic $p>0$. Let $x_1,...,x_d$ be a system of parameters of $R$. Let $I$ be an $\mathfrak{m}$-primary ideal containg $(x_1,...,x_d)$. ...