Related papers: On the bracket of integrable derivations
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…
We describe the module of integrable derivations in the sense of Hasse-Schmidt of the quotient of the polinomial ring in two variables over an ideal generated by the equation x^n-y^q.
In this paper we survey the notion and basic results on multivariate Hasse--Schmidt derivations over arbitrary commutative algebras and we associate to such an object a family of classical derivations. We study the behavior of these…
We study the behavior of modules of $m$-integrable derivations of a commutative finitely generated algebra in the sense of Hasse-Schmidt under base change. We focus on the case of separable ring extensions over a field of positive…
We prove that a complete multipartite graph $K$ with $n>1$ vertices and $m$ edges can be decomposed into edge-disjoint Hamilton paths if and only if $\frac m{n-1}$ is an integer and the maximum degree of $K$ is at most $\frac {2m}{n-1}$.
We study integrating (that is expanding to a Hasse-Schmidt derivation) derivations, and more generally truncated Hasse-Schmidt derivations, satisfying iterativity conditions given by formal group laws. Our results concern the cases of the…
We study the $m$-th Gauss map in the sense of F.~L.~Zak of a projective variety $X \subset \mathbb{P}^N$ over an algebraically closed field in any characteristic. For all integer $m$ with $n:=\dim(X) \leq m < N$, we show that the contact…
Let M be a complete metric space. It is proved that if the space or scalar-valued bounded continuous functions on M admits an isometric shift, then M is separable.
We prove that, for any positive integer $m$, a segment may be partitioned into $m$ possibly degenerate or empty segments with equal values of a continuous function $f$ of a segment, assuming that $f$ may take positive and negative values,…
For a commutative C*-algebra $\mathcal A$ with unit $e$ and a Hilbert~$\mathcal A$-module $\mathcal M$, denote by End$_{\mathcal A}(\mathcal M)$ the algebra of all bounded $\mathcal A$-linear mappings on $\mathcal M$, and by…
In this paper, we address the additivity of $n$-multiplicative isomorphisms and $n$-multiplicative derivations on Gamma rings. We proved that, if $\M$ is a $\Gamma$-ring satisfying the some conditions, then any $n$-multiplicative…
We prove the finiteness of leaps of modules of $m$-integrable derivations for algebras essentially of finite type and, more generally, for schemes essentially of finite type over an algebraically closed field of positive characteristic.…
We show that every positive integer different from $3$ and $5$ can be realized as the $m$-invariant of a field.
We give sufficient conditions, in terms of the existence of unbounded derivations satisfying certain properties, which ensure that a II$_1$ factor $M$ is prime or has at most one Cartan subalgebra. For instance, we prove that if there…
We give sufficent conditions for a derivation of a $k$-algebra $A$ of finite type to be $\infty$-integrable in the sense of Hasse-Schmidt, when $A$ is a complete intersection, or when $A$ is reduced and $k$ is a regular ring. As a…
We investigate the relationship between measurable differentiable structures on doubling metric measure spaces and derivations. We prove: [1] a decomposition theorem for the module of derivations into free modules; [2] the existence of a…
Consider a finite-dimensional algebra $A$ and any of its moduli spaces $\mathcal{M}(A,\mathbf{d})^{ss}_{\theta}$ of representations. We prove a decomposition theorem which relates any irreducible component of…
We develop a general framework for the construction of various derived brackets. We show that suitably deforming the differential of a graded Leibniz algebra extends the derived bracket construction and leads to the notion of strong…
The change of variable theorem is proved under the sole hypothesis of differentiability of the transformation. Specifically, it is shown under this hypothesis that the transformed integral equals the given one over every measurable subset…
We show how to express any Hasse-Schmidt derivation of an algebra in terms of a finite number of them under natural hypothesis. As an application, we obtain coefficient fields of the completion of a regular local ring of positive…