Reduced class groups grafting relative invariants (Q533956)

Let \((X,G)\) denote a regular action of an affine algebraic group on an affine algebraic variety \(X\) over an algebraically closed field \(K\), \(\mathrm{char}(K)=p \geq 0\). Such an action \((X,G)\) is said to be \textit{equidimensional} ( resp. \textit{cofree}), if the quotient morphism \(\pi_{X,G}:X \to X/\!/G\) is equidimensional, i.e., closed fibers of \(\pi_{X,G}\) are of dimension \(\dim X- \dim X/\!/G\) (resp. if \(\mathcal{O}(X)\) is \(\mathcal{O}(X)^G\)-free). The action \((X,G)\) are called \textit{conical} if the action of \(G\) preserves each homogeneous part of \(\mathcal{O}(X).\) Moreover, \((X,G)\) is said to be \textit{stable}, if there is a non-empty open subset of \(X\) consists of closed \(G\)-orbits. Let \(\mathrm{Cl}(X) \) denotes the divisor class group of \(X\). For a finite dimensional complex linear representation \(G \to \mathrm{GL}(V)\) of a connected algebraic group \(G\) the following conjecture is well known Russian conjecture. \textit{If \((V,G)\) is equidimensional, then it is cofree.} Especially for an algebraic torus, the Russian conjecture is solved affirmatively [\textit{D. Wehlau}, A proof of the Popov conjecture for tori. Proc. Am. Math. Soc. 114, No.~3, 839--845 (1992; Zbl 0754.20013)], which is generalised by the author to the case where \((V,G)\) is a conical factorial variety \(V=X\) with a stable conical action of an algebraic torus over \(K\) of characteristic zero. The author study the following problem which produces extensions of the results in [\textit{H. Nakajima}, ``Equidimensional actions of algebraic tori'', Ann. Inst. Fourier 45, No.~3, 681--705 (1995; Zbl 0823.14035)]. Problem. Suppose that \(G\) is an algebraic torus and \((X,G)\) is a stable conical action of \(G\) on a conical normal variety \(X\) defined over \(K\) of characteristic zero. If \((X,G)\) is equidimensional, then -- Does there exist a \(G\)-equivariant finite Galois covering \(X \to \tilde{X}\) for a normal conical variety \(\tilde{X}\) with a conical \(G\)-action admitting some commutative diagram such that \((\tilde{X},G)\) is cofree? -- Moreover can we choose \(X \to \tilde{X}\) in such a way that the order \(|\mathrm{Gal}(X/\tilde{X})|\) of the group of \(X \to \tilde{X}\) is a divisor of a power of the exponent of a subgroup pf the divisor group \(\mathrm{Cl}(X) \)? Let \((X,T)\) be a regular stable conical action of an algebraic torus on an affine normal conical variety \(X\). The author defined a certain subgroup of \(\mathrm{Cl}(X /\!/T)\) and characterize its finiteness in terms of a finite \(T\)-equivariant Galois descent \(\tilde{X}\) of \(X\). The author shows that the action \((X,T)\) is equidimensional if and only if there exists a \(T\)-equivariant finite Galois covering \(X \to \tilde{X}\) such that \((\tilde{X},T)\) is cofree. Moreover the order of \(\mathrm{Cl}(X /\!/\tilde{X})\) is controlled by a certain subgroup of \(\mathrm{Cl}(X ).\) The present result extends thoroughly the equivalence of equidimensionality and cofreenes of \((X,T)\) for a factorial \(X.\) The purpose of the paper is to evaluate orders of divisor classes associated to modules of relative invariants for a Krull domain with a group action. This is useful in studying on equidimensional torus action as above.