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>.

On the action of the symmetric group on the free LAnKe II

On the action of the symmetric group on the free LAnKe

On an $n$-ary generalization of the Lie representation and tree Specht modules

A skein action of the symmetric group on noncrossing partitions

Symmetric bilinear Forms and Galois Theory

Symmetric A actions on $\mathcal{A}(2)$

The $\mathfrak{sl}_2$-actions on the symmetric polynomials and on Young diagrams

On cocliques in commutative Schurian association schemes of the symmetric group

Some Lie algebra structures on symmetric powers

Constant rank subspaces of alternating bilinear forms from Galois Theory

Characters and projective characters of alternating and symmetric groups determined by values on $l'$-classes

Adjoints in symmetric squares of Lie algebra representations

Linear operators and construction of symmetric symbols satisfying sum rules of order p

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

An Analogue of Ladder Representations for Classical Groups

A K_T-deformation of the ring of symmetric functions

Affine Stanley symmetric functions

Motivic Splittings For Symmetric Matrices

Vertex operators, symmetric functions, and the spin group Γn

Action of free fermions on Symmetric Functions

Rectangular symmetries for coefficients of symmetric functions