Multiplicity along points of a radicial covering of a regular variety

DOI10.1307/MMJ/20195775zbMATH Open1505.14034arXiv2104.14651OpenAlexW3162951869MaRDI QIDQ2113442FDOQ2113442

Authors: Diego Sulca, Orlando E. Villamayor 

Publication date: 14 March 2022

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

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$.

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

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

zbMATH Keywords

multiplicitydifferential operatorsradicial extensions

Mathematics Subject Classification ID

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

Cites Work

• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• É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é
• Integral closure of ideals, rings, and modules
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Local uniformization on algebraic surfaces over ground fields of characteristic \(p\neq 0\)
• Monoidal transforms and invariants of singularities in positive characteristic
• 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. I. Foundation; the language of the idealistic filtration
• An introduction to resolution of singularities via the multiplicity
• Title not available (Why is that?)
• 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
• Equimultiplicity, algebraic elimination, and blowing-up
• Title not available (Why is that?)
• Resolution of singularities of arithmetical threefolds
• Über die Struktur der Differentialmoduln von diskreten Bewertungsringen
• Title not available (Why is that?)
• Regular local ring of characteristic p and p-basis
• Cycles of singularities appearing in the resolution problem in positive characteristic
• Differential Basis and p-Basis of a Regular Local Ring
• Title not available (Why is that?)

Cited In (1)

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

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)