# Questions tagged [characteristic-p]

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.

246
questions

3
votes

0
answers

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

6
votes

1
answer

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

2
votes

1
answer

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

2
votes

0
answers

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

4
votes

0
answers

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

6
votes

0
answers

78
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=\{ (...

4
votes

0
answers

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

3
votes

1
answer

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

5
votes

1
answer

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

2
votes

1
answer

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

7
votes

1
answer

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

8
votes

0
answers

596
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) ...

4
votes

1
answer

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

3
votes

0
answers

187
views

### How to write down an explicit equation of given degree yielding a smooth hypersurface in a projective space?

Let F be a field of positive characteristic $p$ and let $d,n$ be two positive integers.
Can we explicitly write down an equation defining a smooth hypersurface $X_d⊂\mathbb P^n_F$ of degree d ?
This ...

11
votes

4
answers

453
views

### Explicit large finite fields in characteristic $2$

Every finite field of characteristic $2$ ist given by $\mathbb{F}_2[x]/P(x)$ for some irreducible polynomial $P\in \mathbb{F}_2[x]$.
For small degree, a simple algorithm gives a way to find $P$. Is ...

5
votes

0
answers

94
views

### algebraic de Rham cohomology of toric varieties (reference request)

I haven't been able to find anything workable yet, but I'm looking for a reference on the de Rham cohomology of toric varieties, where as many as possible of the following conditions are handled:
...

3
votes

3
answers

314
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 $\...

1
vote

0
answers

49
views

### Do we have $\cap_{P\in S}\left(\mathcal{O}_P+(1-\tau)(K)\right)=\left(\cap_{P\in S}\mathcal{O}_P\right)+(1-\tau)(K)$?

Let $\mathbb{F}$ be a finite field and let $q$ be its number of elements. Let $(C,\mathcal{O}_C)$ be a geometrically irreducible smooth projective curve over $\mathbb{F}$ and let $K=\mathbb{F}(C)$ be ...

2
votes

0
answers

159
views

### Is there a proper smooth variety in characteristic $p$ whose Hodge-to-de Rham spectral sequence does not degenerate at $E_1$?

By Deligne-Illusie, such a variety has no lifting to $W_2(k)$. In their paper they state that they do not know if such an example exists. Has this question been answered since then?

7
votes

1
answer

273
views

### Weyl algebra as an Azumaya algebra over its centre

Assume that $k$ is an algebraically closed field of positive characteristic $p$. On page 3 (page 6 of the PDF file) of Bezrukavnikov, Mirković, and Rumynin - Localisation of Modules for a semisimple ...

16
votes

1
answer

912
views

### Reconstruct a variety from its crystalline topos

Let $k$ be a perfect field of positive characteristic. Let $X$ be a smooth projective geometrically connected $k$-scheme with a $k$-point.
Can we reconstruct $X$ from its small crystalline topos $((X/...

4
votes

2
answers

511
views

### Katz's proof of Cartier's (descent) theorem

I am trying to understand the proof of Cartier’s theorem on pages 370-371 (pages 17-18 of the PDF file) of Katz’s “Nilpotent connections and the monodromy theorem: applications of a result of ...

2
votes

0
answers

86
views

### Composing equal characteristic and mixed characteristic deformations

Suppose $k$ is an algebraically closed field of characteristic $p>0$ and $A$ is a $k$-point on a moduli space of certain objects over $k$. Suppose, moreover, that $A$ deforms to a $k[[t]]$-point $B$...

3
votes

1
answer

232
views

### Frobenius splitting for an excellent, non $F$-finite, $F$-pure hypersurface

Let $p$ be an odd prime. Let $k$ be a field of characteristic $p$ such that $[k:k^p]=\infty$ (i.e. $k$ is not $F$-finite ) .
Also assume that $-1$ is not a square in $k$ . Consider the homogeneous ...

3
votes

0
answers

110
views

### Extensions of fraction field and residue field

Let $A \subset B$ be integrally closed local domains, $K(A), K(B)$ be fields of fractions, and $k(A),k(B)$ be residue fields. How to prove $[K(B):K(A)] \ge [k(B):k(A)]$?
This question should be easy ...

3
votes

0
answers

161
views

### Lifting a Frobenius endomorphism under an étale morphism

Let $X$ be a smooth affine scheme over $\mathbb{Z}/{p^2}$ that is a complete intersection, say $X$ is the spectrum of $\mathbb{Z}/{p^2}[x_1,...x_n]/(f_1, ... f_r)$, where $n-r$ is the dimension of $X$....

3
votes

1
answer

179
views

### Do Neron-Severi groups of smooth projective unirational varieties contain $\ell$-torsion?

Let $X$ be a smooth projective unirational variety over an algebraically closed field of characteristic $p>0$, and $\ell\neq p$ a prime. My question: can the Neron-Severi group of $X$ contain (non-...

8
votes

1
answer

597
views

### A variant on characteristic $p$ de Rham cohomology

I was thinking about de Rham cohomology in characteristic $p$, and in particular the recent question about Poincare residues, and I came up with the following construction.
Let $k$ be a perfect field ...

5
votes

1
answer

175
views

### Do regular (but non-smooth) conics over a discretely valued field of characteristic $2$ admit a regular model over the valuation ring?

Let $K$ be a non-perfect field of characteristic $2$. Let $T \subseteq K$ be a discrete valuation ring.
Assume there exist $a,b \in K^{\times}$ such that the projective conic $C$ defined by $$aX^2 + ...

5
votes

1
answer

263
views

### Singularities of curves that are moving

Let $k$ be an algebraically closed field, let $d\ge 2$ be an integer and let $f,g\in k[x,y,z]$ be two homogeneous polynomials of degree $d$ without common factor.
We want to know what are the ...

5
votes

0
answers

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

8
votes

2
answers

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

16
votes

2
answers

1k
views

### Biggest Field Of Characteristic $p$

The Surreal nummbers, $\boldsymbol{No}$, are according to Wikipidia the biggest ordered field, and the Surrcomplex numbers are the biggest field of characteristic 0. Biggest in the sense that every ...

2
votes

0
answers

50
views

### A conjectural formula for the "minimal degree function", $k\rightarrow d\min(k)$, attached to recursion, $f\rightarrow A(f)$, in char $3$

THE RECURSION: $f\rightarrow A(f)$
$A: t(\mathbb{Z}/3)[t^3]\rightarrow t(\mathbb{Z}/3)[t^3]$ is the $\mathbb{Z}/3$-linear map with $A(t)=0, A(t^4)=t, A(t^7)=t^4$, and $A((t^9)f)=(2t^9)A(f)+(t^3)A((t^...

9
votes

1
answer

274
views

### Lifting of families of curves to characteristic 0

Let $k$ be a finite field, $X_0$ be a smooth affine variety over $k$ and $C\rightarrow X$ a smooth projective family of curves of genus $\geq 2$.
By a result of Elkik we can always lift $X_0$ to a ...

12
votes

2
answers

841
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

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

19
votes

1
answer

831
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

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

6
votes

1
answer

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

5
votes

1
answer

151
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

304
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

101
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

670
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

303
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

188
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, ...

17
votes

2
answers

1k
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 $\...

12
votes

0
answers

859
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

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