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

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

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

Symmetric bilinear Forms and Galois Theory

On Left-Symmetric Conformal Bialgebras

Algebraically generated groups and their Lie algebras

Some Lie algebra structures on symmetric powers

A Lie algebra related to the universal Askey-Wilson algebra

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

Symmetry analysis of the canonical connection on Lie groups: six-dimensional case with abelian nilradical and one-dimensional center

Adjoints in symmetric squares of Lie algebra representations

A skein action of the symmetric group on noncrossing partitions

Action of free fermions on Symmetric Functions

Constant rank subspaces of alternating bilinear forms from Galois Theory

On Mixed Nonlinear Skew Lie (Jordan) Products on Von Neumann Algebras

On a Type of Nonlinear Lie Algebras

Internal Symmetry of the L3 Algebra Arising from a Lie Pair

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

Writing finite simple groups of Lie type as products of subset conjugates

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

Structures of N-Lie Algebra An