# Tagged Questions

23 views

### Is $U/U(w) = U \cap w U^- w^{-1}$? [on hold]

Let $U$ be the maximal upper unipotent subgroup of $GL_n$ and $U^{-}$ maximal lower unipotent subgroup of $GL_n$. Let $U(w) = U \cap wUw^{-1}$. Is $U/U(w) = U \cap w U^- w^{-1}$? Thank you very much.
18 views

### What are the elements in $U/U(w)$?

Let $U$ be the maximal upper unipotent subgroup of $GL_n$. Let $U(w) = U \cap wUw^{-1}$. Then $$U(w) = \{(a_{ij}) \in U: a_{ij} = 0, \text{ if } i<j, w^{-1}(i) < w^{-1}(j) \}.$$ My question ...
22 views

### How to compute $U \cap wUw^{-1}$?

Let $U$ be the upper unipotent subgroup of of $GL_n$. It is said that $$U \cap wUw^{-1} = \{ (a_{ij}) \in U \mid a_{ij}=0, i<j, w^{-1}(i) > w^{-1}(j) \}.$$ How to prove this? I try to compute ...
96 views

### Find a closed subset of an algebraic group, closed under products, which does not contain $e$.

The accepted answer for this question proves the following statement: If $S$ is a closed subset of an algebraic group $G$ which contains $e$ and is closed under taking products in $G$, then $S$ is ...
66 views

### $SU(2)$ as an algebraic group

The $\mathbb R$-valued points of the algebraic group $SU(2)$ can be identified with the real 3-sphere. But how does one define $SU(2)$ over the base field $\mathbb R$ as an algebraic group? What are ...
48 views
+50

### Regular elements of a module is open and dense

Let $\mathfrak{g}$ be an algebraic Lie algebra and $V$ be a $\mathfrak{g}$-module, then for each $v\in V$, define $\mathfrak{g}^v = \{x\in\mathfrak{g}:xv = 0\}$. Let $V_{reg}$ be the set of all $v$ ...
18 views

### Does taking $G$-invariant sections commute with infinite $\oplus$?

Let $X$ be a projective scheme over an algebraically closed field $k$, and let $G$ be a reductive algebraic group acting on $X$. If $R=\bigoplus_{n\geq 0}H^0(X,L^{\otimes n})$, then $G$ acts on $R$ ...
24 views

### The homogeneous coordinate ring attached to a $G$-linearized action

I am reading Huybrechts-Lehn's book on moduli of sheaves, and on page $85$, when they discuss GIT, the setup is as follows: $X$ is a projective scheme over an algebraically closed field $k$, there is ...
26 views

### Intuition and examples of weil restriction

It is hard for me to catch the basic ideal of weil restriction, I need some simple examples to understand it, the following exercises are from the Springer's book: Linear Algebraic Groups 11.4.20(3). ...
47 views

### Are semisimplicity and regularity closed or open conditions in an algebraic group $G$?

Let $G$ be a connected algebraic group over an algebraically closed field. I'm trying to understand the phrase "the subvariety of semisimple elements in $G$ which are not regular." This tacitly ...
29 views

### Coset variety of an algebraic group

Let $k$ be an algebraically closed field of characteristic $p\geq0$. An affine algebraic group $G$ is an affine algebraic variety (a Zariski closed subset of $k^m$ for some $m$) such that ...
46 views

### Closed conjugacy classes in $M_n(k)$

Let $k$ be an algebraically closed field, $n$ a positive integer, and consider the action of $\mathrm{GL}_n(k)$ on $M_n(k)$ by conjugation. My professor tells me that semisimple conjugacy classes are ...
81 views

### Dimension of a $G$-variety $X$ that is a finite union of $G$-orbits

Suppose that $G$ is an algebraic group acting on a variety $X$, and $X$ is a finite disjoint union of $G$-orbits $\mathcal{O}_i$, $i=1,\ldots,n$, under this action. Is it true that the dimension of ...
58 views

### Confusion about the quotient $G/B$

Let $G$ be an affine, complex, reductive algebraic group and $B$ a Borel of $G$. I have seen and understood the proof that $G/B$ is projective. Now, on the other hand, I have made the following ...
65 views

### Linearization of a group action: why the map is equivariant?

I'm using Dolgachev's book on invariant theory to learn linearizations of group actions. Here is a sketch of main construction: let linear algebraic group $G$ act on a quasi-projective variety $X$, ...
39 views

174 views

### Geometric intuition for linearizing algebraic group action

I am reading an overview of geometric invariant theory and find myself stuck when we begin linearizing the action of an algebraic group on a variety. The definition given in my notes is that given an ...
89 views

### “$L/K$ forms of each other”

In section $4$ of these notes, the author says two algebraic groups $G$ and $H$ defined over a field $K$ are "$L/K$ forms of each other" if they are "isomorphic over $L$", where $L$ is a finite field ...
56 views

### Relationship between decompositions of a $G$-variety $V$

Let $V$ be a variety over a field $k$, and let $G$ be an algebraic group over $k$ which acts morphically on $V$. $V$ has three canonical decompositions, and I'm interested in the relationships ...
152 views

### Exceptional isomorphisms of classical algebraic groups

Let $k$ be an algebraically closed field of characteristic $p\geq 0$. An affine algebraic group $G$ is an affine variety over $k$ with a group structure such that multiplication and inversion are ...
30 views

### Exactness of Hom functor for torus representations?

Given a reductive algebraic group $G$ and a maximal torus $T$. Is it true that the functors $$Hom_T(-,\lambda)$$ are exact, where $\lambda$ denotes one of the the simple one-dimensional ...
67 views

### Is a finite normal subgroup of a reductive algebraic group central?

In a proof I am reading, the author considers the situation where $G$ is a reductive algebraic group (variety) over the complex numbers $\mathbb C$ and $N\trianglelefteq G$ is a closed, normal ...
42 views

### Finding the Hopf Algebra Coproduct coming from an Affine Group Scheme

I was wondering if anyone could help with how to, strictly from Yoneda's Lemma, obtain the coproduct map on the Hopf Algebra for an Affine Group Scheme. Particularly for something like $\text{SL}_2$ ...
54 views