On the modules of m-integrable derivations in non-zero characteristic

DOI10.1016/J.AIM.2012.01.015zbMATH Open1242.14015arXiv1106.1391OpenAlexW1517132175MaRDI QIDQ409622FDOQ409622

Authors: Luis Narváez-Macarro 

Publication date: 13 April 2012

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Let $k$ be a commutative ring and $A$ a commutative $k$-algebra. Given a positive integer $m$, or $m=infty$, we say that a $k$-linear derivation $delta$ of $A$ is $m$-integrable if it extends up to a Hasse--Schmidt derivation $D=(Id,D_1=delta,D_2,\mathrm{...},D_m)$ of $A$ over $k$ of length $m$. This condition is automatically satisfied for any $m$ under one of the following orthogonal hypotheses: (1) $k$ contains the rational numbers and $A$ is arbitrary, since we can take $D_i=fracdelt{a}^{i}i!$; (2) $k$ is arbitrary and $A$ is a smooth $k$-algebra. The set of $m$-integrable derivations of $A$ over $k$ is an $A$-module which will be denoted by $Ide{r}_k(A;m)$. In this paper we prove that, if $A$ is a finitely presented $k$-algebra and $m$ is a positive integer, then a $k$-linear derivation $delta$ of $A$ is $m$-integrable if and only if the induced derivation $delt{a}_{mathfrakp}:A_{mathfrakp}o{A}_{mathfrakp}$ is $m$-integrable for each prime ideal $mathfrakpsubsetA$. In particular, for any locally finitely presented morphism of schemes $f:XoS$ and any positive integer $m$, the $S$-derivations of $X$ which are locally $m$-integrable form a quasi-coherent submodule $fIde{r}_S(O{O}_X;m)subsetfDe{r}_S(O{O}_X)$ such that, for any affine open sets $U=SpecAsubsetX$ and $V=SpecksubsetS$, with $f(U)subsetV$, we have $Gamma(U,fIde{r}_S(O{O}_X;m))=Ide{r}_k(A;m)$ and $fIde{r}_S(O{O}_X;m{)}_p=Ide{r}_{O{O}_{S,f(p)}}(O{O}_{X,p};m)$ for each $pinX$. We also give, for each positive integer $m$, an algorithm to decide whether all derivations are $m$-integrable or not.

Full work available at URL: https://arxiv.org/abs/1106.1391

Recommendations

• On the behavior of modules of \(m\)-integrable derivations in the sense of Hasse-Schmidt under base change
• Integrable derivations in the sense of Hasse-Schmidt for some binomial plane curves
• scientific article; zbMATH DE number 639742
• scientific article; zbMATH DE number 639740
• F_m-Strongly integrable derivations

zbMATH Keywords

Hasse-Schmidt derivationDerivationDifferential operatorintegrable derivation

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Derivations and commutative rings (13N15)

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é
• Title not available (Why is that?)
• Derivations and integral closure
• Determinantal rings
• Title not available (Why is that?)
• Integrable derivations
• Hasse-Schmidt derivations and coefficient fields in positive characteristics.
• Localization of the Hasse-Schmidt Algebra
• Title not available (Why is that?)
• On the imbedding of derivations of finite rank into derivations of infinite rank
• Sul modulo delle derivazioni integrabili in caratteristica positiva
• Tight closure and differential simplicity
• On the Jacobian Ideal of the Module of Differentials
• Hasse-Schmidt derivations, divided powers and differential smoothness

Cited In (16)

• Pairs of Lie-type and large orbits of group actions on filtered modules: a characteristic-free approach to finite determinacy
• Corrigendum to: ``On the modules of \(m\)-integrable derivations in non-zero characteristic
• On the bracket of integrable derivations
• Hasse-Schmidt modules versus integrable connections
• Rings of differential operators as enveloping algebras of Hasse-Schmidt derivations
• Hasse–Schmidt derivations versus classical derivations
• Leaps of modules of integrable derivations in the sense of Hasse-Schmidt
• Integrable Derivations and Stable Equivalences of Morita Type
• Finiteness of leaps in the sense of Hasse-Schmidt of unibranch curves in positive characteristic
• VI-modules in nondescribing characteristic. I
• On Hasse–Schmidt Derivations: The Action of Substitution Maps
• A note on Jordan triple higher *-derivations on semiprime rings.
• Integrable derivations and formal groups in unequal characteristic
• On the behavior of modules of \(m\)-integrable derivations in the sense of Hasse-Schmidt under base change
• ON MULTIPLICATIVE INTEGRABILITY OF DERIVATIONS IN CHARACTERISTIC
• Integrable derivations in the sense of Hasse-Schmidt for some binomial plane curves

This page was built for publication: On the modules of \(m\)-integrable derivations in non-zero characteristic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q409622)