The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
109 views

Subgroups generated by opposite root groups

Suppose $\mathbf{G}$ is a connected reductive (possibly non-split!) group over a field $F$, $\mathbf{S} \leq \mathbf{G}$ a maximal split subtorus and $\mathbf{Z} \leq \mathbf{G}$ its centralizer. For ...
1
vote
2answers
168 views

Connected components of algebraic groups

Let $G$ be an algebraic group, and $G_{Id}$ the connected component of the identity. Then $G_{Id}$ is a normal subgroup of $G$ and $G/G_{Id}$ is the component group of $G$. Let $G_{c}\subset G$ be ...
2
votes
1answer
92 views

Picard group of classifying stack

Suppose $S$ is a scheme, and $G$ a smooth $S$-group scheme. Then there exists an algebraic stack BG called the classifying stack of $G$, defined as the quotient stack $[S/G]$ where $G$ acts trivially ...
4
votes
1answer
203 views

Motives of a variety of type D4

Over the last decade Nikita Semenov, Skip Garibaldi and others have made some progress in the theory of cohomological invariants, (Rost)-motives and motivic decompositions of algebraic groups. For ...
4
votes
1answer
103 views

Is the upper boundary of a Schubert variety Cartier?

On $G/B$, the divisor $\bigcup_\alpha X_{r_\alpha}$ is Cartier (where $X_w := \overline{B_- w B}/B$, and $\alpha$ varies over simple roots), not least because $G/B$ is smooth. Is the same true for ...
3
votes
0answers
94 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 ...
2
votes
1answer
160 views

What is the cohomology of the tangent bundle of a flag variety?

Let $G$ be the general linear group $\operatorname{GL}(n,\mathbb{C})$ and $P$ a parabolic subgroup with Lie algebra $\mathfrak{p}$. Consider the vector bundles $$ \mathcal{P} = G\times_P ...
0
votes
0answers
117 views

Rational group scheme

Suppose $G$ is a group scheme over a field $k$, i.e., $G$ is a functor from the category $\text{Alg}_k$ of unital commutative, associative $k$-algebras to the category of $\text{Groups}$. Suppose that ...
3
votes
1answer
157 views

Converse to Weil Restriction of Scalars

