The characteristic-p tag has no wiki summary.

**2**

votes

**1**answer

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

**4**

votes

**0**answers

331 views

### If $p=0$ and $df=0$, is $f$ a $p$th power?

This question is a follow-up to When does the relative differential $df=0$ imply that $f$ comes from the base?. There it was asked, for an $A$-algebra $B$, under what conditions does $df=0$ (in the ...

**3**

votes

**1**answer

1k views

### Chevalley's Theorem on Constructible Sets

I'm having a hard time understanding the theorem in the title, more specifically the proof of the related fact that the image of a dominant morphism contains a dense open set of it's closure. (My ...

**5**

votes

**1**answer

515 views

### Top chern class in positive characteristic

Given a nonsingular, projective variety $X$ of dimension $n$ over an algebraically closed field $k$.
Over $k=\mathbb{C}$, the top chern class $c_n(T_X)$ of the tangent sheaf is the Euler ...

**4**

votes

**0**answers

150 views

### Inequalities between numerical invariants of nonsingular projective Varieties in positive Characteristic

It is well-known that Miyaoka and Yau-type inequalities do not hold in positive characteristic. In "a note on Bogomolov-Giesekerâ€™s inequality in positive characteristic", however, we can ...

**1**

vote

**1**answer

352 views

### CM liftings of abelian varieties and liftings of Frobenius

It is well-known that if $A$ is an ordinary abelian variety over a finite perfect field $ k$ of characteristic $ p>0$ and $ W=W(k)$ is the ring of Witt vectors over $ k$, then the canonical ...

**0**

votes

**2**answers

330 views

### Zariski closures of one parameter additive maps in positive characteristic

Suppose we are in characteristic $p$, and that the field, $K$, that we are working over is imperfect. We have a map $\Theta: K \to K^{\delta}$ where each coordinate function $\Theta_i$ is an additive ...

**2**

votes

**0**answers

309 views

### Inseparable Galois Cohomology

First let me give a general form of my question, and then I'll give some motivation and a more specific version of it. Let $K/k$ be a Galois extension of fields with Galois group $G$, and let $X$ be ...

**2**

votes

**1**answer

282 views

### Log resolutions on surfaces and 3-folds in characteristic p

If $X$ is a normal projective variety and $D$ a divisor in it, we say that $\pi\colon (\widetilde X,\widetilde D)\rightarrow (X,D)$ is a log resolution if $\widetilde X$ is a resolution of $X$, the ...

**7**

votes

**0**answers

455 views

### Resolution of singularities in positive characteristic

I am currently trying to make some small parts of the minimal model program work for some very explicit varities in positive characteristic. I have such a variety $X_1$ and I know that there is a ...

**9**

votes

**0**answers

439 views

### Function fields of characteristic p modular curves, and mod p reductions of the classical modular equation

Let l and p be distinct primes, l>2. There are "characteristic p modular curves" X_0(l) and X(l), defined over an algebraic closure, K, of Z/p, solving moduli problems for elliptic curves with some ...

**2**

votes

**1**answer

282 views

### Isomorphism between pull-backs of an F-crystal by different liftings of Frobenius

This might be a naive question. But since I haven't seen this in any reference, I'll try to ask it here. Let $T$ be a smooth scheme over the algebraically closed field $k$ of characteristic $p>0$ ...

**4**

votes

**1**answer

411 views

### Del pezzo surfaces in positive characteristic

For me a Del Pezzo surface $X$ over an algebraically closed field of characteristic $p$ is an algebraic surface where the anticanonical bundle $\omega^{-1}_X$ or $-K_X$ is ample. (I prefer the second ...

**17**

votes

**1**answer

816 views

### When does the relative differential $df=0$ imply that $f$ comes from the base?

Let $A \to B$ be a map of commutative rings, and $d : B \to I/I^2$ be
defined by $df = f\otimes 1 - 1\otimes f$, where $I$ is the kernel of
$B \otimes_A B \to B$, as in [Hartshorne II.8].
If ...

**4**

votes

**1**answer

369 views

### More questions involving characteristic 2 theta series identities

In my answer to my earlier question, "Existence of certain identities involving characteristic 2 thetas", I established some curious identities when the thetas have prime "level" congruent to 1 mod 4 ...

**2**

votes

**1**answer

222 views

### Connected extensions of finite by connected algebraic groups

Let $1\to H\to E\to G\to 1$ be a short exact sequence of algebraic groups defined over an algebraically closed field $k$ of characteristic $p$. Suppose $H$ is a finite group, and $G$ and $E$ are ...

**10**

votes

**1**answer

418 views

### Do Richardson varieties have rational singularities in arbitrary characteristic?

The title basically asks the question. I'll review the relevant terminology and explain what I have and haven't found in the literature.
Let $G$ be a reductive group. Let $v \leq w$ be elements of ...

**7**

votes

**1**answer

272 views

### If C is a fusion category over a field of nonzero characteristic and dim C = 0, is Z(C) ever fusion?

If $C$ is a fusion category and $\dim(C) \neq 0$ (the latter is automatic in characteristic zero, but not in nonzero characteristic), then the Drinfel'd center $Z(C)$ is fusion. More generally, if ...

**3**

votes

**0**answers

167 views

### What would be a characteristic-$p$ analogue for $C^{\infty}$-fiber bundles?

I'd like to know a notion for a morphism between algebraic varieties in characteristic $p$ that plays the role of a $C^{\infty}$-fiber bundle. It should be, in particular, flat. I'm not assuming the ...

**4**

votes

**1**answer

391 views

### Coderivations of S(V) correspond to linear maps S(V) -> V. Only over characteristic 0?

Definition. Let $k$ be a commutative ring. Let $V$ be a $k$-module. We turn the symmetric algebra $\mathrm{S}\left(V\right)$ of $V$ into a graded Hopf algebra by defining the comultiplication
$\Delta ...

**11**

votes

**1**answer

548 views

### Obstructions to formally integrating vector fields in characteristic p?

Let $M$ be a smooth scheme over some field $k$ of characteristic $p$, and $\vec X$ a vector field on it. Equivalently, $\vec X$ gives a map $Spec\ k[\epsilon]/\langle \epsilon^2 \rangle \times M \to ...

**8**

votes

**1**answer

718 views

### Replacement for derivations in characteristic p?

Let $k$ be a field.
If $f \in k[x]$ is a polynomial, and $d/dx\ f = 0$, then either
$f$ is constant, or
$char\ k = p$ and $f \in k[x^p]$.
So "annihilated by all derivations" is perhaps not the ...

**19**

votes

**4**answers

1k views

### Simplest example of jumping of cohomology of structure sheaf in smooth families?

Using Hodge theory (and the ill-defined Lefschetz principle), one can show that in characteristic 0, given a proper smooth family $X \rightarrow B$, the cohomology groups of the structure sheaf of the ...

**4**

votes

**1**answer

385 views

### Can the projection (tensor algebra) -> (symmetric algebra) be forced to split in char. p by factoring out p-th powers?

Question 1 (the weak and simple statement, which, I think, already is wrong): Let $p$ be a prime. Let $k$ be a field with characteristic $p$.
For any $k$-vector space $V$, consider the canonical ...

**5**

votes

**0**answers

453 views

### Ample vector bundles, $H^1=0$ and global generation in characteristic $p$

This is a follow up from this question, in characteristic $p>0$. First, some background. It is known that in characteristic $0$, a vector bundle $E$ on say a projective curve $X$ is ample if and ...

**29**

votes

**10**answers

2k views

### Which 'well-known' algebraic geometric results do not hold in characteristic 2?

A smooth curve $X$ in $\mathbb{P}^n$ is strange if there is a point $p$ which lies on all the tangent lines of $X$.
Examples are $\mathbb{P}^1$ is strange and so is $y=x^2$ in characteristic $2$. ...

**3**

votes

**1**answer

168 views

### Do permutation modules of solvable groups have self-dual socle in characteristic 2?

I was searching through the small groups database in GAP to find counterexamples to a certain conjecture (which is not important here). I was checking non-nilpotent solvable groups and noticed that ...

**5**

votes

**2**answers

504 views

### Existence of certain identities involving characteristic 2 “thetas”

Let l=2m+1 be prime. In my previous MO question, "What are the polynomial relations between these characteristic 2 thetas?", I defined a subring of Z/2[[x]] as follows:
The subring, S, is generated ...

**6**

votes

**2**answers

490 views

### How does one compute induced representations for modular representations?

The set-up is this: Let $G$ be a finite group, and $H$ a subgroup. We are given an irreducible representation of $H, \rho: H\rightarrow GL_n(K)$ (I will notationally identify $\rho$ with its ...

**5**

votes

**0**answers

196 views

### Modular reduction of exceptional complex reflection groups

I am interested in reducing reflection representations of complex reflection groups modulo a prime $p$. For the infinite family $G(m,r,n)$, it is straightforward to get "good reduction" provided that ...

**6**

votes

**1**answer

693 views

### Can proper-smooth base change be used to show that varieties cannot be lifted to characteristic zero?

Recall the following corollary to the proper and smooth base change theorems:
Let $\pi: X \to S$ be a proper, smooth morphism. Then the direct images $R^i \pi_* \mathcal{F}$ are locally constant ...

**14**

votes

**2**answers

963 views

### Bertini theorems for base-point-free linear systems in positive characteristics

Suppose that $X$ is a smooth algebraic variety over an algebraically closed (uncountable if it helps) field of characteristic $p > 0$. Suppose that $L$ is a line bundle, probably ample or at least ...

**12**

votes

**4**answers

1k views

### Finite subgroups of $PGL_2(K)$ in characteristic $p$

Let $K$ be a field of characteristic $p$. What are the finite subgroups of $PGL_2(K)$ whose orders are divisible by $p$? And if $G$ and $H$ are two such subgroups that are isomorphic, can one say when ...

**1**

vote

**1**answer

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

**9**

votes

**2**answers

532 views

### Is the Characteristic of a Field Detectable from the Topology of a Topological Vector Space?

Motivation
A topological vector space is a vector space over a (topological) field, K, that carries a topology such that addition and scalar multiplication are continuous maps, e.g., all normed ...

**13**

votes

**1**answer

536 views

### Help wanted with Chebotarev condition in characteristic 2

Having promised a longtime collaborator that I would clear my plate to finish up some joint work of ours, I am swallowing my pride and tossing up the following technical point of function field ...

**12**

votes

**0**answers

420 views

### Lifting varieties from char. $p$ to char. 0 after alterations

The question is related to this MO question:
Lifting varieties to characteristic zero.
Let $X$ be a projective smooth variety over $k$ alg. closed field of char. $p.$ Does there always exist an ...

**4**

votes

**2**answers

370 views

### Adem-Wu relations from Bullett-Macdonald identities

Question. Let $p$ be a prime. Let $q$ be a power of $p$. Let $P^0$, $P^1$, $P^2$, ... be elements of some associative $\mathbb F_q$-algebra $A$. (Here, $P^i$ does not mean $P$ to the $i$-th power; ...

**5**

votes

**1**answer

375 views

### Given a branched cover with branch cycle description $(g_1,…,g_r)$, does $g_i$ generate some decomposition group?

Classically:
Let $a_1,...,a_r$ be points in $\mathbb{P}^1_{\mathbb{C}}$, and let $\alpha_1,...,\alpha_r$ be simple loops around the $a_i$, all counterclockwise, and none touching (so ...

**10**

votes

**1**answer

1k views

### State of resolution in positive characteristic?

Heisuke Hironaka's coming talk makes me wonder how the state of the work on that theme is. So far, I noticed (but didn't read) these programs: 1, 2. It would be great if someone who listenes ...

**3**

votes

**2**answers

484 views

### Ample line bundle and Frobenius morphism on smooth toric variety

Let $k$ be an algebraically closed field of $\mathrm{char}(k)=p>0$, $X$ a smooth toric projective variety of $\dim X=n$, $F_X:X\rightarrow X$ the absolute Frobenius morphism of $X$. Then for any ...

**1**

vote

**1**answer

231 views

### Ample bundle under Frobenius morphism

Let $k$ be an algebraically closed field of char($k$)=p>0, $X$ a smooth projective variety over $k$, $F:X\rightarrow X^{(1)}$ the relative Frobenius morphism. Let $E$ be an ample vector bundle on $X$. ...

**0**

votes

**0**answers

292 views

### Liftability in positive characteristic

What clsses of algebraic varieties over field of positive characteristic can be lift to $W_2(k)$?

**7**

votes

**2**answers

397 views

### Tameness for the Galois closure of a map of curves

Say we are working over some $K=\overline{K}$, of characteristic $p>0$. Let $\phi: Y\rightarrow X$ be a nonconstant map of smooth projective curves. To this map we can associate a map $\psi: ...

**0**

votes

**0**answers

400 views

### DeRham cohomology

The Poincare lemma fails in positive characteristic, since pth powers vanish under differention. My question is : is there still some kind of resolution of the local system k by considering some ...

**13**

votes

**2**answers

978 views

### Frobenius splitting and derived Cartier isomorphism

Let $X$ be a smooth algebraic variety over an algebraically closed field $k$ of characteristic $p>\dim X$. The motivation for my question comes from the following results.
1. If $X$ is ...

**2**

votes

**1**answer

367 views

### More on universal homeomorphisms

I would like to understand this notion better; where could I find some examples? In particular, I am interested in the following questions (and references for the answers).
Is a universal ...

**4**

votes

**2**answers

237 views

### Is the pre-image of a regular subscheme with respect to a universal homeomorphism of regular schemes regular?

Let $f:X\to Y$ be a universal homeomorphism of regular (excellent finite-dimensional) schemes, $Z\subset Y$ be a regular subscheme. Is $f^{-1}(Z)$ necessarily regular?

**4**

votes

**1**answer

274 views

### finite quotients of fundamental groups in positive characteristic

For affine smooth curves over $k=\bar{k}$ of char. $p,$ Abhyankar's conjecture (proved by Raynaud and Harbater) tells us exactly which finite groups can be realized as quotients of their fundamental ...

**9**

votes

**2**answers

497 views

### Valuations and separable extensions

Let $R$ be a valuation ring containing a field $k$, with residue field $F$ and quotient field $K$. Assume $F/k$ is separable. Is $K/k$ separable?
I have convinced myself that (for a positive answer) ...