All Questions
404 questions
4
votes
0
answers
133
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 ...
- 41
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
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 ...
- 4,111
5
votes
0
answers
217
views
Exact differential forms in characteristic $p>0$
Let $k$ be an algebraically closed field of characteristic $p>0$. Suppose $1< e_i <p$ for $i=1,2, \ldots, n$ are integers ($n \ge 2$). What are the conditions on the $e_i$'s so that the ...
- 245
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 ...
CommunityBot
- 1
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}...
- 156k
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^...
CommunityBot
- 1
15
votes
2
answers
2k
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 ...
- 28.2k
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,\...
- 45.7k
2
votes
0
answers
60
views
A conjectural formula for the "minimal degree function", $k\rightarrow d\min(k)$, attached to recursion, $f\rightarrow A(f)$, in char $3$
THE RECURSION: $f\rightarrow A(f)$
$A: t(\mathbb{Z}/3)[t^3]\rightarrow t(\mathbb{Z}/3)[t^3]$ is the $\mathbb{Z}/3$-linear map with $A(t)=0, A(t^4)=t, A(t^7)=t^4$, and $A((t^9)f)=(2t^9)A(f)+(t^3)A((t^...
- 3,209
7
votes
2
answers
1k
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 character)...
- 111
9
votes
1
answer
381
views
Lifting of families of curves to characteristic 0
Let $k$ be a finite field, $X_0$ be a smooth affine variety over $k$ and $C\rightarrow X$ a smooth projective family of curves of genus $\geq 2$.
By a result of Elkik we can always lift $X_0$ to a ...
- 4,111
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}...
- 156k
12
votes
2
answers
883
views
Residues of $\frac{1}{\prod_{i=1}^n (x-P_i)^{e_i}}$
This is a problem occurring in my research about deformations of $\mathbb{Z}/p^n$-covers over a ring of power series. Given an algebraically closed field $k$ of characteristic $p>0$, suppose $1< ...
- 245
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_{\...
- 5,392
19
votes
1
answer
977
views
Lang's Jacobian identity: slicker, elementary proof?
In Jeffrey Lang, A Jacobian identity in positive characteristic, J. Commut. Algebra, Volume 7, Number 3 (2015), pp. 393--409, the following result is proven:
Theorem 1. Let $p$ be a prime. Let $\...
- 85.6k
18
votes
1
answer
1k
views
A linear algebra problem in positive characteristic
Let $A$ be a symmetric square matrix with entries in $\mathbb{Z}/p\mathbb{Z}$ for a prime $p$ such that all of its diagonal entries are nonzero. Does there exists always a vector $x$ with all ...
- 156k
4
votes
0
answers
275
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,519
79
votes
12
answers
13k
views
Is there a high-concept explanation for why characteristic 2 is special?
The structure of the multiplicative groups of $\mathbb{Z}/p\mathbb{Z}$ or of $\mathbb{Z}_p$ is the same for odd primes, but not for $2.$ Quadratic reciprocity has a uniform statement for odd primes, ...
- 6,237
5
votes
0
answers
197
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 ...
- 728
5
votes
1
answer
208
views
A generalization of Witt's theorem for quaternion algebra isomorphism
Let $Q$ be a quaternion $k$-algebra (namely, a dimension 4 $k$-central simple algebra).
Then it is possible to (canonically) attach a smooth projective conic $C_Q\subseteq \mathbf{P}_k^2$ to $Q$: if ...
- 1,602
4
votes
0
answers
468
views
Quaternion algebras in characteristic 2
Let $k$ be a field and let $Q$ be a quaternion algebra over $k$.
It is well known that, if $\mathrm{char}\,k\neq 2$, one can define $Q$ as the $k$-algebra of dimension $4$ generated by elements $x,y$ ...
- 2,493
2
votes
1
answer
207
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 $...
- 23.4k
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 ...
- 790
9
votes
1
answer
1k
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....
- 13.6k
37
votes
4
answers
12k
views
Finite extension of fields with no primitive element
What is an example of a finite field extension which is not generated by a single element?
Background: A finite field extension E of F is generated by a primitive element if and only if there are a ...
- 366
3
votes
0
answers
112
views
Indecomposablity in purely inseparable extensions
Let $k$ be a field of characteristic $p$ (e.g. the separable closure of $\mathbb{F}_p(t)$) and consider the extension $k(x)/k$ where $x^p\in k$ but $x$ does not. Consider a (finitely generated) ...
- 63.9k
7
votes
1
answer
540
views
Mod 2 modular forms in levels 5 and 25--how to account for this Hecke isomorphism?
The space $P1$ of my earlier question 203755 "Two spaces attached to mod 2 level 9 modular forms...", is essentially the space of mod 2 level 3 modular forms. That such a space should appear inside ...
- 5,422
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 ...
- 156k
11
votes
2
answers
1k
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 ...
- 17.9k
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-...
- 9,497
5
votes
0
answers
243
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, ...
- 61
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,111
1
vote
1
answer
280
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)$ ...
- 17.6k
17
votes
2
answers
1k
views
A short proof for simple connectedness of the projective line
The Riemann-Hurwitz formula implies that the projective line $\mathbb{P}^1_K$ over any algebraically closed field $K$ is simply connected (i.e., $\pi_1^{et}(\mathbb{P}^1_K) = 1$; equivalently, if $\...
CommunityBot
- 1
2
votes
0
answers
304
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,607
2
votes
0
answers
121
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. ...
- 728
3
votes
0
answers
307
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 ...
- 728
3
votes
0
answers
113
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 ...
- 790
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
8
votes
0
answers
471
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 ...
- 18.7k
27
votes
7
answers
6k
views
Etale covers of the affine line
In characteristic p there are nontrivial etale covers of the affine line, such as those obtained by adjoining solutions to x^2 + x + f(t) = 0 for f(t) in k[t]. Using an etale cohomology computation ...
- 8,866
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 ...
- 153
1
vote
0
answers
348
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$, $...
- 147
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 ...
- 7,800
3
votes
1
answer
410
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 ...
- 5,878
17
votes
2
answers
1k
views
Higher level analogs of Nicolas-Serre theory
NICOLAS-SERRE THEORY
Let $F \in Z/2[[x]]$ be $x+x^9+x^{25}+...$, the exponents being the odd squares, and $V$ be the space spanned by the $F^k$ with $k$ odd. Nicolas and Serre define formal Hecke ...
- 5,422
3
votes
1
answer
270
views
Restriction of separable map
If $f: X\to Y$ is a separable map between varieties that is a bijection on closed points, is it true that $f$ remains separable when restricted to an integral subscheme $Z\subset X$?
If we drop the ...
- 4,111
3
votes
1
answer
343
views
Two spaces attached to mod 2 level 9 modular forms--a conjectural Hecke isomorphism
MOTIVATION
Nicolas and Serre have analyzed the structure of the space of mod $2$ modular forms of level $1$, viewed as a "Hecke-module". They show that for each $p>2$, the operator $T_p$ acting on ...
- 5,422
2
votes
0
answers
286
views
Does the sheaf of locally exact differential forms splitting in positive characteristic
Let k be an algebraically closed field of characteristic $p>2$, $X$ a smooth projective curve of genus $g>1$ over $k$, and $F_X:X\rightarrow X$ be the absolute Frobenius morphism. Let $B^1_X$ be ...
- 85