<?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-00986148v2</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-16T04:20:51+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">The equational theory of the weak order on finite symmetric groups</title>
            <author role="aut">
              <persName>
                <forename type="first">Luigi</forename>
                <surname>Santocanale</surname>
              </persName>
              <email type="md5">a36fa1195875bef012e26184199600cd</email>
              <email type="domain">lis-lab.fr</email>
              <idno type="idhal" notation="string">luigi-santocanale</idno>
              <idno type="idhal" notation="numeric">7010</idno>
              <idno type="halauthorid" notation="string">3385-7010</idno>
              <idno type="IDREF">https://www.idref.fr/137437080</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4237-7856</idno>
              <affiliation ref="#struct-530684"/>
              <affiliation ref="#struct-527033"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Friedrich</forename>
                <surname>Wehrung</surname>
              </persName>
              <email type="md5">a4fb939e96dc76ce262586e5356724d3</email>
              <email type="domain">unicaen.fr</email>
              <idno type="idhal" notation="string">friedrich-wehrung</idno>
              <idno type="idhal" notation="numeric">14905</idno>
              <idno type="halauthorid" notation="string">27461-14905</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4868-606X</idno>
              <idno type="IDREF">https://www.idref.fr/033352798</idno>
              <affiliation ref="#struct-105"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Friedrich</forename>
                <surname>Wehrung</surname>
              </persName>
              <email type="md5">a4fb939e96dc76ce262586e5356724d3</email>
              <email type="domain">unicaen.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2014-05-05 12:28:05</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2014-09-24 20:18:47</date>
              <date type="whenModified">2024-06-10 16:50:19</date>
              <date type="whenReleased">2014-09-25 15:22:03</date>
              <date type="whenProduced">2018</date>
              <date type="whenEndEmbargoed">2014-09-24</date>
              <ref type="file" target="https://hal.science/hal-00986148v2/document">
                <date notBefore="2014-09-24"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00986148v2/file/N5B32.pdf" id="file-1068100-869413">
                <date notBefore="2014-09-24"/>
              </ref>
              <ref type="externalLink" target="https://hal.archives-ouvertes.fr/hal-00986148/file/N5B32.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="101433">
                <persName>
                  <forename>Friedrich</forename>
                  <surname>Wehrung</surname>
                </persName>
                <email type="md5">a4fb939e96dc76ce262586e5356724d3</email>
                <email type="domain">unicaen.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00986148</idno>
            <idno type="halUri">https://hal.science/hal-00986148</idno>
            <idno type="halBibtex">santocanale:hal-00986148</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of the European Mathematical Society&lt;/i&gt;, 2018, 20 (8), pp.1959--2003. &lt;a target="_blank" href="https://dx.doi.org/10.4171/JEMS/804"&gt;&amp;#x27E8;10.4171/JEMS/804&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of the European Mathematical Society, 2018, 20 (8), pp.1959--2003. &amp;#x27E8;10.4171/JEMS/804&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1068100-869413"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLN">Université de Toulon</idno>
            <idno type="stamp" n="LIF">Laboratoire d'informatique fondamentale de Marseille</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-AMU">Aix Marseille Université</idno>
            <idno type="stamp" n="INSMI">CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions</idno>
            <idno type="stamp" n="COMUE-NORMANDIE">Normandie Université</idno>
            <idno type="stamp" n="LIS-LAB">Laboratoire d'Informatique et Systèmes</idno>
            <idno type="stamp" n="UNICAEN">Université de Caen Normandie</idno>
            <idno type="stamp" n="LMNO" corresp="CNRS">Laboratoire de Mathématiques Nicolas Oresme</idno>
          </seriesStmt>
          <notesStmt>
            <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">The equational theory of the weak order on finite symmetric groups</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Luigi</forename>
                    <surname>Santocanale</surname>
                  </persName>
                  <email type="md5">a36fa1195875bef012e26184199600cd</email>
                  <email type="domain">lis-lab.fr</email>
                  <idno type="idhal" notation="string">luigi-santocanale</idno>
                  <idno type="idhal" notation="numeric">7010</idno>
                  <idno type="halauthorid" notation="string">3385-7010</idno>
                  <idno type="IDREF">https://www.idref.fr/137437080</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4237-7856</idno>
                  <affiliation ref="#struct-530684"/>
                  <affiliation ref="#struct-527033"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Friedrich</forename>
                    <surname>Wehrung</surname>
                  </persName>
                  <email type="md5">a4fb939e96dc76ce262586e5356724d3</email>
                  <email type="domain">unicaen.fr</email>
                  <idno type="idhal" notation="string">friedrich-wehrung</idno>
                  <idno type="idhal" notation="numeric">14905</idno>
                  <idno type="halauthorid" notation="string">27461-14905</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4868-606X</idno>
                  <idno type="IDREF">https://www.idref.fr/033352798</idno>
                  <affiliation ref="#struct-105"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">16350</idno>
                <idno type="issn">1435-9855</idno>
                <idno type="eissn">1435-9863</idno>
                <title level="j">Journal of the European Mathematical Society</title>
                <imprint>
                  <publisher>European Mathematical Society</publisher>
                  <biblScope unit="volume">20</biblScope>
                  <biblScope unit="issue">8</biblScope>
                  <biblScope unit="pp">1959--2003</biblScope>
                  <date type="datePub">2018</date>
                </imprint>
              </monogr>
              <idno type="doi">10.4171/JEMS/804</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">splitting identity</term>
                <term xml:lang="en">monadic second-order logic</term>
                <term xml:lang="en">Tamari lattice</term>
                <term xml:lang="en">score</term>
                <term xml:lang="en">box product</term>
                <term xml:lang="en">dismantlable lattice</term>
                <term xml:lang="en">splitting lattice</term>
                <term xml:lang="en">subdirectly irreducible</term>
                <term xml:lang="en">Lattice</term>
                <term xml:lang="en">polarized measure</term>
                <term xml:lang="en">permutohedron</term>
                <term xml:lang="en">sub-tensor product</term>
                <term xml:lang="en">identity</term>
                <term xml:lang="en">decidability</term>
                <term xml:lang="en">weak order</term>
                <term xml:lang="en">bounded homomorphic image</term>
                <term xml:lang="en">Cambrian lattice</term>
              </keywords>
              <classCode scheme="classification">06B20, 06B25, 06A07, 06B10, 06A15, 03C85, 20F55</classCode>
              <classCode scheme="halDomain" n="math.math-gm">Mathematics [math]/General Mathematics [math.GM]</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>It is well-known that the weak Bruhat order on the symmetric group on a finite number n of letters is a lattice, denoted by P(n) and often called the permutohedron on n letters, of which the Tamari lattice A(n) is a lattice retract. The equational theory of a class of lattices is the set of all lattice identities satisfied by all members of that class. We know from earlier work that the equational theory of all P(n) is properly contained in the one of all A(n). We prove the following results. Theorem I. The equational theory of all P(n) and the one of all A(n) are both decidable. Theorem II. There exists a lattice identity that holds in all P(n), but that fails in a certain 3338-element lattice. Theorem III. The equational theory of all extended permutohedra, on arbitrary (possibly infinite) posets, is trivial. In order to prove Theorems I and II, we reduce the satisfaction of a given lattice identity in a Cambrian lattice of type A to a certain tiling problem on a finite chain. Theorem I then follows from Büchi's decidability theorem for the monadic second-order theory MSO of the successor function on the natural numbers. It can be extended to any class of Cambrian lattices of type A with MSO-definable set of orientations.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-530684" status="VALID">
          <orgName>Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre</orgName>
          <orgName type="acronym">LIRICA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lis-lab.fr/lirica</ref>
          </desc>
          <listRelation>
            <relation active="#struct-527033" type="direct"/>
            <relation name="UMR7020" active="#struct-198056" type="indirect"/>
            <relation name="UMR7020" active="#struct-303091" type="indirect"/>
            <relation name="UMR7020" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-527033" status="VALID">
          <idno type="IdRef">234768002</idno>
          <idno type="RNSR">201822714R</idno>
          <idno type="ROR">https://ror.org/0257sgk90</idno>
          <idno type="Wikidata">Q52605252</idno>
          <orgName>Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)</orgName>
          <orgName type="acronym">LIS</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>Aix Marseille Université – Campus de Saint Jérôme – Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lis-lab.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR7020" active="#struct-198056" type="direct"/>
            <relation name="UMR7020" active="#struct-303091" type="direct"/>
            <relation name="UMR7020" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-105" status="VALID">
          <idno type="IdRef">185216021</idno>
          <idno type="RNSR">200212207P</idno>
          <idno type="ROR">https://ror.org/03jm2hc44</idno>
          <idno type="Wikidata">Q67154985</idno>
          <orgName>Laboratoire de Mathématiques Nicolas Oresme</orgName>
          <orgName type="acronym">LMNO</orgName>
          <date type="start">2002-01-01</date>
          <desc>
            <address>
              <addrLine>Boulevard du Maréchal Juin 14032 CAEN CEDEX 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lmno.cnrs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-7127" type="direct"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation name="UMR6139" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-198056" status="VALID">
          <idno type="IdRef">15863621X</idno>
          <idno type="ISNI">0000 0001 2176 4817</idno>
          <idno type="ROR">https://ror.org/035xkbk20</idno>
          <orgName>Aix Marseille Université</orgName>
          <orgName type="acronym">AMU</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Aix-Marseille UniversitéJardins du Pharo58 Boulevard Charles Livon13284 Marseille cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-amu.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303091" status="VALID">
          <idno type="IdRef">031122337</idno>
          <idno type="ROR">https://ror.org/02m9kbe37</idno>
          <orgName>Université de Toulon</orgName>
          <orgName type="acronym">UTLN</orgName>
          <desc>
            <address>
              <addrLine>Avenue de l'Université - BP 20132 - 83957 La Garde Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tln.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-7127" status="VALID">
          <idno type="IdRef">026403064</idno>
          <idno type="ISNI">0000000121864076</idno>
          <idno type="ROR">https://ror.org/051kpcy16</idno>
          <orgName>Université de Caen Normandie</orgName>
          <orgName type="acronym">UNICAEN</orgName>
          <date type="start">1432-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 CAEN Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.unicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-455934" status="VALID">
          <idno type="IdRef">190906332</idno>
          <idno type="ISNI">0000000417859671 </idno>
          <idno type="ROR">https://ror.org/01k40cz91</idno>
          <orgName>Normandie Université</orgName>
          <orgName type="acronym">NU</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.normandie-univ.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>