<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-01539006</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-18T17:30:20+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Weak normalization and seminormalization in real algebraic geometry</title>
            <author role="aut">
              <persName>
                <forename type="first">Goulwen</forename>
                <surname>Fichou</surname>
              </persName>
              <email type="md5">8a13befcab022b3741b9563bfe770f18</email>
              <email type="domain">univ-rennes1.fr</email>
              <idno type="idhal" notation="string">goulwen-fichou</idno>
              <idno type="idhal" notation="numeric">2446</idno>
              <idno type="halauthorid" notation="string">978-2446</idno>
              <idno type="IDREF">https://www.idref.fr/080735185</idno>
              <affiliation ref="#struct-75"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Philippe</forename>
                <surname>Monnier</surname>
              </persName>
              <email type="md5">1a6b18ee9bb2485c0d892f0e74abb495</email>
              <email type="domain">univ-angers.fr</email>
              <idno type="idhal" notation="string">jean-philippe-monnier</idno>
              <idno type="idhal" notation="numeric">21747</idno>
              <idno type="halauthorid" notation="string">29347-21747</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4810-6686</idno>
              <affiliation ref="#struct-396"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ronan</forename>
                <surname>Quarez</surname>
              </persName>
              <email type="md5">af0dc14cd6c2b6d89a742e12e0f6be7b</email>
              <email type="domain">univ-rennes1.fr</email>
              <idno type="idhal" notation="string">quarez</idno>
              <idno type="idhal" notation="numeric">1529</idno>
              <idno type="halauthorid" notation="string">6692-1529</idno>
              <idno type="IDREF">https://www.idref.fr/224431188</idno>
              <affiliation ref="#struct-75"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Ronan</forename>
                <surname>Quarez</surname>
              </persName>
              <email type="md5">af0dc14cd6c2b6d89a742e12e0f6be7b</email>
              <email type="domain">univ-rennes1.fr</email>
            </editor>
            <funder ref="#projanr-38048"/>
            <funder ref="#projanr-48712"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-06-14 11:53:57</date>
              <date type="whenWritten">2017-06-12</date>
              <date type="whenModified">2025-11-21 08:45:49</date>
              <date type="whenReleased">2017-06-14 15:10:01</date>
              <date type="whenProduced">2021</date>
              <date type="whenEndEmbargoed">2017-06-14</date>
              <ref type="file" target="https://hal.science/hal-01539006v1/document">
                <date notBefore="2017-06-14"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01539006v1/file/Int-clos-regulu-HAL.pdf" id="file-1539006-1598261">
                <date notBefore="2017-06-14"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/1706.04467"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="127807">
                <persName>
                  <forename>Ronan</forename>
                  <surname>Quarez</surname>
                </persName>
                <email type="md5">af0dc14cd6c2b6d89a742e12e0f6be7b</email>
                <email type="domain">univ-rennes1.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01539006</idno>
            <idno type="halUri">https://hal.science/hal-01539006</idno>
            <idno type="halBibtex">fichou:hal-01539006</idno>
            <idno type="halRefHtml">&lt;i&gt;Annali della Scuola Normale Superiore di Pisa, Classe di Scienze&lt;/i&gt;, 2021, 22 (3), pp.1511-1558. &lt;a target="_blank" href="https://dx.doi.org/10.2422/2036-2145.201911_010"&gt;&amp;#x27E8;10.2422/2036-2145.201911_010&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, 2021, 22 (3), pp.1511-1558. &amp;#x27E8;10.2422/2036-2145.201911_010&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1539006-1598261"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</idno>
            <idno type="stamp" n="IRMAR">Institut de Recherche Mathématique de Rennes</idno>
            <idno type="stamp" n="UR2-HB">Université Rennes 2 - Haute Bretagne</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-ANGERS">Université d'Angers</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="LAREMA" corresp="UNIV-ANGERS">Laboratoire Angevin de Recherche en Mathématiques</idno>
            <idno type="stamp" n="FMPL">Fédération de recherche Mathématiques des Pays de Loire</idno>
            <idno type="stamp" n="INSMI">CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="IRMAR-GAR">Géométrie algébrique réelle</idno>
            <idno type="stamp" n="CHL">Centre Henri Lebesgue</idno>
            <idno type="stamp" n="IRMAR-GS" corresp="IRMAR">Géométrie et singularités - IRMAR</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="AGREENIUM">Archive ouverte en agrobiosciences</idno>
            <idno type="stamp" n="UNIV-RENNES2">Université Rennes 2</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
            <idno type="stamp" n="INSTITUT-AGRO">Institut Agro</idno>
            <idno type="stamp" n="ANR_QUANTIQUE">ANR QUANTIQUE</idno>
            <idno type="stamp" n="ANR_QUANTIQUE_4" corresp="ANR_QUANTIQUE">ANR_QUANTIQUE_4</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">This version contains some inaccuracies about centrality issues. A new version will appear soon.</note>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Weak normalization and seminormalization in real algebraic geometry</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Goulwen</forename>
                    <surname>Fichou</surname>
                  </persName>
                  <email type="md5">8a13befcab022b3741b9563bfe770f18</email>
                  <email type="domain">univ-rennes1.fr</email>
                  <idno type="idhal" notation="string">goulwen-fichou</idno>
                  <idno type="idhal" notation="numeric">2446</idno>
                  <idno type="halauthorid" notation="string">978-2446</idno>
                  <idno type="IDREF">https://www.idref.fr/080735185</idno>
                  <affiliation ref="#struct-75"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Philippe</forename>
                    <surname>Monnier</surname>
                  </persName>
                  <email type="md5">1a6b18ee9bb2485c0d892f0e74abb495</email>
                  <email type="domain">univ-angers.fr</email>
                  <idno type="idhal" notation="string">jean-philippe-monnier</idno>
                  <idno type="idhal" notation="numeric">21747</idno>
                  <idno type="halauthorid" notation="string">29347-21747</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4810-6686</idno>
                  <affiliation ref="#struct-396"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ronan</forename>
                    <surname>Quarez</surname>
                  </persName>
                  <email type="md5">af0dc14cd6c2b6d89a742e12e0f6be7b</email>
                  <email type="domain">univ-rennes1.fr</email>
                  <idno type="idhal" notation="string">quarez</idno>
                  <idno type="idhal" notation="numeric">1529</idno>
                  <idno type="halauthorid" notation="string">6692-1529</idno>
                  <idno type="IDREF">https://www.idref.fr/224431188</idno>
                  <affiliation ref="#struct-75"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">23317</idno>
                <idno type="issn">0391-173X</idno>
                <idno type="eissn">2036-2145</idno>
                <title level="j">Annali della Scuola Normale Superiore di Pisa, Classe di Scienze</title>
                <imprint>
                  <publisher>Scuola Normale Superiore </publisher>
                  <biblScope unit="volume">22</biblScope>
                  <biblScope unit="issue">3</biblScope>
                  <biblScope unit="pp">1511-1558</biblScope>
                  <date type="datePub">2021</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1706.04467</idno>
              <idno type="doi">10.2422/2036-2145.201911_010</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">normalization</term>
                <term xml:lang="en">real algebraic geometry</term>
                <term xml:lang="en">continuous rational functions</term>
                <term xml:lang="en">weak normalization</term>
                <term xml:lang="en">seminormalization</term>
              </keywords>
              <classCode scheme="classification">14P99,13B22,26C15</classCode>
              <classCode scheme="halDomain" n="math.math-ag">Mathematics [math]/Algebraic Geometry [math.AG]</classCode>
              <classCode scheme="halDomain" n="math.math-ac">Mathematics [math]/Commutative Algebra [math.AC]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We define the weak normalization and the seminormalization of a central real algebraic variety. The study is related to the properties of the rings of continuous rational functions and regulous functions on real algebraic varieties. We provide in particular several characterizations (algebraic or geometric) of these varieties, and study in full details the case of curves. The concept of weak normalization of a complex analytic variety has been introduced by Andreotti &amp; Bombieri [3] in order to study the space of analytic cycles associated with a complex algebraic variety. The operation of weak normalization consists in enriching the sheaf of holomorphic functions with those continuous functions which are also meromorphic. Later Andreotti &amp; Norguet [4] defined the notion of weak normalization in the context of schemes. For algebraic varieties, it consists roughly speaking of an intermediate algebraic variety between an algebraic variety X and its normalization, in such a way that the weak normalization of X is in bijection with X. One way to construct it is to identify in the normalization all the points belonging to the pre-image of points in X. It gives rise to a variety satisfying a universal property among those varieties in birational bijection via a universal homeomorphism onto X. The theory of seminormalization, closely related to that of weak normalization, have been developed later by Traverso [33] for commutative rings, with subsequent work notably by Swan [32] or Leahy &amp; Vitulli [23] (see also [34]), with a more particular focus on the algebraic approach or the singularities. Note however that in the geometric context of complex algebraic variety, weak normalization and seminormalization lead to the same notion. We refer to Vitulli [35] for a survey on weak normality and seminormality for commutative rings and algebraic varieties. More recently, the concept of seminormalization is used in the minimal model program of Kollár and Kovács [16] and it appears also in [17]. In the context of real geometry, the first occurrence of weak normality or seminormality is the work by Acquistapace, Broglia and Tognoli [1] in the case of real analytic spaces. In [24] the Traverso seminormalization of real algebraic varieties is studied by considering the ring of regular functions, showing that such notion does not provide natural universal property. Seminormalization in the Nash context is introduced in [28]. Our aim in this paper is to provide appropriate definitions for weak normalization and seminormalization in real algebraic geometry, leading to natural universal properties. Contrarily to the complex setting, it will appear that the notions of weak normalization and seminormalization are distinct, the difference being witnessed by the behaviour of continuous rational functions on real algebraic varieties. The first focus on continuous rational function in real geometry is due to Kreisel [20] who proved that a positive answer to Hilbert seventeenth problem of representing a positive polynomial as a sum of squares of rational functions, can always be chosen among continuous functions. Besides, Kucharz [21] used this class of functions to approximate as algebraically as possible continuous maps between</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-75" status="OLD">
          <idno type="IdRef">028233107</idno>
          <idno type="RNSR">199612396W</idno>
          <idno type="ROR">https://ror.org/05y76vp22</idno>
          <orgName>Institut de Recherche Mathématique de Rennes</orgName>
          <orgName type="acronym">IRMAR</orgName>
          <date type="start">1996-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, bâtiments 22 et 23, 263 avenue du Général Leclerc, CS 7420535042  RENNES Cédex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://irmar.univ-rennes1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-247362" type="direct"/>
            <relation active="#struct-406201" type="direct"/>
            <relation name="UMR6625" active="#struct-441569" type="direct"/>
            <relation active="#struct-1090536" type="direct"/>
            <relation active="#struct-1042499" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-396" status="VALID">
          <idno type="IdRef">090959531</idno>
          <idno type="ISNI">0000000100733771</idno>
          <idno type="RNSR">200012173L</idno>
          <idno type="ROR">https://ror.org/036j0y719</idno>
          <idno type="Wikidata">Q51780518</idno>
          <orgName>Laboratoire Angevin de Recherche en Mathématiques</orgName>
          <orgName type="acronym">LAREMA</orgName>
          <date type="start">2000-01-01</date>
          <desc>
            <address>
              <addrLine>Université d'Angers, LAREMA - Faculté des Sciences, 2 Boulevard Lavoisier - 49045 Angers CEDEX 01</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://math.univ-angers.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR6093" active="#struct-74911" type="direct"/>
            <relation name="UMR6093" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-247362" status="VALID">
          <idno type="ROR">https://ror.org/03rxtdc22</idno>
          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-406201" status="VALID">
          <idno type="IdRef">054447658</idno>
          <idno type="ISNI">0000000121522279</idno>
          <idno type="ROR">https://ror.org/01m84wm78</idno>
          <orgName>Université de Rennes 2</orgName>
          <orgName type="acronym">UR2</orgName>
          <desc>
            <address>
              <addrLine>Place du recteur Henri Le Moal - CS 24307 - 35043 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-rennes2.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1090536" status="OLD">
          <idno type="ROR">https://ror.org/01s3fs709</idno>
          <orgName>INSTITUT AGRO Agrocampus Ouest</orgName>
          <date type="start">2020-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>65 rue de Saint Brieuc CS 84215 35042 Rennes CEDEX</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-1042499" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-1042499" status="VALID">
          <idno type="IdRef">260373249</idno>
          <idno type="ROR">https://ror.org/01dkyve95</idno>
          <orgName>Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement</orgName>
          <orgName type="acronym">Institut Agro</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.institut-agro.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-74911" status="VALID">
          <idno type="IdRef">026402920</idno>
          <idno type="ISNI">0000000122483363</idno>
          <idno type="ROR">https://ror.org/04yrqp957</idno>
          <orgName>Université d'Angers</orgName>
          <orgName type="acronym">UA</orgName>
          <date type="start">1971-10-25</date>
          <desc>
            <address>
              <addrLine>Université d'Angers - 40 Rue de Rennes, BP 73532 - 49035 Angers CEDEX 01</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-angers.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-38048" status="VALID">
          <idno type="anr">ANR-11-LABX-0020</idno>
          <idno type="program">Laboratoires d'excellence</idno>
          <orgName>LEBESGUE</orgName>
          <desc>Centre de Mathématiques Henri Lebesgue : fondements, interactions, applications et Formation</desc>
          <date type="start">2011</date>
        </org>
        <org type="anrProject" xml:id="projanr-48712" status="VALID">
          <idno type="anr">ANR-18-CE40-0009</idno>
          <idno type="program">APPEL À PROJETS GÉNÉRIQUE 2018</idno>
          <orgName>ENUMGEOM</orgName>
          <desc>Aspects symplectiques, réels et tropicaux de la géométrie énumérative</desc>
          <date type="start">2018</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>