# Questions tagged [positive-characteristic]

The positive-characteristic tag has no usage guidance.

87
questions

**4**

votes

**1**answer

285 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:...

**5**

votes

**1**answer

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

**18**

votes

**1**answer

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

**7**

votes

**0**answers

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

**4**

votes

**0**answers

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

**7**

votes

**1**answer

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

**9**

votes

**0**answers

187 views

### Rings whose Frobenius is flat

Let $R$ be a ring of characteristic $p>0$. The (absolute) Frobenius is the map of rings $F_R:R\rightarrow R$ defined by $x\mapsto x^p$.
I am interested in rings for which $F_R$ is flat (hence ...

**7**

votes

**1**answer

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

**9**

votes

**1**answer

268 views

### Showing subgroups with equal Lie algebras are equal

Let $k$ be a field. It might as well be algebraically closed, but I do not want to assume that it has characteristic $0$. I will write "group" for "affine group scheme over $k$", ...

**3**

votes

**1**answer

132 views

### Fourier transform on finite groups in characteristic $p>0$

Is there a Fourier theory for finite groups in characteristic $p>0$? Assume that $p$ divides the order $|G|$ of finite groups (or just work with $p$-groups), i.e., in a modular representation-...

**45**

votes

**1**answer

1k views

### Summing infinitely many infinitesimally small variables makes sense in algebra

There is an identity $e^x=\lim_{n\to \infty} (1+x/n)^n$, and I always thought it is a purely analytic statement. But then I discovered its curious interpretation in pure algebra:
Consider the ring of ...

**4**

votes

**2**answers

302 views

### Are Chow groups invariant under universal homeomorphisms?

Let $f:X\to Y$ be a universal homeomorphism of schemes, $R$ a coefficient ring. Which assumptions on $f$ and $R$ are suffient to ensure that the pullback map $f^*$ of $R$-linear Chow groups is ...

**5**

votes

**0**answers

103 views

### Hochschild cohomology of an Azumaya algebra

Let $k$ be a field. Given a commutative $k$-algebra $Z$ and an associative algebra $A$ that is Azumaya over $Z$, do we have an isomorphism of Hochschild cohomologies: $HH^*(A) \cong HH^*(Z)$?
This is ...

**2**

votes

**2**answers

140 views

### Supersingular elliptic curves and their automorphisms

If $E$ is a supersingular elliptic curve over a finite field of characteristic $p$, what is known about its automorphism group (i.e the stabilizer of a point in algebraic curves terminology).
Do all ...

**3**

votes

**0**answers

95 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

**1**answer

241 views

### What is known about lower etale cohomology of unirational varieties?

Which information is currently known about $H^1_{et}(X,\mathbb{Z}_l)$ and $H^2_{et}(X,\mathbb{Z}_l)$, where $X$ is a smooth unirational variety over an algebraically closed field of finite ...

**1**

vote

**0**answers

121 views

### Frobenius twist of a field

Let $k$ be a field of characteristic $p>0$ (not necessarily perfect). Consider the Frobenius endomorphism $F : k \to k$, $x \mapsto x^p$. I am curious about what happens when we take $k$ as a $k$-...

**3**

votes

**0**answers

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

**2**

votes

**0**answers

110 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^...

**5**

votes

**1**answer

162 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 + ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**10**

votes

**1**answer

936 views

### Gelfand's trick (Gelfand's lemma) in positive characteristic?

I came across this preprint that claims in Lemma 1.1 that Gelfand's trick (also known as Gelfand's lemma) only works in characteristic zero:
Let $H < G$ be finite groups. Suppose we have an anti-...

**3**

votes

**1**answer

218 views

### Is this unipotent group, over characteristic 2, connected?

Let $E_{ij}(x)\in \mathrm{Mat}_{7\times7}(\overline{\mathbb{F}}_2)$ be the matrix with zeros everywhere, except for the value $x$ at $ij$. Set $$a(x)=1+E_{12}(x)+E_{34}(x)+E_{56}(x),\quad b(y)=1+E_{23}...

**9**

votes

**2**answers

499 views

### Nakano vanishing in positive characteristic

Let $X$ be a smooth projective variety defined over a field $k$.
In characteristic zero, the following is a special case of the (Kodaira-Akizuki-)Nakano vanishing theorem:
$(\ast) \quad$ $\mathrm H^...

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

**15**

votes

**2**answers

525 views

### When is the etale cohomology of $\mathrm{Sym}^n(X)$ isomorphic to the $\Sigma_n$-invariants in the étale cohomology of $X^n$?

Suppose $X$ is a smooth projective variety defined over an arbitrary algebraically closed field $k$, and consider the action of $\Sigma_n$ on the $n$-fold product $X^n$. Is it true that $H_{\acute{e}t}...

**4**

votes

**0**answers

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

**2**

votes

**1**answer

274 views

### Tie-Breaking Trick for Log Canonical Pairs and F-pure pairs in Positive Characteristic

