All Questions
198 questions with no upvoted or accepted answers
25
votes
0
answers
1k
views
Status of the Euler characteristic in characteristic p
In the introduction to the Asterisque 82-83 volume on `Caractérisque d'Euler-Poincaré, Verdier writes:
Enfin signalons que la situation en caractéristique positive est loin
d'être aussi ...
- 8,723
24
votes
0
answers
814
views
Revising the proof of CFSG
This is an oft-quoted excerpt from John Thompson's article "Finite Non-Solvable Groups":
“... the classification of finite simple groups is an exercise in taxonomy. This is
obvious to the ...
- 1,433
20
votes
0
answers
408
views
Ado's theorem and the reduction to positive characteristic
The synopsis: proofs of Ado theorem in positive characteristic are simple, and in characteristic $0$ are difficult. Can one infer the characteristic $0$ case from the positive characteristic case?
The ...
- 2,934
17
votes
0
answers
1k
views
Katz--Mazur for abelian varieties
Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties.
Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac 1N]...
- 18.7k
15
votes
0
answers
2k
views
Why was it so difficult to define the relative de Rham-Witt complex?
In Illusie's original article, the de Rham-Witt complex is defined for a smooth scheme over a perfect characteristic $p$ base $S$, without reference to $S$. Some 25 years later, Langer and Zink ...
- 16.2k
15
votes
0
answers
779
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,265
14
votes
0
answers
298
views
Representation theory of Kac-Moody algebras in positive characteristic
I have been trying to learn about the representation theory of Kac-Moody algebras in positive characteristic. However, my usual reference for the subject (Infinite dimensional Lie algebras by Kac) ...
- 1,389
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
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
13
votes
0
answers
267
views
Group homology $\mathrm{SL}_2$ acting on $\mathrm{Sym}^g$
Let $k$ be a field. We write $\mathrm{Sym}^g(k^2)$ for the $g$-th symmetric power of the (a?) standard representation of $\mathrm{GL}_2(k)$ ($g\geq 0$ an integer). Here I consider $\mathrm{Sym}^g(k^2)$...
- 408
13
votes
0
answers
943
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 I'...
- 3,637
12
votes
0
answers
347
views
Does every finite group have a small projective representation (over some ring)?
Question. Let $G$ be a finite group. Can we find some (commutative) ring $R$ and some positive integer $d=O(\log\lvert G\rvert)$ such that $G$ can be found as a subgroup of $\operatorname{PGL}_d(R)$?
...
- 602
12
votes
0
answers
420
views
Non-isomorphic groups with same character tables and different Brauer character tables
Let $A$ be a discrete valuation ring with perfect residue field $k$ of characteristic $p$ and field of fractions $K$ of characteristic $0$. Let $G$ and $H$ be two finite groups and assume that $K$ is ...
12
votes
0
answers
516
views
Does $\mathrm{Ext}^1(M,M) \neq 0$ imply $\mathrm{Ext}^2(M,M) \neq 0$?
$\DeclareMathOperator{\Ext}{\operatorname{Ext}}$The first question is about group algebras:
Question 1: Let $A=kG$ be a group algebra (with $G$ finite) and let $M$ be an indecomposable $A$-module. ...
- 26.5k
12
votes
0
answers
729
views
Elkies' supersingularity theorem in higher dimension (in terms of the associated Newton polygon)
Elkies' supersingularity theorem: Given an elliptic curve $E$ over $\mathbb{Q}$, there are infinitely many primes $p$ such that $E$ is supersingular over $\mathbb{F}_p$.
I have seen another post on ...
- 3,539
12
votes
0
answers
716
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 ...
- 1,609
11
votes
0
answers
325
views
Examples and non-examples of Tannakian $\infty$-categories
My definition of a Tannakian $\infty$-category is taken from this paper ("Tannaka duality over ring spectra" by James Wallbridge).
(p. $53$, definition $7.9$) Let $R$ be an $E_{\infty}$-...
- 439
11
votes
0
answers
201
views
Modular version of Mednykh's formula?
Let $G$ be a finite group and $\Sigma_g$ a closed Riemann surface of genus $g$. Then Mednykh's formula states
$\frac{\left|\mathrm{Hom}(\pi_1(\Sigma_g),G)\right|}{\left|G\right|} = \frac{1}{\left|G\...
- 6,622
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
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
0
answers
336
views
Dual Coxeter numbers, Langlands dual groups, black holes and twisted compactification of 6d (2,0) A D E theories on a circle
A 6-dimensional (2,0) superconformal quantum field theory comes in Lie algebra A, D, E types. These theories do not have classical Lagrangian and are purely quantum.These theories on a torus ...
- 191
9
votes
0
answers
434
views
Stable homotopy type of $BG^{\wedge}_p$ in algebraic terms
In the mid 90's, Martino- Priddy proved that given two finite groups $G, H$, the following are equivalent:
$\mathbb{F}_p\mathrm{Inj}(P,G)\cong \mathbb{F}_p\mathrm{Inj}(P,H)$ as $\mathbb{F}_p\mathrm{...
- 795
9
votes
0
answers
560
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 ...
- 5,422
9
votes
0
answers
1k
views
Ample vector bundles, $H^1=0$ and global generation in characteristic $p$
This is a follow up from Ample vector bundles on curves question, in characteristic $p>0$. First, some background. It is known that in characteristic $0$, a vector bundle $E$ on say a projective ...
- 2,976
8
votes
0
answers
300
views
Which algebra is $\mathbb{F}_p \otimes_{HH^{\cdot} (\mathbb{F}_p)} \mathbb{F}_p$?
Let $HH^{\cdot}(\mathbb{F}_p)$ be the Hochschild cohomology of $\mathbb{F}_p$ over $\mathbb{Z}$, which as a $E_1$ ring is simply $\mathbb{F}_p[x]$ with $x$ in cohomological degree $2$. Then it's clear ...
- 2,356
8
votes
0
answers
688
views
An Azumaya algebra from a vector bundle, and a construction of Belov-Kanel and Kontsevich
Let $S/k$ be a scheme over a perfect field $k$ of characteristic $p>0$.
In Automorphisms of the Weyl Algebra, Belov-Kanel and Kontsevich write down the map
$$\alpha: H^0(\Omega^1_{S/k}/d\mathcal O) ...
- 2,368
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
8
votes
0
answers
381
views
Degeneration of wildly ramified local monodromy representations - near or far from Deligne?
Suppose we have a surface $S$ mapping to a curve $C$ and a finite cover $Y/S$ that is ramified at a divisor $D$. For each point $x \in C$ we get a ramified cover of the curve $S_x$, and we can study ...
- 149k
8
votes
0
answers
873
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 ...
- 783
7
votes
0
answers
374
views
Arbitrarily non-degenerate Hodge to de Rham spectral sequence
It is true that for any $n$ there exists a compact complex manifold which Frolicher spectral sequence does not degenerate at the $n$-th page(https://arxiv.org/pdf/0709.0481.pdf).
Does the analogous ...
- 7,377
7
votes
0
answers
355
views
Are curves over imperfect fields defined over a smaller field?
Let $C$ be regular projective curve defined over a field $K$. Let $K/L$ be a totally inseparable finite extension. Does there exist a regular projective curve $C'$ over $L$ such that that the pullback ...
- 149k
7
votes
0
answers
294
views
Picard scheme of varieties over imperfect fields
Let $k$ be a field and $X$ a proper $k$-scheme. It is a theorem of Murre and Oort that the Picard functor is representable by a $k$-group scheme $\operatorname{Pic}_{X/k}$ which is locally of finite ...
- 4,450
7
votes
0
answers
236
views
Invariant theory of $SL_2$ over a field of positive characteristic
Let $k$ be an algebraically closed field of characteristic $p>0$. Let $W$ be a finite dimensional $SL_2$-module over $k$. Let $V$ be the natural representation of $SL_2$.
What can be said - in ...
- 605
7
votes
0
answers
286
views
Level p characteristic 2 modular forms and thetas
BACKGROUND
Let p be an odd prime. An element of Z/2[[x]] is "modular of level p" if it is the mod 2 reduction of a g in Z[[x]] with g the Fourier expansion of a modular form for gamma_0(p). In ...
- 5,422
7
votes
0
answers
207
views
Unicritical rational functions on curves in characteristic $p$
Let $k$ be an algebraically closed field of positive characteristic $p$, and let $X_{/k}$ be a smooth projective connected curve. Let $x_0$ be a point of $X(k)$.
How precisely can one describe the ...
- 1,199
7
votes
0
answers
491
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 $X\...
- 4,450
6
votes
0
answers
266
views
What is the Fourier transform in modular representation theory?
For a finite group $G$ there is the Fourier transform $\displaystyle \hat{f}(\rho)=\sum_{g \in G} f(g)\rho(g)$ with inverse $$\displaystyle f(g)=\frac{1}{|G|}\sum_{\rho}d_{\rho}\operatorname{Tr}\left(\...
- 571
6
votes
0
answers
173
views
Orlik-Solomon algebra and hyperplane complements in positive characteristic
Let $k$ be an algebraically closed field of characteristic $p\geq 0$, $\underline H:=\{H_1,\dots, H_m\}$ a set of hyperplanes in $\mathbb A_k^n$ and $X:=\mathbb A^n-(\bigcup H_i)$.
Given a ring $R$ ...
- 728
6
votes
0
answers
113
views
$S_n$-invariant polynomials on the dual of reflection representation
Let $W=S_n$ (the symmetric group) acting on $V=k^n$ via permutation of the indices, where $k$ is an algebraically closed field. Closely related to this are the reflection (sub-)representation $V_0=\{ (...
- 1,336
6
votes
0
answers
343
views
Are all stabilizer groups of the co-adjoint action smooth?
Let $k$ be a (non-archimedean) local field of positive characteristic $p$ and $\mathfrak{n}$ be any finite-dimensional nilpotent Lie algebra over $k$ with nilpotence length $l<p$. It is well-known ...
- 1,702
6
votes
0
answers
467
views
Torsionfree crystalline cohomology implies torsionfree etale cohomology?
Let $X$ be a smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$. Let $W=W(k)$ be the ring of Witt vectors of $k$.
Assume that the crystalline cohomology $H^2_{...
- 91
6
votes
0
answers
436
views
Do there exist weak Lefschetz-type statements that were proved for varieties over complex numbers, but were not proved in finite characteristic?
As far as I understood the situation (reading section 3.5B of Lazarsfeld's "Positivity in algebraic geometry" and also some of the references), some of weak Lefschetz-type statements known rely on '...
- 16.9k
6
votes
0
answers
456
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 ...
- 797
5
votes
0
answers
210
views
Can modular representation theory be used to prove Sylow's existence theorem?
Edit 20/12: I added a more precise question at the bottom of the post.
Given a finite group $G$ and a prime $p$, we want to prove that $G$ has a $p$-subgroup $P$ such that $|G:P|$ is not divisible by $...
- 1,433
5
votes
0
answers
108
views
Indecomposable objects in iterated functor categories
Let $\mathcal{O}$ be a DVR with a uniformizer $\pi$ and a finite quotient field $\mathbb{F}_q=\mathcal{O}/\pi$. Write $\mathcal{O}_r = \mathcal{O}/(\pi^r)$. Fix now an integer $r\geq 2$. We define ...
- 5,039
5
votes
0
answers
139
views
Liouville property in the Bost theorem on foliations
Let $X$ be a smooth algebraic variety over a number field $K$, and let $\mathcal{F}$ be an involutive coherent subsheaf of the tangent bundle. After a pullback to $\mathbb{C}$, $\mathcal{F}_\mathbb{C}$...
- 485
5
votes
0
answers
149
views
Quiver and relations of $F\mathrm{SL}(2,q)$
$\DeclareMathOperator\SL{SL}$Let $q=p^n$ be a prime power and $F$ a field of characteristic two.
Let $G=SL(2,q)$ the group of $2 \times 2$ special linear matrices over the field with $q$ elements with ...
- 26.5k
5
votes
0
answers
148
views
algebraic de Rham cohomology of toric varieties (reference request)
I haven't been able to find anything workable yet, but I'm looking for a reference on the de Rham cohomology of toric varieties, where as many as possible of the following conditions are handled:
...
- 1,142