Computing Hasse-Schmidt derivations and Weil restrictions over jets (Q403341)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computing Hasse-Schmidt derivations and Weil restrictions over jets |
scientific article |
Statements
Computing Hasse-Schmidt derivations and Weil restrictions over jets (English)
0 references
29 August 2014
0 references
An explicit and compact description of the Hasse-Schmidt derivations in terms of Fitting ideals and symmetric tensor algebras is given. The localization conjecture from [\textit{W. N. Traves}, Can. Math. Bull. 46, No. 2, 304--309 (2003; Zbl 1096.13528)] is proven. Let \(R\) and \(A'\) be two commutative algebras over a ring \(A\). Let \(n\) be a non-negative integer and let \(E_n=A[t]/(t^{n+1})\). A Hasse-Schmidt derivation of order \(n\) from \(R\) to \(A'\) can be defined as a homomorphism of \(A\)-algebras \(R\to E_n \otimes_A A'\). The functor of the Hasse-Schmidt derivations of order \(n\) defined by \(\mathrm{Der}^n_{R/A}(-): A'\mapsto \mathrm{Hom}_A(R, E_n\otimes_A A')\) is representable, i. e., there exist an \(A\)-algebra \(\mathrm{HS}^n_{R/A}\) and an isomorphism of functors \(\mathrm{Hom}_A(\mathrm{HS}^n_{R/A}, -)\) and \(\mathrm{Der}^n_{R/A}(-)\). The author gives a description of \(\mathrm{HS}^n_{R/A}\) as a quotient ring of a polynomial ring with coefficients in \(\mathrm{HS}^{n-1}_{R/A}\). One has also the functor of Hasse-Schmidt derivations \(\mathrm{HS}^{\infty}_{R/A}(-): A'\mapsto \mathrm{Hom}_A(R, A'[[t]])\), where \(A'[[t]]\) denotes the ring of formal power series in \(t\) with coefficients in \(A'\). It is demonstrated in the paper that \(\mathrm{HS}^{\infty}_{R/A}(-)\) is representable, its representing object is the direct limit \(\lim_{n\to\infty} \mathrm{HS}^{n}_{R/A}\) taken with respect to the natural maps \(\mathrm{HS}^{n}_{R/A}\to \mathrm{HS}^{n+1}_{R/A}\) induced by the truncation homomorphisms \(E_{n+1}\to E_n\). For a homomorphism of \(A\)-algebras \(E_n\to R\), the Weil restriction functor \(\mathfrak{R}_{E_n/A}(R)(-)\) is defined by \(A'\mapsto \mathrm{Hom}_{E_n}(R, E_n\otimes_A A')\). In this case \(R\) is an \(E_n\)-algebra, so one can represent \(R\) as a quotient \((S_A(V)\otimes_A E_n)/ I\), where \(S_A(V)\) is the symmetric algebra over an \(A\)-module \(V\). Then the functor \(\mathfrak{R}_{E_n/A}(R)(-)\) is representable, its representing object \(R_{E_n/A}(R)\) is described as a quotient ring of \(S_A(V\otimes_A E_n^*)\). The author verifies the localization conjecture from [Zbl 1096.13528], i. e., he shows that \(\mathrm{HS}^n_{S^{-1}R/A}=\mathrm{HS}^n_{R/A}\otimes_R S^{-1} R\) and \(\mathrm{HS}^{\infty}_{S^{-1}R/A}=\mathrm{HS}^{\infty}_{R/A}\otimes_R S^{-1} R\) for an arbitrary multiplicative set \(S\subseteq R\). The paper under review consists of four sections. Section~1 is an introduction, a short review of the paper is given here. Section~2 provides a description of \(\mathrm{HS}^n_{R/A}\) as a quotient ring of a polynomial ring with coefficients in \(\mathrm{HS}^{n-1}_{R/A}\). In Section~3 a description of the representing object of \(\mathfrak{R}_{E_n/A}(R)(-)\) is given. In Section 4 the localization conjecture is verified.
0 references
Weil restriction
0 references
Fitting ideals
0 references
Hasse-Schmidt derivations
0 references
jets
0 references
localization conjecture
0 references