All Questions
33 questions
1
vote
0
answers
127
views
A Weierstrass product theorem for invertible formal Laurent series over local Artinian rings?
Let $(A,\mathfrak{m},\kappa)$ denote a commutative local Artinian ring. Somewhat by accident, I've stumbled across the following interesting decomposition:
$$
A(\!(t)\!)^\times = t^\mathbb{Z} \cdot (1 ...
- 7,127
3
votes
1
answer
263
views
(non)reduced stabilizer scheme
A well known open question is whether the scheme of commuting pairs in a complex reductive group $G$, for example in $G=GL(n)$, is reduced. The variety of commuting pairs is a special case of a more ...
- 1,526
0
votes
0
answers
124
views
Krull dimension of ring of invariants
Let $A$ be a $K$-algebra for some local number field $K$, and denote by $\dim A$ its Krull dimension. Let $G$ be an algebraic group defined over $\text{Spec}K$, and assume $G$ acts on $A$ by $K$-...
- 2,907
1
vote
0
answers
125
views
Confusion regarding change of variable and irreducibility
Let $\mathbb{K}$ be an algebraically closed field of characteristics zero. Let $X$ be an irreducible affine variety, with a rational action of a linearly reductive algebraic group $G$. Also, assume ...
- 839
1
vote
0
answers
154
views
Software for computing invariant rings
I have an linearly reductive algebraic group $G$ acting regularly on an affine variety $X$(over an algebraically closed field of characteristic 0). I want to compute the invariant ring $\mathbb{K}[X]^{...
- 839
6
votes
0
answers
190
views
Computing the automorphism scheme of projective space
$\newcommand{\Spec}{\operatorname{Spec}}$I'm trying to understand why $PGL_{n}$ is the automorphism scheme of $\mathbb{P}^{n-1}_{\mathbb{Z}}$.
In Conrad's Reductive Group Schemes, the following ...
- 605
4
votes
2
answers
555
views
Are algebraic groups over algebraically closed fields Cohen–Macaulay?
$\DeclareMathOperator\CM{CM}\DeclareMathOperator\Spec{Spec}$Let $k$ be an algebraically closed field and let $G$ be an algebraic group over $k$.
My question: is $G$ Cohen–Macaulay? If not, are there ...
- 119
5
votes
1
answer
523
views
Is there a non-split algebraic torus (over a finite field) satisfying the following properties?
Is there a non-split algebraic torus $T$ (over a finite field $\mathbb{F}_{\!q}$) satisfying the following properties?
$T$ is not $\mathbb{F}_{\!q}$-isomorphic to the direct product of algebraic tori ...
- 1,833
3
votes
0
answers
150
views
Finite commutative group schemes whose exponent coincides with its rank
In group theory, a finite commutative group $G$ contains an element whose order is the exponent of $G$. Thus, If the exponent of $G$ is the same as the order of $G$, it must be that $G$ is cyclic. ...
- 329
1
vote
1
answer
128
views
Koszul complex of equations defining a stabilizer
Very specific question. We work over $\mathbb{C}$, although really just want alg. closed of char. 0.
Suppose that $G$ is an algebraic group and $V$ is a finite-dimensional $G$-module, meaning that we ...
- 1,077
14
votes
0
answers
821
views
What goes wrong with this alternate proof of Dirichlet's Theorem?
I had an idea for an alternate proof of Dirichlet's theorem, but something goes wrong. Dirichlet's theorem on primes in arithmetic progression says that for $ m,a \in \mathbb{N} $ which are ...
- 782
3
votes
1
answer
230
views
Why is this $ \mathbb{G}_{a} $ bundle trivial
Please tell me why the following example of a principal $ \mathbb{G}_{a} $-bundle over an affine ring is trivial. Let $ \{x_{1},x_{2},x_{3}\} $ a basis of $ \mathbf{V}^{\ast} $, $ c_{1}(t),c_{2}(t) $ ...
- 782
2
votes
0
answers
80
views
Reference request: additive basis of $\mathbb{C}[N]$
Let $N$ be the maximal unipotent subgroup of $SL_k$. I think that the following is an additive basis of $\mathbb{C}[N]$:
$$\{ e_T: T \text{ is a semi-standard Young tableau with at most $k-1$ rows and ...
- 6,201
2
votes
1
answer
246
views
Proving that finite, connected group schemes in characteristic 0 are trivial
I have a question about a specific proof that all finite group schemes in characteristic 0 are etale. The proof is here, Proposition 8 in lecture notes by Andrew Snowden.
In his notation, let $A = k\...
- 7,746
1
vote
0
answers
150
views
Formal group as a limit of its finite subgroups
I'm reading Manin's article on formal groups and I have a problem with Lemma 1.1.
Consider $k$ a prefect ring of characteristic $p$ and $(A,m,k)$ a noetherian complete local ring of the same ...
- 1,093
2
votes
1
answer
113
views
Nice Form of Vector Field
Let $G$ be a reductive algebraic group (maybe reductive is not necessary) over an algebraically closed field $k$ of characteristic zero. Let $X$ be a homogeneous affine $G$-variety, i.e. $X=G/K$ for ...
- 1,077
2
votes
0
answers
290
views
tangent space to a (not necessarily algebraic/Lie/..) group
Are there some standard ways to define the tangent space to a group $G$ at its unit element, $e$, when the group is not (pro)algebraic/(pro)Lie, not necessarily over a field, does not have the ``...
- 2,232
7
votes
1
answer
531
views
Vector space objects in schemes - confusion
Let $R$ be the ring $\mathbf{C}\times\mathbf{C}$, and consider the affine line $\mathbf{A}^1_R$.
$\mathbf{A}^1_R$ can be given the structure of additive group scheme over $R$, denoted $(\mathbf{G}_a)...
user128448
1
vote
0
answers
189
views
Bijective correspondence between $\mathbb G_a$ actions on affine varieties and exponential maps on affine $k$-domains
Let $A$ be an integral domain which is a finitely generated algebra over an algebraically closed field $k$. Let $\phi :A \to A^{[1]}$ be a $k$-algebra homomorphism and let us write $\phi_t : A \to A[...
user111524
8
votes
1
answer
626
views
Example of a connected finite group scheme which is not solvable
What would be an example of a connected finite group scheme over a field $k$ that is not solvable? Here $k$ is algebraically closed.
Let $\operatorname{GL}_n$ be the general linear group scheme over ...
- 345
4
votes
1
answer
322
views
Understanding full set of sections as in Katz-Mazur
I was reading this question, specifically Brian's answer. In particular I am having a bit of trouble digesting the following sentence:
Being a "full set of sections" of $Z/S$ is something which is ...
- 371
3
votes
0
answers
119
views
Finite generation of the module of invariant vector fields
Let $G$ be a linear algebraic group (not necessarily reductive) and let
$X$ be an affine variety with a regular $G$-action (everything defined over the field of complex numbers $\mathbb{C}$). Denote ...
- 413
1
vote
0
answers
151
views
Generators of the same degree in a graded ring and GIT quotient
Let $S$ be a graded ring i.e. $S_d\cdot S_e \subset S_{d+e}$ where $S_d$ is the degree $d$ part of $S$. Assume $S_{<0}$ vanishes. For simplicity, you may think of $S$ as a graded subring of $\...
- 2,789
3
votes
1
answer
618
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
1
vote
1
answer
249
views
Affine open subsets for algebraic group actions
Let $G$ be a reductive algebraic group over an algebraically closed field $K$ of characteristic zero.
Assume that $G$ acts on an affine variety $X$. Assume that $X$ contains an open orbit $U$ (so $\...
- 5,039
2
votes
0
answers
97
views
Can we write an element in a super Grassmannian as a pair of matrices?
Super Grassmannians are introduced by Manin, see for example.
Elements in a grassmannian can be written as matrices, see for example.
Can we write an element in a super Grassmannian as a pair of ...
- 6,201
5
votes
1
answer
156
views
How to write the map $ℂ[G/U]↪ℂ[B]$ explicitly?
Let $G$ be a reductive algebraic group and $B$ a Borel subgroup of $G$. Let $T$ be a maximal torus of $G$ contained in $B$. The $B=UT=TU$ for some unipotent subgroup $U$ of $G$. We have Bruhat ...
- 6,201
1
vote
0
answers
218
views
How to check that an ideal of $\mathbb{C}[GL_n]$ is a coideal or not?
Let $I$ be an ideal of $\mathbb{C}[GL_n]$. Are there effective methods or software to check whether $I$ is a coideal or not? Thank you very much.
For example, let I be the ideal of $\mathbb{C}[GL_3]$ ...
- 6,201
4
votes
1
answer
1k
views
How to compute the tangent space of a quotient by a finite group
Let $I\subseteq R:=\mathbb C[x_0,\ldots,x_n]$ be a homogeneous ideal defining a subscheme $X\subseteq\Bbb P^n$. As in my previous question, the permutation group $\mathfrak S_{n+1}$ acts on $R$ by ...
- 4,902
1
vote
0
answers
895
views
Does the functor of taking invariants commute with tensor products? [closed]
Suppose that $G$ is a group acting on a commutative ring $R$, inducing an action on each $R$-module. For any $R$-module $M$, let $M^G$ denote the collection of elements of $M$ invariant under the $G$-...
- 27
3
votes
1
answer
891
views
Is every element of $\mathrm{SL}(n,R)$ of finite order diagonalizable?
Let $k>0$ be an integer, let $R$ be a ring (commutative, unital), which contains $\mathbb{Q}$ (i.e. with a ring homomorphism $\mathbb{Q}\to R$) and all $k$-roots of unity. The examples I have in ...
- 7,722
7
votes
1
answer
306
views
Smooth affine algebraic subgroups as complete intersections
Let's fix an algebraically closed field $k$ of arbitrary characteristic and a connected nonsingular affine algebraic $k$-group $G$. Under what conditions can I assume that a connected nonsingular ...
- 3,637
5
votes
1
answer
499
views
software for computations on flag varieties in arbitrary characteristic
Is there any software that will compute cohomology of vector bundles (or just line bundles) on flag manifolds?
The only one I know of is Macaulay2, via the Schubert2 package, but it works with what ...
- 5,846