Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Algebraic varieties with group operations given by morphisms, or group objects in the category of algebraic varieties, the category of algebraic schemes, or closely related categories.
5
votes
Accepted
Smooth and $GL(n)$-equivariant implies algebraic?
If I understand you correctly, the answer is 'no'.
Because the open set $L_n\subset B_n$ is an orbit of $\mathrm{GL}^+(n,\mathbb{R})$ under the natural representation of $\mathrm{GL}^+(n,\mathbb{R} …
8
votes
Accepted
Nilpotent orbits in representations of exceptional groups
As per the OP's comment, we are to assume that $\mathrm{G}_2$ and $\mathrm{F}_4$ mean the complex simple Lie groups.
Let's start with $\mathrm{G}_2\subset\mathrm{SO}(7,\mathbb{C})$, in its standard re …
13
votes
Accepted
Stabilizer of Sp(n) and U(n) in GL(n)
First, let me fix a misunderstanding: $\mathrm{Sp}(n)$ does not sit in $\mathrm{GL}(n,\mathbb{C})$, but in $\mathrm{GL}(2n,\mathbb{C})$, so I'll assume that you mean, for the second part that $A$ lie …
17
votes
Spin group as an automorphism group
It seems that you are asking for descriptions of the groups $\mathrm{Spin}(p,q)$ as algebraic groups. This can certainly be done explicitly for low values of $p$ and $q$, but I don't know a general p …
41
votes
Accepted
Is $O_n({\bf Q})$ dense in $O_n({\bf R})$?
There's an easy argument based on the Cayley transform: If $a$ is a skew-symmetric $n$-by-$n$ real matrix, then $I_n+a$ is invertible (since $(I_n-a)(I_n+a)=I_n-a^2$ is a positive definite symmetric …
3
votes
Intersection of Subspaces with $O(3)$
The answer to your first question is 'yes, generically, the intersection is finite and transverse'. More precisely, the set $U$ of 6-dimensional subspaces that intersect $\mathrm{SO}(3)$ transversely …
2
votes
Accepted
Product of subgroups of $SU(8)$ algebraic set?
Yes, $G_1G_2\subset\mathrm{SU}(8)$ is an algebraic set. Here is the argument:
Let $G_1{\times}G_2$ act on $\mathrm{SU}(8)\subset\mathrm{End}(\mathbb{C}^8)\simeq\mathbb{C}^{64}$ by the rule $(g_1,g_2) …
8
votes
Accepted
Proper compact connected subgroup of $Spin(n)$
I think that the answer here is just the double cover of the obvious answer for $SO(n)$, which is $U(n/2)$ when $n$ is even and $SO(n{-}1)$ when $n$ is odd. You can double-check this by consulting th …
12
votes
Accepted
To describe an invariant trivector in dimension 8 geometrically
Here's another very nice (but still algebraic) interpretation that explains some of the geometry: Recall that $\operatorname{SL}(2,\mathbb{C})$ has a $2$-to-$1$ representation into $\operatorname{SL} …
8
votes
Accepted
Simultaneous triangularisation of an exterior power of a set of matrices
Here's a simple counterexample to Question 1: Let $d=4$ and $k=2$. Let $X\subset\mathrm{GL}_4(\mathbb{R})$ consist of a single element $J$ where $J^2=-I$. Then $J$ is not conjugate to any upper tri …
5
votes
degrees of the invariants for the action of $SL(V)$ on $\wedge^4V$
This was worked out explicitly by A. A. Katanova in her paper Explicit form of certain multivector invariants in Advances in Soviet Mathematics 8 (1992), pp. 87-93. According to her calculations, the …
6
votes
Accepted
Subgroup $\mathrm{E}_6$ generated by $\mathrm{Spin_7}$ and $\mathrm{SL}_3$
N.B.: I am revising my response for clarity. (The actual answer to the question asked by the OP is still the same, but I think that this re-organization, particularly at the end, makes the structure …
6
votes
Subgroup of $\mathrm{GL}_n$ stabilizing linear subspace skew-symmetric matrices
Here is an outline of the argument that shows that the $\mathrm{SL}_6(\mathbb{C})$-stabilizer of the generic $3$-plane $W\subset\Lambda^2(\mathbb{C}^6)$ has dimension $1$, not $0$, as (apparently) cla …
5
votes
Invariant theory over $\mathbb R$
As YCor commented, the main point is to show that the invariant polynomials separate orbits. This follows from the compactness of $\mathrm{SO}(n)$. The point is this: Because $\mathrm{SO}(n)$ is co …
29
votes
Accepted
Is it possible to realize the Moebius strip as a linear group orbit?
Yes. Here is one way: Consider standard $\mathbb{R}^3$ endowed with the Lorentzian quadratic form $Q = x^2+y^2-z^2$, and let $G\simeq\mathrm{O}(2,1)\subset\mathrm{GL}(3,\mathbb{R})$ be the symmetry …