Skip to main content

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.

Filter by
Sorted by
Tagged with
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 ...
ChoMedit's user avatar
  • 275
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 ...
Gro-Tsen's user avatar
  • 30.3k
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$...
jg1896's user avatar
  • 3,063
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 ...
jg1896's user avatar
  • 3,063
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 ...
jg1896's user avatar
  • 3,063
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 ...
It'sMe's user avatar
  • 767
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 ...
Shaul Zemel's user avatar
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 ...
It'sMe's user avatar
  • 767
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 $$\...
Display Name's user avatar
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 ...
jg1896's user avatar
  • 3,063
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 ...
jg1896's user avatar
  • 3,063
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 ...
It'sMe's user avatar
  • 767
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-...
OrdinaryAnon's user avatar
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 ...
jg1896's user avatar
  • 3,063
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 ...
jg1896's user avatar
  • 3,063
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<\...
jg1896's user avatar
  • 3,063
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 ...
Jan-Willem van Ittersum's user avatar
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 ...
Hans's user avatar
  • 2,893
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)=...
It'sMe's user avatar
  • 767
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 ...
It'sMe's user avatar
  • 767
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 ...
zhichengzhang's user avatar
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 ...
skd's user avatar
  • 5,580
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 ...
prochet's user avatar
  • 3,442
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,...
jg1896's user avatar
  • 3,063
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]^{...
It'sMe's user avatar
  • 767
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 ...
UVIR's user avatar
  • 971
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 ,\...
mick's user avatar
  • 733
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 ...
Albert's user avatar
  • 141
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 ...
skupers's user avatar
  • 7,933
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 ...
Schemer1's user avatar
  • 789
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 ...
It'sMe's user avatar
  • 767
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 ...
G. Gallego's user avatar
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)....
It'sMe's user avatar
  • 767
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'$ ...
It'sMe's user avatar
  • 767
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 $...
It'sMe's user avatar
  • 767
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 ...
Dima Pasechnik's user avatar
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 ...
It'sMe's user avatar
  • 767
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 ...
It'sMe's user avatar
  • 767
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 ...
benblumsmith's user avatar
  • 2,831
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 ...
deej's user avatar
  • 21
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 ...
Rybin Dmitry's user avatar
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}...
user493645's user avatar
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 ...
Victoria's user avatar
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 ...
Nick's user avatar
  • 213
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 ...
Schemer1's user avatar
  • 789
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:\...
Overflowian's user avatar
  • 2,523
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})$, ...
jessetvogel's user avatar
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 ...
Drew Brady's user avatar
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 ...
prochet's user avatar
  • 3,442
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 ...
Tommaso Scognamiglio's user avatar

1
2 3 4 5
9