Multiplicity along points of a radicial covering of a regular variety

DOI10.1307/MMJ/20195775MaRDI QIDQ2113442zbMATH OpenOpenAlexFDO

Authors Diego Sulca, Orlando E. Villamayor

Publication date 14 March 2022

Published in Michigan Mathematical Journal (Search for Journal in Brave)

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

zbMATH Keywords

multiplicitydifferential operatorsradicial extensions

Mathematics Subject Classification ID

Global theory and resolution of singularities (algebro-geometric aspects) (14E15)

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:XightarrowV$, where $V$ is regular, for example, when $Xsubsetmathbb{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:=operatornameSpec(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)subsetK(X)$. We denote by $F_d(X)subsetX$ the set of points of multiplicity $d$. Our guiding line is the search for invariants of singularities $xin{F}_d(X)$ with a good behavior property under blowups $X^{\prime }ightarrowX$ along regular centers included in $F_d(X)$, which we call emph{invariants with the pointwise inequality property}. A finite radicial morphism $delta:XoV$ as above will be expressed in terms of an $mathcal{O}_V^q$-submodule $mathscrMsubseteqmathcal{O}_V$. A blowup $X^{\prime }oX$ along a regular equimultiple center included in $F_d(X)$ induces a blowup $V^{\prime }oV$ along a regular center and a finite morphism $delt{a}^{\prime }:X^{\prime }o{V}^{\prime }$. A notion of transform of the $mathcal{O}_V^q$-module $mathscrMsubsetmathcal{O}_V$ to an $mathcal{O}_{V^{\prime }}^q$-module $mathscr{M}^{\prime }subsetmathcal{O}_{V^{\prime }}$ will be defined in such a way that $delt{a}^{\prime }:X^{\prime }o{V}^{\prime }$ is the radicial morphism defined by $mathscr{M}^{\prime }$. 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 $mathscrMsubsetmathcal{O}_V$.

Recommendations

• Finite morphisms and simultaneous reduction of the multiplicity
• Equimultiplicity, algebraic elimination, and blowing-up
• Hypersurface singularities in positive characteristic
• scientific article; zbMATH DE number 5302379
• Multiplicity and invariants in birational geometry

Cites work

• scientific article; zbMATH DE number 3838196 (Why is no real title available?)
• scientific article; zbMATH DE number 3180267 (Why is no real title available?)
• scientific article; zbMATH DE number 3801679 (Why is no real title available?)
• scientific article; zbMATH DE number 849901 (Why is no real title available?)
• scientific article; zbMATH DE number 2230034 (Why is no real title available?)
• scientific article; zbMATH DE number 3196340 (Why is no real title available?)
• scientific article; zbMATH DE number 3091021 (Why is no real title available?)
• An introduction to resolution of singularities via the multiplicity
• Cycles of singularities appearing in the resolution problem in positive characteristic
• Differential Basis and p-Basis of a Regular Local Ring
• Equimultiplicity, algebraic elimination, and blowing-up
• Integral closure of ideals, rings, and modules
• Local uniformization on algebraic surfaces over ground fields of characteristic \(p\neq 0\)
• Monoidal transforms and invariants of singularities in positive characteristic
• Regular local ring of characteristic p and p-basis
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• Resolution of singularities of arithmetical threefolds
• Resolution of singularities of threefolds in positive characteristic. I: Reduction to local uniformization on Artin-Schreier and purely inseparable coverings
• Toward resolution of singularities over a field of positive characteristic (The idealistic filtration program). II: Basic invariants associated to the idealistic filtration and their properties
• Toward resolution of singularities over a field of positive characteristic. I. Foundation; the language of the idealistic filtration
• É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é
• Über die Struktur der Differentialmoduln von diskreten Bewertungsringen

Cited in

(1)

• On the highest multiplicity locus of algebraic varieties and Rees algebras

Describes a project that uses

Uses Software

• SINGULAR

This page was built for publication: Multiplicity along points of a radicial covering of a regular variety

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