Abstract:Let $k$ be a field, and $G$ be a $k$-group scheme of finite type. Let $G_{\mathrm{ad}}$ be the $k$-scheme $G$ with the adjoint action of $G$. We call $\lambda_{G,G}=H^0(\mathop{\mathrm{Spec}} k,e^*(\omega_{G_{\mathrm{ad}}}))$ the Knop character of $G$, where $e:\mathop{\mathrm{Spec}} k\rightarrow G_{\mathrm{ad}}$ is the unit element, and $\omega_{G_{\mathrm{ad}}}$ is the $G$-canonical module. We prove that $\lambda_{G,G}$ is trivial in the following cases: (1) $G$ is finite, and $k[G]^*$ is a symmetric algebra; (2) $G$ is finite and étale; (3) $G$ is finite and constant; (4) $G$ is smooth and connected reductive; (5) $G$ is abelian; (6) $G$ is finite, and the identity component $G^\circ$ of $G$ is linearly reductive; (7) $G$ is finite and linearly reductive. Let $V$ be a small $G$-module of dimension $n<\infty$. We assume that $\lambda_{G,G}$ is trivial. Let $H=\Bbb G_m$ be the one-dimensional torus, and let $V$ be of degree one as an $H$-module so that $S=\mathop{\mathrm{Sym}} V^*$ is a $\tilde G$-algebra generated by degree one elements, where $\tilde G=G\times H$. We set $A=S^G$. Then we have (i) $\omega_A\cong\omega_S^G$ as $(H,A)$-modules; (ii) $a(A)\leq -n$ in general, where $a(A)$ denotes the $a$-invariant. Moreover, the following are equivalent: (1) The action $G\rightarrow\mathrm{GL}(V)$ factors through $\mathrm{SL}(V)$; (2) $\omega_S\cong S(-n)$ as $(\tilde G,S)$-modules; (3) $\omega_S\cong S$ as $(G,S)$-modules; (4) $\omega_A\cong A(-n)$ as $(H,A)$-modules; (5) $A$ is quasi-Gorenstein; (6) $A$ is quasi-Gorenstein and $a(A)=-n$; (7) $a(A)=-n$. This partly generalizes recent results of Liedtke--Yasuda <a class="link-https" data-arxiv-id="2304.14711v2" href="https://arxiv.org/abs/2304.14711v2">arXiv:2304.14711v2</a> and Goel--Jeffries--Singh <a class="link-https" data-arxiv-id="2306.14279v1" href="https://arxiv.org/abs/2306.14279v1">arXiv:2306.14279v1</a>.

Sym-Noetherianity for powers of GL-varieties

Noetherianity up to symmetry

Equivariant sheaves for classical groups acting on Grassmannians

Topological Noetherianity of the infinite half-spin representations

Symmetries of equivariant Khovanov-Rozansky homology

Anomaly and invertible field theory with higher-form symmetry: Extended group cohomology

Singularities of orthogonal and symplectic determinantal varieties

Symmetric powers of null motivic Euler characteristic

Non-noetherian GL-algebras in characteristic two

Equivariant geometry of symmetric quiver orbit closures

GL-algebras in positive characteristic II: the polynomial ring

String diagrams for symmetric powers I: In symmetric monoidal $\mathbb{Q}_{\ge 0}$-linear categories

The geometry of polynomial representations in positive characteristic

Euler characteristics of linear symplectic quotients and $\operatorname{O}(2)$-spaces

The symmetry of finite group schemes, Watanabe type theorem, and the $a$-invariant of the ring of invariants

Non-invertible symmetries and higher representation theory II

Weak Brill-Noether on Abelian Surfaces

Lagrangian subvarieties of hyperspherical varieties related to $G_2$

Elliptic surfaces and toroidal superalgebras

Galois groups of low dimensional abelian varieties over finite fields