Let $k$ be a field of characteristic zero (I'm only interested in number fields), and let $\mathbb{G}_{/k}$ be a linear algebraic group defined over $k$ which is almost $k$-simple (all normal ...
1
vote
1answer
58 views

Stalks of higher direct image under open embedding

Let $U$ be an open subset of $\mathbb P^1$ without two points (say $t=0$ and $t=\infty$) and $j: U\to \mathbb P^1$ be an open immersion. Ground field $k$ is algeraically closed. Let $G$ be the group ...
0
votes
0answers
35 views

Invariant subalgebra and dual torus for symmetric group

Given permutation module with three generators and corresponding Galois action of symmetric group $\mathfrak S_3$ I am interested in computing corresponding dual torus $T$ (which should be of ...
0
votes
1answer
93 views

generalization of highest weight theorem for semisimple lie algebras

Let $\mathfrak g$ be a real semisimple Lie algebra (without compact factors) with Iwasawa decomposition $\mathfrak g=\mathfrak k\oplus \mathfrak a\oplus \mathfrak u$. Let $\mathfrak p$ be a ...
0
votes
1answer
71 views

Are Zariski connected and closed semisimple subgroups of semisimple and simply connected algebraic groups again simply connected? [closed]

Let $G$ be a semisimple and simply connected linear algebraic group over $\mathbb{C}$. Let $H$ be a connected, Zariski closed and semisimple linear algebraic $\mathbb{Q}$-subgroup of $G$. Is $H$ a ...
0
votes
1answer
96 views

A bijection between Lusztig series induced by inflation

Context: Let $\pi: \widehat{G} \rightarrow G$ be a surjective morphism between connected reductive groups defined over $\mathbb{F}_q$ whose kernel is a central torus. Then $\pi : \widehat{G}^F ...
9
votes
0answers
301 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 ...
1
vote
1answer
207 views

Regular embeddings of reductive groups

A regular embedding of a connected reductive linear algebraic group $G$ defined over $\mathbb{F}_q$ is a morphism $\varphi : G \rightarrow G'$ of algebraic groups which is a closed immersion where ...
7
votes
1answer
218 views

Geometric interpretation of Cusps for general groups?

Let $\mathrm{G}$ be a reductive group over a number field $F$, but for simplicity we can think about $\mathrm{G}=\mathrm{GL_n}$ for $n>2$ and $F =\mathbb{Q}$. Then for an automorphic form, ...
5
votes
0answers
149 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$ ...
3
votes
2answers
204 views

A question on the effective cone

Let $X$ be a projective variety and $G$ a finite group acting on $X$. We consider the quotient $\pi:X\rightarrow Y :=X/G$. I'm interested in the relation between $Eff(X)$ and $Eff(Y)$. In ...
2
votes
1answer
304 views

Exactness on rational points of algebraic groups

Let $k$ be a finite extension of the p-adic number field $Q_p$ and G be a connected algebraic (not affine) group over $k$. It is well-known (see e.g. [1] Proposition 3.1) that G decomposes as ...
6
votes
1answer
207 views

When are toral orbits in buildings the difference of fixed-sets?

Let $L$ be a $p$-adic field, let $G$ be a reductive group over $L$ (I'm even okay assuming semisimplicity for now). Let $T$ be a maximal torus of $G$. Let $B$ be the building for $G(L)$. (Edit 1: ...
10
votes
2answers
649 views

Symplectic K-theory

For a ring $R$ consider symplectic K-theory defined as follows: let $\operatorname{Sp}(R) = \lim_n \operatorname{Sp}_{2n}(R)$, let $\operatorname{ESp}(R)$ be the subgroup generated by elementary ...
2
votes
1answer
303 views

Constant group scheme and torsors

Let $X$ be a scheme and $G$ a (commutative) constant group scheme. Consider a $G$-torsor $Y$ for $X$, by which I mean that there is a canonical isomorphism: $$g_Y \colon Y \times_X Y \cong Y ...
2
votes
1answer
168 views

Equivariant Derived Category

If $G$ is an connected unipotent group over $k$,and $X$ a scheme of finite type over $k$, (an algebraic closed field of positive characteristic) then we can define the bounded derived categorie of ...
2
votes
0answers
70 views

Dimension of affine Springer fiber and its functor of points as an ind-scheme

Let $k$ be a finite field and let $F = k( (t))$ with ring of integers $\mathfrak{o} = k[ [t]]$. Let $G$ be a connected linear algebraic $k$-group with Lie algebra $\mathfrak{g}$. Suppose that ...
1
vote
0answers
138 views

rational representation of semisimple algebraic group

Let $G$ be a connected semisimple algebraic group defined over $\mathbb Q$. Could some expert give me a complete classification of finite dimensional $\mathbb Q$-irreducible representations of $G$? ...
6
votes
0answers
224 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 ...
1
vote
0answers
81 views

Hyperspecial parahoric group schemes/Chevalley groups

Let $G$ be a simple group over $k=\mathbb{C}$, $A=k[[t]]$, $K=k((t))$, and consider the group $G(K)$. This group is a split reductive group over a local field, and therefore the results of Bruhat and ...
5
votes
1answer
162 views

Torsors under the group scheme over projective line

Consider the group scheme $\mathcal T$ over $\mathbf P^1$ given locally (variable $t$) by the equation $x^2 - f(t)y^2 = 1$ where $f(t)$ is a polynomial of degree $r$ with distinct roots (assume that ...
5
votes
0answers
114 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
153 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 ...
3
votes
0answers
166 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$ ...
4
votes
3answers
330 views

What is the difference between p-adic Lie groups and linear algebraic groups over p-adic fields?

I thought they were the same, just different names. Let me make question more precise: Let $G$ be any linear algebraic group over a p-adic field $\mathbb{Q}_p$, is $G$ a p-adic Lie group w.r.t. the ...
3
votes
1answer
188 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. ...
3
votes
1answer
179 views

Special linear groups over function fields

Let $p$ be a prime number, and let $q$ be a finite power of $p$. Denote by $F_q$ the unique field with $q$ elements. What is known about the structure and properties of $\mathrm{SL}_2(F_q[t])$ as ...
6
votes
2answers
257 views

Global Affine Flag Variety and Affine Flag Variety

There is a construction of a global affine flag variety over $\mathbb{A}^1$ (or another curve) $Fl_{\mathbb{A}_1}$ such that each fiber above $\epsilon \neq 0$ is isomorphic to a direct product of the ...
4
votes
1answer
342 views

Tannakian fundamental group of two explicit tensor categories

Let $K/k$ is a field extension and $G$ an affine group scheme over $K$. What are the Tannakian fundamental groups of these two $k$-tensor categories (with trivial fiber functors over $k$): 1. The ...
1
vote
0answers
127 views

Zariski dense subgroups and conjugates

Let $H \leq \mathrm{SL}_3(\mathbb{Z})$ be a finitely generated subgroup which is not Zariski dense, and let $g \in \mathrm{SL}_3(\mathbb{Z})$. Must there be some $a \in \mathrm{SL}_3(\mathbb{Z})$ such ...
2
votes
1answer
199 views

twists of algebraic groups

If $k$ is some field - for convenience, of characteristic 0 -, $\bar{k}$ is an alg. closure of $k$, and $G$ is some $k$-algebraic group, one can define a twist of $G$ to be some $k$-algebraic group ...
5
votes
1answer
196 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 ...
2
votes
1answer
195 views

highest weight representations inside tensor product

Let $G$ be a semisimple simply connected group over an algebraically closed field $k$ of characteristic zero, $B$ a Borel and $T$ a maximal torus. Let $\lambda,\mu,\nu$ be dominant characters of $T$. ...
0
votes
0answers
58 views

adjoint quotient and points in DVRs

Let $G$ be a connected reductive group over an algebraically closed field $k$, $T$ a maximal torus and $W$ its Weyl group. We have a Steinberg map $\chi:G\rightarrow \mathfrak{C}:=T/W$ if we have a ...
1
vote
0answers
86 views

Need information about particular kind of quotients of semisimple algebraic groups by free abelian discrete subgroups

Let me start with the simplest version of the question since already there I don't know anything. For a complex number $q$, consider the quotient space $X_q:=\mathrm{SL}_2(\mathbb ...
6
votes
1answer
187 views

Extensions of an abelian variety by a torus vs. extensions of their $\ell$-adic Tate modules

Let $K$ be a number field, let $A$ be an abelian variety over $K$, and let $H$ be a torus over $K$. For a prime $l$, we have the natural map $$\mathrm{Ext}^1(A, H) \otimes_{\mathbb{Z}} \mathbb{Z}_l ...
1
vote
0answers
74 views

Exponential map on a unipotent group

Let $G$ by a unipotent linear algebraic group defined over a field of characteristic $0$, with Lie algebra $\mathfrak{g}$. The exponential map $\mathfrak{g}\to G$ is bijective, and we can recover the ...
2
votes
1answer
92 views

Rational Points of a Quotient of a Reductive Group by a Parabolic Subgroup

Let $G$ be a reductive group and let $P$ be a parabolic subgroup of $G$ all defined over $\mathbb{Z}$. Also, let $F$ be a number field, is it true (and if so, please provide a reference) that $$ ...
3
votes
0answers
317 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
1answer
165 views

How to think about the simple reflection s_0 in the affine Weyl group?

Let $G$ be a simply connected algebraic group over $\mathbb{C}$, $W$ be the Weyl group for $G$ and $W_{aff}$ be the affine Weyl group for the loop group $G(\mathbb{C}((t)))$, $\Phi$ be the coweight ...
5
votes
1answer
189 views

Closure order on nilpotent orbits in exceptional Lie algebras

Let $G$ be a simple algebraic group over the algebraically closed field $k$ of positive characteristic, and let ${\mathfrak g}={\rm Lie}(G)$. It is well known that there are finitely many nilpotent ...
7
votes
3answers
245 views

Polarizations generate the ring of invariants?

The symmetric group $S_n$ acts on $\mathbb R^n$ by permuting the coordinates and the ring of polynomial invariants is generated by the elementary symmetric polynomials. If we restrict the action to ...