All Questions
1,159 questions
11
votes
4
answers
2k
views
The category of finite locally-free commutative group schemes
I'm trying to understand the properties of the category $\mathcal{FL}/S$ of finite locally-free commutative group schemes over an arbitrary base-scheme $S$. I know it is not in general an abelian ...
- 111
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
11
votes
4
answers
1k
views
Explicit large finite fields in characteristic $2$
Every finite field of characteristic $2$ ist given by $\mathbb{F}_2[x]/P(x)$ for some irreducible polynomial $P\in \mathbb{F}_2[x]$.
For small degree, a simple algorithm gives a way to find $P$. Is ...
- 7,722
11
votes
1
answer
2k
views
Are automorphism groups of hypersurfaces reduced ?
In the following article : "H. Matsumura, P. Monsky, On the automorphisms of hypersurfaces, J. Math. Kyoto Univ. 3 (1964) 347-361", it is shown that in finite characteristic, automorphism groups of ...
- 6,543
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
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 ...
- 2,011
11
votes
2
answers
918
views
On a proposition in Hartshorne's paper "Ample vector bundles on curves"
In Prop. 4.1, p. 87 of the article "Ample vector bundles on curves" (Nagoya Math. J. 43 [1971], 73--89), R. Hartshorne states the following:
Let $A$ be an abelian variety [over an alg. closed field $...
- 3,076
11
votes
2
answers
1k
views
Representations of $\mathrm{SL}(2)$ in characteristic 2
$\DeclareMathOperator\SL{SL}$In characteristic zero one can use the Clebsch-Gordan rule to decompose tensor products of $\SL(2)$-modules. In characteristic $p$, things are more complicated.
I am ...
- 605
11
votes
1
answer
381
views
Chromatic representation theory of the symmetric groups?
We know that in characteristic 0, the group ring of the symmetric group $\Sigma_n$ splits via one idempotent for each partition of $n$.
In characteristic $p$, I believe the analogous statement is that ...
- 64k
11
votes
2
answers
2k
views
Idea behind Grothendieck's proof that formally smooth implies flat?
From this answer I learned that Grothendieck proved the following result.
Theorem. Every formally smooth morphism between locally noetherian schemes is flat.
The book Smoothness, Regularity, and ...
- 10.5k
11
votes
1
answer
675
views
Extended Deformation Theory (dg-Lie algebra principle in positive characteristic?)
Recently, I looked at articles that make use of Deligne's idea that "in characteristic 0 every deformation problem is governed by a differential graded
Lie algebra" as explained first in Goldman-...
- 113
11
votes
1
answer
1k
views
About the relation between the categories $\text{Sch}$, $\text{LRS}$ and $\text{RS}$
I've asked this question https://math.stackexchange.com/questions/1407451/about-the-relation-between-the-categories-textsch-textlrs-and-text on math.stackexchange , however I don't think I will ...
- 2,227
11
votes
1
answer
853
views
Is the functor of points of a scheme cofinally small?
Background: In functorial algebraic geometry one would like to consider the category of all functors $\mathsf{CRing} \to \mathsf{Set}$ and define/characterize the category of schemes as a full ...
- 63.1k
11
votes
1
answer
334
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,...
- 630
11
votes
1
answer
856
views
Sheaf associated to presheaf Aut
Let $S$ be a scheme and let $C$ be the category of schemes flat and locally of finite presentation over $S$. Endow $C$ with the fppf topology (or perhaps any subcanonical topology). Let $\mathcal P$ ...
11
votes
2
answers
863
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) ...
- 19.6k
11
votes
1
answer
615
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 ...
- 156k
11
votes
0
answers
576
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 ...
- 5,422
11
votes
0
answers
1k
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 ...
- 1,764
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
10
votes
3
answers
2k
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 ...
- 14.8k
10
votes
5
answers
5k
views
pushforward of locally free sheaf is locally free?
Hi,
Is there an example of a proper smooth map of schemes $f:X\to Y$ and a vector bundle $E$ on $X$
such that $f_*E$ is not locally free on $Y$?
Thanks
- 2,842
10
votes
1
answer
1k
views
Are higher etale homotopy groups topological groups in a natural way?
Since etale fundamental group of a scheme $X$ is the group of natural automorphisms of the fibre functor of the category of finite etale covers of $X$, it comes with structure of a topological group. ...
- 723
10
votes
1
answer
625
views
Can a division algebra have degree divisible by its characteristic?
I apologize in advance if this is easy, but I've tried Googling, and had no luck.
I'm currently working on a proof, and I realized in the course of writing that this proof will break if out there ...
- 44.7k
10
votes
3
answers
749
views
Isomorphic schemes over DVR
Let $S, S'$ be flat schemes over a DVR. Their generic fibers are isomorphic and their special fibers are isomorphic as well.
Does that imply $S$ and $S'$ isomorphic? If not, what can go wrong?
Thanks ...
- 101
10
votes
2
answers
2k
views
Parahoric Group Scheme
I am looking for the definition of a parahoric group scheme in the sense of Bruhat and Tits? I couldn't find a reference for that? at least a "clear" reference!
thanks
- 307
10
votes
1
answer
1k
views
How does descent theory imply a sheaf is a scheme?
I've noticed that often authors will comment that "descent theory" shows that some sheaf in the étale topology is actually a scheme. I was wondering what result in descent theory actually implies ...
- 2,108
10
votes
1
answer
265
views
Finite coverings by closed subschemes
Let $X$ be a scheme. Assume we have two closed subschemes $Y_1$, $Y_2$ that cover $X$ set-theoretically. Are there closed subschemes $Y'_1$, $Y'_2$ with the same underlying sets, such that the ...
- 19.6k
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
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
10
votes
2
answers
393
views
Counting points on varieties of low codimension
The graduate students here at MIT have been thinking about questions like the following: Over $\mathbb{F}\_q$, how many symmetric matrices are there with nonzero determinant and $0$'s on the diagonal? ...
- 156k
10
votes
1
answer
570
views
Commutativity of the Chow ring in positive characteristic
I was looking in Ravi Vakil's notes on Intersection Theory, Class 20, where he introduces the bivariant intersection theory, in particular the Chow ring $A^\ast (X)$.
On p. 2, he writes the following ...
- 40.3k
10
votes
1
answer
2k
views
Can a scheme be defined by gluing open affines such that the intersections are affine?
One way to think of a manifold is as a family of of open subsets $U_i \subset \mathbb{R}^n$, together with distinguished subsets $V_{ij} \subset U_i$ and isomorphisms $\psi_{ij}: V_{ij} \to V_{ji}$ ...
- 25.6k
10
votes
1
answer
603
views
Isbell Duality and Dualizing Scheme Objects
I'm not sure if this question is too elementary for MO; nevertheless, I have seen many helpful discussions surrounding this topic here. I'm interested in studying the adjunction $\operatorname{Spec}\...
- 223
10
votes
1
answer
1k
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-...
- 121
10
votes
1
answer
841
views
Is there a direct proof that affine schemes are fppf quasi-compact?
Let $A$ be a (commutative) ring. A family $(B_i)_{i\in I}$ of $A$-algebras is said to be an fppf cover if it satisfies three properties: (1) each $B_i$ is flat as an $A$-module, (2) each $B_i$ is ...
- 9,418
10
votes
2
answers
1k
views
Does a universal Frobenius map exist?
For any prime p, one has the Frobenius homomorphism Fp defined on rings of characteristic p.
Is there any kind of object, say U, with a "universal Frobenius map" F such that for any prime p and any ...
- 2,399
10
votes
1
answer
1k
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 ...
- 52.9k
10
votes
0
answers
371
views
How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?
$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
- 1,335
10
votes
0
answers
323
views
The mod 3 reduction of some powers of delta
Let f in Z/3[[x]] be the mod 3 reduction of the Fourier expansion of the normalized weight 12 cusp form delta for the full modular group. The exponents appearing in f are all 1 mod 3. Fix
k>0 and ...
- 5,422
9
votes
2
answers
656
views
How does the order of a pole of a zeta function indicate any geometric information?
Here, I'm primarily concerced about zeta functions of hypersurfaces over fields of finite characteristic.
Assume $F_q$ to be a finite field with q elements. Consider the zeta function of the ...
- 141
9
votes
2
answers
910
views
Example of a smooth projective family of varieties in characteristic $p$ where the Hodge numbers jump
Let $\mathbb F$ be an algebraic closure of the field of order $p$. Let $S=\textrm{Spec}(\mathbb F[[z]])$ with special point $s$ and generic point $\eta$. I'm looking for an example of a smooth ...
- 790
9
votes
2
answers
1k
views
Can the algebraic geometry of schemes be developed internally in topoi?
Using the internal logic of a topos it's often possible to derive newer theorems about sheaves from earlier ones about simpler objects, assuming that you can prove the earlier ones constructively. In ...
- 3,816
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
9
votes
2
answers
2k
views
Diagonal map and "infinitesimal points"
Let $f:X\to Y$ be a morphism between schemes. To construct the relative sheaf of differentials on $X$ (relative to $Y$), we first consider the diagonal map $\Delta: X \to X\times_Y X$ and then define $...
- 1,510
9
votes
3
answers
2k
views
Characterisation for separable extension of a field
Can someone verify this for me.. or tell me what reference shows me this... is this true:
Let $k$ be a field. Then a field extension $K$ of $k$ is separable over $k$ iff for any field extension $L \...
- 2,275
9
votes
2
answers
603
views
Is the category of schemes wellpowered? regularly wellpowered?
Wellpowered means that for every scheme $X$, the subobject lattice of monormophisms $Y \to X$ is essentially small; regularly wellpowered means that for every scheme $X$, the regular subobject lattice ...
- 64k
9
votes
1
answer
763
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 ...
- 20.2k
9
votes
1
answer
1k
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,902
9
votes
1
answer
847
views
Algebro-geometric version of {vector fields} $\longleftrightarrow$ {flows} correspondence?
Main Question: What Is the correpondence between flows and vector
fields in algebraic geometry?
Here is a more precise statement could be an answer If it was true (I have no idea it is):
"...
- 7,799