**11**

votes

**0**answers

239 views

### Most discriminants are almost squarefree

Write, for $f(x) = x^d + a_2 x^{d-2} + \cdots + a_d\in \mathbb{Z}[x]$, $H(f) := \max(|a_i|^{\frac{1}{i}})$.
Does anyone know of a reference that would allow me to show that the proportion of $f$ with ...

**8**

votes

**0**answers

226 views

### Earliest use of the term “linearly reductive”?

Recently a number of MO questions have referred to a "linearly reductive group", usually in a way that is out of focus. It's unclear to me why this terminology is so popular, since over a field of ...

**8**

votes

**0**answers

180 views

### Characteristic classes from moduli of alternating forms

Suppose, just for example, that you have a smooth manifold $M$ of dimension greater than $8$,and a cohomology class $q$ in $H^3(M,{\Bbb R})$. Suppose further that one can represent $q$ with a ...

**7**

votes

**0**answers

90 views

### Invariant theory of $SL_2$ over a field of positive characteristic

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $W$ be a finite dimensional $SL_2$-module over $k$. Let $V$ be the natural representation of $SL_2$.
What can be said - in ...

**7**

votes

**0**answers

477 views

### Can one give a “nice” expression for this determinant?

I am asking this question on behalf of a senior faculty member who is sometimes intimidated by computers. It is motivated by a problem in invariant theory. Unfortunately the question is a bit vague.
...

**6**

votes

**0**answers

174 views

### Automorphisms of a quotient variety

Let $X$ be a variety, and $G\subset Aut(X)$ a subgroup of the automorphism group of $X$. Assume that the quotient $Y = X/G$ is a variety. Does there exist some simple relation between $Aut(X)$, $G$ ...

**5**

votes

**0**answers

119 views

### The action of Steenrod squares on the indeterminate in Bullett-Macdonald identities

The Bullet-Macdonald identity (c.f. On the Adem relations)is the following:
$$P(s^2+st)P(t^2)=P(t^2+st)P(s^2).$$
where we have $P(s)=\Sigma _s s^iSq^i$. This is known to be equivalent to the
Adem ...

**5**

votes

**0**answers

209 views

### Generators for invariant tensors of lie algebras

EDITED FOR (hopeful) CLARITY:
For a simple Lie algebra $\mathfrak{g}$ (over $\mathbb{C}$) and its adjoint group G, the $G$-invariant polynomials on $\mathfrak{g}$ are linear combinations of products ...

**5**

votes

**0**answers

151 views

### algebra of endomorphisms over the diagonal invariants

Let $k$ be a field of characteristic 0 (say $\mathbb{C}$).
Consider the ring of polynomials $R = k[X_1,...,X_n]$ and its subring of invariant polynomials $S = R^{S_n}$.
It is known that the ...

**5**

votes

**0**answers

286 views

### FFT like theorems for tensor product

The fundamental theorem of symmetric functions states that $\mathbb C[V]^{S_n}$ is generated by the elementary symmetric polynomials, where $V$ is the natural representation of $S_n$. Then a theorem ...

**5**

votes

**0**answers

199 views

### Modular reduction of exceptional complex reflection groups

I am interested in reducing reflection representations of complex reflection groups modulo a prime $p$. For the infinite family $G(m,r,n)$, it is straightforward to get "good reduction" provided that ...

**4**

votes

**0**answers

258 views

### Group action on Grassmannian: Intersection of two special invariant rings

Let $K$ be a field with characteristic $0$.
Let $G:=G(d,nd)$ the Grassmannian of all $d-$dimensional subspaces of $K^{nd}$ and let $H:=O_d(K)^n$ the n-fold direct product of the orthogonal group. $H$ ...

**4**

votes

**0**answers

323 views

### A relative Noether number for invariants

