相关论文: First Fundamental Theorem of Invariant Theory for …
A graph $G$ is defined encapsulating the number theoretic notion of the Fundamental Theorem of Arithmetic. We then provide a graph theoretic approach to the fundamental results on the coprimality of two natural numbers, through the use of…
Classical invariant theory establishes a systematic correspondence between algebraic and smooth invariants for compact and reductive Lie groups. However, the extension of these results to non-compact and non-reductive regimes remains a…
Chevalley's theorem states that for any simple finite dimensional Lie algebra G (1) the restriction homomorphism of the algebra of polynomials on G onto the Cartan subalgebra H induces an isomorphism between the algebra of G-invariant…
We obtain a generator system of the algebra of $\mathrm{GL}(V)$-invariant differential forms on $\mathrm{End}_{\bf k} (V)$. The proof uses the Weyl-Schur reciprocity.
Let $\mathfrak{o}$ be the ring of integers of a non-archimedean local field with the maximal ideal $\wp$ and the finite residue field of characteristic $p.$ Let $\mathbf{G}$ be the General Linear or Special Linear group with entries from…
A finite group $G$ is called *uniformly generated*, if whenever there is a (strictly ascending) chain of subgroups $1<\langle x_1\rangle<\langle x_1,x_2\rangle <\cdots<\langle x_1,x_2,\dots,x_d\rangle=G$, then $d$ is the minimal number of…
First order lagrangians for the Weyl invariant formulation of Unimodular Gravity are proposed. Several alternatives are examined; in some of them first and second order are equivalent in a certain gauge only.
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…
If V is a representation of a linear algebraic group G, a set S of G-invariant regular functions on V is called separating if the following holds: If two elements v,v' from V can be separated by an invariant function, then there is an f…
Let $G$ be a a finite group, $k$ a field of characteristic dividing $|G|$ and and $V,W$ $kG$-modules. Broer and Chuai showed that if $\mathrm{codim}(V^G) \leq 2$ then the module of covariants $k[V,W]^G = (k[V]\otimes W)^G$ is a…
Let $G$ be a reductive group over a number field $F$, which is split at a finite place $\mathfrak{p}$ of $F$, and let $\pi$ be a cuspidal automorphic representation of $G$, which is cohomological with respect to the trivial coefficient…
In the past few years, an action of $\mathrm{PGL}_2(\mathbb F_q)$ on the set of irreducible polynomials in $\mathbb F_q[x]$ has been introduced and many questions have been discussed, such as the characterization and number of invariant…
The framework of the Covariant Canonical Gauge theory of Gravity (CCGG) is described in detail. CCGG emerges naturally in the Palatini formulation, where the vierbein and the spin connection are independent fields. Neither torsion nor…
Let $H$ be a subgroup of a finite group $G$. We say that $H$ satisfies partial $\Pi$-property in $G$ if there exists a chief series $\mathit{\Gamma}_G:1=G_0<G_1<\cdots<G_n=G$ of $G$ such that for every $G$-chief factor $G_i/G_{i-1}$ ($1\leq…
Let $B$ be a Noetherian normal local ring, and $G\subset\Aut(B)$ a cyclic group of local automorphisms of prime order. Let $A$ be the ring of $G$-invariants of $B$, assume that $A$ is Noetherian. We study the invariant morphism; in…
The Hamiltonian description of classical gauge theories is a very well studied subject. The two best known approaches, namely the covariant and canonical Hamiltonian formalisms have received a lot of attention in the literature. However, a…
Assume $G$ is a connected reductive algebraic group defined over $\bar{\mathbb{F}_p}$ such that $p$ is good prime for $G$. Furthermore we assume that $Z(G)$ is connected and $G/Z(G)$ is simple of classical type. Let $F$ be a Frobenius…
We formulate and prove a free quantum analogue of the first fundamental theorems of invariant theory. More precisely, the polynomial functions algebras are replaced by free algebras, while the universal cosovereign Hopf algebras play the…
Let A be a dg category, F:A->A a dg functor inducing an equivalence of categories in degree-zero cohomology, and A/F the associated dg orbit category. For every A1-homotopy invariant (e.g. homotopy K-theory, K-theory with coefficients,…
We introduce a new graph invariant of finite groups that provides a complete characterization of the splitting types of unramified prime ideals in normal number field extensions entirely in terms of the Galois group. In particular, each…