The characteristic-p tag has no wiki summary.

**4**

votes

**2**answers

242 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

283 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

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

**2**

votes

**1**answer

356 views

### Is there an easy proof of the fact that the intermediate image functor respects weights?

It was proven in BBD (see Corollary 5.3.2) that for an open immersion $j$ the functor $j_{!*}$ preserves weights of mixed sheaves. The proof relies on several previous results; it is especially ...

**-1**

votes

**2**answers

837 views

### non discrete valuation ring [closed]

Hi,
I am looking for examples of non-discrete valuation rings. Could you help me?
Thanks

**1**

vote

**2**answers

285 views

### Could the Kunneth decomposition of a motif depend on the choice of $l$?

Suppose that over some (algebraically closed) field $K$ of characteristic $p>0$ we have: numerical equivalence of cycles coincides with homological one with respect to ${\mathbb{Q}}_{l}$ and ...

**11**

votes

**0**answers

493 views

### What's known about the mod 2 reduction of the level l Jacobi modular equation?

Motivation:
Let $\ell$ be an odd prime. Let $A$ in ${\mathbb Z}/2[[x]]$ be $x+x^9+x^{25}+x^{49}+...$, and $B=A(x^\ell)$. One can use the level $\ell$ Jacobi modular equation to get a polynomial ...

**3**

votes

**1**answer

248 views

### Do $Q_l$-etale Euler characteristics of Chow motives coincide for all $l$?

I am interested in (Chow) motives over (algebraically closed) characteristic $p>0$ fields. For $H$ being $\mathbb{Q}_l$-adic cohomology, one can consider $Ch_l(M)=\sum (-1)^i\dim_{\mathbb{Q}_l} ...

**0**

votes

**1**answer

141 views

### An inseparable lift of a regular variety.

Let $X$ be a variety over an (imperfect) field $k$, that is regular as a scheme. Let $k'/k$ be an algebraic inseparable extension (I am interested in $k'$ being the perfection or the algebraic closure ...

**21**

votes

**4**answers

2k views

### The Frobenius morphism

I found the following list on the "Frobenius Page" by David Ben-Zvi, described by the author as "an outdated collection of intuitive ways to think about raising to the p-th power".
Generates a ...

**2**

votes

**1**answer

431 views

### Quotient by p-th roots of unity in characteristic p

Let $X$ be a variety over $k$ of characteristic $p>0$ (you can assume $k$ algebraically closed and $X$ normal) with an action of the group scheme of $p$-th roots of unity $\mu_p = {\rm Spec}\ ...

**9**

votes

**0**answers

937 views

### Do the Standard Conjectures imply parts of the “Weil II” Riemann Hypothesis?

It is known that Grothendieck's Standard Conjectures on algebraic cycles imply the Riemann Hypothesis of the original Weil Conjectures. However, do they also say something about the version of the ...

**4**

votes

**0**answers

334 views

### Given two linear operators A and B over a finite field, is there a third operator C whose kernel is the intersection of kernels of A and B?

Let $V$ be a finite dimensional linear space over a finite field $k$. Let $A$ and $B$ be two endomorphisms of $V$.
Question 1. Is there an endomorphism $C$ of $V$, which is expressed in terms of ...

**7**

votes

**2**answers

495 views

### What are the polynomial relations between these characteristic 2 “thetas” ?

Suppose $\ell=2m+1$, $m>0$. Define $[i]$ in $\mathbb{Z}/2\mathbb{Z}[[x]]$ to be $$\sum_{n\equiv i\mod l} x^{n^2}.$$ Note that $[0]=1$, and that $[i]=[j]$ whenever $\ell$ divides $i+j$ or $i-j$.
...

**2**

votes

**0**answers

272 views

### Dimension of fibres of moment maps in characteristic $p$

Suppose $G$ is a connected semisimple linear algebraic group with Lie algebra $\mathfrak{g}$ and $X$ is a homogeneous $G$-space with isotropy subgroup $H$ (associated Lie algebra $\mathfrak{h}$) that ...

**15**

votes

**1**answer

809 views

### Is there a connected $k$-group scheme $G$ such that $G_{red}$ is not a subgroup?

I've been trying a learn a little more about group schemes by working through a set of exercises on Brian Conrad's website. Exercise 8.3 of http://math.stanford.edu/~conrad/papers/gpschemehw1.pdf ...

**13**

votes

**2**answers

795 views

### Can a reductive group act non-linearly on a vector group?

Let $k$ be a field; I'm going to discuss linear algebraic groups over $k$. The question I'll pose is only interesting when the characteristic is $p>0$.
1. Some motivation
A vector group is an ...

**8**

votes

**3**answers

541 views

### Variations on a theme of O'Bryant, Cooper and Eichhorn concerning power series over $\mathbb Z/2\mathbb Z$