EDIT: Wrong definition of $\beta\left(G,H\right)$ fixed. One of the results is open (i. e., I cannot prove it).
In "Finite Groups and invariant theory" (a paper in Malliavin's LNM #1478 which can ...

**4**

votes

**0**answers

218 views

### When is the ring of invariants of a finite group generated by symplectic reflections a complete intersection ring?

Let V be a finite dimensional symplectic vector space over $\mathbb{C}$. Let $G$ be a finite subgroup of the symplectic group $Sp(V),$ which is
generated by symplectic reflections, i.e. by elements ...

**3**

votes

**0**answers

127 views

### Invariant Laurent polynomials under cyclic group action

Start with the cyclic group $G:=\mathbb{Z}/p$ of prime order $p$ and and an integer lattice $P:=\mathbb{Z}^p$. Let $G$ act on $P$ by cyclic permutation of coordinates. There is an induced action on ...

**3**

votes

**0**answers

158 views

### Invariants of the symmetric group

Let $V_\lambda$ be an irreducible representation of the symmetric group $S_n$ as usual labeled by parition $\lambda$ of $n.$
Question.
Is there any general information about the algebra of ...

**3**

votes

**0**answers

94 views

### First Fundamental Theorem for Alternating Group

I know it fails but is there an answer?
More precisely, let $V$ be the standard complex $n$-dimensional representation of the alternating group $A_n$, $kV$ the direct sum of its $k$ copies, $S(kV)$ ...

**3**

votes

**0**answers

145 views

### determine if a toric variety is Gorenstein

Let $G$ a simply connected group over $k$ and $car(k)=0$.
Let $T_{+}=(T\times T)/Z_{G}$ we consider the closure $\overline{T}_{+}$ of the torus $T_{+}$ in $\prod ...

**3**

votes

**0**answers

274 views

### Ring of invariants of finite subgroup of $GL_2(\mathbb{C})$

In the paper 'FINITE LINEAR GROUPS WHOSE RING OF INVARIANTS IS A COMPLETE INTERSECTION' by VICTOR KAC AND KEI-ICHI WATANABE published in BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY ...

**3**

votes

**0**answers

187 views

### Invariant Subvarieties of Variety of Quiver Representations

I'd like to understand a special case of the following rather general algebraic geometry question:
Given an algebraic group $G$ acting on a variety $V$, can we describe the $G$-invariant subvarieties ...

**2**

votes

**0**answers

26 views

### Terminology for research on distributions of inner products

Consider a set of vectors $M$ from an inner product space $V$. The ordered set of inner products of all pairs of elements in $M$ uniquely characterizes $M$ up to isomorphism.
Suppose now that $V$ is ...

**2**

votes

**0**answers

111 views

### The transfer map $H_*(BSO(3))\rightarrow H_*(BO(2))$: reference request

All cohomology and homology will be $Z/2$ coefficient. The restriction map
$H^*(BSO(3))\rightarrow H^*(BO(2))$ is well-known to be the inclusion of
the Dickson invariant $Z/2[w_2,w_3]$ into the ...

**2**

votes

**0**answers

90 views

### Galois correspondence for action of general linear group on purely transcendental extension

For a fixed positive integer $n$, the group $G=GL_n(\mathbb{C})$ acts on the field $K=\mathbb{C}(t_1,\ldots,t_n)$ by linear change of variables. I would like to know if there is something like a ...

**2**

votes

**0**answers

58 views

### different and discriminant for finite invariants

Let $k$ be an algebraically closed field.
Let $B$ a $k$-algebra of finite type, normal and Cohen-macaulay. Let $G$ a finite group acting on $B$. We assume that the order of $G$ is prime to the ...

**2**

votes

**0**answers

258 views

### How to determine there exists a unique invariant subspace for a set of matrices

Hi everyone,
Ive been looking at the following problem, but its not entirely in my area and some potential solutions seem to rely on algebraic geometry. Maybe thats just a complicated way to solve ...

**1**

vote

**0**answers

86 views

### Weyl group invariants of the representation ring of a split torus

Let $G$ be a semisimple split algebraic group, $T$ its split maximal torus and $W$ corresponding Weyl group. Let $T^*$ denote the character lattice of $T$ and $\Lambda$ denote the weight lattice, so ...

**1**

vote

**0**answers

67 views

### An almost permutation G-lattice

I've been trying to determine the rationality of certain fields of invariants coming from G-lattices. More precisely, letting $G$ be a finite group, $L=\mathbb{Z}^n$ a free abelian group with a $G$ ...

**1**

vote

**0**answers

82 views

### A slightly odd (integral of Whittaker functions / sum of characters of $GL_n(\mathbb C)$ / sum of Schur functions)

Let $W$ be the normalized spherical Whittaker function attached to a spherical representation $\pi$ on $GL_n(k)$, where $k$ is a $p$-adic field and $n\ge 3$.
I'm faced with the slightly-odd integral
...

**1**

vote

**0**answers

467 views

### Equivalence classes induced on binary strings by set of permutations

Let $\mathbb{F}_2^{n}$ be the set of binary strings of length $n$ and let $f: \mathbb{F}_2^{n} \rightarrow \mathbb{R}$ be a function from the set of binary strings of length $n$ to the reals.
Let's ...

**0**

votes

**0**answers

40 views

### Invariant subalgebra and dual torus for symmetric group

Given permutation module with three generators and corresponding Galois action of symmetric group $\mathfrak S_3$ I am interested in computing corresponding dual torus $T$ (which should be of ...

**0**

votes

**0**answers

143 views

### Universal property of categorical quotients

I'm approaching the arguments in Mumford's book Geometric Invariant Theory and i have a question which i hope is not too naive..
I've read that, given a group scheme $G/S$ acting on $X/S$, we say ...

**0**

votes

**0**answers

88 views

### Action of the (special) orthogonal group on differential forms

I was told that the following facts are true. I am looking for a reference to them.
1) The action of $O(n,\mathbb{C})$ on $\wedge^l\mathbb{C}^n$ is irreducible for any $l$.
2) The action of ...

**0**

votes

**0**answers

137 views

### Invariants of the Determinant Form

Consider a form of degree $r$ in $n$, that is, a homogeneous polynomial
$$f(x_1, \ldots, x_n)=\sum_{i_1+\ldots i_n=r}\alpha_{i_1 ... i_n}x_1^{i_1} ... x_n^{i_n}
$$
After the linear change of ...

**0**

votes

**0**answers

165 views

### Invariant Polynomes under group action - given the invariants looking for the group. algorithmic solution?

I have given a finite set $S$ of polynomes in the ring $R = C[x_1,\dots,x_n]$. I need to know the minimal group $G$ wich acts on $R$ such that $C[S]$ is the ring of invariants of $R$ under the action ...