On the modules of \(m\)-integrable derivations in non-zero characteristic (Q409622): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Luis Narváez-Macarro / rank | |||
Property / review text | |||
Let \(k\) be a commutative ring, let \(A\) be a commutative \(k\)-algebra, and let \(\delta:A\to A\) be a \(k\)-linear derivation of \(A\). It can be identified with the \(k\)-algebra homomorphism \(\bar\delta: A\to A[\varepsilon]\), \(a\mapsto a+\delta(a)\cdot \varepsilon\), where \(A[\varepsilon]=A[[t]]/(t^2)\) and \(\varepsilon = t+(t^2)\) is the infinitesimal parameter. Let \(m\) be a positive integer. The derivation \(\delta\) is called \(m\)-integrable if there is a \(k\)-algebra homomorphism \(\Phi: A\to A[[t]]/(t^{m+1})\) that lifts the homomorphism \(\bar \delta\). Let \(\bar t\) denote the class of \(t\) in \(A[[t]]/(t^{m+1})\), then \[ \Phi(a)=a+\bar \delta\cdot \bar t+ D_1(a)\cdot \bar {t}^2+\dots+D_{m}\cdot \bar{t}^m, \] where \(D_i: A\to A\) are \(k\)-linear maps satisfying \(D_0=\mathrm{id}_A\), \(D_1=\delta\), and the Leibniz equality \[ D_{i}(ab)=\sum\limits_{r+s=i}D_r(a)D_s(b). \] Such a sequence \(D_0,\dots D_m\) of \(k\)-linear maps is called a Hasse-Schmidt derivation of length \(m\). The set \(\mathrm{Ider}_k(A; m)\) of all \(m\)-integrable \(k\)-derivations of \(A\) is an \(A\)-submodule of \(\mathrm{Der}_k(A)\). The derivation \(\delta\) is called (\(\infty\)-)integrable if \(\bar \delta\) can be lifted to a \(k\)-algebra homomorphism \(A\to A[[t]]\), \(a\mapsto a+\delta(a)t+D_2(a)t^2+\dots\), and the sequence of \(k\)-linear operators \[ D_0=\mathrm{id}_A,\quad D_1=\delta,\quad D_2, \dots \] satisfies the Leibniz equality and is called a Hasse-Schmidt derivation of infinite length. The set \(\mathrm{Ider}_k(A)=\mathrm{Ider}_k(A; \infty)\) of all integrable \(k\)-derivations of \(A\) is an \(A\)-submodule of \(\mathrm{Der}_k(A)\). There is a sequence of \(A\)-submodules \[ \mathrm{Der}_k(A)=\mathrm{Ider}_k(A; 1)\supset \mathrm{Ider}_k(A; 2)\supset \dots \supset \mathrm{Ider}_k(A; \infty)=\mathrm{Ider}_k(A). \] There are two main results of the paper. (I) Let \(A\) be a finitely presented \(k\)-algebra and let \(m\) be a positive integer. Then the property of being \(m\)-integrable is a local property, i.~e., a \(k\)-derivation \(\delta: A\to A\) is \(m\)-integrable if and only if the induced \(k\)-derivations \(A_{\mathfrak p}\to A_{\mathfrak p}\) are \(m\)-integrable for all prime ideals \(\mathfrak p\subset A\). One can reformulate this as follows. Let \(f: X\to S\) be a locally finitely presented morphism of schemes and let \(m\) be a positive integer. Consider the \(\mathcal O_X\)-module \({Der}_S(\mathcal O_X)\) of \(\mathcal O_S\)-derivations of the structure sheaf \(\mathcal O_X\). Then there exists a quasi-coherent sub-module \(\mathrm{Ider}_S(\mathcal O_X; m)\subset {Der}_S(\mathcal O_X)\) such that for every affine open sets \(U=\mathrm{Spec} (A)\subset X\) and \(V=\mathrm{Spec}(k)\subset S\) with \(f(U)\subset V\) it holds \(\Gamma(U, \mathrm{Ider}_S(\mathcal O_X; m))=\mathrm{Ider}_k(A; m)\) and \(\mathrm{Ider}_S(\mathcal O_X; m)_x=\mathrm{Ider}_{\mathcal O_{S, f(x)}}(\mathcal O_{X, x}; m)\) for all \(x\in X\). (II) For a given \(k\)-algebra \(A\) and a positive integer \(m\), there is an algorithm deciding whether \(\mathrm{Ider}_k(A; m)=\mathrm{Der}_k(A)\). The complexity of the algorithm is exponential with respect to \(m\). The paper under review consists of an introduction and 3 sections. In introduction an overview of the content of the paper is presented, main results of the paper are stated here as well. In Section~1, the notations used in the paper and basic facts about Hasse-Schmidt derivations are given. Section~2 deals with integrability questions, the main results of the paper are proven here. Section~3 provides some examples and open questions. | |||
Property / review text: Let \(k\) be a commutative ring, let \(A\) be a commutative \(k\)-algebra, and let \(\delta:A\to A\) be a \(k\)-linear derivation of \(A\). It can be identified with the \(k\)-algebra homomorphism \(\bar\delta: A\to A[\varepsilon]\), \(a\mapsto a+\delta(a)\cdot \varepsilon\), where \(A[\varepsilon]=A[[t]]/(t^2)\) and \(\varepsilon = t+(t^2)\) is the infinitesimal parameter. Let \(m\) be a positive integer. The derivation \(\delta\) is called \(m\)-integrable if there is a \(k\)-algebra homomorphism \(\Phi: A\to A[[t]]/(t^{m+1})\) that lifts the homomorphism \(\bar \delta\). Let \(\bar t\) denote the class of \(t\) in \(A[[t]]/(t^{m+1})\), then \[ \Phi(a)=a+\bar \delta\cdot \bar t+ D_1(a)\cdot \bar {t}^2+\dots+D_{m}\cdot \bar{t}^m, \] where \(D_i: A\to A\) are \(k\)-linear maps satisfying \(D_0=\mathrm{id}_A\), \(D_1=\delta\), and the Leibniz equality \[ D_{i}(ab)=\sum\limits_{r+s=i}D_r(a)D_s(b). \] Such a sequence \(D_0,\dots D_m\) of \(k\)-linear maps is called a Hasse-Schmidt derivation of length \(m\). The set \(\mathrm{Ider}_k(A; m)\) of all \(m\)-integrable \(k\)-derivations of \(A\) is an \(A\)-submodule of \(\mathrm{Der}_k(A)\). The derivation \(\delta\) is called (\(\infty\)-)integrable if \(\bar \delta\) can be lifted to a \(k\)-algebra homomorphism \(A\to A[[t]]\), \(a\mapsto a+\delta(a)t+D_2(a)t^2+\dots\), and the sequence of \(k\)-linear operators \[ D_0=\mathrm{id}_A,\quad D_1=\delta,\quad D_2, \dots \] satisfies the Leibniz equality and is called a Hasse-Schmidt derivation of infinite length. The set \(\mathrm{Ider}_k(A)=\mathrm{Ider}_k(A; \infty)\) of all integrable \(k\)-derivations of \(A\) is an \(A\)-submodule of \(\mathrm{Der}_k(A)\). There is a sequence of \(A\)-submodules \[ \mathrm{Der}_k(A)=\mathrm{Ider}_k(A; 1)\supset \mathrm{Ider}_k(A; 2)\supset \dots \supset \mathrm{Ider}_k(A; \infty)=\mathrm{Ider}_k(A). \] There are two main results of the paper. (I) Let \(A\) be a finitely presented \(k\)-algebra and let \(m\) be a positive integer. Then the property of being \(m\)-integrable is a local property, i.~e., a \(k\)-derivation \(\delta: A\to A\) is \(m\)-integrable if and only if the induced \(k\)-derivations \(A_{\mathfrak p}\to A_{\mathfrak p}\) are \(m\)-integrable for all prime ideals \(\mathfrak p\subset A\). One can reformulate this as follows. Let \(f: X\to S\) be a locally finitely presented morphism of schemes and let \(m\) be a positive integer. Consider the \(\mathcal O_X\)-module \({Der}_S(\mathcal O_X)\) of \(\mathcal O_S\)-derivations of the structure sheaf \(\mathcal O_X\). Then there exists a quasi-coherent sub-module \(\mathrm{Ider}_S(\mathcal O_X; m)\subset {Der}_S(\mathcal O_X)\) such that for every affine open sets \(U=\mathrm{Spec} (A)\subset X\) and \(V=\mathrm{Spec}(k)\subset S\) with \(f(U)\subset V\) it holds \(\Gamma(U, \mathrm{Ider}_S(\mathcal O_X; m))=\mathrm{Ider}_k(A; m)\) and \(\mathrm{Ider}_S(\mathcal O_X; m)_x=\mathrm{Ider}_{\mathcal O_{S, f(x)}}(\mathcal O_{X, x}; m)\) for all \(x\in X\). (II) For a given \(k\)-algebra \(A\) and a positive integer \(m\), there is an algorithm deciding whether \(\mathrm{Ider}_k(A; m)=\mathrm{Der}_k(A)\). The complexity of the algorithm is exponential with respect to \(m\). The paper under review consists of an introduction and 3 sections. In introduction an overview of the content of the paper is presented, main results of the paper are stated here as well. In Section~1, the notations used in the paper and basic facts about Hasse-Schmidt derivations are given. Section~2 deals with integrability questions, the main results of the paper are proven here. Section~3 provides some examples and open questions. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Oleksandr Iena / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13N15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14B05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6023751 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Derivation | |||
Property / zbMATH Keywords: Derivation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
integrable derivation | |||
Property / zbMATH Keywords: integrable derivation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hasse-Schmidt derivation | |||
Property / zbMATH Keywords: Hasse-Schmidt derivation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Differential operator | |||
Property / zbMATH Keywords: Differential operator / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Luis Narváez-Macarro / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1517132175 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1106.1391 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the imbedding of derivations of finite rank into derivations of infinite rank / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Determinantal rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hasse-Schmidt derivations and coefficient fields in positive characteristics. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5767091 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Jacobian Ideal of the Module of Differentials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integrable derivations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3739243 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sul modulo delle derivazioni integrabili in caratteristica positiva / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hasse-Schmidt derivations, divided powers and differential smoothness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Derivations and integral closure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tight closure and differential simplicity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Localization of the Hasse-Schmidt Algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5457539 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:26, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the modules of \(m\)-integrable derivations in non-zero characteristic |
scientific article |
Statements
On the modules of \(m\)-integrable derivations in non-zero characteristic (English)
0 references
13 April 2012
0 references
Let \(k\) be a commutative ring, let \(A\) be a commutative \(k\)-algebra, and let \(\delta:A\to A\) be a \(k\)-linear derivation of \(A\). It can be identified with the \(k\)-algebra homomorphism \(\bar\delta: A\to A[\varepsilon]\), \(a\mapsto a+\delta(a)\cdot \varepsilon\), where \(A[\varepsilon]=A[[t]]/(t^2)\) and \(\varepsilon = t+(t^2)\) is the infinitesimal parameter. Let \(m\) be a positive integer. The derivation \(\delta\) is called \(m\)-integrable if there is a \(k\)-algebra homomorphism \(\Phi: A\to A[[t]]/(t^{m+1})\) that lifts the homomorphism \(\bar \delta\). Let \(\bar t\) denote the class of \(t\) in \(A[[t]]/(t^{m+1})\), then \[ \Phi(a)=a+\bar \delta\cdot \bar t+ D_1(a)\cdot \bar {t}^2+\dots+D_{m}\cdot \bar{t}^m, \] where \(D_i: A\to A\) are \(k\)-linear maps satisfying \(D_0=\mathrm{id}_A\), \(D_1=\delta\), and the Leibniz equality \[ D_{i}(ab)=\sum\limits_{r+s=i}D_r(a)D_s(b). \] Such a sequence \(D_0,\dots D_m\) of \(k\)-linear maps is called a Hasse-Schmidt derivation of length \(m\). The set \(\mathrm{Ider}_k(A; m)\) of all \(m\)-integrable \(k\)-derivations of \(A\) is an \(A\)-submodule of \(\mathrm{Der}_k(A)\). The derivation \(\delta\) is called (\(\infty\)-)integrable if \(\bar \delta\) can be lifted to a \(k\)-algebra homomorphism \(A\to A[[t]]\), \(a\mapsto a+\delta(a)t+D_2(a)t^2+\dots\), and the sequence of \(k\)-linear operators \[ D_0=\mathrm{id}_A,\quad D_1=\delta,\quad D_2, \dots \] satisfies the Leibniz equality and is called a Hasse-Schmidt derivation of infinite length. The set \(\mathrm{Ider}_k(A)=\mathrm{Ider}_k(A; \infty)\) of all integrable \(k\)-derivations of \(A\) is an \(A\)-submodule of \(\mathrm{Der}_k(A)\). There is a sequence of \(A\)-submodules \[ \mathrm{Der}_k(A)=\mathrm{Ider}_k(A; 1)\supset \mathrm{Ider}_k(A; 2)\supset \dots \supset \mathrm{Ider}_k(A; \infty)=\mathrm{Ider}_k(A). \] There are two main results of the paper. (I) Let \(A\) be a finitely presented \(k\)-algebra and let \(m\) be a positive integer. Then the property of being \(m\)-integrable is a local property, i.~e., a \(k\)-derivation \(\delta: A\to A\) is \(m\)-integrable if and only if the induced \(k\)-derivations \(A_{\mathfrak p}\to A_{\mathfrak p}\) are \(m\)-integrable for all prime ideals \(\mathfrak p\subset A\). One can reformulate this as follows. Let \(f: X\to S\) be a locally finitely presented morphism of schemes and let \(m\) be a positive integer. Consider the \(\mathcal O_X\)-module \({Der}_S(\mathcal O_X)\) of \(\mathcal O_S\)-derivations of the structure sheaf \(\mathcal O_X\). Then there exists a quasi-coherent sub-module \(\mathrm{Ider}_S(\mathcal O_X; m)\subset {Der}_S(\mathcal O_X)\) such that for every affine open sets \(U=\mathrm{Spec} (A)\subset X\) and \(V=\mathrm{Spec}(k)\subset S\) with \(f(U)\subset V\) it holds \(\Gamma(U, \mathrm{Ider}_S(\mathcal O_X; m))=\mathrm{Ider}_k(A; m)\) and \(\mathrm{Ider}_S(\mathcal O_X; m)_x=\mathrm{Ider}_{\mathcal O_{S, f(x)}}(\mathcal O_{X, x}; m)\) for all \(x\in X\). (II) For a given \(k\)-algebra \(A\) and a positive integer \(m\), there is an algorithm deciding whether \(\mathrm{Ider}_k(A; m)=\mathrm{Der}_k(A)\). The complexity of the algorithm is exponential with respect to \(m\). The paper under review consists of an introduction and 3 sections. In introduction an overview of the content of the paper is presented, main results of the paper are stated here as well. In Section~1, the notations used in the paper and basic facts about Hasse-Schmidt derivations are given. Section~2 deals with integrability questions, the main results of the paper are proven here. Section~3 provides some examples and open questions.
0 references
Derivation
0 references
integrable derivation
0 references
Hasse-Schmidt derivation
0 references
Differential operator
0 references