All Questions
236 questions
3
votes
1
answer
619
views
When is an almost geometric quotient flat?
All varieties here are over $\Bbb C$. Let $G$ be a reductive algebraic group acting algebraically on affine $n$-space $\Bbb A^n$. Let $R$ be the coordinate ring of $\Bbb A^n$. Assume that the natural ...
- 3,079
3
votes
1
answer
269
views
Symplectic group over $\mathbb{Z}/p\mathbb{Z}$ is generated by its root subgroups
This is a question about the answer in this other post: Symplectic group over integers and finite fields.
In general, for any ring $R$, the symplectic group $\text{Sp}(2n,R)$ is generated by its root ...
user341790
3
votes
2
answers
478
views
Specialisations of flag varieties
Recall that a flag variety over a field $k$ is a smooth projective variety over $k$, which is a homogeneous space for some linear algebraic group.
My question concerns specialisations of flag ...
- 21.4k
3
votes
0
answers
168
views
The left regular representation of the Jacobi groups over local fields of characteristic >2 is type I?
Let $K$ be a non-archimedean local field of characteristic $>2$. Consider the Jacobi group $G=H_{2n+1}(K)\rtimes Sp_{2n}(K)$, which is the semidirect product of the Heisenberg group $H_{2n+1}(K)$ ...
- 1,702
3
votes
1
answer
226
views
Real automorphisms of the "quaternionic" real group ${\rm SO}^*(4m)$
Let $m\ge 2$, and let $G={\rm SO}^*(4m)$ denote the "quaternionic" real form of the special orthogonal group ${\rm SO}(4m,\mathbb C)$ of type ${\sf D}_{2m}$.
Let $\tau\in{\rm Aut}_{\Bbb R}(G)$ be a ...
- 14.2k
3
votes
1
answer
317
views
Is there a "big open cell" analogue for parabolic subgroups?
Let $G$ be a reductive group over a $p$-adic field. Let $P$ be a parabolic subgroup of $G$ containing a minimal parabolic $P_0$. Let $S$ be a maximal split torus of $P_0$, and let $\Delta$ be a set ...
- 6,180
3
votes
1
answer
432
views
variations of finite stabilizer in the action of an algebraic group on an affine variety
Assume that $G$ is an affine reductive algebraic group (I am mostly interested in the case $GL_n$) over an algebraically closed field $K$ of characteristic zero. Assume also that $G$ acts on an affine ...
- 5,039
3
votes
1
answer
611
views
How to translate the representation theory of semisimple to reductive groups?
I am aware of the following question: Definitions of Reductive and Semisimple Groups
So let me phrase a precise question:
Is there a standard technique by which one can translate the unitary/...
- 11.2k
3
votes
1
answer
872
views
Regular semisimple elements in $SL(n,q)$
Consider $G=GL(n,q)$. A regular semisimple element of this group, is a matrix, whose characterestic polynomial is square-free and same as minimal polynomial. Results show that the number of such ...
- 117
2
votes
0
answers
263
views
Chevalley groups over $k[t]/t^n$
This question is motivated partly by a recent question on Chevalley groups over arbitrary commutative rings (and see also this older question). The answers to that question point to a large and ...
- 3,637
2
votes
1
answer
2k
views
Representations of Algebraic Groups
Suppose we have an algebraic group over an algebraic closed field of prime characteristic, for example we may think of a subgroup of $GL_n(\bar{\mathbb{F}}_q)$ (where $\bar{\mathbb{F}}_q$ is the ...
- 335
2
votes
1
answer
682
views
One-dimension Algebraic groups
I am searching for a possible analogue of a result in algebraic groups in a non-commutative setting, so I am looking for different proofs of the following :
Let $K$ be an algebraically closed field. ...
- 1,555
2
votes
0
answers
361
views
affine schubert cells and bruhat order
Let $G$ be a simply connected group over $k=\bar{k}$, $B$ a Borel subgroup and $I$ the corresponding Iwahori in $G(k[[t]])$, $T$ a maximal torus and $K=G(k[[t]])$.
Let $\lambda\in X_{*}(T)^{+}$ be a ...
- 3,472
2
votes
1
answer
1k
views
Thom-Gysin Sequences and Stratifications
Let $X$ be an affine algebraic variety over $\mathbb{C}$, and let $G$ be a semisimple complex linear algebraic group acting by variety automorphisms with finitely many orbits. The decomposition of $X$ ...
- 4,920
2
votes
1
answer
217
views
On a criterion for rational-smoothness of Schubert varieties and an ambiguity of the taking the ambient Algebraic group to be simply connected or not
In the paper: Pattern Avoidance and Rational Smoothness of
Schubert Varieties, Sara C. Billey, Advances in Mathematics 139, 141-156(1998), https://www.sciencedirect.com/science/article/pii/...
- 235
2
votes
2
answers
757
views
Abstract Commensurator Group of $\mathbb{Z}^n$ $Comm(\mathbb{Z}^n)\cong GL(n,\mathbb{Q})$?
Hello! In a paper I read that $\mathrm{Comm}(\mathbb{Z}^n)\cong \mathrm{GL}(n,\mathbb{Q})$. Why is that true? How can I find an isomorphism of this groups?
I know that $\mathrm{Aut}(\mathbb{Z}^n)\...
- 33
2
votes
0
answers
291
views
Automorphisms group of complex and real simple Lie algebras
$\DeclareMathOperator{\Inn}{\operatorname{Inn}}\DeclareMathOperator{\Aut}{\operatorname{Aut}}\DeclareMathOperator{\Out}{\operatorname{Out}}\DeclareMathOperator{\g}{\mathfrak{g}}$According to Wikipedia,...
- 2,147
2
votes
2
answers
636
views
Are there other ways to show Pic(G)is trivial when G is a simple-connected semisimple algebraic groups over C?
Indeed,I'm reading the book《representation theory and complex geometry》,there is a proof of the fact that Pic(G)is trivial when G is a simple-connected semisimple algebraic group over C,but the proof ...
- 73
2
votes
1
answer
398
views
Picard group of $\mathrm{GL}(n)$-orbits
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Mat{Mat}$Consider the general linear group
$$
\GL(n) = \left\lbrace
\left(\begin{array}{cc}
A & C \\
M & B
\end{array}\right) \text{ with } A\...
user168611
2
votes
2
answers
298
views
Compact linear group orbit equivalent to linear compact group orbit
A corollary of the Mostow-Palais theorem is that every homogeneous space for a compact group is a linear group orbit. In other words, if $ H $ is a closed subgroup of a compact group $ K $ then there ...
- 4,081
2
votes
1
answer
172
views
Global centralizers in Jordan-Chevalley decomposition in bad characteristic
Let $G$ be an affine algebraic group defined over an algebraically closed field $k$ of arbitrary characteristic, and write $\mathfrak{g}$ for its Lie algebra. Given $X\in\mathfrak{g}$, it has (...
- 53
2
votes
1
answer
787
views
Connectedness of centralizers of semisimple Lie-algebra elements under the action of a semisimple algebraic group
Let $\newcommand{\GG}{\mathbf{G}}\newcommand{\g}{\mathfrak{g}}\GG$ be a connected semisimple algebraic group over the algebraically closed field $k=\overline{\mathbb{F}_q}$, and let $\g$ be its Lie-...
- 993
1
vote
0
answers
140
views
Explicit construction of $T$-orbits of generic characters of unitary groups
Let $F$ be a $p$-adic field. Let $E$ be a quadratic extension of $F$ and $G$ be a quasi-split unitary group $U(2n)$ or $U(2n+1)$ over with respect to $E/F$. Let $N_{E/F}$ be a norm map.
Let $B=TU$ be ...
- 1,019
1
vote
0
answers
360
views
Borel subgroup of $Sp(4,\mathbb{C})$
I am trying to understand Borel subgroups of $Sp(4,\mathbb{C})$. I think that the following is a Borel subgroup of $Sp(4, \mathbb{C})$: the subset of $Sp(4, \mathbb{C})$ of all lower triangular ...
- 6,211
1
vote
1
answer
293
views
Subgroups of $\operatorname{PGL}_n$
As algebraic groups over an algebraically closed field $K$ of characteristic not $2$, $\operatorname{GO}_{2n}$ is a closed normal subgroup of the conformal orthogonal group $\operatorname{CO}_{2n}$. ...
- 501
1
vote
0
answers
230
views
Group schemes and Hyperspecial maximal compact subgroups
Let $F$ be a number field. For each non-archimedean place $v$ let $O_v$ denote the ring of integers. Let $G$ be a connected linear algebraic group defined over $F$. Consider the set of sequences $(K_v)...
- 223
1
vote
0
answers
371
views
Characterizing the big Bruhat cell of the universal Chevalley groups over $\mathbb C$
Is there a simple characterization of the big Bruhat cell of the universal (simply-connected) Chevalley groups over $\mathbb C$?
For example, it is known that the Borel subgroup of $\mathrm{SL}_n(\...
- 332
1
vote
0
answers
112
views
Nontrivial relations of the irreducible root systems
For the root system of the type $A_n$, the roots are $\alpha _{i,j}$, $1\le i\neq j\le n$, we have the nontrivial relations $(x_{i,j} (t), x_{j,k}(u)) = x_{i,k}(tu)$ if $i, j, k$ are distinct. ($x_{i,...
- 332
1
vote
0
answers
165
views
Discriminant ideal in a member of Barsotti-Tate Group
Let $S = \operatorname{Spec} R$ an affine scheme (in our case latter a complete dvr) and $p$ a prime. Then Barsotti-Tate group or $p$-divisible group $G$ of height $h$ over $S$
is an inductive system
...
- 6,006
1
vote
1
answer
179
views
Reducible reductive Lie subalgebras of so(p,q)
Is it true that $S(O(p) \times O(q))$ is the only proper subgroup of $SO(p,q)$ of full rank acting on the natural representation $\mathbb{R}^{p+q}$ of $SO(p,q)$ that stabilizes a $p$-dimensional ...
- 601
1
vote
1
answer
437
views
Zariski-closed subgroups of ${\mathbf G}_{\mathbf a}^n$
Let's work over an algebraically closed field $K$. A $1$-dimensional Zariski-closed connected subgroup of ${\mathbf G}_{\mathbf a}^n$ is isomorphic to ${\mathbf G}_{\mathbf a}^1$. If $K$ has ...
- 1,555
1
vote
0
answers
275
views
Corollary 1.6 in Mumford's Geometric Invariant Theory
I do not understand fully the proof of Corollary 1.6 from Mumford's Geometric Invariant Theory (§3: Linearization of an invertible sheaf, p 35):
Corollary 1.6
$\DeclareMathOperator\Spec{Spec}\...
- 6,006
0
votes
1
answer
1k
views
The generalized Kronecker delta and three sets of 16 tetrahedra defined by 192 of the 240 roots of E8 (vertices of Gosset's 8-polytope 4_21)
Original question (without additional information from Wendy):
Using 192 of the 240 roots of E8 (vertices of 4_21), Wendy Krieger has defined 48 disjoint tetrahedra this way:
Taking the E8 as {128,...
- 203
0
votes
1
answer
791
views
Maximal subgroups of indefinite special orthogonal group SO(p,q)
Can someone answer the following question:
Is there any classification of maximal proper Zariski-closed real subgroups of $SO(p,q)$ which are not parabolic, and satisfy the following conditions:
...
- 601
0
votes
2
answers
2k
views
non discrete valuation ring [closed]
Hi,
I am looking for examples of non-discrete valuation rings. Could you help me?
Thanks
- 141
-8
votes
4
answers
1k
views
$E_6$, $E_8$, and Coxeter's (anti-)prismatic projections of the n-dimensional cross-polytopes
Edited 1/21/2018 to add the following:
Here is a DropBox link
https://www.dropbox.com/s/7rtt0iqmgimsgzu/Zumkeller_edge-magic.pdf?dl=0
to a PDF showing how my team used biomolecular first ...
- 203