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

A reduction theorem for good basic invariants of finite complex reflection groups

Satake's good basic invariants for finite complex reflection groups

Good Basic Invariants and Frobenius Structures

Special unipotent representations of real classical groups: counting and reduction

Invariants and semi-invariants in the cohomology of the complement of a reflection arrangement

Restricted Root Systems and Spin Representations

Simple algebraic groups with the same maximal tori, weakly commensurable Zariski-dense subgroups, and good reduction

Cohomologically Induced Distinguished Representations and Cohomological Test Vectors

Restricting invariants of unitary reflection groups

Cohomologically Induced Distinguished Representations and a Non-Vanishing Hypothesis for Algebraicity of Critical L-values

Combinatorial invariants for certain classes of non-abelian groups

Maximal root subsystems of affine reflection systems and duality

The Reduction Theorem for Relatively Maximal Subgroups

A reduction theorem for the Character Triple Conjecture

Semiinvariants of Finite Reflection Groups

Invariant differential derivations for reflection groups in positive characteristic

Invariants of reflection groups, arrangements, and normality of decomposition classes in Lie algebras

Arithmetic invariant rings of some irreducible complex reflection groups

Invariant Frames for Vector Bundles and Applications

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

Co-quasi-invariant spaces for finite complex reflection groups