The relative cohomology ${\mathrm{H}}_{\mathrm{diff}}^1(𝕂\left(1\right|3),\mathrm{𝔬𝔰𝔭}(2,3);{𝒟}_{\lambda ,\mu }\left(S^{1|3}\right))$ of the contact Lie superalgebra $𝕂\left(1\right|3)$ with coefficients in the space of differential operators ${𝒟}_{\lambda ,\mu }\left(S^{1|3}\right)$ acting on tensor densities on $S^{1|3}$, is calculated in N. Ben Fraj, I. Laraied, S. Omri (2013) and the generating $1$-cocycles are expressed in terms of the infinitesimal super-Schwarzian derivative $1$-cocycle $s\left(X_f\right)=D_1{D}_2{D}_3\left(f\right){\alpha }_3^{1/2}$, $X_f\in 𝕂\left(1\right|3)$ which is invariant with respect to the conformal subsuperalgebra $\mathrm{𝔬𝔰𝔭}(2,3)$ of $𝕂\left(1\right|3)$. In this work we study the supergroup case. We give an explicit construction of $1$-cocycles of the group...

If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if ${𝒟}_X^{\left(\infty \right)}$ is the sheaf of differential operators on $X$ [7], it is well known that giving an action of ${𝒟}_X^{\left(\infty \right)}$ on an ${𝒪}_X$-module $ℰ$ is equivalent to giving an infinite sequence of ${𝒪}_X$-modules descending $ℰ$ via the iterates of the Frobenius endomorphism of $X$ [5]. We show that this result can be generalized to any infinitesimal deformation $f:X\to S$ of a smooth morphism in characteristic $p$, endowed with Frobenius liftings. We also show that it extends to adic...

In this paper we study the formal differential Galois group of linear differential equations with coefficients in an extension of $ℂ\left(\right(z\left)\right)$ by an exponential of integral. We use results of factorization of differential operators with coefficients in such a field to give explicit generators of the Galois group. We show that we have very similar results to the case of $ℂ\left(\right(z\left)\right)$.

This paper deals with the notion of Gröbner δ-base for some rings of linear differential operators by adapting the works of W. Trinks, A. Assi, M. Insa and F. Pauer. We compare this notion with the one of Gröbner base for such rings. As an application we give some results on finiteness and on flatness of finitely generated left modules over these rings.

Let $k$ be a commutative ring, $A$ a commutative $k$-algebra and $D$ the filtered ring of $k$-linear differential operators of $A$. We prove that: (1) The graded ring $\mathrm{gr}\mathrm{D}$ admits a canonical embedding $\theta$ into the graded dual of the symmetric algebra of the module ${\Omega }_{A/k}$ of differentials of $A$ over $k$, which has a canonical divided power structure. (2) There is a canonical morphism $\vartheta$ from the divided power algebra of the module of $k$-linear Hasse–Schmidt integrable derivations of $A$ to $\mathrm{gr}\mathrm{D}$. (3) Morphisms $\theta$ and $\vartheta$ fit into a...

We study liftings or deformations of $D$-modules ($D$ is the ring of differential operators from EGA IV) from positive characteristic to characteristic zero using ideas of Matzat and Berthelot’s theory of arithmetic $D$-modules. We pay special attention to the growth of the differential Galois group of the liftings. We also apply formal deformation theory (following Schlessinger and Mazur) to analyze the space of all liftings of a given $D$-module in positive characteristic. At the end we compare the problems...

Given a 3-dimensional vector field V with coordinates $V_x$, $V_y$ and $V_z$ that are homogeneous polynomials in the ring k[x,y,z], we give a necessary and sufficient condition for the existence of a Liouvillian first integral of V which is homogeneous of degree 0. This condition is the existence of some 1-forms with coordinates in the ring k[x,y,z] enjoying precise properties; in particular, they have to be integrable in the sense of Pfaff and orthogonal to the vector field V. Thus, our theorem links the existence...

In this paper, we give a geometrization and a generalization of a lemma of differential Galois theory, used by Singer and van der Put in their reference book. This geometrization, in addition of giving a nice insight on this result, offers us the opportunity to investigate several points of differential algebra and differential algebraic geometry. We study the class of simple Δ-schemes and prove that they all have a coarse space of leaves. Furthermore, instead of considering schemes endowed with...

Let Δ denote the discriminant of the generic binary d-ic. We show that for d ≥ 3, the Jacobian ideal of Δ is perfect of height 2. Moreover we describe its SL2-equivariant minimal resolution and the associated differential equations satisfied by Δ. A similar result is proved for the resultant of two forms of orders d, e whenever d ≥ e-1. If Φn denotes the locus of binary forms with total root multiplicity ≥ d-n, then we show that the ideal of Φn is also perfect, and we construct a covariant which...