<?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-02498233</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-19T06:52:58+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Derived deformation theory of algebraic structures</title>
            <author role="aut">
              <persName>
                <forename type="first">Grégory</forename>
                <surname>Ginot</surname>
              </persName>
              <idno type="halauthorid">56293-0</idno>
              <affiliation ref="#struct-581232"/>
              <affiliation ref="#struct-581146"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sinan</forename>
                <surname>Yalin</surname>
              </persName>
              <email type="md5">593c6378672ed177c8ef4a1673408470</email>
              <email type="domain">math.univ-lille1.fr</email>
              <idno type="idhal" notation="string">sinan-yalin</idno>
              <idno type="idhal" notation="numeric">17518</idno>
              <idno type="halauthorid" notation="string">15537-17518</idno>
              <idno type="IDREF">https://www.idref.fr/175400563</idno>
              <affiliation ref="#struct-396"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Sinan</forename>
                <surname>Yalin</surname>
              </persName>
              <email type="md5">971f0ad633fc24ccae2af1b9359b48a5</email>
              <email type="domain">gmail.com</email>
            </editor>
            <funder ref="#projanr-44725"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-03-04 11:47:18</date>
              <date type="whenModified">2025-12-03 14:48:03</date>
              <date type="whenReleased">2020-03-10 14:37:09</date>
              <date type="whenProduced">2020-03-04</date>
              <date type="whenEndEmbargoed">2020-03-04</date>
              <ref type="file" target="https://hal.science/hal-02498233v1/document">
                <date notBefore="2020-03-04"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02498233v1/file/Derived_deformation_algebraic_structures_10_2019.pdf" id="file-2498240-2374360">
                <date notBefore="2020-03-04"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/1910.07255"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="174604">
                <persName>
                  <forename>Sinan</forename>
                  <surname>Yalin</surname>
                </persName>
                <email type="md5">971f0ad633fc24ccae2af1b9359b48a5</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02498233</idno>
            <idno type="halUri">https://hal.science/hal-02498233</idno>
            <idno type="halBibtex">ginot:hal-02498233</idno>
            <idno type="halRefHtml">2020</idno>
            <idno type="halRef">2020</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2498240-2374360"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </idno>
            <idno type="stamp" n="UNIV-PARIS8" corresp="UNIV-PARIS-LUMIERES">Université Paris VIII Vincennes-Saint Denis</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="LAGA" corresp="UNIV-PARIS13">Laboratoire d'Analyse, Géométrie et Applications</idno>
            <idno type="stamp" n="LAREMA" corresp="UNIV-ANGERS">Laboratoire Angevin de Recherche en Mathématiques</idno>
            <idno type="stamp" n="INSMI">CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions</idno>
            <idno type="stamp" n="CHL">Centre Henri Lebesgue</idno>
            <idno type="stamp" n="USPC">Université Sorbonne Paris Cité</idno>
            <idno type="stamp" n="UNIV-PARIS-LUMIERES"/>
            <idno type="stamp" n="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="UNIV-PARIS8-OA" corresp="UNIV-PARIS8">HAL UNIV-PARIS8 - open access</idno>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">70 pages, this paper expands the theory developed in our previous paper arXiv:1606.01504. It contains complete proofs of results announced therein, and new ones as well</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Derived deformation theory of algebraic structures</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Grégory</forename>
                    <surname>Ginot</surname>
                  </persName>
                  <idno type="halauthorid">56293-0</idno>
                  <affiliation ref="#struct-581232"/>
                  <affiliation ref="#struct-581146"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sinan</forename>
                    <surname>Yalin</surname>
                  </persName>
                  <email type="md5">593c6378672ed177c8ef4a1673408470</email>
                  <email type="domain">math.univ-lille1.fr</email>
                  <idno type="idhal" notation="string">sinan-yalin</idno>
                  <idno type="idhal" notation="numeric">17518</idno>
                  <idno type="halauthorid" notation="string">15537-17518</idno>
                  <idno type="IDREF">https://www.idref.fr/175400563</idno>
                  <affiliation ref="#struct-396"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
              <idno type="arxiv">1910.07255</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="math.math-ag">Mathematics [math]/Algebraic Geometry [math.AG]</classCode>
              <classCode scheme="halDomain" n="math.math-at">Mathematics [math]/Algebraic Topology [math.AT]</classCode>
              <classCode scheme="halDomain" n="math.math-ct">Mathematics [math]/Category Theory [math.CT]</classCode>
              <classCode scheme="halDomain" n="math.math-qa">Mathematics [math]/Quantum Algebra [math.QA]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...) or bialgebras (associative and coassociative, Lie, Frobenius...), that is algebraic structures parametrized by props. A central aspect is that we define and study moduli spaces of deformations of algebraic structures up to quasi-isomorphisms (and not just isotopies or isomorphisms). To do so, we implement methods coming from derived algebraic geometry, by encapsulating these deformation theories as classifying (pre)stacks with good infinitesimal properties and %derived formal geometry, by means of derived formal moduli problems and derived formal groups. In particular, we prove that the Lie algebra describing the deformation theory of an object in a given $\infty$-category of dg algebras can be obtained equivalently as the tangent complex of loops on a derived quotient of this moduli space by the homotopy automorphims of this object. Moreover, we provide explicit formulae for such derived deformation problems of algebraic structures up to quasi-isomorphisms and relate them in a precise way to other standard deformation problems of algebraic structures. This relation is given by a fiber sequence of the associated dg-Lie algebras of their deformation complexes. Our results provide simultaneously a vast generalization of standard deformation theory of algebraic structures which is suitable (and needed) to set up algebraic deformation theory both at the $\infty$-categorical level and at a higher level of generality than algebras over operads. In addition, we study a general criterion to compare formal moduli problems of different algebraic structures and apply our formalism to $E_n$-algebras and bialgebras.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-581232" status="VALID">
          <idno type="IdRef">086041142</idno>
          <idno type="ISNI">0000000106421613</idno>
          <idno type="RNSR">199712596J</idno>
          <idno type="ROR">https://ror.org/018nzqy79</idno>
          <orgName>Laboratoire Analyse, Géométrie et Applications</orgName>
          <orgName type="acronym">LAGA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.math.univ-paris13.fr/laga/</ref>
          </desc>
          <listRelation>
            <relation name="UMR7539" active="#struct-11141" type="direct"/>
            <relation name="UMR7539" active="#struct-441569" type="direct"/>
            <relation name="UMR7539" active="#struct-581146" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-581146" status="VALID">
          <idno type="IdRef">02640463X</idno>
          <idno type="ISNI">0000000121496883</idno>
          <idno type="ROR">https://ror.org/0199hds37</idno>
          <orgName>Université Sorbonne Paris Nord</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>99, avenue Jean-Baptiste Clément, 93430 Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-paris13.fr/</ref>
          </desc>
        </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-11141" status="VALID">
          <idno type="IdRef">026403552</idno>
          <idno type="ISNI">0000000121083026</idno>
          <idno type="ROR">https://ror.org/04wez5e68</idno>
          <orgName>Université Paris 8</orgName>
          <orgName type="acronym">UP8</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue de la Liberté - 93526 Saint-Denis cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris8.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-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-44725" status="VALID">
          <idno type="anr">ANR-16-CE40-0003</idno>
          <orgName>ChroK</orgName>
          <desc>Homotopie chromatique et K-théorie</desc>
          <date type="start">2016</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>