# Questions tagged [invariant-theory]

Invariant theory deals with an algebraic, geometric or analytic structure $X$, submitted to the action of an (algebraic) group $G$. It studies $G$-invariant elements of $X$ as well as the set of $G$-orbits.

405
questions

1
vote

0
answers

45
views

### Moduli space of curves away from singular subsets

Recently, I'm interested in the moduli spaces of curves in a (possibly noncompact) complex orbifold (resp. symplectic and almost complex) away from singularities.
More specifically, I'm interested in ...

5
votes

0
answers

144
views

### What are the possible symmetry groups of n-point constructions in the projective plane?

Let $k$ be an infinite field, perhaps take $k = \mathbb{C}$ if it simplifies matters.
I will be asking a question about $\mathbb{P}^2$ for definiteness and to simplify definitions/notations, but feel ...

5
votes

0
answers

83
views

### Noether's Problem and the Inverse Problem on Galois Theory

For the sake of simplicity, assume the base field $k$ as having zero characteristic. I will discuss 4 different formulations of Noether's Problem.
version 1 - original Noether's problem: Let $G<S_n$...

2
votes

0
answers

63
views

### When is a finitely generated commutative algebra a projective module over its invariant subalgebra?

For the sake of simplicity, I will work over the complex numbers.
Let $A$ be a finitely generated algebra and $G$ any finite group of algebra automorphisms. Then, by Noether's Theorem, $A^G$ is also a ...

6
votes

0
answers

35
views

### Expositions of symplectic reflection groups

We will work over $\mathbb{C}$.
Remember that a finite subgroup $G$ of $\operatorname{GL}_n(\mathbb{C})$ is called a complex reflection group if it is generated by complex reflections $r$, which are ...

1
vote

0
answers

127
views

### A basis of the weight space in the semi-invariant ring corresponding to the weight $\langle(2,3,2),\cdot\rangle$

I'm trying to understand Example 10.11.1 on page 225 of the book "An introduction to quiver representations" by Harm Derksen and Jerzy Weyman (see the attached screenshot below)
I want to ...

3
votes

1
answer

201
views

### Tangent space of a GIT quotient of $GL_{N}$

