Related papers: Tensor fundamental theorems of invariant theory
The rings of SL(V) invariants of configurations of vectors and linear forms in a finite-dimensional complex vector space V were explicitly described by Hermann Weyl in the 1930s. We show that when V is 3-dimensional, each of these rings…
Schur-Weyl duality concerns the actions of $\text{GL}_{n}(\mathbb{C})$ and $S_{k}$ on tensor powers of the form $V^{\otimes k}$ for an $n$-dimensional vector space $V$. There are rich histories within representation theory, combinatorics,…
This paper develops a theory of polynomial maps from commutative semigroups to arbitrary groups and proves that it has desirable formal properties when the target group is locally nilpotent. We apply this theory to solve Waring's Problem…
The algebra of ${\rm GL}_n$-invariants of $m$-tuples of $n\times n$ matrices with respect to the action by simultaneous conjugation is a classical topic in case of infinite base field. On the other hand, in case of a finite field generators…
We prove a version of Schur--Weyl duality over finite fields. We prove that for any field $k$, if $k$ has at least $r+1$ elements, then Schur--Weyl duality holds for the $r$th tensor power of a finite dimensional vector space $V$. Moreover,…
We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable $\infty$-categories. The formula behaves much better…
We use a unified elementary approach to prove the second part of classical, mixed, super, and mixed super Schur-Weyl dualities for general linear groups and supergroups over an infinite ground field of arbitrary characteristic. These…
Let (g,[p]) be a finite-dimensional restricted Lie algebra, defined over an algebraically closed field k of characteristic p>0. The scheme of tori of maximal dimension of g gives rise to a finite group S(g) that coincides with the Weyl…
We study the category of wheeled PROPs using tools from Invariant Theory. A typical example of a wheeled PROP is the mixed tensor algebra ${\mathcal V}=T(V)\otimes T(V^\star)$, where $T(V)$ is the tensor algebra on an $n$-dimensional vector…
This article is devoted to rational equivalence for non-commutative polynomial algebras in a context including both the classical Gelfand-Kirillov problem and its quantum version. We introduce in this ``mixed'' context some reference…
We propose the notion of a supercategory as an alternative approach to supermathematics. We show that this setting is rich to carry out many of the basic constructions of supermathematics. We also prove generalizations of a number of…
Let $X$ be a smooth algebraic variety endowed with an action of a finite group $G$ such that there exists the geometric quotient $\pi_X:X\to X/G$. We characterize rational tensor fields $\tau$ on $X/G$ such that the {\it pull back} of $\tau…
We present some approaches to the perturbative analysis of the classical and quantum gravity. First we introduce a graphical representation for a global SO(n) tensor $(\pl)^d h_\ab$, which generally appears in the weak field expansion…
This is the first in a series of papers on standard monomial theory and invariant theory of arc spaces. For any algebraically closed field $K$, we construct a standard monomial basis for the arc space of the determinantal variety over $K$.…
Let $V$ be a two-dimensional vector space over a field $\mathbb F$ of characteristic not $2$ or $3$. We show there is a canonical surjection $\nu$ from the set of suitably generic commutative algebra structures on $V$ modulo the action of…
We introduce (partially) ordered Grothendieck categories and apply results on their structure to the study of categories of representations of the Mackey Lie algebra of infinite matrices $\mathfrak{gl}^M\left(V,V_*\right)$. Here…
Let $k$ be a field, let $G$ be a reductive algebraic group over $k$, and let $V$ be a linear representation of $G$. Geometric invariant theory involves the study of the $k$-algebra of $G$-invariant polynomials on $V$, and the relation…
Equivariant map algebras are Lie algebras of algebraic maps from a scheme (or algebraic variety) to a target finite-dimensional Lie algebra (in the case of the current paper, we assume the latter is a simple Lie algebra) that are…
The classical invariant theory for the queer Lie superalgebra is an investigation of the $\mathrm{U}(\mathfrak{q}_n)$-invariant sub-superalgebra of the symmetric superalgebra $\mathrm{Sym}(V^{\oplus r}\oplus V^{*\oplus s})$ for…
Let G denote either a special orthogonal group or a symplectic group defined over the complex numbers. We prove the following saturation result for G: given dominant weights \lambda^1, ..., \lambda^r such that the tensor product…