All Questions
235 questions
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
5
votes
1
answer
555
views
Intersections of $B$ and $B^-$ orbits in the flag variety $G/B$
Let $G = SL_n(\mathbb{C})$, $B$ be a Borel subgroup, and $B^-$ be the opposite Borel.
Both the $B$ and $B^-$ orbits on the flag variety $G/B$ are indexed by the Weyl group $W$. Let $S_{w_1}$ and $S^-...
- 1,719
5
votes
1
answer
910
views
line bundle descends?
Let the permutation group $S_4$ act on $\mathbb C^4$ by permuting the coordinates. Consider the categorical quotient $\mathbb P(\mathbb C^4)/S_4$. It is a projective variety by a theorem of Mumford. ...
- 187
4
votes
1
answer
1k
views
Group Cohomology for Reductive Groups
Can anyone provide a reference to proofs of statements of the following type: The higher algebric group cohomology of a reductive group $G$ over $\mathbb{C}$ vanishes.
I am interested not just in ...
- 1,180
4
votes
2
answers
578
views
Suslin's Stability Theorem for Chevalley Groups
I am looking for a version of Suslin's Stability Theorem for Chevalley groups.
The version of the theorem for $G=SL_n({\mathbb Z}[x_1, \dots , x_m])$ states that the if $n\ge m+2$, the elementary ...
- 6,224
3
votes
2
answers
489
views
Hopf algebra of Chevalley group from the root system
Has anyone worked out a uniform way of constructing the Hopf algebra of a Chevalley group out of the root system (or, more precisely out of the root datum for reductive groups).
By "uniform", I mean ...
- 778
2
votes
1
answer
446
views
Question on the modulus character of classical p-adic group
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Sp{Sp}$It is well known for the formula of the computation of modulus character of general linear groups. For example, for the standard Borel subgroup $...
- 1,019
2
votes
2
answers
4k
views
Quotient of an algebraic group by a closed algebraic subgroup
Let $G$ be a complex, linear algebraic group and $H\subseteq G$ a closed and normal subgroup. Then, the quotient $G/H$ has the structure of a affine variety. I am looking for the most "modern" ...
- 4,902
1
vote
1
answer
241
views
locally closed orbits in metric Hausdorff topology
I learned the following fact from Bruhat and Tits's paper "Homomorphismes “abstraits” de groupes algebriques simples" Section 3.18 that
Let $k$ be a local field. Suppose that a $k$-group $H$ acts $k$...
- 1,702
1
vote
1
answer
2k
views
About isomorphism of $PGL(2)$ and $SO(3)$ [closed]
I need to prove that $PGL_2(\mathbb{R})\cong SO_3(\mathbb{R})$. Abstract considerations show that both can be identified with the group of projective motions of a conic curve. But maybe there is more ...
- 125
1
vote
1
answer
346
views
Is the manifold of complex points of a quotient of compact groups just the tangent bundle?
In great generality a Lie group mod its maximal compact subgroup is contractible (for example this is true for all connected Lie groups). Whenever this is true then the Lie group $ D $ is ...
- 4,081
42
votes
6
answers
7k
views
Why we need to study representations of matrix groups?
Why we need to study representations of matrix groups? For example, the group $\operatorname{SL}_2(\mathbb F_q)$, where $\mathbb F_q$ is the field with $q$ elements, is studied by Drinfeld. I think ...
- 6,211
37
votes
3
answers
5k
views
Is there a nice proof of the fact that there are (p-1)/24 supersingular elliptic curves in characteristic p?
If $k$ is a characteristic $p$ field containing a subfield with $p^2$ elements (e.g., an algebraic closure of $\mathbb{F}_p$), then the number of isomorphism classes of supersingular elliptic curves ...
- 45.7k
37
votes
7
answers
4k
views
Is an algebraic space group always a scheme?
Suppose G is a group object in the category of algebraic spaces (over a field, if you like, or even over ℂ if you really want). Is G necessarily a scheme?
My feeling is that the answer is "yes" ...
- 24.1k
35
votes
5
answers
9k
views
A reference for geometric class field theory?
The classic reference of this topic is Serre's Algebraic Groups and Class Fields. However, many parts of this book use Weil's language, which I find quite hard to follow. Is there another reference ...
- 805
33
votes
1
answer
1k
views
Is the group of integer points on a finite-type group scheme over Z finitely presented?
Let $G$ be a group scheme of finite type over $\mathbf{Z}$. Must $G(\mathbf{Z})$ be finitely presented?
(The question is inspired by a not yet successful attempt to answer a question of Brian Conrad....
- 23.8k
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
27
votes
2
answers
3k
views
Reference for de Rham cohomology in positive characteristic
It is known in characteristic $0$ that (algebraic) de Rham cohomology is a Weil cohomology theory. However, in characteristic $p > 0$ it isn't, if only because it has mod $p$ coefficients, whereas ...
- 28.8k
27
votes
1
answer
3k
views
Definitions of real reductive groups
There are several definitions of real reductive groups, sometimes subtly inequivalent. The following come to my mind:
A closed subgroup of $GL(n,\mathbb C)$ closed under conjugate transpose.
The set ...
- 971
26
votes
1
answer
2k
views
Example of non-projective variety with non-semisimple Frobenius action on etale cohomology?
This question was motivated by a more general question raised by Jan Weidner here. In general one starts with a variety $X$ (say smooth) over an algebraic closure of a finite field $\mathbb{F}_q$ of ...
- 52.9k
26
votes
0
answers
1k
views
Is every $p$-group the $\mathbb{F}_p$-points of a unipotent group
Let $\Gamma$ be a finite group of order $p^n$. Is there necessarily a unipotent algebraic group $G$ of dimension $n$, defined over $\mathbb{F}_p$, with $\Gamma \cong G(\mathbb{F}_p)$?
I have no real ...
- 156k
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
2
answers
2k
views
Is it possible to realize the Moebius strip as a linear group orbit?
On MSE this got 5 upvotes but no answers not even a comment so I figured it was time to cross-post it on MO:
Is the Moebius strip a linear group orbit? In other words:
Does there exists a Lie group $ ...
- 4,081
24
votes
3
answers
2k
views
Spin group as an automorphism group
Consider the real algebraic group $SO(p,q)$, this is the automorphism group of the vector space $\mathbb{R}^n$ of dimension $n=p+q$ over $\mathbb{R}$, endowed with the diagonal quadratic form with $p$...
- 14.2k
21
votes
0
answers
588
views
p-groups as rational points of unipotent groups
Is it true that every finite p-group can be realized as the group of rational points over $\mathbb{F_p}$ of some connected unipotent algebraic group defined over $\mathbb{F_p}$? For abelian p-groups, ...
- 221
21
votes
5
answers
5k
views
Mirror symmetry mod p?! ... Physics mod p?!
In his answer to this question, Scott Carnahan mentions "mirror symmetry mod p". What is that?
(Some kind of) Gromov-Witten invariants can be defined for varieties over fields other than $\mathbb{C}$...
- 21k
20
votes
0
answers
764
views
Should the Dynkin diagrams of types $A_1$ and $B_2$ be labelled $C_1$ and $C_2$?
The labels $A$--$G$ attached to connected Dynkin diagrams are of course arbitrary,
the result of historical accidents. In order to avoid repetitions, the four infinite
families $A_\ell, B_\ell, C_\...
- 52.9k
20
votes
5
answers
4k
views
Equivalent statements of the Riemann hypothesis in the Weil conjectures
In the cohomological incarnation, the Riemann hypothesis part of the Weil conjectures for a smooth proper scheme of finite type over a finite field with $q$ elements says that: the eigenvalues of ...
- 671
20
votes
1
answer
1k
views
Does the ring $R = \mathbb{Z}[X^{\pm1}]$ of Laurent polynomials over $\mathbb{Z}$ satisfy $SL_2(R) = E_2(R)$?
Let $R = \mathbb{Z}[X^{\pm1}]$ be the ring of Laurent polynomials on one indeterminate over $\mathbb{Z}$. Let $E_2(R)$ be the subgroup of $GL_2(R)$ generated by the matrices that differ from the ...
- 7,893
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
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
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
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
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
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
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
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
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
14
votes
2
answers
989
views
Do orbits and stable loci of group actions have natural scheme structures?
Suppose G is an algebraic group with an action G×X→X on a scheme. Then many of the usual constructions you make when you talk about group actions on sets can be made scheme-theoretically. ...
- 24.1k
14
votes
2
answers
3k
views
How many ways are there to prove flag variety is a projective variety?
I am looking for references talking about different ways to prove flag variety $G/B$ is projective variety. Now I have some in mind:
There is a proof in Humphreys Linear algebraic groups, he first ...
- 5,515
14
votes
1
answer
1k
views
Do varieties with ample canonical bundle have finite automorphism group in small characteristic?
Suppose $X$ is a smooth projective variety over a field $k$, with ample canonical bundle. If $\operatorname{char}(k)=0$ or $\operatorname{char}(k)>\dim(X)$ and $X$ lifts to $W_2(k)$ (thanks ...
- 23k
13
votes
1
answer
2k
views
What is the universal deformation of the formal additive group $\widehat{\mathbb{G}}_a$ over $\mathbb{F}_p$?
Lubin and Tate show in their paper Formal moduli for one-parameter formal Lie groups that for any formal group over a field $k$ of characteristic $p>0$ with height $h<\infty$, the functor of ...
- 6,069
13
votes
1
answer
684
views
The Picard group of a semisimple algebraic group in positive characteristic
Let $k$ be a field of positive characteristic and let $G$ be a connected semisimple algebraic group over $k$ with fundamental group $\mu$. Note that $\mu$ can be non-smooth. It is stated in Sansuc's ...
13
votes
2
answers
1k
views
Cayley Transform for all reductive groups a.k.a an algebraic logarithm
Is it true that for every reductive algebraic $G$ over ${\mathbb C}$ with a Lie algebra $\mathfrak g$ there is an open neighborhood $U$ of the identity in $G$ and an algebraic function (in a sense of ...
- 2,390
12
votes
0
answers
968
views
What is miraculous about the mirabolic subgroup?
I recently asked this question about Euler subgroups and generalizing the automorphic theory of $\mathrm{GL}_n$ to a more general setting. My question here is more specific.
As mentioned there, the ...
- 2,516
12
votes
2
answers
587
views
Bounding weight multiplicities by number of certain Coxeter elements
This question concerns lower bounds of certain weight multiplicities in finite dimensional representations of algebraic groups (or Lie groups, Lie algebras).
Let's say $G$ is a simple algebraic group ...
- 313
12
votes
2
answers
660
views
What is the correct notion of representation for abelian varieties?
Zeroth question - am I right that in the "ordinary" sense an abelian variety does not possess any representations at all?
More precisely, a representation of an algebraic group $G$ (over an ...
- 18.4k
12
votes
2
answers
1k
views
To what extent does a torsor determine a group
Let $k$ be a field, and suppose $G$ is a group-scheme over $k$ (I am happy to assume that $k=\mathbb{Q}$ and that $G$ is affine). A $G$-torsor over $k$ is a non-empty $k$-scheme $T$ equipped with an ...
- 9,061
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
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