Desingularization of function fields

Publication date 18 December 2019

Abstract: This is a self-contained purely algebraic treatment of desingularization of fields of fractions

m a t h b f L := Q (m a t h b f A)

of

d

-dimensional domains of the form [mathbf{A}:=�ar{mathbf{F}}[underline{x}]/langle b(underline{x}) angle] with a purely algebraic objective of uniquely describing

d

-dimensional valuations in terms of

d

explicit (independent) local parameters and

1

(dependent) local unit, for arbitrary dimension

d

and arbitrary characteristic

p

. The desingularization will be given as a rooted tree with nodes labelled by domains

m a t h b f A_{k}

(all with field of fractions

Q (m a t h b f A_{k}) = m a t h b f L

), sets

E Q_{k}

and

I N E Q_{k}

of equality constraints and inequality constraints, and birational change-of-variables maps on

m a t h b f L

. The approach is based on d-dimensional discrete valuations and local monomial orderings to emphasize formal Laurent series expansions in

d

independent variables. It is non-standard in its notation and perspective.

This page was built for publication: Desingularization of function fields

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