Multiplicity along points of a radicial covering of a regular variety

TL;DR

This paper investigates the structure of multiplicity loci in positive characteristic varieties with radicial covers, aiming to find invariants that behave well under blowups, using differential operators and module transforms.

Contribution

It introduces invariants based on differential operators for analyzing singularities in radicial covers, with a focus on their behavior under blowups.

Findings

Defined a notion of transform for $ ext{O}_V^q$-modules under blowups.

Established invariants with the pointwise inequality property.

Developed stratifications of singularities using differential operators.

Abstract

We study the maximal multiplicity locus of a variety $X$ over a field of characteristic $p>0$ that is provided with a finite surjective radical morphism $\delta:X\rightarrow V$, where $V$ is regular, for example, when $X\subset\mathbb{A}^{n+1}$ is a hypersurface defined by an equation of the form $T^{q}-f(x_{1},\ldots,x_{n})=0$ and $\delta$ is the projection onto $V:=\operatorname{Spec}(k[x_{1},\ldots,x_{n}])$. The multiplicity along points of $X$ is bounded by the degree, say $d$, of the field extension $K(V)\subset K(X)$. We denote by $F_{d}(X)\subset X$ the set of points of multiplicity $d$. Our guiding line is the search for invariants of singularities $x\in F_{d}(X)$ with a good behavior property under blowups $X'\rightarrow X$ along regular centers included in $F_{d}(X)$, which we call \emph{invariants with the pointwise inequality property}. A finite radicial morphism $\delta:X\to V$ as above will be expressed in terms of an $\mathcal{O}_{V}^{q}$-submodule $\mathscr{M}\subseteq\mathcal{O}_{V}$. A blowup $X'\to X$ along a regular equimultiple center included in $F_{d}(X)$ induces a blowup $V'\to V$ along a regular center and a finite morphism $\delta':X'\to V'$. A notion of transform of the $\mathcal{O}_{V}^{q}$-module $\mathscr{M}\subset\mathcal{O}_{V}$ to an $\mathcal{O}_{V'}^{q}$-module $\mathscr{M}'\subset\mathcal{O}_{V'}$ will be defined in such a way that $\delta':X'\to V'$ is the radicial morphism defined by $\mathscr{M}'$. Our search for invariants relies on techniques involving differential operators on regular varieties and also on logarithmic differential operators. Indeed, the different invariants we introduce and the stratification they define will be expressed in terms of ideals obtained by evaluating differential operators of $V$ on $\mathcal{O}_{V}^{q}$-submodules $\mathscr{M}\subset\mathcal{O}_{V}$.