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

Finite type invariants in low degrees and the Johnson filtration

Invariants of almost complex and almost Kähler manifolds

Universal invariants, the Conway polynomial and the Casson-Walker-Lescop invariant

Garoufalidis-Levine's finite type invariants for $\mathbb{Z}π$-homology equivalences from 3-manifolds to the 3-torus

The cohomological dimension of the terms of the Johnson filtration

First-order invariants of differential 2-forms

New invariants of involutions from Seiberg-Witten Floer theory

The Casson-Walker-Lescop Invariant and Link Invariants

Finite type invariants of words and Arnold's invariants

On geometric invariants of singular plane curves

On invariants of a map germ from n-space to 2n-space

Refined invariants of finite-dimensional Jacobi algebras

Invariant for Sets of Pfister Forms

Effective Categorical Enumerative Invariants

Involutions and the Chern-Simons filtration in instanton Floer homology

Various Numerical Invariants for Isolated Singularities

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

Finite type knot invariants and calculus of functors

$L^2$-type invariants for complex smooth quasi-projective varieties -- a survey

On the invariant and anti-invariant cohomologies of hypercomplex manifolds