Define 2 power series over the field $\mathbb Z/2\mathbb Z$ by $f=1+x+x^3+x^6+\dots$, the exponents being the triangular numbers, and $g=1+x+x^4+x^9+\dots$, the exponents being the squares. Write ...

**1**

vote

**1**answer

436 views

### hyperalgebras (positive characteristic)

The question is about commutator in integral forms. Let $A$ an associative algebra over a field of characteristic zero, $x\in A$ and $k\in \mathbb Z$, we denote $x^{(k)}=\frac{x^{k}}{k!}$.
How to ...

**6**

votes

**1**answer

468 views

### Geometric (or intuitive) interpretation of additional derivatives in characteristic p > 0

In characteristic $p > 0$ there are "extra" differential operators, i.e., ones that are outside the algebra generated by first-order derivations.
Is there any interpretation of these operators in ...

**2**

votes

**1**answer

243 views

### What is the family derived from the absolute Frobenius on the Hilbert scheme?

Let $f$ be a Hilbert polynomial, and $X := Hilb_h(P^d_{F_p})$ a Hilbert scheme defined over $F_p$. Then there is an absolute Frobenius map $F: X \to X$. I'm even interested in the case $f \equiv 1$, ...

**6**

votes

**0**answers

318 views

### Alterations of regular varieties

Let $X$ be a regular quasi-projective variety over a perfect field $k$. The existence of a "good compactification" of $X$, i.e. a regular projective variety $\bar{X}$ with an embedding ...

**12**

votes

**3**answers

1k views

### Lifting varieties to characteristic zero.

If you want to compute crystalline cohomology of a smooth proper variety $X$ over a perfect field $k$ of characteristic $p$, the first thing you might want to try is to lift $X$ to the Witt ring $W_k$ ...

**20**

votes

**3**answers

2k views

### Is there a nice proof of the fact that there are (p-1)/24 supersingular elliptic curves in characteristic p?

If $k$ is a characteristic $p$ field containing a subfield with $p^2$ elements (e.g., an algebraic closure of $\mathbb{F}_p$), then the number of isomorphism classes of supersingular elliptic curves ...

**10**

votes

**1**answer

809 views

### Are there “reasonable” criteria for existence/non-existence of Levi factors or their conjugacy in prime characteristic?

Classical theorems attributed to Levi, Mal'cev, Harish-Chandra for a finite
dimensional Lie algebra over a field of characteristic 0 state that it has a Levi decomposition (semisimple subalgebra plus ...

**23**

votes

**1**answer

1k views

### Wanted: Quadratic Space in Characteristic 2 as a Counterexample to a Theorem of Arf

Hi. Peter Roquette sent me an email asking for an example of a quadratic space in characteristic 2 having certain features. I have no idea on this, but maybe someone reading this does.
He would ...

**7**

votes

**1**answer

300 views

### Liftability of Enriques Surfaces (from char. p to zero)

Let $k$ be an algebraically closed field of characteristic $p > 0$, $X$ a variety over $k$.
We say $X$ lifts to characteristic zero, if there exists a local ring $R$ containing $\mathbb Z$ with ...

**10**

votes

**0**answers

465 views

### Lifting abelian varieties in (the closed fiber of) a fixed Neron model

Suppose that $R$ is a dvr with field of fractions $K$ and residue field $k$ and that $A_K$ is an abelian variety over $K$ with Neron model $A$ over $R$. Then the closed fiber $A_k$ is a smooth ...

**4**

votes

**2**answers

351 views

### lower bound for torsion of abelian varieties

Let $A$ be an abelian variety defined over a field $K$ of characteristic $p>0$. Let $A[\ell]$ be the group of $\ell$-torsion points, $\ell\neq p$ a prime. Are there positive constants $C, \eta$ ...

**3**

votes

**2**answers

407 views

### If the morphism of root data induced by an isogeny of a reductive group is a Frobenius, is then the isogeny itself a Frobenius?

Let $G$ be a reductive (or just semisimple) algebraic group over an algebraically closed field $k$ of characteristic $p > 0$, let $T$ be a maximal Torus and let $f:G \rightarrow G$ be an isogeny. ...

**4**

votes

**0**answers

377 views

### Hochschild Kostant Rosenberg theorem for varieties in positive characteristic?

Is there is a known version of the HKR theorem as proved in say Swan's paper "Hochschild Cohomology of Quasiprojective Varieties" in positive characteristic? I assume something is known about this as ...

**5**

votes

**3**answers

356 views

### Smoothness of hyperplane sections

Suppose $X\subset \mathbb{P}^n$ is a smooth hypersurface defined over $\mathbb{Q}$. For a "generic" prime $p$, what can be said about the set of hyperplanes $H$ in $\mathbb{P}^n(\mathbb{F}_p)$ for ...

**6**

votes

**4**answers

488 views

### Simply connected quasi-projective varieties in positive characteristic

I am looking for examples of non-projective (quasi-projective) varieties $X$ defined over a field of positive characteristic, which have trivial étale fundamental group.
It is well known that the ...

**21**

votes

**3**answers

2k views

### One dimensional (phi,Gamma)-modules in char p

I would like to better understand the simplest case of the correspondence between Galois representations and (phi,Gamma)-modules. Namely, consider 1-dimensional Galois representations of $G_{Q_p}$ ...

**8**

votes

**1**answer

564 views

### Restriction theorems over finite fields

A short while ago, Dvir proved the Kakeya conjecture over finite fields. Does this have any implications for restriction theorems over finite fields? I am aware only of implications going in the ...

**10**

votes

**1**answer

904 views

### The Infinitesimal topos in positive characteristic

This question was inspired by and is somewhat related to this question.
In his article "Crystals and the de Rham cohomology of schemes" in the collection "Dix exposes sur la cohomologie des schemas" ...

**6**

votes

**2**answers

396 views

### Concerning the dimension of a complex variety modulo a prime

Let V be a complex affine variety given as the vanishing set of a set of polynomials with integral coefficients. I have 3 questions.
1)
Under what assumption will the dimension of V over C remain ...

