2025/05/30 by Enrique Artal Bartolo, Bartolo, Enrique Artal, Willem Veys +1
Mathematics · #14E05 #32S45 #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra and Its Applications #FOS: Mathematics
paper · pdf · doi:10.48550/arxiv.2505.24648
openalex publication_date 2025/05/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Germs of rational functions~h on points p of smooth varieties~S define germs of rational maps to the projective line. Assume that p is in the indeterminacy locus of h. If π:S→ S is a birational map which is an isomorphism outside p, then h lifts to a germ of a rational map on (S, π-1(p)). The exceptional components Ei of π-1(p) are classified according to the restriction of (the lift of) h to Ei; the dicritical components are those where this restriction induces a dominant map. In a series of papers, Abhyankar and the first named author studied this setting in dimension 2, where the main result is that, for any given π, there is a rational function h with a prescribed subset of exceptional components that are dicritical of some given degree. The concept of curvette of an exceptional component played a key role in the proof. The second named author extended previously the concept of curvette to the higher dimensional case. Here we use this concept to generalize the above result to arbitrary dimension.