Let $G:=\operatorname{GL}_{N}$ act on its Lie algebra $\mathfrak{g}:=\mathfrak{gl}_{N}$ by conjugation. Then it acts naturally on the associated ring $\mathcal{O}(\mathfrak{g})$ of (algebraic or ...

0
votes

0
answers

68
views

### "Approximating" ring of semi-invariants

I'm trying to calculate the semi-invariant ring for certain types of quivers. For a very brief introduction to semi-invariant rings of quiver please have a look at this wikipedia article at the ...

4
votes

1
answer

172
views

### Are the two notions of free $\mathbb{G}_a$-actions equivalent?

Consider a finitely generated integral $\mathbb{C}$-domain $B$. An algebraic $\mathbb{G}_a$-action on $X:=\mathrm{Spec}(\mathcal{O}(X))$ is equivalent to a locally nilpotent $\mathbb{C}$-derivation
$$\...

2
votes

0
answers

62
views

### Can the Weyl algebra be free over its invariant subalgebra?

Let $k$ be an algebraically closed field of zero characteristic, let $P_n$ denote the polynomial algebra in $n$ indeterminates, and let $G$ be a finite group of linear automorphisms. Then, by ...

4
votes

0
answers

89
views

### List of equivalent conditions for the invariant subalgebra to be polynomial

Let $k$ be a field, $P_n$ the polynomial algebra in $n$ indeterminates, and $G<\operatorname{GL}_n$ a finite group whose order is coprime to the characteristic of $k$, and that acts on $P_n$ by ...

1
vote

0
answers

233
views

### Confusion regarding the invariant rational functions

I was reading S. Mukai's- An Introduction to Invariants and Moduli, and I came across Proposition 6.16 on page 195 (see the screenshot below)
It says that "every invariant rational function can ...

2
votes

0
answers

123
views

### Does every faithful action on a scheme act freely on a dense open subset?

Disclaimer: I have asked this question on math exchange a week ago (here), but sadly to no avail. So I decided to escalate my question:
Let $G$ be a finite group acting faithfully on a smooth quasi-...

2
votes

0
answers

97
views

### Automorphism group of the first Weyl field

A related question is this one (Automorphism group of the quantum Weyl field).
Let $A_1$ denote the rank 1 Weyl algebra (over the complex numbers), and $D_1$ its skew field of fractions, called the ...

1
vote

0
answers

112
views

### On counter-examples to Noether's Problem

Noether's Problem was introduced by Emmy Noether in [4]:
Let $\mathsf{k}$ be a field and $K=\mathsf{k}(x_1,\ldots,x_n)$ be a purely transcendental extension. Let $G<S_n$ be a group acting by ...

5
votes

1
answer

279
views

### Generalizations of Chevalley–Shephard–Todd's Theorem?

Major Edit
I will reformulate my question signicantly, given Anton Geraschenko's comment. The old version of the question is bellow.
For simplicity, my base field is $\mathbb{C}$. If $G<\...

1
vote

0
answers

122
views

### Invariant polynomials under a non-standard group action

There is a whole theory of finding the invariant polynomials for matrix groups $\Gamma$ acting on the polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$. I would be interested in finding invariant ...

2
votes

0
answers

51
views

### Normal form of this group action?

Let $d\in\mathbb{N}$. We consider the vector space $V=\mathbb{C}^2\otimes\mathbb{C}[x_0,x_1]_d$ where $\mathbb{C}[x_0,x_1]_d$ is the space of homogeneous binary forms of degree $d$. We have a natural ...

2
votes

0
answers

164
views

### Help with Macaulay2 computation of invariant ring

Consider the algebraic group $G:=\operatorname{SL}_{2}\times\operatorname{SL}_{2}$ acting on $V:=\operatorname{Mat}_{2\times 2}\oplus\operatorname{Mat}_{2\times 2}$ via the action $(A,B)\,\cdot\,(X,Y)=...

1
vote

0
answers

118
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 ...

2
votes

0
answers

167
views

### Howe duality vs first fundamental theorem in invariant theory

I'm working on Howe duality, and R. Howe proved that the Howe duality of $\mathrm{GL}_n$ is equivalent to the first fundamental theorem (FFT) in invariant theory. So, Howe duality gives a ...

3
votes

0
answers

138
views

### Invariants for the Weyl group of $\mathrm{SO}_{2n}$ acting on a certain group scheme

Let $W$ denote the Weyl group of $\mathrm{SO}_{2n}$, so $W = (\mathbf{Z}/2)^{n-1} \rtimes \Sigma_n$. There is a natural action of $W$ on $\mathbf{Z}^n$ given by permutations and even numbers of sign ...

0
votes

1
answer

118
views

### Functions on products of tori

Let $T$ be an algebraic torus over an algebraically closed field $k$.
Let $d\in\mathbb{N}^{*}$. For every $d$-tuple of integers $\underline{n}=(n_1,\dotsc, n_d)$ and a function $f\in k[T]$, we can ...

3
votes

0
answers

317
views

### On Noether's Problem

Noether's problem is a famous problem in invariant theory, introduced in the 1910's by Emmy Noether in relation to the inverse Galois problem. It is as follows:
Noether's Problem: Let $F=k(x_1,\dotsc,...

1
vote

0
answers

140
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]^{...

1
vote

0
answers

110
views

### Germs of holomorphic functions and invariant functions

Consider a complex vector space $V \cong {\mathbb C}^n$. Consider the ring of germs of holomorphic functions ${\mathcal O}_0 (V)$ at $0\in V$. We know that this ring is Noetherian.
Now consider a ...

8
votes

1
answer

484
views

### $f(f(z)) = z , f(\exp(z)) = \exp(f(z)) $?

While talking about tetration with my friend the following idea (re)occured.
$$f(f(z)) = z ,\quad f(\exp(z)) = \exp(f(z)) \tag{A}\label{A}$$
or variations of it like the weaker
$$f(f(f(f(z)))) = z ,\...

4
votes

1
answer

171
views

### Frobenius series for the $S_n$-module $\mathbb{Q}[X]$

I'm reposting this question, by recommendation of a moderator.
I'm reading Haiman's article titled Conjectures on the quotient ring by diagonal invariants. In what follows, all vector spaces and ...

2
votes

0
answers

60
views

### Modular invariants of special linear groups acting on exterior powers

In general it can be very difficult to compute the invariants of a group acting on a module which is not a vector space over an infinite field. I am interested in the following example, motivated by ...

7
votes

3
answers

1k
views

### Has anyone researched additive analogues of toric geometry in characteristic zero?

One definition of an $ n $-dimensional toric variety is that it is a variety $ Z $ for which there exists an equivariant embedding of
$ \mathbb{G}_{m}^{n} $ as a Zariski dense, open sub-variety of $ Z ...

1
vote

0
answers

78
views

### When is $Y$ not an orbit closure?

Let $G$ be a linearly reductive algebraic group acting regularly on an affine space over $\mathbb{A}^n$ an algebraically closed field $\mathbb{K}$. Let $Y$ be a $G$-invariant (closed) affine ...

2
votes

0
answers

47
views

### Multiplicative invariants of non-reduced root systems

It is a well known fact (cf. [1] VI.3.4 Thm. 1) that if $\Phi$ is a (reduced) root system with weight lattice $P$ and $W$ is the Weyl group of this root system, then the algebra of invariant ...

1
vote

0
answers

207
views

### Is $\langle\chi,\lambda\rangle=0$, whenever the limit exists? Where is the mistake?

Suppose $G$ is a linearly reductive algebraic group acting linearly on a finite dimensional vector space $V$ over $\mathbb{C}$. This induces an action on the coordinate ring $\mathbb{C}[V]$ (see here)....

2
votes

0
answers

121
views

### Getting an equivariant morphism

Let $X\subset\mathbb{A}^n$ be an irreducible affine variety over an algebraically closed field $\mathbb{K}$ of characteristic zero. Suppose we have two linearly reductive algebraic groups $G$, $G'$ ...

1
vote

1
answer

148
views

### Invariant ring of the subvariety

Let $G$ be a linearly reductive algebraic group and $X$ be an affine $G$-variety over an algebraically closed field $\mathbb{K}$. Let $Y\subset X$ be a (closed) affine subvariety of $X$ which is also $...

4
votes

1
answer

209
views

### Epstein zeta function of Barnes-Wall and related lattices

Sarnak and Strömbergsson studied Epstein zeta function $\zeta(L,s)=\sum\limits_{0\neq v\in L}\langle v,v\rangle^{-s}$ of a number of highly symmetric lattices in their Inventiones Math. paper.
In ...

1
vote

0
answers

52
views

### Is the Schofield semi invariant defined at $V/IV$?

Let $A=\mathbb{K}Q$ be the path algebra of an acyclic quiver $Q$ over an algebraically closed field $\mathbb{K}$, and $0\not=I\subset\mathbb{K}Q$ be an admissible ideal. Let $W$ be a left $A$-module ...

1
vote

0
answers

123
views

### How to determine if an invariant rational function is defined at the $\theta$-polystable point

Background:
Let $A$ be a finite-dimensional (associative and unital) algebra over $\mathbb{C}$. Assume there is a quiver $Q=(Q_0,Q_1)$, where $Q_0$ is the set of vertices and $Q_1$ is the set of ...

6
votes

0
answers

116
views

### What are Burnside's "fixed systems" in modern language?

I just read Chapter 17, on rational invariants, in Burnside's classic 1911 text Theory of Groups of Finite Order. It was a great read, and mostly it was straightforward to translate the ideas into ...

2
votes

0
answers

51
views

### Different invariants of group actions from isomorphic subgroups

Consider $D_8,$ the dihedral group of order $8$, acting on the unit square $X=[0,1]^2 \subseteq \mathbb{R}^2$ in the natural way– essentially take the unique linear extension of the action on the ...

8
votes

0
answers

165
views

### Ring of invariants for graph automorphism

$\DeclareMathOperator\Aut{Aut}$Let $G$ be a finite simple graph with nodes numbered $1$ to $n$. Attach variables $x_1, ..., x_n$ to nodes. The graph automorphism group $\Aut G$ acts on nodes by ...

2
votes

1
answer

225
views

### Invariants of the group algebra of a finite group

Consider a finite group $G$ and its complex group algebra $V_G$, on which $G$ acts. I would like to know: what are the polynomial $G$-invariants of $V_G$ i.e., the polynomial functions $p\in \mathbb{C}...

2
votes

1
answer

238
views

### What is the Molien series of the SO(2)-invariant ring on the plane (sometimes written C[X]^{SO(2)} )?

Let SO(2) be the group of rotations in the plane. What is the Molien series (sometimes called the Hilbert-Poincare series) of the SO(2)-invariant ring of polynomials?
N.B. The main goal being to ...

3
votes

0
answers

40
views

### Different generating sets for conjugation invariants of several matrices

There is a theorem of Procesi that the ring of polynomial functions on tuples $(A_1,A_2, \dots, A_m)$ of $n \times n$ matrices, which are invariant under simultaneous conjugation, is generated by ...

2
votes

1
answer

564
views

### What goes wrong with this proof of Dirichlet's Theorem?

I am curious what goes wrong with this invariant theoretic argument of Dirichlet's Theorem of primes in arithmetic progression. I know that something goes wrong, but I am really curious about what ...

1
vote

0
answers

91
views

### Codimension of cusp singularities in the space of 2-jets

In trying to prove Cerf's theorem about homotopies between Morse-functions I ended up thinking about the following problem.
For $n>2$, $a= (a_{i,j})\in GL(n-2)$, we define the polynomial map $C_a:\...

3
votes

0
answers

143
views

### Class of finite quotient affine space in Grothendieck ring of varieties

Let $G$ be a finite group acting linearly on affine space $\mathbb{A}^n_k$ over $k = \mathbb{C}$. Since the action is linear, it can be extended to an action of $\operatorname{GL}_n(\mathbb{C})$, ...

0
votes

0
answers

46
views

### Question regarding properties of map which produces measures that are invariant to orthogonal rotation

Let $\mathcal{M}_1$ denote the set of probability measures on the unit ball in $\mathbb{R}^d$ (which comes with its Borel $\sigma$-field). Denote by $\sigma$ the uniform measure on the orthogonal ...

2
votes

1
answer

89
views

### conjugacy in adjoint representation

Let $G$ be an adjoint algebraic group over $\mathbb{C}$, $\mathfrak{g}$ its Lie algebra.
Let $\rho:G\rightarrow GL(\mathfrak{g})$ be the adjoint representation. Let $g,g'\in G$ be two semisimple ...

3
votes

1
answer

249
views

### Invariants of general linear groups under torus action

Let $G=GL_n$ be the general linear group (let's say over an algebraically closed field of char $=0$). Let's denote as $T$ the torus of diagonal matrices: is there an explicit description of the ...