Dicritical divisors and hypercurvettes

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Bartolo, Enrique Artal, Veys, Willem
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866912404240072704
author Bartolo, Enrique Artal
Veys, Willem
author_facet Bartolo, Enrique Artal
Veys, Willem
contents 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 $π:\hat{S}\to S$ is a birational map which is an isomorphism outside $p$, then $h$ lifts to a germ of a rational map on $(\hat{S}, π^{-1}(p))$. The exceptional components $E_i$ of $π^{-1}(p)$ are classified according to the restriction of (the lift of) $h$ to $E_i$; 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.
format Preprint
id arxiv_https___arxiv_org_abs_2505_24648
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Dicritical divisors and hypercurvettes
Bartolo, Enrique Artal
Veys, Willem
Algebraic Geometry
14E05, 32S45
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 $π:\hat{S}\to S$ is a birational map which is an isomorphism outside $p$, then $h$ lifts to a germ of a rational map on $(\hat{S}, π^{-1}(p))$. The exceptional components $E_i$ of $π^{-1}(p)$ are classified according to the restriction of (the lift of) $h$ to $E_i$; 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.
title Dicritical divisors and hypercurvettes
topic Algebraic Geometry
14E05, 32S45
url https://arxiv.org/abs/2505.24648