All Questions
2,543 questions
2
votes
1
answer
152
views
A question about $R$-points of an complex reductive group.
I hope somebody can give me a good reference for the following:
Let $G$ be a complex reductive group $H$ be a closed subgroup. Let further $R$ be any $\mathbb{C}$-algebra. Then the canonical map
$$G(...
5
votes
2
answers
487
views
Morphisms $\mathrm{SL}_n(\mathbb Z) \to \mathrm{SL}_m(\mathbb Z)$
From a result Obtained by O. Schreier and B. L. van der Waerden [Math. Sem. Univ. Hamburg 6, 303- 322 (1928)], one can show that for two fields $\mathbb F$ and $\mathbb G$, and integers $n>m>2$, ...
11
votes
2
answers
1k
views
Finite subgroups of $PGL(3,K)$
It is well-known that finite subgroups of $PGL_2(\mathbb{C})$ are cyclic groups, dihedral groups, A4, S4 and A5 and each of these groups occurs exactly once (up to conjugacy). These facts are ...
1
vote
0
answers
120
views
Base change of affine group schemes with respect to Frobenius map.
Suppose $G$ is an affine group scheme over a perfect field $k$ of characteristic $p>0$. Let $G^{(p)}$ be the base change of $G$ with respect to the Frobenius map of $k$ (i.e. $p$-th power map). Is ...
1
vote
0
answers
132
views
On the explicit formula of the height function occuring on the doubled Weil representation.
Hi! I am wondering the exact formula of height function of $GL(n)$ which occurs in the doubling Weil representation. To be more precise, let me introduce the basic setting for this.
Let $F$ be the ...
4
votes
1
answer
282
views
Name for a class of parabolic subgroups
This is a reference request for a (the) name of the following class of parabolic subgroups of a complex simple Lie group $G$:
Recall that parabolic subgroups of $G$, containing fixed Borel subgroup, ...
1
vote
0
answers
97
views
Degree of a commutator in a hyperalgebra or enveloping algebra
Consider a semisimple algebraic group $G$ over an algebraically closed field of arbitrary characteristic and let $\bar U(G)$ denote its hyperalgebra (ie, the restricted Hopf dual of the coordinate ...
1
vote
1
answer
543
views
Fixed points of group action
Let us consider the group $PGL(2,\mathbb{R})$ as the group of automorphisms of real projective line and $H\subset PGL(2,\mathbb{R})$ is a subgroup of prime order $> 2$. Is it true that there always ...
6
votes
2
answers
2k
views
a question on TITS' note "Reductive groups over local fields"
This note appears in "Proceedings of Symposia in pure mathematics" vol.33 1979 part 1 pp. 26-69.
The question will be about materials on page 31-32.
Let $G$ be a reductive algebraic group (not ...
2
votes
0
answers
180
views
on geometric Satake and functions
Let $G(F)/G(O)$ the affine grassmanian with $F=k((t))$ where $k$ is a finite field.
For $\lambda$ a dominant cocharacter, we have by Cartan decomposition the schubert strata $\overline{Gr^{\lambda}}$....
5
votes
2
answers
708
views
Explicit equation of Dickson invariant / quasideterminant / special orthogonal group over the integers
Consider $2n$ coordinates $x_1,\ldots,x_n,y_1,\ldots,y_n$ and the quadratic form $q = \sum_{i=1}^n x_i y_i$. Now call $O(q,A)$ (orthogonal group of $q$) the group of $(2n)\times(2n)$ matrices, with ...
5
votes
0
answers
387
views
Are these empirical discoveries about the Serre Swinnerton-Dyer ring of prime level modular power series actual theorems?
In this question Joel Bellaiche constructed an algebra, M, of modular forms for
gamma_0 (N) in finite characteristic (which he called p, but I'll call ell) and asked to know its structure. Matt ...
1
vote
1
answer
326
views
A Criterion for Reductivity of Lie Subgroups
Let $G$ be a connected, simply-connected, complex, semisimple Lie group. Suppose that $H$ is a Zariski-closed subgroup of $G$ with reductive Lie algebra $\frak{h}$. Under what conditions may one ...
2
votes
1
answer
303
views
Lifting vector fields to its resolution in char $p$
In this paper 4.7, the authors showed that on a normal variety $X$, if there is a tangent vector field on its smooth locus, then it can be lifted as a logarithmic tangent vector field on a log ...
1
vote
1
answer
578
views
Decomposing Semisimple Perverse Sheaves
So I asked this on maths SE because I don't truly consider it to be a research level question. This question mostly arises out of my completely limited understanding of perverse sheaves. However I do ...
44
votes
2
answers
3k
views
What algebraic group does Tannaka-Krein reconstruct when fed the category of modules of a non-algebraic Lie algebra?
Let $\mathfrak g$ be a finite-dimensional Lie algebra over $\mathbb C$, and let $\mathfrak g \text{-rep}$ be its category of finite-dimensional modules. Then $\mathfrak g\text{-rep}$ comes equipped ...
2
votes
1
answer
533
views
S-arithmetic subgroup question
I've been reading a proof concerning S-arithmetic subgroups of algebraic groups and I'm having trouble determining why the following step should be true. First, the setup:
Let $G$ be a connected ...
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 ...
2
votes
1
answer
307
views
On a Strongly F-regular Pair (X, \Delta)
Let $X$ be a normal projective variety over a field of characteristic $p>0$ and $(X, \Delta\geq 0)$ be a pair such that $K_X+\Delta$ is $\mathbb{Q}$-Cartier whose index is not divisible by $p$. ...
13
votes
2
answers
7k
views
Simply connected simple algebraic groups
Before asking the question I should say that I don't know much about algebraic groups and I'm not sure if the question has the right level for MO. If not, please let me know and I will delete the ...
3
votes
2
answers
380
views
degrees of the invariants for the action of $SL(V)$ on $\wedge^4V$
How can we find the degrees of the invariants for the action of $SL(V)$ on $\wedge^4V$ , $dimV=8$ by the model in the Lie algebra $E_7$.
5
votes
0
answers
253
views
Do there exist pseudo-reductive (but not reductive) groups of small dimension?
I am working on questions in linear algebraic groups $k$, where $k$ is a local field of positive characteristic $p$. I would like to exclude some bad behaviour using the assumption that $p$ is ...
4
votes
1
answer
796
views
Deformation space of non-ordinary abelian varieties
It is a well known result of Serre and Tate that if $A$ is an ordinary abelian variety over a field $k$ of characteristic $p>0$, then the deformation space $\mathcal{M}$ of $A$ to an abelian ...
1
vote
0
answers
70
views
reduced group covers of a curve
Let $C$ be a projective smooth connected curve over an algebraically closed field $k$. Let $(P,G,p)$ be a triple, where $G$ is a finite $k$-group scheme, $P$ is a $G$-torsor over $C$, $p\in P(k)$ a ...
2
votes
0
answers
55
views
on degree zero elements in adelic groups
Let $G$ a split connected reductive group and $G(\mathbb{A})$ his points in the ring of adeles.
We have a degree map $G(\mathbb{A})\rightarrow X_{*}(Z)$ where $Z$ is the center of $G$.
Let $G(\...
1
vote
0
answers
203
views
Frobenius kernel for unipotent algebraic groups
Let $G$ be a connected algebraic group in positive characteristic $p$. If the Frobenius kernel $G_{(p)}=ker (F:G\to G^{(p)})$ is unipotent, do we have $G$ also unipotent?
42
votes
6
answers
12k
views
A slick proof of the Bruhat Decomposition for GL_n(k)?
On one of my exams last year, we were given a problem (we chose five or six out of eight problems) on an exam, the goal of which was to prove the Bruhat decomposition for $GL_n(k)$. I was one of the ...
1
vote
1
answer
509
views
Extension of unipotent algebraic groups
Let $G$ be an algebraic group with closed normal subgroup $N$. Suppose that $N$ and $G/N$ are both unipotent. Does it imply that $G$ is also unipotent?
1
vote
1
answer
376
views
on z-extensions
Let $G$ a group split over a local field $F$.
We call a $z$-extension a group $G'$ such that $G'_{der}$ is simply connected, $G'$ is a central extension of $G$ by a central torus $Z$.
Can we find a $...
4
votes
2
answers
1k
views
Dimension of Unipotent Radicals
A parabolic subgroup of a linear algebraic group $G$ defined over a field $k$ is a subgroup $P\subseteq G$, closed in the Zariski topology, for which the quotient space $G/P$ is a projective algebraic ...
9
votes
1
answer
890
views
On q-Demazure operators
Setup
Let $G$ be a semisimple algebraic group over an algebraically closed field of arbitrary characteristic with Borel subgroup $B$. Let $\Lambda$ denote the weight lattice of $G$; we write elements ...
0
votes
0
answers
273
views
minuscule representations and classical groups
Let $G$ a semisimple group over an algebraically closed field $k$.
We assume that $G$ is classical.
We call a $z$-extension, a group $\tilde{G}$ such that $\tilde{G}$ is a central extension of $G$ by ...
7
votes
2
answers
2k
views
The Lang isogeny
Let $G$ be a connected commutative algebraic group over $\mathbb{F}_q$. If $\text{Fr}_q : G \to G$ denotes the $q$-Frobenius morphism, we define the Lang isogeny $L_q$ to be the endomorphism of $G$ ...
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 ...
9
votes
2
answers
464
views
Automorphisms of $SL_n$ as a variety
What are the automorphisms of $SL_n$ as an algebraic variety?
In other words, let $k$ be an algebraically closed field of characteristic 0 (e.g., $k=\mathbb{C}$). Let $\tau$ be an automorphism of $...
1
vote
0
answers
220
views
Dimension of faithful irreducible representations of $\mathbb{Z}_q\rtimes \mathbb{Z}_{p^2}$ in characteristic p,q
Let $p,q$ be primes s.t. $q=np+1$. Denote $m=p^2$. Then $\mathbb{Z}_p$ acts non-trivially on $\mathbb{Z}_q$, so we have a non-abelian semi-direct product $\mathbb{Z}_q\rtimes \mathbb{Z}_m$, with the ...
4
votes
1
answer
998
views
Dimension of irreducible representations in characteristic p
Hi, I know that over $\mathbb{C}$ the dimension of an irreducible representation of a finite group $G$ must divide the order of the group. I've read somewhere that if $p$ does not divide the order of ...
1
vote
2
answers
627
views
Zariski density of conjugates of subgroups by arithmetic subgroups?
Let $G$ be a linear algebraic $\mathbb{Q}$-group, which is assumed to be connected, $\mathbb{Q}$-simple, and of adjoint type, such that the Lie group $G(\mathbb{R})$ has no compact factor defined over ...
1
vote
1
answer
331
views
Questions about multiplicative homomorphism of $\mathbb{R}$
Regard $K=\mathbb{R}-\lbrace{0\rbrace}$ as a multiplication group. Let $f:K\to K$ be a multiplication homormorphism.
Question 1. Whether that $f$ is surjective implies that $f$ is injective?
...
11
votes
2
answers
973
views
Rational orthogonal matrices
``everybody knows'' that an integral orthogonal matrix is a signed permutation matrix, so there are exactly $2^n n!$ such matrices in $O(n).$ Now, what if we ask for the enumeration of elements of $O(...
1
vote
3
answers
362
views
How we obtain information about a variety from an algebraic group acting on it
Let $G$ be an algebraic group acting on a variety $V$. Which information can be obtained by looking the action of $G$, and subgroups of $G$ that fixes points of $V$?. In other words how we obtain $V$ ...
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 ...
3
votes
2
answers
179
views
On local parameters at the origin in an algebraic group
Let $k$ be an algebraically closed field and $G$ an algebraic group over $k$ which is also a $k$-variety (so $G$ is integral, etc). Let $I$ be the ideal defining the identity $e \in G$ and let $\{ t_1,...
1
vote
1
answer
809
views
On the Steinberg section
Let $\chi:G\rightarrow T/W$ the Steinberg map. I assume that G is simply connected. Then $T/W=\mathbb{A}^{r}$ and Steinberg constructed a section to this map given by
$\epsilon(a_{1},...,a_{r})=x_{\...
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 ...
4
votes
2
answers
1k
views
Basic question about affine group schemes
I've been reading Waterhouse's book "Introduction to affine group schemes", in part to help prepare myself for an (oral) advanced topic exam in algebraic geometry. There is one exercise in chapter 1 ...
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, ...
4
votes
1
answer
1k
views
is connected complex Lie group with a trivial center linear?
There is a theorem of Rosenlicht ("Some basic theorems on algebraic groups", 1956, Theorem 13) asserting that a quotient of a connected algebraic group by its center is linear. So a connected ...
6
votes
2
answers
562
views
Normal subgroups of $SL_2$ of a polynomial ring
What is known about normal subgroups of $SL_2(\mathbb{C}[X])$? Can one hope for a congruence subgroup property, i.e. that every (non-central) normal subgroup contains the kernel of the reduction ...
5
votes
0
answers
266
views
On Langlands Pairing and transfer factors
In the paper "On the definition of transfer factors" Langlands and Shelstad define a certain number of factors $\Delta_{I}$, $\Delta_{II}$,$\Delta_{III,1}$,$\Delta_{III,2}$, which are roots of unity.
...