All Questions
226 questions
13
votes
0
answers
749
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 ...
anon1432
4
votes
2
answers
460
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 ...
- 16.9k
15
votes
2
answers
596
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}...
- 233
15
votes
6
answers
3k
views
Characteristic zero and characteristic $p$ in algebraic geometry
Are there non-trivial (i.e. excluding concepts that can be defined only for $p>0$) statements in algebraic geometry that hold for all fields of characteristic $p$ for all prime $p$ but are known ...
user16974
3
votes
0
answers
197
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 ...
- 417
3
votes
1
answer
282
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 ...
- 642
4
votes
0
answers
130
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)...
- 2,356
9
votes
2
answers
868
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^...
- 1,072
3
votes
1
answer
317
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 ...
- 16.9k
3
votes
0
answers
218
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?
- 4,164
3
votes
1
answer
251
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-...
- 16.9k
24
votes
5
answers
6k
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 ...
17
votes
2
answers
3k
views
Why is one interested in the mod p reduction of modular curves and Shimura varieties?
Why is one interested in the mod p reduction of modular curves and Shimura varieties?
From an article I learned that this can be used to prove the Eichler-Shimura relation which in turn proves the ...
user19475
7
votes
3
answers
927
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 ...
- 305
11
votes
4
answers
3k
views
What does ramification have to do with separability?
Does ramification have anything to do with inseparability? It feels like an extension of Q in which p ramifies should somehow correspond to an extension of F_p(t). Does totally ramified <--> purely ...
- 15.4k
21
votes
2
answers
5k
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 papers:
Kawanoue, Hiraku, Toward resolution of singularities over ...
- 10.8k
19
votes
2
answers
3k
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 ...
- 20.5k
5
votes
1
answer
273
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 ...
- 7,722
5
votes
1
answer
230
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 + ...
- 103
19
votes
1
answer
2k
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 ...
- 4,450
28
votes
3
answers
2k
views
Intuitive pictures in characteristic p
This is a tough one, but does anyone know of any images that recall characteristic p geometry (over algebraically closed fields) in some sense? It is not enough if it is some picture that can be also ...
- 2,215
3
votes
0
answers
232
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$....
- 111
3
votes
1
answer
252
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}...
- 4,593
9
votes
1
answer
833
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 ...
- 3,076
8
votes
1
answer
603
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^{...
- 4,070
1
vote
0
answers
51
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 ...
- 1,479
10
votes
6
answers
2k
views
Proofs in the same vein as Ax-Grothendieck
I would like to see other examples of (ideas of) proofs and results in the same vein as the proof of the Ax-Grothendieck theorem. To explain what I mean by "in the same vein", I will quote from the ...
- 23.4k
7
votes
2
answers
1k
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 ...
- 3,758
2
votes
1
answer
451
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 ...
- 313
1
vote
0
answers
246
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$-...
10
votes
3
answers
2k
views
Pullback along Frobenius morphism
Let $X$ be a scheme over a finite field $\mathbb{F}_q$ and let $F : X \to X$ be the absolute Frobenius morphism. If $\mathcal{L}$ is an invertible $\mathcal{O}_X$-module, then there is a natural ...
- 63.1k
8
votes
2
answers
1k
views
Lefschetz on étale fundamental group for quasi-projective varieties
If $X$ is a smooth projective variety of dimension at least $3$ over $\mathbb{C}$, Lefschetz's Hyperplane theorem says that for every hyperplane section $H$
$$\pi^1(H)\to\pi^1(X)$$
is an isomorphism, ...
- 483
9
votes
1
answer
430
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_{\...
21
votes
4
answers
2k
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 ...
- 3,857
4
votes
2
answers
340
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-...
- 43
16
votes
2
answers
1k
views
Is the tangent space functor from PD formal groups to Lie algebras an equivalence?
The previous version of this question was rather badly broken, and I hope this version makes some sense.
There have been a few questions on MathOverflow about how much representation-theoretic ...
- 45.7k
18
votes
3
answers
3k
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$ ...
- 4,015
4
votes
0
answers
169
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 ...
- 599
7
votes
3
answers
752
views
Does every linear group admit a subgroup of dimension 1?
Suppose that $G$ is a linear group of positive dimension, defined over some field $k$. Is that true, that $G$ admits a (closed) one-dimensional subgroup?
I'm pretty much sure this is true in ...
- 267
31
votes
4
answers
5k
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 ...
19
votes
3
answers
2k
views
Elkies' supersingularity theorem in higher dimension
The following is a theorem of Elkies:
Let $X$ be an elliptic curve over $\mathbb{Q}$. Then there are infinitely many primes $p$ such that the action of Frobenius on $H^1(\mathcal{O}, X)$ is zero.
...
- 156k
11
votes
1
answer
928
views
Non-algebraic K3 surfaces in characteristic $p$
I have a very naive question.
Recall that over the field of complex numbers, there exist non-algebraic K3 surfaces. Namely, smooth non-projective simply connected compact complex surfaces with ...
- 21.4k
15
votes
1
answer
1k
views
Number of curves over a finite field
Let $K$ be a finite field. Is there a formula for the number of isomorphism classes of genus $g$ smooth curves over $K$?
In other words does there exists a formula for the number of rational points ...
- 8,998
5
votes
0
answers
568
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,\...
- 1,595
7
votes
2
answers
827
views
$p$-torsion of an abelian variety of $p$-rank $0$
Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $A$ be an abelian variety over $k$ such that $A[p](k) = 0$, i.e., such that $A$ has $p$-rank $0$. If I am not mistaken, ...
- 2,663
10
votes
2
answers
761
views
Applications of alterations
In 1995, de Jong proved the existence of regular alterations in arbitrary characteristic. I would like to have a little survey of important applications of this theorem, e.g. things you could do if ...
- 1,072
14
votes
0
answers
1k
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 ...
- 2,663
6
votes
1
answer
1k
views
Generic Smoothness Type of Results in Positive Characteristic
Let $f:X\to Y$ be a surjective morphism between two projective varieties over a field of characteristic $p>0$. Also assume that $f_*\mathcal{O}_X=\mathcal{O}_Y$, and $X$ is smooth.
We know that ...
- 313
9
votes
1
answer
863
views
Are there noncommutative extensions of $\alpha_p$ by $\mathbb{G}_m$?
Let $k$ be a field of characteristic $p > 0$ (algebraically closed, if you want; that doesn't make a difference). Consider a finite type $k$-group scheme $E$ that is a (central) extension of $\...
- 1,103
3
votes
1
answer
642
views
Decomposition theorem for polarized abelian varieties in positive characteristic
In characteristic zero we have the following decomposition theorem for polarized abelian varieties: it gives an isomorphism between a PPAV and a product of PPAV's of lower dimension and is valid (as ...
- 614