Let $X$ be a projective 3-fold in characteristic $p>0$. Let $(X, D)$ be a klt pair, and $D'$ a $\mathbb{R}$-Cartier divisor such that $D'=A'+B'$, where $A\geq 0$ is an ample $\mathbb{Q}$-divisor ...

**4**

votes

**0**answers

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

**2**

votes

**1**answer

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

**9**

votes

**1**answer

542 views

### Endomorphism ring of simple ordinary abelian variety

Is there an example of an ordinary and simple abelian variety $A$ over an algebraically closed field $K$ (of characteristic $p>0$) such that ${\rm End}(A)$ is not commutative? Note that the answer ...

**11**

votes

**2**answers

719 views

### Cotangent complex of perfect algebra over a perfect field

Let $A$ be a perfect $\kappa$-algebra over a perfect field $\kappa$ of positive characteristic $p$. Then the algebraic (= classical) cotangent complex $L_{A/\kappa}^{\operatorname{alg}}$ is known to ...

**5**

votes

**0**answers

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

**7**

votes

**1**answer

413 views

### absolute Galois group of the function field of a curve over $\mathbb{F}_p^{alg}$

In their 2008 paper "Torelli theorem for curves over finite fields" Bogomolov, Korotiaev and Tschinkel mention in the beginning of Section 9 that absolute Galois groups of curves over $\mathbb{F}_p^{...

**1**

vote

**1**answer

231 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)$ ...

**2**

votes

**0**answers

241 views

### Surjectivity of map of Picard schemes implies abelian

Note: This question was asked on MSE first, but got zero reactions. So I deleted it there, and am now posting it here.
I am looking for a reference or explanation of the fact that is used in Mumford'...

**2**

votes

**0**answers

112 views

### Global invariant cycles in positive characteristic

Let $k$ be an algebraically closed field of positive characteristic $p$ and fix a prime $\ell\neq p$. Let $X$ be a smooth connected $k$-variety and $f:Y\rightarrow X$ a smooth projective morphism. ...

**3**

votes

**0**answers

206 views

### Isotrivial factors of Jacobian

Let $k$ be an algebraically closed field of positive characteristic that it is not the algebraic closure of a finite field. Fix a smooth proper $k$-curve $C$ and write $J_C$ for its Jacobian abelian ...

**10**

votes

**1**answer

281 views

### An identity in Lie algebras over fields of positive characteristic

Let $L$ be a Lie algebra over a field of characteristic $p>0$ and $D$ a derivation of $L$. For every $x\in L$ denote by $\mathrm{ad} x$ the adjoint map $\mathrm{ad}x: L \rightarrow L, a\mapsto [x,...

**3**

votes

**0**answers

104 views

### Cohomologies of $[V/GL_n]$ in characteristic $p$ for a representation $V$ of $GL_n$

Let $V$ be a representation of $G=GL_n$ (or more generally any reductive group $G$) over an algebraically closed field $\mathbb k$ of characteristic $p$. Let $[V/G]$ be the corresponding quotient ...

**5**

votes

**0**answers

421 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,\...

**8**

votes

**0**answers

343 views

### Sheaf whose singular support is not Lagrangian

For constructible sheaves $\mathcal F$ on real analytic manifolds $X$, there is a notion of the singular support $SS(\mathcal F)$ which is a radially invariant singular Lagrangian subset of the ...

**8**

votes

**1**answer

689 views

### deformation theory in positive characteristic

The idea "Formal deformation theory in characteristic zero is controlled by a differential graded Lie algebra (dgla)" goes back to Goldman-Millson, Deligne, Drinfeld among others; see Lurie's ICM talk....

**1**

vote

**0**answers

331 views

### rigid analytic geometry positive characteristic

I am a beginning graduate student. I have the following basic question I am very confused about:
Suppose $C$ is a smooth geometrically irreducible curve over a finite field $\mathbb{F}_q$, $q=p^m$, $...

**3**

votes

**1**answer

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

**6**

votes

**0**answers

305 views

### Are all stabilizer groups of the co-adjoint action smooth?

Let $k$ be a (non-archimedean) local field of positive characteristic $p$ and $\mathfrak{n}$ be any finite-dimensional nilpotent Lie algebra over $k$ with nilpotence length $l<p$. It is well-known ...

**1**

vote

**1**answer

197 views

### locally closed orbits in metric Hausdorff topology

I learned the following fact from Bruhat and Tits's paper "Homomorphismes “abstraits” de groupes algebriques simples" Section 3.18 that
Let $k$ be a local field. Suppose that a $k$-group $H$ acts $k$...

**1**

vote

**0**answers

171 views

### Unitary dual of the Heisenberg group over non-archimedean local fields of characteristic two

What is the unitary dual of the Heisenberg group over non-archimedean local fields k of characteristic two? This is well-known for the real Heisenberg group and in fact, when local fields have ...

**7**

votes

**0**answers

303 views

### Arbitrarily non-degenerate Hodge to de Rham spectral sequence

It is true that for any $n$ there exists a compact complex manifold which Frolicher spectral sequence does not degenerate at the $n$-th page(https://arxiv.org/pdf/0709.0481.pdf).
Does the analogous ...