Algebraic varieties are homeomorphic to varieties defined over number fields

DOI10.4171/CMH/490zbMATH Open1454.14147arXiv1810.00808OpenAlexW3035858717MaRDI QIDQ784197FDOQ784197

Guillaume Rond, Adam Parusiński

Publication date: 3 August 2020

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

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$

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

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

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)

Cites Work

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

Cited In (3)

• Algebro-Geometric Equisingularity of Zariski
• Equisingular algebraic approximation of real and complex analytic germs
• Ellis enveloping semigroups in real closed fields

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)