All Questions
2,543 questions
18
votes
1
answer
2k
views
Independence of $\ell$ of Betti numbers
When $X$ is a smooth proper variety over $\mathbb F_q$, we know by Deligne's theory of weights that the dimension of $H^i_{\operatorname{\acute et}}(\bar X, \mathbb Q_\ell)$ does not depend on $\ell$. ...
- 28.8k
17
votes
4
answers
1k
views
Is $O_n({\bf Q})$ dense in $O_n({\bf R})$?
I am wondering if the orthogonal group $O_n({\bf Q})$ is dense in $O_n({\bf R})$?
It is easily checked for $n = 2$ but I think that there is a general principle concerning compact algebraic groups ...
- 18.7k
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
17
votes
2
answers
1k
views
Can Hom_gp(G,H) fail to be representable for affine algebraic groups?
Let $G$ and $H$ be affine algebraic groups over a scheme $S$ of characteristic 0 and let $\textbf{Hom}_{S,gp}(G,H)$ be the functor $T \mapsto \text{Hom}\_{T,gp}(G,H)$
Theorem (SGA 3, expose XXIV, 7....
- 10.5k
17
votes
2
answers
3k
views
What's the point of a Whittaker model?
Let $G$ be a quasi-split connected reductive group over a $p$-adic field $F$. Let $B$ be a Borel subgroup which is defined over $F$, with $B = TU$, $T$ defined over $F$. The choice of $T$ and $B$ ...
- 6,180
17
votes
4
answers
2k
views
What are supersingular varieties?
For varieties over a field of characteristic $p$, I saw people talking about supersingular varieties.
I wanted to ask "why are supersingular varieties interesting". However, as I don't want to ask an ...
- 2,040
17
votes
4
answers
4k
views
cohomology theory for algebraic groups
Is there a cohomology theory for algebraic groups which captures the variety structure and restricts to the ordinary group cohomology under certain conditions.
- 173
17
votes
3
answers
6k
views
What is the difference between p-adic Lie groups and linear algebraic groups over p-adic fields?
I thought they were the same, just different names. Let me make question more precise:
Let $G$ be any linear algebraic group over a p-adic field $\mathbb{Q}_p$, is $G$ a p-adic Lie group w.r.t. the ...
- 1,702
17
votes
3
answers
2k
views
Does every reductive group scheme admit a maximal torus?
A theorem of Grothendieck states that any smooth reductive algebraic group over a field $k$ admits a maximal torus over $k$. My question concerns what happens for schemes.
Let $S$ be a scheme and ...
- 21.4k
17
votes
1
answer
697
views
Is $GL_n(\mathbb{Q}_p)=GL_n(\mathbb{Z}_p)GL_n(\mathbb{Q})$?
Is $GL_n(\mathbb{Q}_p)=GL_n(\mathbb{Z}_p)GL_n(\mathbb{Q})$? Generally, let $R$ be a discrete valuation ring and $K$ its fraction field. Let $\widehat{R}$ be the completion and $\widehat{K}$ the ...
- 517
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 $\...
- 3,362
17
votes
2
answers
1k
views
Is the wonderful compactification of a spherical homogeneous variety always projective?
Let $G/H$ be a spherical homogeneous variety, where $G$ is a complex semisimple group. Assume that the subgroup $H$ is self-normalizing, i.e., $\mathcal{N}_G(H)=H$. Then by results of Brion and Pauer
...
- 14.2k
17
votes
2
answers
947
views
Are the unipotent and nilpotent varieties isomorphic in bad characteristics?
In characteristic 0 or good prime characteristic, there are standard ways to relate the unipotent variety $\mathcal{U}$ of a simple algebraic group $G$ and the nilpotent variety $\mathcal{N}$ of its ...
- 52.9k
17
votes
2
answers
2k
views
How to think of algebraic geometry in characteristic p?
How does a working mathematician usually think about algebraic geometry in characteristic $p$? For the sake of concreteness, and to make things more "geometric" (whatever that means), let's ...
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
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
17
votes
0
answers
585
views
Actions on ℍⁿ generated by torsion elements
Let $n$ be a large integer.
I am looking for a cocompact properly discontinuous isometric action on $n$-dimensional Lobachevky space which is generated by elements of finite order.
Or equivalently, ...
- 45k
16
votes
3
answers
2k
views
Diagonalizable subgroups of a connected linear algebraic group
Let $G$ be a connected linear algebraic group
over an algebraically closed field $k$ of characteristic 0.
Let $D\subset G$ be a closed diagonalizable subgroup of $G$
(a subgroup of multiplicative type)...
- 14.2k
16
votes
6
answers
2k
views
What is an algebraic group over a noncommutative ring?
Let $R$ be a (noncommutative) ring. (For me, the words "ring" and "algebra" are isomorphic, and all rings are associative with unit, and usually noncommutative.) Then I think I know what "linear ...
- 54.6k
16
votes
3
answers
2k
views
On Category O in positive characteristic
Let $G$ be a semisimple algebraic group over an algebraically closed field $k$. In the case that $k$ has characteristic 0, there has been intensive study of the BGG category O of representations of ...
- 3,637
16
votes
3
answers
5k
views
What is an Oper?
Given a curve C, and a reductive group G, there is a moduli stack Loc_G(C), the stack of G-local systems. I keep reading that there's a substack of "opers" but am having trouble locating a definition....
- 16k
16
votes
1
answer
5k
views
Grothendieck-Messing theory for finite flat group schemes
Classical Grothendieck-Messing theory relates deformations of $p$-divisible groups to lifts of the Hodge filtration (if the ideal defining the nilpotent immersion is equipped with a PD-structure). If ...
- 21.3k
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
16
votes
1
answer
1k
views
Coarse moduli spaces over Z and F_p
I would like to know to what extent it is possible to compare fibers over $\mathbb{F}_p$ of coarse moduli spaces over $\mathbb{Z}$, and coarse moduli spaces over $\mathbb{F}_p$. I ask a more precise ...
- 6,543
16
votes
1
answer
984
views
Reconstruct a variety from its crystalline topos
Let $k$ be a perfect field of positive characteristic. Let $X$ be a smooth projective geometrically connected $k$-scheme with a $k$-point.
Can we reconstruct $X$ from its small crystalline topos $((X/...
user158636
16
votes
1
answer
455
views
Escaping from a centralizer
Let $G = Sym(n)$, $n$ even. Let $H<G$ be the stabilizer of the partition $\{\{1,2\},\{3,4\},\dotsc,\{n-1,n\}\}$, or, what is the same, the centralizer of $(1\;2) \dotsc (n-1\; n)$.
By Stirling's ...
- 20.2k
16
votes
0
answers
429
views
Complete resource of Ngô's course notes on Algebraic Groups and Group Schemes
I'm looking for Ngô's M2 course notes on "Groupes algébriques et schémas en groupes".
The Wayback Machine has an incomplete capture here. However, it apparently lacks chapter 1, 3, and 5.
I ...
- 161
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
15
votes
4
answers
1k
views
Subgroups of $SL_2(\mathbb R)$ which contain $SL_2(\mathbb Z)$ as a finite index subgroup
Let $G\subset \mathrm{SL}_2(\mathbb R)$ be a subgroup such that $\mathrm{SL}_2(\mathbb Z)\subset G$.
What are the possible groups such that $\mathrm{SL}_2(\mathbb Z)\subset G$ is of finite index? Is $...
- 195
15
votes
3
answers
1k
views
Finitely generated matrix groups whose eigenvalues are all algebraic
Let $G$ be a finitely generated subgroup of $GL(n,\mathbb{C})$. Assume that there exists a number field $k$ (i.e. a finite extension of $\mathbb{Q}$) such that for all $g \in G$, the eigenvalues of $...
- 153
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 ...
- 943
15
votes
3
answers
4k
views
Connectedness of the linear algebraic group SO_n
I apologize in advance if my question is too elementary for MO.
It is a well known fact that the linear algebraic group $G = \mathsf{SO}_n$ is connected, and there exist a few different proofs of ...
- 6,614
15
votes
5
answers
3k
views
Can we count isogeny classes of abelian varieties?
Let's fix a finite field F and consider abelian varieties of dimension g over F. Can we say how many isogeny classes there are? Is it even clear that there's more than one isogeny class? For g=1, ...
- 1,988
15
votes
4
answers
2k
views
Why are anisotropic tori compact?
I'll do my best to formulate everything in the modern language. Let $F$ be a local field. A torus $S$ is an $F$-group scheme of finite type such that $S \times_F \overline{F}$ is isomorphic to a ...
- 6,180
15
votes
2
answers
2k
views
How Does a Borel Subgroup Know Which Weights Are Dominant
Let $G$ be a simple group (say $SL_n$) and let $B$ be a Borel subgroup (say upper triangular matrices). Then all irreducible representations of $G$ are induced from one-dimensional representations of $...
- 5,548
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
15
votes
2
answers
3k
views
Are group schemes in Char 0 reduced? (YES)
A Theorem of Cartier (e.g. Mumford, Lecture 25) states that every separated, finite type group scheme $G/k$ over a field $k$ of characteristic $0$ is reduced. Does this result remain valid if we ...
- 3,284
15
votes
3
answers
6k
views
Simultaneous diagonalization
I'm pretty sure that the following (if true) is a standard result in linear algebra but unfortunately I could not find it anywhere and even worse I'm too dumb to prove it: Let $k$ be a field, let $V$ ...
- 5,243
15
votes
3
answers
4k
views
Iwasawa Decomposition
Does anyone know where I can find a proof of the Iwasawa decomposition for reductive groups? I know that there are a couple of related results that are called the Iwasawa decomposition, but I am ...
- 5,548
15
votes
2
answers
4k
views
Hopf algebra duality and algebraic groups
Background:
Let $G$ be a linear algebraic group over an algebraically closed field $k$ and let $I \subseteq k[G]$ be the ideal of the identity element. The hyperalgebra $U(G)$ of $G$ is defined to be ...
- 3,637
15
votes
1
answer
4k
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 ...
- 4,450
15
votes
2
answers
614
views
Existence of a regular semisimple element over $\mathbb{F}_{q}$
This is probably old, a Chevalley level of old, but I'm not at all an expert in this field so I need help.
Let $G$ be a simply connected (almost) simple linear algebraic group defined over $K=\mathbb{...
- 455
15
votes
2
answers
814
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 ...
- 9,418
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
4
answers
4k
views
Simply connected algebraic groups and reductive subgroups of maximal rank
Recall that a connected semisimple algebraic group $G$ over an algebraically closed field $K$ of arbitrary characteristic was defined by Chevalley to be simply connected if the character group $X(T)$ ...
- 52.9k
15
votes
1
answer
550
views
Branching rule of $S_n$ and Springer theory
Let $u\in\mathrm{GL}_n$ be a unipotent element, let $\mathcal{B}_u$ be the variety of Borel subgroups containing $u$, and let $d=\dim \mathcal{B}_u$. Then Springer theory tells us that $H^{2d}(\...
- 1,666
15
votes
1
answer
507
views
Pushout of group schemes (question on a lemma in SGA3)
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SL{SL}\DeclareMathOperator\diag{diag}$In SGA3, Expose XXIV, Lemme 7.2.2 it says (let's say our base scheme $S$ is an algebraically closed field $k$): ...
- 193
15
votes
1
answer
474
views
Dirichlet's unit theorem for reductive schemes
Let $O_{K,S}$ be the ring of $S$-integers in a number field $K$. Dirichlet's unit theorem implies that the group of units in $O_{K,S}$ is a finitely generated group. In other words, the group $\mathbb ...
- 151
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