Questions tagged [positive-characteristic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4
votes
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
2answers
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
2answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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 ...