Algebraic varieties are homeomorphic to varieties defined over number fields

DOI10.4171/CMH/490MaRDI QIDQ784197zbMATH OpenOpenAlexFDO

Authors Adam Parusiński, Guillaume Rond

Publication date 3 August 2020

Published in Commentarii Mathematici Helvetici (Search for Journal in Brave)

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

zbMATH Keywords

Zariski equisingularityalgorithmic in algebraic geometrydeformation of singularitiessemialgebraic map

Mathematics Subject Classification ID

Formal methods and deformations in algebraic geometry (14D15) Semialgebraic sets and related spaces (14P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Arithmetic ground fields for surfaces or higher-dimensional varieties (14J20)

Abstract: We show that every affine or projective algebraic variety defined over the field of real or complex numbers is homeomorphic to a variety defined over the field of algebraic numbers. We construct such a homeomorphism by choosing a small deformation of the coefficients of the original equations. This method is based on the properties of Zariski equisingular families of varieties. Moreover we construct an algorithm, that, given a system of equations defining a variety $V$, produces a system of equations with algebraic coefficients of a variety homeomorphic to $V$

Recommendations

• The topology of conjugate varieties
• Homology of real algebraic varieties and morphisms to spheres
• Conjugate varieties with distinct real cohomology algebras
• scientific article; zbMATH DE number 4047860
• All compact manifolds are homeomorphic to totally algebraic real algebraic sets

Cites work

• scientific article; zbMATH DE number 4179521 (Why is no real title available?)
• scientific article; zbMATH DE number 3927336 (Why is no real title available?)
• scientific article; zbMATH DE number 3520543 (Why is no real title available?)
• scientific article; zbMATH DE number 953018 (Why is no real title available?)
• scientific article; zbMATH DE number 3417832 (Why is no real title available?)
• Algebraic approximations in analytic geometry
• Algorithms in real algebraic geometry
• Arc-analytic functions
• Arc-symmetric sets and arc-analytic mappings
• Arc-wise analytic stratification, Whitney fibering conjecture and Zariski equisingularity
• Ensembles semi-algébriques symétriques par arcs. (Semi-algebraic sets symmetric by arcs)
• From continuous rational to regulous functions
• Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
• Local topological algebraicity of analytic function germs
• Local topological algebraicity with algebraic coefficients of analytic sets or functions
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On classification of real singularities
• Recursive Real Numbers
• Semi-Algebraic Local-Triviality in Semi-Algebraic Mappings
• Sobolev-Gagliardo-Nirenberg and Markov type inequalities on subanalytic domains
• THEOREMS ON THE TOPOLOGICAL EQUISINGULARITY OF FAMILIES OF ALGEBRAIC VARIETIES AND FAMILIES OF POLYNOMIAL MAPPINGS
• The Absolute Galois Group of a Rational Function Field in Characteristic Zero is a Semi-Direct Product
• The relation between topological and algebro-geometric equisingularities according to Zariski
• The weight filtration for real algebraic varieties

Cited in

(5)

• Algebraic characterizations of homeomorphisms between algebraic varieties
• Algebro-geometric equisingularity of Zariski
• An explicit descent of real algebraic varieties
• Equisingular algebraic approximation of real and complex analytic germs
• Ellis enveloping semigroups in real closed fields

Describes a project that uses

Uses Software

• SINGULAR

This page was built for publication: Algebraic varieties are homeomorphic to varieties defined over number fields

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