On logarithmic differential operators and equations in the plane
type: Item
instance of: scholarly article
title: On logarithmic differential operators and equations in the plane
zbMATH Open document ID: 1409.13047
author: Julien Sebag
published in: Illinois Journal of Mathematics
publication date: 2019-03-15T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ijm/1552442660
review text: Let $k$ be a field of characteristic zero, $f\in\mathbf{A}:=k[x_{0}, y_{0}]$ an irreducible polynomial and $D = \sum_{i, j\geq 0}a_{i,j}(x_{0}, y_{0})\partial_{x_{0}}^{i}\partial_{y_{0}}^{j}$ a differential operator with coefficients in $\mathbf{A}$. Then a differential equation of the form $D(f) = a(x_{0}, y_{0})f$ is said to be a \textit{logarithmic} polynomial PDE along $\{f=0\}$. The polynomial $\mathrm{Sb}(D) = \sum_{i, j\geq 0}a_{i,j}x_{1}^{i}y_{1}^{j}\in\mathbf{A_{1}}:=k[x_{0}, y_{0}, x_{1}, y_{1}]$ is called a \textit{symbol} of $D$ (or a symbol of the PDE). The operator $D$ (and the PDE) is said to be \textit{homogeneous} if $\mathrm{Sb}(D)$ is a homogeneous polynomial in $x_{1}$ and $y_{1}$ (with coefficients in $\mathbf{A}$). The set of logarithmic polynomial PDEs can be identified, via symbols, with an ideal of $\mathbf{A_{1}}$ (the inverse image of the ideal $\langle f\rangle\mathbf{A}$ under the $k$-algebra morphism $\mathbf{A_{1}}\rightarrow\mathbf{A}$ defined by $x_{1}\mapsto\partial_{x_{0}}(f)$, $y_{1}\mapsto\partial_{y_{0}}(f)$) denoted by $\mathcal{E}_{k}(f)$. \par The paper under review studies the associate homogeneous ideal $\hat{\mathcal{E}}_{k}(f) = \bigoplus_{i\geq 0}\mathcal{E}_{k}^{(i)}(f)$ in the ring $\mathbf{A}_{1}$, where $\mathcal{E}_{k}^{(i)}(f)$ ($i\in\mathbb{N}$) is the $\mathbf{A}$-module generated by the elements of $\mathcal{E}_{k}(f)$ homogeneous of degree $i$. The investigation of this object allows the author to obtain new information about the space of polynomial PDEs of order one in the plane, which admit $f$ as a solution. In particular, the author obtains the following result that gives a characterization of $\hat{\mathcal{E}}_{k}(f)$. (In what follows, $\mathcal{C}$ denotes the integral affine curve $\mathrm{Spec}(\mathbf{A}/\langle f\rangle)$ of the affine plane $\mathbf{A}_{k}^{2}$ and $V_{s}^{\mathcal{C}}$ denotes the component $\{D\in\mathcal{D}\mid \forall l\in\mathbb{Z}, D(\langle f\rangle^{l})\subset \langle f\ran…
reviewed by: Alexander B. Levin
Mathematics Subject Classification ID: 13N05
Mathematics Subject Classification ID: 13N10
Mathematics Subject Classification ID: 13N15
Mathematics Subject Classification ID: 14H50
Mathematics Subject Classification ID: 14B05
Mathematics Subject Classification ID: 14E18
zbMATH DE Number: 7036784
MaRDI profile type: Publication
OpenAlex ID: W2922519296
DOI: 10.1215/IJM/1552442660
description: scientific article; zbMATH DE number 7036784