The tag has no usage guidance.

learn more… | top users | synonyms

16
votes
0answers
417 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, ...
13
votes
0answers
286 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, ...
13
votes
0answers
586 views

How much has been written down about Deligne's geometric approach to the order formula for a finite group of Lie type?

This is a follow-up to a recent mathoverflow question 34387 about computing the orders of finite unitary groups and the comments made there. Between 1955 (Chevalley's Tohoku paper) and 1968 ...
12
votes
0answers
300 views

Analog of Peter-Weyl theorem for $G[[t]]$

Let $G$ be a reductive group over ${\mathbb C}$ and let $G[[t]]$ denote the corresponding group over the formal power series ring ${\mathbb C}[[t]]$. This is a group scheme, so one can speak about its ...
12
votes
0answers
478 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, ...
11
votes
0answers
354 views

Can an abelian variety/Q have no non-trivial points over Q_sol?

Let $A/\mathbb{Q}$ be an abelian variety. Must there be a finite solvable extension $K/\mathbb{Q}$ such that $A(K)$ is nontrivial? This follows from the conjecture that the maximal ...
10
votes
0answers
388 views

Higher-dimensional algebraic subgroups of the proalgebraic Nottingham group?

Let $R$ be a commutative ring, and, for $n\ge0$, ${\mathcal{A}}_n={\mathcal{A}}_n(R)$ the group of series $u(x)=\sum_0^\infty a_jx^{j+1}\in R[[x]]$ for which $a_0\in R^\times$ and $u(x)\equiv ...
9
votes
0answers
376 views

Polynomial function from $S^3$ to $S^3$ and quaternions

I am searching the polynomial functions from $S^3$ to $S^3$. ($S^3$ is the set of vectors $x$ in $\mathbb{R}^4$ such that $\|x\|=1$) We say $g$ is a polynomial function from $S^3$ to $S^3$, if there ...
9
votes
0answers
370 views

A uniform bound for a “true” non-congruence subgroup

Before stating my question, let me recall the Congruence Subgroup Property/Problem: Given simply connected absolutely and almost simple algebraic group $G$ with fixed realization as a matrix group one ...
9
votes
0answers
486 views

Role of nontrivial component groups in Springer Correspondence?

Set-up for classical Springer Correspondence: $G$ = reductive group (usually assumed to be semisimple of adjoint type) over $\mathbb{C}$, with Borel subgroup and maximal torus $B \supset T$, Weyl ...
8
votes
0answers
276 views

Connection between two theorems on character values?

In a recent arXiv preprint here, Dipendra Prasad has revisited a 1976 theorem of Kostant (Theorem 2 in the paper On Macdonald's $\eta$-function formula, the Laplacian and generalized exponents, ...
8
votes
0answers
226 views

Earliest use of the term “linearly reductive”?

Recently a number of MO questions have referred to a "linearly reductive group", usually in a way that is out of focus. It's unclear to me why this terminology is so popular, since over a field of ...
8
votes
0answers
271 views

Twisted Springer fibers

In the study of certain moduli spaces of $p$-divisible groups I came across the following twisted version of a Springer fiber, and I was wondering whether some expert on algebraic groups/algebraic ...
8
votes
0answers
530 views

Invariance of Euler characteristic under base change for sheaf cohomology of flag varieties

BACKGROUND: Over an algebraically closed field of arbitrary characteristic, most of the basic structure theory of affine (= linear) algebraic groups can be developed concretely without quoting ...
7
votes
0answers
246 views

Higher-dimensional generalization of Pink's theorem

Pink's theorem in the title of the question refers to the main theorem of Pink's paper "Compact Subgroups of Linear Algebraic Groups" that appeared in Journal of Algebra (206) in 1998. It essentially ...
6
votes
0answers
174 views

Automorphisms of a quotient variety

Let $X$ be a variety, and $G\subset Aut(X)$ a subgroup of the automorphism group of $X$. Assume that the quotient $Y = X/G$ is a variety. Does there exist some simple relation between $Aut(X)$, $G$ ...
6
votes
0answers
253 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 ...
6
votes
0answers
100 views

Rational points with small denominator in $U(n)$

Fix integers $n,d>0$. (I'm probably thinking about $n\leq 6$ and $d\leq 2000$.) Let $X$ be the set of matrices $A\in U(n)$ such that the entries of $dA$ lie in $\mathbb{Z}[i]$. Is there an ...
6
votes
0answers
853 views

Closure of an orbit under the action of an algebraic group

Setting: Fix some field $k$. I am not very prudent about the field - although I'd prefer to assume as little as possible, you may assume as much as you want, the case of primary interest being ...
6
votes
0answers
307 views

Kazhdan-Lusztig graph for the Springer fiber of the minimal special unipotent class?

This graph was determined in the case of simply-laced root systems by Igor Dolgachev and Norman Goldstein: "On the Springer resolution of the minimal unipotent conjugacy class" (J. Pure Appl. Algebra ...
6
votes
0answers
294 views

Real approximation for homogeneous spaces of linear algebraic groups

Let $X$ be a smooth geometrically integral variety over $\mathbf{Q}$, having a $\mathbf{Q}$-point. We say that $X$ has the real approximation property if $X(\mathbf{Q})$ is dense in $X(\mathbf{R})$. ...
6
votes
0answers
244 views

What is known about line bundles on the tangent bundle of a flag variety?

Let $G$ be a semisimple algebraic group over an algebraically closed field of arbitrary characteristic. (I'm most interested in the positive characteristic case). Let $B \subseteq G$ be a Borel ...
5
votes
0answers
112 views

Root-theoretic formulation of characteristic polynomial

Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra of rank $n$ over $\mathbb{C}$. Let $G$ denote the corresponding simple simply connected algebraic group. By Chevalley's Theorem, ...
5
votes
0answers
190 views

Hyperplane sections of principal homogeneous spaces

Let $P_i$ denote the $i$-th vertex in the Dynkin diagramm of an algebraic group. It symbolizes a parabolic subgroup of $G$ corresponding to the other vertices, meaning $G/P_i$ is a smooth, projective, ...
5
votes
0answers
119 views

LS paths construction

Let $W$ be the Weyl group of a simple Lie algebra $\mathfrak L$, and for a dominant weight $\lambda$ denote by $W_{\lambda}$ the stabilizer of $\lambda$ in $W$. Let $\leq$ be the Bruhat order on ...
5
votes
0answers
175 views

Derived subgroup of rational points versus rational points of derived subgroup

Let $\mathbf G$ be a connected algebraic group defined over a field $\mathbb F_p$. If $q=p^n$, then the groups $\mathbf G^\prime (\mathbb F_q)$ and $\mathbf G (\mathbb F_q)^\prime$ are not always ...
5
votes
0answers
320 views

Torsors and twists of algebraic groups

Let $G/S$ be an affine group scheme. Then the automorphism group of every $G$-torsor over $S$ is a twist of $G$, but it this functor isn't essentially surjective in general (It may be not full nor ...
5
votes
0answers
171 views

Is a semiabelian algebraic space a scheme?

Let $S$ be a scheme and let $A$ be a commutative separated smooth $S$-group algebraic space of finite presentation each of whose geometric fibers is an extension of an abelian variety by a torus. Is ...
5
votes
0answers
172 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. ...
5
votes
0answers
145 views

On an interesting subalgebra of the functions on the cotangent bundle of the flag variety

Setup Let $G$ be a semisimple algebraic group over a field $k$ of characteristic $p$ where $p = 0$ or $p > 0$ is a good prime for $G$. Fix a Borel subgroup $B \subseteq G$ corresponding to the ...
5
votes
0answers
338 views

More familiar description of wonderful compactification of SL_n/S(GL_2 \times GL_n-2)

I am trying to learn a bit about spherical geometry and wonderful compactifications. Please correct any misconceptions. If I've understood http://www.springerlink.com/content/x62342v721707828/ ...
5
votes
0answers
216 views

How to decide if two surfaces occurring in Springer theory are isomorphic?

In the study of a simple algebraic group (say over $\mathbb{C}$) and related geometry of its flag variety associated with the Springer correspondence, one encounters pairs of surfaces which have some ...
5
votes
0answers
731 views

anisotropic and elliptic tori in GL(n)

Let $F$ be a commutative field and $n\geqslant 2$ be an integer. It is well known that the maximal anisotropic mod center tori in $G={\rm GL}(n,F)$ are of the form $T = {\rm Res}_{E/F}\; {\mathbb ...
5
votes
0answers
315 views

Frobenius splitting of tangent bundles of flag varieties

BACKGROUND Let $X$ be a variety over an algebraically closed field $k$ of positive characteristic $p$. Let $F : X \to X$ denote the absolute Frobenius morphism, i.e. the morphism that is the identity ...
4
votes
0answers
152 views

Correspondence between real forms and real structures on complex Lie groups

I asked this in MSE, but without success, so I hope, it will be suitable here. E.B.Vinberg and A.L.Onishchik in their book give the following two definitions. For a complex Lie group $G$ its real ...
4
votes
0answers
144 views

An extension of group schemes admitting Neron models

Let $R$ be a discrete valuation ring, $K$ its field of fractions, and $$ 0 \rightarrow G_K' \rightarrow G_K \rightarrow G_K'' \rightarrow 0$$ a short exact sequence of smooth $K$-group schemes of ...
4
votes
0answers
188 views

Tannaka categories and reductive groups

The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple. Pro-reductive groups make sense over any scheme. Is there an extension of the theory ...
4
votes
0answers
143 views

The Killing form on quantized enveloping algebras and reduction to the classical case

Let $U_q$ be the quantized enveloping algebra associated to a semisimple Lie algebra $\mathfrak g$. It is a result due to Tanisaki (see here; also see Chapter 6 of Jantzen's book Lectures on Quantum ...
4
votes
0answers
195 views

On a resolution of sections of line bundles on the cotangent bundle of a flag variety

Background Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of characteristic 0. Let $B \subseteq G$ be a Borel subgroup and let $U \subseteq B$ be its unipotent ...
4
votes
0answers
158 views

Exotic Chains for Group Cohomology of a Complex Lie Group

Related Question: Exotic Chains for Group Homology of a Complex Lie Group Let's take the group cohomology of a affine algebraic group over $\mathbb C$ (with its discrete topology). The natural ...
4
votes
0answers
884 views

Cartan decomposition for upper triangular matrices

Due to the comments, I have the impression that I have to be more precise. Consider $G= GL_n(F)$ for a non-Archimedean field $F$ with ring of integers $o$. Let $K= GL_n(o)$ and let $I$ the Iwahori ...
4
votes
0answers
179 views

Lattices in Hermitian spaces over local fields

Let $F$ be a $p$-adic field, $E / F$ a quadratic extension, and $n \ge 1$. Let $V = E^n$ with the obvious diagonal Hermitian form, $$ \langle (u_1, \dots, u_n), (v_1, \dots, v_n) \rangle = \sum_{i = ...
4
votes
0answers
308 views

about ℓ-adic and Perverse Stuff and ℓ-adic cohomology with compact support

this question is trivial. We know from this paper link text, Springer constructed rep of the Weyl group $W$ on the cohomology of the Springer fibre. Also, Deligne-Lusztig constructed the linear rep ...
4
votes
0answers
322 views

Tannakian categories equivalent as abelian categories

Suppose $A = Rep_k(G)$ and $B=Rep_k(H)$ are tannakian categories and $F: A\to B$ is an equivalence of abelian categories with $F(1_A) = 1_B$ (but not a $\otimes$-equivalence). What can I say about $G$ ...
4
votes
0answers
343 views

Étale cohomology of linear groups

This is in a sense a follow up question to the answer here Analytic tools in algebraic geometry Let $k$ be an algebraically closed field of positive characteristic and let $R$ be the result of ...
3
votes
0answers
94 views

Does every group that satisfies the maximal permutizer condition then satisfy the permutizer condition?

The permutizer of a subgroup $H$ of $G$ is defined to be the subgroup generated by all cyclic subgroups of $G$ that permute with $H$, i.e. $\langle x \in G | \langle x \rangle H = H \langle x \rangle ...
3
votes
0answers
101 views

uniqueness of quotients of principal congruence subgroups

For each $n \geq 2$, is $\Gamma(2^{n})$ the unique normal subgroup of $\Gamma(2)$ with quotient isomorphic to $\Gamma(2) / \Gamma(2^{n})$ (here we are talking about principal congruence subgroups of ...
3
votes
0answers
177 views

Bruhat decomposition of $G/Q$

Let $G$ be a semisimple algebraic group over $\mathbb C$, $T$ be a maximal torus and $B$ be a Borel subgroup of $G$ containing $T$. Let $R^+$ be the set of positive roots with respect to $B$. Let $Q$ ...
3
votes
0answers
332 views

A Step in the Proof of the Drinfeld-Simpson theorem

I hope that this is the appropriate place for asking about a step I don't understand in a proof which I think is due to a lack of knowledge. This is a step in Drinfeld-Simpson's paper: ``$B$ ...
3
votes
0answers
385 views

polynomials with roots on the unit circle

Suppose $P(x) \in \mathbb{Z}[x]$ is irreducible, and such that at least one of its roots has modulus $1.$ Is there anything we can say about the reduction of $P(x)$ modulo primes? Do these have some ...