All Questions
22 questions
5
votes
0
answers
140
views
Classification of visible actions for *reducible* representations?
Is there a classification of the pairs $(G,V)$ such that $G$ is reductive [and connected, if you like], and $G$ acts faithfully and visibly on $V$ - crucially, including all cases where $V$ is ...
- 3,230
6
votes
1
answer
285
views
Classification of algebraic groups of the types $^1\! A_{n-1}$ and $^2\! A_{n-1}$
This seemingly elementary question was asked in Mathematics StackExchange.com: https://math.stackexchange.com/q/4779592/37763.
It got upvotes, but no answers or comments, and so I ask it here.
Let $G$ ...
- 14.2k
6
votes
2
answers
366
views
Twisted forms with real points of a real Grassmannian
Let $X={\rm Gr}_{n,k,{\Bbb R}}$ denote the Grassmannian of $k$-dimensional subspaces in ${\Bbb R}^n$.
We regard $X$ as an ${\Bbb R}$-variety with the set of complex points $X({\Bbb C})={\rm Gr}_{n,k,{\...
- 14.2k
3
votes
0
answers
233
views
A bridge between the algebraic / differential geometry of $\frak{sl}_2(\mathbb{C})$ and the Sheffer-Appell calculus and combinatorics
In "Four examples of Beilinson-Bernstein localization", Anna Romanov introduces the basis
$m_k = \frac{(-1)^k}{k!} \partial^k \delta $
on p. 9, where $\partial$ is a partial derivative and $\...
- 10.5k
5
votes
1
answer
309
views
Reductive groups over positive characteristics
Let $G$ be a connected split reductive group over a field $k$ of characteristic $p$. Let $\mathfrak{g}:=T_e(G)$ denote its Lie algebra. Let $T$ be a maximal split torus and $W$ the Weyl group (of the ...
- 2,751
6
votes
2
answers
488
views
Quasisplit but not split semisimple groups
In section 35.1 of the book "Linear algebraic groups" by Humphreys, it is stated that the quasi-split but not split semisimple groups can only arise when the root system admits a nontrivial ...
- 321
1
vote
2
answers
287
views
Faithfully flat modules over a group algebra
Suppose we have the following data:
1) A group ring $\mathbb{Z}[G]$, where $G$ is a torsion free group.
2) $M_{\bullet}$ a bounded (above and below) chain complex of $\mathbb{Z}[G]$-modules such ...
- 71
9
votes
1
answer
1k
views
What is the outer automorphism group of $\operatorname{SL}(2,\mathbb{F}_q)$?
I'm looking for a reference for a description of the outer automorphism groups of $\operatorname{SL}(2,\mathbb{F}_q)$ for $q = p^n$.
I'm sure such a thing must exist somewhere, but I'm having trouble ...
- 7,527
4
votes
0
answers
322
views
Steinberg relations for elementary subgroup of a Chevalley group over an arbitrary ring
Given a semisimple Lie algebra $\frak{g}$ of type $\Phi$ with a Lie algebra representation $\rho:\frak{g}\to \frak{gl}(v)$ and an arbitrary commutative ring one can associate the following gadgets:
...
- 435
4
votes
0
answers
174
views
Algebraic varieties associated to finite groups
Have the following equations been studied in the literature?
Let $G$ be a finite group.
Then I am looking for functions $f : G \rightarrow \mathbb{C}~ \backslash \left\lbrace 0 \right\rbrace $ such ...
- 2,753
9
votes
2
answers
897
views
Anisotropic algebraic groups have no unipotent elements
I have found the following fact stated in a number of places:
If $k$ is any field, a connected reductive group $G$ is anisotropic if and only if its only unipotent element is $e$ and $\mathrm{Hom}_k(...
- 953
9
votes
0
answers
254
views
Decomposition of linear groups into free products
I recently learnt about Nagao's theorem which states $SL_2(k[t])\cong SL_2(k)\ast_{B(k)}B(k[t])$ for a field $k$. I read in "A.W. Mason, Serre's generalization of Nagao's theorem" that a theorem of ...
- 5,901
4
votes
0
answers
214
views
Hyperbolic subgroups of general linear groups
Is there a classification of hyperbolic subgroups of $GL_n(A)$ for $A$ some ring of characteristic $p$? $A$ for me is a finitely presented algebra over a finite field.
More precisely I'm looking for ...
- 5,901
7
votes
0
answers
329
views
A basic question on a base change of a homogeneous space of a linear algebraic group
I asked this basic question in MSE and got a comment "This belongs to Mathoverflow", so I ask my question here.
Let $G$ be a linear algebraic group over a field $k$, and $H\subset G$ be a $k$-...
- 14.2k
2
votes
0
answers
68
views
Centralizer/Normalizer of global sections of vector bundles on curves
Let $X$ be a smooth, projective curve of genus at least $2$ over $\mathbb{C}$ and $E$ be a vector bundle on $X$ of rank at least $2$. Given any point $x \in X$, denote by $S_x$ the image of the ...
- 1,981
2
votes
1
answer
255
views
Polya-MacMahon-Burnside's generating function at "-1"
$\mathbb{Z}_n$, as a cyclic subgroup of symmetric group $\mathfrak{S}_n$, acts on $[n] :=\{1, 2,\dots,n\}$. Hence $\Bbb{Z}_n$ permutes the elements of the Boolean algebra $2^{[n]}$ of all subsets of $[...
- 43.2k
4
votes
1
answer
214
views
A quotient group of a self-normalizing spherical subgroup
Let $G$ be simply connected, simple algebraic group over $\mathbb{C}$.
Let $H\subset G$ be a self-normalizing spherical subgroup of $G$,
not necessarily connected or reductive.
Here "self-...
- 14.2k
24
votes
2
answers
1k
views
Why can the general quintic be transformed to $v^5-5\beta v^3+10\beta^2v-\beta^2 = 0$?
The quintic can be transformed to the one-parameter Brioschi quintic,
$$u^5-10\alpha u^3+45\alpha^2u-\alpha^2 = 0\tag1$$
This form is well-known for its connection to the symmetries of the ...
- 12.6k
5
votes
1
answer
413
views
Index of congruence modular subgroup of level (1,d)
Let $D = \text{diag}(1,d)\in M_{2}(\mathbb{Z})$ be a $2\times 2$ matrix, where $d$ is an odd integer. We define the subgroup $\Gamma_D\subset M_{4}(\mathbb{Z})$ as:
$$\Gamma_D := \left\lbrace R\in M_{...
- 8,998
5
votes
3
answers
677
views
Spectrum and scheme of the commutative group-algebra of an abelian group.
The group-algebra of an abelian group is commutative, so we can consider the spectrum of this algebra. Are there any information about the abelian group that we can obtain from such considerations? ...
- 263
15
votes
2
answers
870
views
A space of ideals
Definition: Let $R$ be a commutative ring with 1. Endow the power set $2^R$ with the product topology. The ideal space $\mathcal{I}(R)$ is defined to be subset of $2^R$ consisting of ideals, ...
- 25k
0
votes
0
answers
303
views
Automorphism group of algebraic function fields
Let $K$ be a finite field and let $F/K$ be a function field. Is it possible to deduce the genus of $F/K$ from the automorphism group of $G=Aut(F/K)$?
Is it possible to do so if we know that $|G|$ is ...
- 2,179