**3**

votes

**2**answers

382 views

### What is the correct formulation of the CDE triangle?

The CDE triangle with C Cartan matrix and D decomposition matrix is well-known for finite groups. I have not seen a full account of this for finite dimensional algebras which I find surprising as ...

**6**

votes

**3**answers

925 views

### Is $Sym^n (V^*) \cong Sym^n (V)^\ast$ naturally in positive characteristic?

Background/motivation
It is a classical fact that we have a natural isomorphism $Sym^n (V^*) \cong Sym^n (V) ^\ast$ for vector spaces $V$ over a field $k$ of characteristic 0. One way to see this is ...

**25**

votes

**3**answers

2k views

### product of all F_p, p prime

Let $R$ be the ring $$R = \prod_{p\ \text{prime}} \mathbb{F}_p$$ where $\mathbb{F}_p$ is the field having $p$ elements.
Is it true that $R$ has a quotient by a maximal ideal which is a field of ...

**20**

votes

**4**answers

2k views

### Have people successfully worked with the full ring of diferential operators in characteristic p?

This question is inspired by an earlier one about the possibility of using the full ring of differential operators on a flag variety to develop a theory of localization in characteristic $p$. (Here ...

**7**

votes

**0**answers

540 views

### Beilinson-Bernstein localization in positive characteristic

This is a follow-up to this question; in particular, I'm wondering if anyone can expand upon the interesting answers given by Kevin McGerty and David Ben-Zvi there. (In particular, in this question ...

**21**

votes

**4**answers

4k views

### What would a “moral” proof of the Weil Conjectures require?

At the very end of this 2006 interview (rm), Kontsevich says
"...many great theorems are originally proven but I think the proofs are not, kind of, "morally right." There should be better ...

**25**

votes

**2**answers

1k views

### The work of E. Artin and F. K. Schmidt on (what are now called) the Weil conjectures.

I was reading Dieudonne's "On the history of the Weil conjectures" and found two things that surprised me. Dieudonne makes some assertions about the work of Artin and Schmidt which are no doubt ...

**6**

votes

**3**answers

2k views

### congruent to 1 mod p

This is a somewhat vague question: for a prime number p, we often see that various counts come out to be 1 modulo p. What are the possible reasons for this?
Here are some I've encountered:
For some ...

**14**

votes

**2**answers

591 views

### Can the failure of the multiplicativity of Euler factors at bad primes be corrected?

Warning: This one of those does-anyone-know-how-to-fix-this-vague-problem questions, and not an actual mathematics question at all.
If $X$ is a scheme of finite type over a finite field, then the ...

**19**

votes

**4**answers

2k views

### Wild Ramification

The question is, loosely put, what is known about wild ramification?
Is there a semi-well-established theory of wild ramification that can be furthered in various specific situations? Or maybe there ...

**6**

votes

**0**answers

401 views

### On periods of algebraic integers modulo rational primes

I run, somewhat indirectly, into the following problem and I have no hints where to look in the literature in search for answers or clues.
Let $K$ be a number field, which we may assume Galois if it ...

**9**

votes

**1**answer

931 views

### Frobenius Descent

Let $S$ be a scheme of positive characteristic $p$ and $X$ a smooth $S$-scheme. Let $F:X\rightarrow X^{(p)}$ denote the relative Frobenius. A result by Cartier (often called Cartier descent or ...

**11**

votes

**3**answers

1k views

### Representations in characteristic p

Let G be a finite group and let F be an algebraically closed field. If the characteristic of F is 0, then the number of irreducible F-representations of G is given by the number of conjugacy classes ...