All Questions
Tagged with symmetric-polynomials ac.commutative-algebra
14 questions
11
votes
0
answers
616
views
Monotonicity of ratio of symmetric polynomials
The complete homogeneous symmetric polynomials of degree $\ell$ in $n$ variables are defined by
\begin{equation*}
h_{\ell}(x_1,x_2,\ldots,x_n) = \sum_{1 \leq i_1 \leq i_2 \leq \ldots \leq i_{\ell} \...
-1
votes
1
answer
294
views
Must 'special' $u,v \in \mathbb{C}[x,y]$ be symmetric polynomials?
The idea for the following question came from Joachim König's last comment appearing
here, namely, the example with $u=x+y^3,v=x^3+y$.
Let $u,v \in \mathbb{C}[x,y]-\mathbb{C}$. Denote by $\alpha$ the ...
CommunityBot
- 1
4
votes
1
answer
385
views
Can the ring of symmetric polynomials be generated by powers of symmetric polynomials of degree 1?
I'm making a research on Galois theory, and found something interesting regarding the ring of symmetric polynomials:
At least up to 5 variables, we can rewrite the elementary symmetric polynomials ...
- 148k
6
votes
1
answer
533
views
Construction of a symmetric polynomial in the roots that acts like the discriminant
The discriminant $\Delta(P)$ of a monic polynomial $P(x)=x^n + a_{n-1} x^{n-1} + \dotsb + a_0$ of degree $n$, when expanded (using elementary symmetric polynomials), is a symmetric polynomial of ...
- 12.9k
3
votes
0
answers
43
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 ...
- 63.9k
1
vote
1
answer
112
views
A question about finding a system of invariants for a subgroup $H$ of the symmetric group $S_n$
If $H = S_n$ then then the fundamental symmetric polynomials allow to write any $S_n$-invariant polynomial $f$ as a polynomial expression of these elementary symmetric functions. In other words, $\...
- 133
0
votes
1
answer
670
views
Symmetric polynomials in two sets of variables
Suppose $f(x_1,...,x_m,y_1,...,y_n)$ is a polynomial with coefficients in some field which is invariant under permuting the $x$'s and the $y$'s. Then $f$ can be generated elementary functions $e_k(x_1,...
CommunityBot
- 1
7
votes
2
answers
1k
views
Maximize $L^p$ norm over sphere
For $p \in \mathbb{R}$, consider the function
$$F_p(\lambda_1, \dots, \lambda_n) = \lambda_1^p + \dots + \lambda_n^p.$$
My goal is to maximize this function under the constraints that
$$ \lambda_1^2 +...
- 2,286
5
votes
1
answer
354
views
When is a linear combination of the elementary symmetric polynomials reducible?
Let $n\ge 2$ and consider the polynomial ring $\mathbb F [X_1,...,X_n]$, where $\mathbb F$ is a field. Let $e_j:=e_j(X_1,...,X_n)$ be the elementary symmetric polynomial of degree $j$ in $X_1,...,X_n$...
- 50.8k
2
votes
0
answers
61
views
Different term's contribution in zonal polynomial
I am very interested in the contribution of different terms in a zonal polynomial. Let's focus on the simplest case. In (20) in "Distributions of matrix variates and latent roots derived from normal ...
- 163
3
votes
1
answer
535
views
Singular locus of zero set of elementary symmetric polynomial
Let $\sigma_{m, r}$ be the degree-$r$ elementary symmetric polynomial in $m$ variables. Let $X_{m, r}$ be the zero set of $\sigma_{m, r}$ and $S_{m, r}$ its singular locus. I.e.,
$S_{m,r}$ is the set ...
- 85.6k
5
votes
0
answers
250
views
A question on symmetric functions
Let $0 \leq m \leq n$ be integers. The group $S_n$ of permutations acts on the ring $\mathbb{Z}[X_1,\dots,X_n]$ by permuting the coordinates, with fixed subring $\mathbb{Z}[\sigma_1,\dots,\sigma_n]$, ...
- 7,249
1
vote
0
answers
90
views
Irreducibility of a certain matrix variety
Let $R=\mathbb{Q}[x_{i,j}\,:\, 1\leq i,j\leq n]$. Let $M$ be the $n\times n$ matrix $(x_{i.j})$. Let $\chi(M)$ be the characteristic polynomial of $M$. Finally, let $I$ be the ideal of $R$ ...
- 18.7k
5
votes
1
answer
439
views
A nice generating set for the symmetric power of an algebra
I'm looking for a reference for the following fact.
Suppose $A$ is a finitely generated associative commutative unital algebra over an algebraically closed field of characteristic zero. Let $S^n(A)$ ...
- 16.9k