<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en"><generator uri="https://jekyllrb.com/" version="4.3.3">Jekyll</generator><link href="https://ahgt.math.cnrs.fr/feed/seminar.xml" rel="self" type="application/atom+xml" /><link href="https://ahgt.math.cnrs.fr/" rel="alternate" type="text/html" hreflang="en" /><updated>2026-05-14T11:03:29+09:00</updated><id>https://ahgt.math.cnrs.fr/feed/seminar.xml</id><title type="html">Arithmetic &amp;amp; Homotopic Galois Theory IRN | Seminar</title><subtitle>The LPP-RIMS Arithmetic &amp;amp; Homotopic Galois Theory IRN is a CNRS France-Japan Research Network on Galois covers &amp;amp; moduli spaces, Motivic &amp;amp; Geometric Galois representations, and Arithmetic anabelian geometry.
</subtitle><entry xml:lang="en"><title type="html">On algebraic geometry over division rings</title><link href="https://ahgt.math.cnrs.fr/seminar/2026/07/13/Paran_AG_div.html" rel="alternate" type="text/html" title="On algebraic geometry over division rings" /><published>2026-07-13T15:30:00+09:00</published><updated>2026-07-13T15:30:00+09:00</updated><id>https://ahgt.math.cnrs.fr/seminar/2026/07/13/Paran_AG_div</id><content type="html" xml:base="https://ahgt.math.cnrs.fr/seminar/2026/07/13/Paran_AG_div.html"><![CDATA[<div class="news" style="margin: 0 10px 0 0px;">
  <table class="table table-sm table-borderless" style="min-width:550px;">
  <tr>
    <th scope="row" style="padding⁻left:0x;max-width:70px;">July 13, 2026</th>
    <td>
      <h2>On algebraic geometry over division rings</h2>
      <a href="https://www.openu.ac.il/en/personalsites/eladparan.aspx">Elad Paran</a>, Open University of Israel, IL <i class="fa fa-at"></i> RIMS Kyoto (Room 110) + Zoom &#183; JP: 15:30 &#183; FR: 08:30

    <p style="background-color:#eee;margin-top:15px;padding:10px;font-size:1rem;">
    We shall survey recent developments concerned with foundational aspects of quaternionic algebraic geometry: <br /><br />1. <i>A quaternionic Nullstellensatz</i> for the ring R of polynomials in n central variables over the quaternion algebra H, in both abstract form (due to the author and Alon) and explicit form (due to M. Aryapoor).<br />2. <i>A theorem about the geometry of zero sets of polynomials</i> in R: If a polynomial vanishes on all common zeros with commuting coordinates of a left ideal J in R , then it vanishes on all common zeros of J in H^n. This result confirmed a conjecture of Gori, Sarfatti and Vlacci.<br />3. <i>Study of contraction properties</i> of one-sided ideals in polynomial rings over division rings. In particular, we show that if M is a maximal left ideal in the polynomial ring D[x], where D is a division ring, then the contraction of M to D need not be maximal. This resolved a question of Amitsur and Small from 1978. We shall discuss connections between this question to recent works and the implications to algebraic geometric over division rings.<br /> 4. <i>A Nullstellensatz for quaternionic polynomial functions</i>, a generalization to arbitrary centrally finite division rings by Bao and Reichstein, and an extension of the Ax-Grothendieck theorem to polynomial functions over centrally finite division rings. <br /><br /> Joint works with Gil Alon, Adam Chapman.

    </p>
    </td>
    </tr>
    <tr>
    <td colspan="2">
      <div class="row">
        <div class="col-sm-8 mt-6 mt-md-0">
        <ol style="margin: -10px 15px 0 0px;">
          
          <li>G. Alon, E. Paran. <a href="https://www.sciencedirect.com/science/article/pii/S0021869321000478">A central quaternionic Nullstellensatz</a>, Journal of Algebra, Volume 574, 15 May 2021</li>
          
          <li>G. Alon, E. Paran. <a href="https://www.sciencedirect.com/science/article/pii/S0022404920302735">A quaternionic Nullstellensatz</a>, Journal of Pure and Applied Algebra, Volume 225, Issue 4, April 2021</li>
          
          <li>A. Chapman, E. Paran. <a href="https://www.sciencedirect.com/science/article/pii/S0021869325002844">Amitsur-Small rings</a>, Journal of Algebra, Volume 679, 1 October 2025</li>
          
        </ol>
        
        
        </div>
        <div class="col-sm-4 mt-6 mt-md-0">
        
        </div>
      </div>
    </td>
    </tr>
    <tr>
    <td colspan="2">
    
<div class="share-page" style="text-align:right;">
<i class="fa fa-comments"></i>&nbsp;<div class="mastodon-share-button" data-target="https://ahgt.math.cnrs.fr/seminar/2026/07/13/Paran_AG_div.html" data-name="Talk :: On algebraic geometry over division rings by Elad Paran" data-text="Mastodon" style="display:inline-block;"></div> &nbsp; &middot; &nbsp;
      <i class="fab fa-twitter"></i>&nbsp;<a href="https://twitter.com/intent/tweet?text=Talk :: On%20algebraic%20geometry%20over%20division%20rings by Elad%20Paran&amp;url=https://ahgt.math.cnrs.fr/seminar/2026/07/13/Paran_AG_div.html&amp;via=BCollasMath&amp;hashtags=AHGTMath" rel="nofollow" target="_blank" title="Share on Twitter">Twitter</a> &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://www.google.com/calendar/render?action=TEMPLATE&amp;text=[AHGT]+On%20algebraic%20geometry%20over%20division%20rings-Elad%20Paran&amp;ctz=Asia/Tokyo&amp;dates=20260713T1525/20260713T1685&amp;details=&amp;location=Research+Institute+for+Mathematical+Sciences,+Kyoto+University,+Japan,+606-8317+Kyoto,+Sakyo+Ward,+Kitashirakawa+Oiwakecho&amp;sf=true&amp;output=xml">GCalendar</a>
    &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://outlook.live.com/calendar/0/deeplink/compose?allday=false&amp;enddt=2026-07-13T17:30:00&amp;path=%2Fcalendar%2Faction%2Fcompose&amp;rru=addevent&amp;startdt=2026-07-13T15:30:00&amp;subject=[AHGT]+On%20algebraic%20geometry%20over%20division%20rings-Elad%20Paran" title="Save Event in my Calendar">Outlook</a>
    </div>


    </td>
  </tr>
  </table>
</div>

<!-- Request for [<a href="mailto:bcollas@kurims.kyoto-u.ac.jp?subject=AHGT%20seminar%20-%20request%20to%20attend">attending online</a>] <b>::</b>-->
<p><i class="fa fa-arrow-right"></i> To the <a href="/seminar">main page of the AHGT seminar</a>.</p>

<!-- Instance mastodon -->
<div class="modal fade" id="exampleModal" tabindex="-1" role="dialog" aria-labelledby="exampleModalLabel" aria-hidden="true">
      <div class="modal-dialog" role="document">
        <div class="modal-content">
          <div class="modal-header">
            <h5 class="modal-title" id="exampleModalLabel">Instance address</h5>
            <button type="button" class="close" data-dismiss="modal" aria-label="Close">
              <span aria-hidden="true">&times;</span>
            </button>
          </div>
          <div class="modal-body">
            <div class="form-group">
              <label for="msb-address">Enter your instance's address</label>
              <input type="text" class="form-control" id="msb-address" placeholder="https://mathstodon.xyz" />
            </div>
            <div class="form-check">
              <input type="checkbox" class="form-check-input" id="msb-memorize-instance" />
              <label class="form-check-label" for="msb-memorize-instance">Memorize my instance</label>
            </div>
          </div>
          <div class="modal-footer">
            <button type="button" class="btn btn-secondary" data-dismiss="modal" style="padding:5px!important;">Close</button>
            <button id="msb-share" type="button" class="btn btn-primary" style="padding:5px!important;">Save changes</button>
          </div>
        </div>
      </div>
    </div>
<!-- style mastodon button -->
<script>
    const msbConfig = {
      openModal: function () {
        $('#exampleModal').modal('show');
      },
      closeModal: function () {
        $('#exampleModal').modal('hide');
      },
      addressFieldSelector: '#msb-address',
      buttonModalSelector: '#msb-share',
      memorizeFieldId: 'msb-memorize-instance'
    };

    $('.modal').on('shown.bs.modal', function() {
      $('#msb-address').focus();
    });
  </script>

<script src="/assets/js/mastodon.js"></script>]]></content><author><name></name></author><category term="seminar" /><summary type="html"><![CDATA[We shall survey recent developments concerned with foundational aspects of quaternionic algebraic geometry: 1. A quaternionic Nullstellensatz for the ring R of polynomials in n central variables over the quaternion algebra H, in both abstract form (due to the author and Alon) and explicit form (due to M. Aryapoor).2. A theorem about the geometry of zero sets of polynomials in R: If a polynomial vanishes on all common zeros with commuting coordinates of a left ideal J in R , then it vanishes on all common zeros of J in H^n. This result confirmed a conjecture of Gori, Sarfatti and Vlacci.3. Study of contraction properties of one-sided ideals in polynomial rings over division rings. In particular, we show that if M is a maximal left ideal in the polynomial ring D[x], where D is a division ring, then the contraction of M to D need not be maximal. This resolved a question of Amitsur and Small from 1978. We shall discuss connections between this question to recent works and the implications to algebraic geometric over division rings. 4. A Nullstellensatz for quaternionic polynomial functions, a generalization to arbitrary centrally finite division rings by Bao and Reichstein, and an extension of the Ax-Grothendieck theorem to polynomial functions over centrally finite division rings. Joint works with Gil Alon, Adam Chapman.]]></summary></entry><entry xml:lang="en"><title type="html">On the section conjecture for the toric fundamental group</title><link href="https://ahgt.math.cnrs.fr/seminar/2026/06/01/Bresciani_section.html" rel="alternate" type="text/html" title="On the section conjecture for the toric fundamental group" /><published>2026-06-01T15:30:00+09:00</published><updated>2026-06-01T15:30:00+09:00</updated><id>https://ahgt.math.cnrs.fr/seminar/2026/06/01/Bresciani_section</id><content type="html" xml:base="https://ahgt.math.cnrs.fr/seminar/2026/06/01/Bresciani_section.html"><![CDATA[<div class="news" style="margin: 0 10px 0 0px;">
  <table class="table table-sm table-borderless" style="min-width:550px;">
  <tr>
    <th scope="row" style="padding⁻left:0x;max-width:70px;">June 1, 2026</th>
    <td>
      <h2>On the section conjecture for the toric fundamental group</h2>
      <a href="https://sites.google.com/view/bresciani/home">Giulio Bresciani</a>, Università di Pisa, IT <i class="fa fa-at"></i> RIMS Kyoto (Room 110) + Zoom &#183; JP: 15:30 &#183; FR: 08:30

    <p style="background-color:#eee;margin-top:15px;padding:10px;font-size:1rem;">
    The toric fundamental group is the Tannaka dual of a category of vector bundles which become direct sums of line bundles on a finite étale cover. It is an extension of the étale fundamental group scheme by a projective limit of tori.<br /> Grothendieck's section conjecture for the étale fundamental group implies the analogous statement for the toric fundamental group. We call this the toric section conjecture. We prove that a resolution of the toric section conjecture would reduce the original one to particular cases about which more is known, mainly due to J. Stix.<br /> We prove that abelian varieties over p-adic fields satisfy the toric section conjecture, and give strong evidence that it holds for hyperbolic curves over p-adic fields, too.

    </p>
    </td>
    </tr>
    <tr>
    <td colspan="2">
      <div class="row">
        <div class="col-sm-8 mt-6 mt-md-0">
        <ol style="margin: -10px 15px 0 0px;">
          
          <li>G. Bresciani. On the section conjecture for the toric fundamental group, 2025 [<a href="https://arxiv.org/pdf/2409.07923">ArXiv</a>]</li>
          
        </ol>
        
        
        </div>
        <div class="col-sm-4 mt-6 mt-md-0">
        
        </div>
      </div>
    </td>
    </tr>
    <tr>
    <td colspan="2">
    
<div class="share-page" style="text-align:right;">
<i class="fa fa-comments"></i>&nbsp;<div class="mastodon-share-button" data-target="https://ahgt.math.cnrs.fr/seminar/2026/06/01/Bresciani_section.html" data-name="Talk :: On the section conjecture for the toric fundamental group by Giulio Bresciani" data-text="Mastodon" style="display:inline-block;"></div> &nbsp; &middot; &nbsp;
      <i class="fab fa-twitter"></i>&nbsp;<a href="https://twitter.com/intent/tweet?text=Talk :: On%20the%20section%20conjecture%20for%20the%20toric%20fundamental%20group by Giulio%20Bresciani&amp;url=https://ahgt.math.cnrs.fr/seminar/2026/06/01/Bresciani_section.html&amp;via=BCollasMath&amp;hashtags=AHGTMath" rel="nofollow" target="_blank" title="Share on Twitter">Twitter</a> &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://www.google.com/calendar/render?action=TEMPLATE&amp;text=[AHGT]+On%20the%20section%20conjecture%20for%20the%20toric%20fundamental%20group-Giulio%20Bresciani&amp;ctz=Asia/Tokyo&amp;dates=20260601T1525/20260601T1685&amp;details=&amp;location=Research+Institute+for+Mathematical+Sciences,+Kyoto+University,+Japan,+606-8317+Kyoto,+Sakyo+Ward,+Kitashirakawa+Oiwakecho&amp;sf=true&amp;output=xml">GCalendar</a>
    &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://outlook.live.com/calendar/0/deeplink/compose?allday=false&amp;enddt=2026-06-01T17:30:00&amp;path=%2Fcalendar%2Faction%2Fcompose&amp;rru=addevent&amp;startdt=2026-06-01T15:30:00&amp;subject=[AHGT]+On%20the%20section%20conjecture%20for%20the%20toric%20fundamental%20group-Giulio%20Bresciani" title="Save Event in my Calendar">Outlook</a>
    </div>


    </td>
  </tr>
  </table>
</div>

<!-- Request for [<a href="mailto:bcollas@kurims.kyoto-u.ac.jp?subject=AHGT%20seminar%20-%20request%20to%20attend">attending online</a>] <b>::</b>-->
<p><i class="fa fa-arrow-right"></i> To the <a href="/seminar">main page of the AHGT seminar</a>.</p>

<!-- Instance mastodon -->
<div class="modal fade" id="exampleModal" tabindex="-1" role="dialog" aria-labelledby="exampleModalLabel" aria-hidden="true">
      <div class="modal-dialog" role="document">
        <div class="modal-content">
          <div class="modal-header">
            <h5 class="modal-title" id="exampleModalLabel">Instance address</h5>
            <button type="button" class="close" data-dismiss="modal" aria-label="Close">
              <span aria-hidden="true">&times;</span>
            </button>
          </div>
          <div class="modal-body">
            <div class="form-group">
              <label for="msb-address">Enter your instance's address</label>
              <input type="text" class="form-control" id="msb-address" placeholder="https://mathstodon.xyz" />
            </div>
            <div class="form-check">
              <input type="checkbox" class="form-check-input" id="msb-memorize-instance" />
              <label class="form-check-label" for="msb-memorize-instance">Memorize my instance</label>
            </div>
          </div>
          <div class="modal-footer">
            <button type="button" class="btn btn-secondary" data-dismiss="modal" style="padding:5px!important;">Close</button>
            <button id="msb-share" type="button" class="btn btn-primary" style="padding:5px!important;">Save changes</button>
          </div>
        </div>
      </div>
    </div>
<!-- style mastodon button -->
<script>
    const msbConfig = {
      openModal: function () {
        $('#exampleModal').modal('show');
      },
      closeModal: function () {
        $('#exampleModal').modal('hide');
      },
      addressFieldSelector: '#msb-address',
      buttonModalSelector: '#msb-share',
      memorizeFieldId: 'msb-memorize-instance'
    };

    $('.modal').on('shown.bs.modal', function() {
      $('#msb-address').focus();
    });
  </script>

<script src="/assets/js/mastodon.js"></script>]]></content><author><name></name></author><category term="seminar" /><category term="upcoming" /><category term="futsem" /><summary type="html"><![CDATA[The toric fundamental group is the Tannaka dual of a category of vector bundles which become direct sums of line bundles on a finite étale cover. It is an extension of the étale fundamental group scheme by a projective limit of tori. Grothendieck's section conjecture for the étale fundamental group implies the analogous statement for the toric fundamental group. We call this the toric section conjecture. We prove that a resolution of the toric section conjecture would reduce the original one to particular cases about which more is known, mainly due to J. Stix. We prove that abelian varieties over p-adic fields satisfy the toric section conjecture, and give strong evidence that it holds for hyperbolic curves over p-adic fields, too.]]></summary></entry><entry xml:lang="en"><title type="html">Perverse sheaves and the Shafarevich conjecture [rescheduled]</title><link href="https://ahgt.math.cnrs.fr/seminar/2026/05/11/Kraemer_perverse.html" rel="alternate" type="text/html" title="Perverse sheaves and the Shafarevich conjecture [rescheduled]" /><published>2026-05-11T15:30:00+09:00</published><updated>2026-05-11T15:30:00+09:00</updated><id>https://ahgt.math.cnrs.fr/seminar/2026/05/11/Kraemer_perverse</id><content type="html" xml:base="https://ahgt.math.cnrs.fr/seminar/2026/05/11/Kraemer_perverse.html"><![CDATA[<div class="news" style="margin: 0 10px 0 0px;">
  <table class="table table-sm table-borderless" style="min-width:550px;">
  <tr>
    <th scope="row" style="padding⁻left:0x;max-width:70px;">May 11, 2026</th>
    <td>
      <h2>Perverse sheaves and the Shafarevich conjecture [rescheduled]</h2>
      <a href="https://www-user.tu-chemnitz.de/~kraet/">Thomas Krämer</a>, TU Chemnitz, DE <i class="fa fa-at"></i> RIMS Kyoto (Room 110) + Zoom &#183; JP: 15:30 &#183; FR: 08:30

    <p style="background-color:#eee;margin-top:15px;padding:10px;font-size:1rem;">
    The Shafarevich conjecture, a special case of the Lang-Vojta conjecture in Diophantine geometry, predicts that over any number field there only finitely many isomorphism classes of smooth projective canonically polarized varieties with given Hilbert polynomial and good reduction outside a given finite set of primes. For curves this was famously proven by Faltings on his way to the Mordell conjecture, but the higher-dimensional case remains wide open.<br /><br /> In the talk I will discuss joint work with Marco Maculan in which we prove the Shafarevich conjecture for a large class of varieties with globally generated cotangent bundle. We combine the Lawrence-Sawin-Venkatesh method with the big monodromy theorem from our work with Javanpeykar, Lehn and Maculan. The key input is the convolution of perverse sheaves on abelian varieties.
    </p>
    </td>
    </tr>
    <tr>
    <td colspan="2">
      <div class="row">
        <div class="col-sm-8 mt-6 mt-md-0">
        <ol style="margin: -10px 15px 0 0px;">
          
          <li>T. Krämer and M. Maculan, The Shafarevich conjecture for varieties with globally generated cotangent. Preprint (2025) [<a href="https://arxiv.org/abs/2503.20570">ArXiV</a>]</li>
          
          <li>T. Krämer and M. Maculan, Arithmetic finiteness of very irregular varieties. Duke Math. J. (to appear). Preprint (2025) [<a href="https://arxiv.org/abs/2310.08485">ArXiV</a>]</li>
          
          <li>A. Javanpeykar, T. Krämer, C. Lehn and M. Maculan, <a href="https://doi.org/10.1215/00127094-2024-0053">The monodromy of families of subvarieties on abelian varieties</a>. Duke Math. J. 174 (2025), 1045-1149 [<a href="https://arxiv.org/abs/2210.05166">ArXiV</a>].</li>
          
        </ol>
        
        
        </div>
        <div class="col-sm-4 mt-6 mt-md-0">
        
        </div>
      </div>
    </td>
    </tr>
    <tr>
    <td colspan="2">
    
<div class="share-page" style="text-align:right;">
<i class="fa fa-comments"></i>&nbsp;<div class="mastodon-share-button" data-target="https://ahgt.math.cnrs.fr/seminar/2026/05/11/Kraemer_perverse.html" data-name="Talk :: Perverse sheaves and the Shafarevich conjecture [rescheduled] by Thomas Krämer" data-text="Mastodon" style="display:inline-block;"></div> &nbsp; &middot; &nbsp;
      <i class="fab fa-twitter"></i>&nbsp;<a href="https://twitter.com/intent/tweet?text=Talk :: Perverse%20sheaves%20and%20the%20Shafarevich%20conjecture%20[rescheduled] by Thomas%20Kr%C3%A4mer&amp;url=https://ahgt.math.cnrs.fr/seminar/2026/05/11/Kraemer_perverse.html&amp;via=BCollasMath&amp;hashtags=AHGTMath" rel="nofollow" target="_blank" title="Share on Twitter">Twitter</a> &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://www.google.com/calendar/render?action=TEMPLATE&amp;text=[AHGT]+Perverse%20sheaves%20and%20the%20Shafarevich%20conjecture%20[rescheduled]-Thomas%20Kr%C3%A4mer&amp;ctz=Asia/Tokyo&amp;dates=20260511T1525/20260511T1685&amp;details=&amp;location=Research+Institute+for+Mathematical+Sciences,+Kyoto+University,+Japan,+606-8317+Kyoto,+Sakyo+Ward,+Kitashirakawa+Oiwakecho&amp;sf=true&amp;output=xml">GCalendar</a>
    &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://outlook.live.com/calendar/0/deeplink/compose?allday=false&amp;enddt=2026-05-11T17:30:00&amp;path=%2Fcalendar%2Faction%2Fcompose&amp;rru=addevent&amp;startdt=2026-05-11T15:30:00&amp;subject=[AHGT]+Perverse%20sheaves%20and%20the%20Shafarevich%20conjecture%20[rescheduled]-Thomas%20Kr%C3%A4mer" title="Save Event in my Calendar">Outlook</a>
    </div>


    </td>
  </tr>
  </table>
</div>

<!-- Request for [<a href="mailto:bcollas@kurims.kyoto-u.ac.jp?subject=AHGT%20seminar%20-%20request%20to%20attend">attending online</a>] <b>::</b>-->
<p><i class="fa fa-arrow-right"></i> To the <a href="/seminar">main page of the AHGT seminar</a>.</p>

<!-- Instance mastodon -->
<div class="modal fade" id="exampleModal" tabindex="-1" role="dialog" aria-labelledby="exampleModalLabel" aria-hidden="true">
      <div class="modal-dialog" role="document">
        <div class="modal-content">
          <div class="modal-header">
            <h5 class="modal-title" id="exampleModalLabel">Instance address</h5>
            <button type="button" class="close" data-dismiss="modal" aria-label="Close">
              <span aria-hidden="true">&times;</span>
            </button>
          </div>
          <div class="modal-body">
            <div class="form-group">
              <label for="msb-address">Enter your instance's address</label>
              <input type="text" class="form-control" id="msb-address" placeholder="https://mathstodon.xyz" />
            </div>
            <div class="form-check">
              <input type="checkbox" class="form-check-input" id="msb-memorize-instance" />
              <label class="form-check-label" for="msb-memorize-instance">Memorize my instance</label>
            </div>
          </div>
          <div class="modal-footer">
            <button type="button" class="btn btn-secondary" data-dismiss="modal" style="padding:5px!important;">Close</button>
            <button id="msb-share" type="button" class="btn btn-primary" style="padding:5px!important;">Save changes</button>
          </div>
        </div>
      </div>
    </div>
<!-- style mastodon button -->
<script>
    const msbConfig = {
      openModal: function () {
        $('#exampleModal').modal('show');
      },
      closeModal: function () {
        $('#exampleModal').modal('hide');
      },
      addressFieldSelector: '#msb-address',
      buttonModalSelector: '#msb-share',
      memorizeFieldId: 'msb-memorize-instance'
    };

    $('.modal').on('shown.bs.modal', function() {
      $('#msb-address').focus();
    });
  </script>

<script src="/assets/js/mastodon.js"></script>]]></content><author><name></name></author><category term="seminar" /><category term="upcoming" /><summary type="html"><![CDATA[The Shafarevich conjecture, a special case of the Lang-Vojta conjecture in Diophantine geometry, predicts that over any number field there only finitely many isomorphism classes of smooth projective canonically polarized varieties with given Hilbert polynomial and good reduction outside a given finite set of primes. For curves this was famously proven by Faltings on his way to the Mordell conjecture, but the higher-dimensional case remains wide open. In the talk I will discuss joint work with Marco Maculan in which we prove the Shafarevich conjecture for a large class of varieties with globally generated cotangent bundle. We combine the Lawrence-Sawin-Venkatesh method with the big monodromy theorem from our work with Javanpeykar, Lehn and Maculan. The key input is the convolution of perverse sheaves on abelian varieties.]]></summary></entry><entry xml:lang="en"><title type="html">Decidability problems for global and local fields</title><link href="https://ahgt.math.cnrs.fr/seminar/2026/04/20/Fehm-Decidability_pbs.html" rel="alternate" type="text/html" title="Decidability problems for global and local fields" /><published>2026-04-20T15:30:00+09:00</published><updated>2026-04-20T15:30:00+09:00</updated><id>https://ahgt.math.cnrs.fr/seminar/2026/04/20/Fehm-Decidability_pbs</id><content type="html" xml:base="https://ahgt.math.cnrs.fr/seminar/2026/04/20/Fehm-Decidability_pbs.html"><![CDATA[<div class="news" style="margin: 0 10px 0 0px;">
  <table class="table table-sm table-borderless" style="min-width:550px;">
  <tr>
    <th scope="row" style="padding⁻left:0x;max-width:70px;">April 20, 2026</th>
    <td>
      <h2>Decidability problems for global and local fields</h2>
      <a href="https://tu-dresden.de/mn/math/algebra/fehm">Arno Fehm</a>, TU Dresden, Germany <i class="fa fa-at"></i> RIMS Kyoto Room 110 + Zoom &#183; JP: 15:30 &#183; FR: 08:30

    <p style="background-color:#eee;margin-top:15px;padding:10px;font-size:1rem;">
    Can one algorithmically decide whether a system of polynomial equations has a solution in the field of rational numbers? While this question is open, several closely related questions are by now answered. In particular, the answer is YES for local fields (with some caveats in positive characteristic), and NO for global fields if we ask for something only slightly stronger.<br /><br /> In this talk I will give an introduction to this area and will discuss several variations of the question, for different fields (global and local), different kinds of equations (polynomial, linear, ...), and with arithmetic extra conditions (absolute values, heights).

    </p>
    </td>
    </tr>
    <tr>
    <td colspan="2">
      <div class="row">
        <div class="col-sm-8 mt-6 mt-md-0">
        <ol style="margin: -10px 15px 0 0px;">
          
          <li>S. Anscombe, P. Dittmann and A. Fehm. <a href="https://msp.org/ant/2023/17-11/ant-v17-n11-p06-s.pdf">Axiomatizing the existential theory of Fq ((t))</a>. Algebra &amp; Number Theory 17(11):2013–2032, 2023</li>
          
          <li>J. Koenigsmann. <a href="https://www.worldscientific.com/doi/10.1142/9789813272880_0044">Decidability in local and global fields</a>. Proc. Int. Cong. of Math. – 2018, Rio de Janeiro, Vol. 1 (45–60)</li>
          
          <li>B. Poonen. <a href="https://math.mit.edu/~poonen/papers/h10_notices.pdf">Undecidability in number theory</a>. Notices of the Amer. Math. Soc. 55(3), 2008.</li>
          
        </ol>
        
        
        </div>
        <div class="col-sm-4 mt-6 mt-md-0">
        
        </div>
      </div>
    </td>
    </tr>
    <tr>
    <td colspan="2">
    
<div class="share-page" style="text-align:right;">
<i class="fa fa-comments"></i>&nbsp;<div class="mastodon-share-button" data-target="https://ahgt.math.cnrs.fr/seminar/2026/04/20/Fehm-Decidability_pbs.html" data-name="Talk :: Decidability problems for global and local fields by Arno Fehm" data-text="Mastodon" style="display:inline-block;"></div> &nbsp; &middot; &nbsp;
      <i class="fab fa-twitter"></i>&nbsp;<a href="https://twitter.com/intent/tweet?text=Talk :: Decidability%20problems%20for%20global%20and%20local%20fields by Arno%20Fehm&amp;url=https://ahgt.math.cnrs.fr/seminar/2026/04/20/Fehm-Decidability_pbs.html&amp;via=BCollasMath&amp;hashtags=AHGTMath" rel="nofollow" target="_blank" title="Share on Twitter">Twitter</a> &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://www.google.com/calendar/render?action=TEMPLATE&amp;text=[AHGT]+Decidability%20problems%20for%20global%20and%20local%20fields-Arno%20Fehm&amp;ctz=Asia/Tokyo&amp;dates=20260420T1525/20260420T1685&amp;details=&amp;location=Research+Institute+for+Mathematical+Sciences,+Kyoto+University,+Japan,+606-8317+Kyoto,+Sakyo+Ward,+Kitashirakawa+Oiwakecho&amp;sf=true&amp;output=xml">GCalendar</a>
    &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://outlook.live.com/calendar/0/deeplink/compose?allday=false&amp;enddt=2026-04-20T17:30:00&amp;path=%2Fcalendar%2Faction%2Fcompose&amp;rru=addevent&amp;startdt=2026-04-20T15:30:00&amp;subject=[AHGT]+Decidability%20problems%20for%20global%20and%20local%20fields-Arno%20Fehm" title="Save Event in my Calendar">Outlook</a>
    </div>


    </td>
  </tr>
  </table>
</div>

<!-- Request for [<a href="mailto:bcollas@kurims.kyoto-u.ac.jp?subject=AHGT%20seminar%20-%20request%20to%20attend">attending online</a>] <b>::</b>-->
<p><i class="fa fa-arrow-right"></i> To the <a href="/seminar">main page of the AHGT seminar</a>.</p>

<!-- Instance mastodon -->
<div class="modal fade" id="exampleModal" tabindex="-1" role="dialog" aria-labelledby="exampleModalLabel" aria-hidden="true">
      <div class="modal-dialog" role="document">
        <div class="modal-content">
          <div class="modal-header">
            <h5 class="modal-title" id="exampleModalLabel">Instance address</h5>
            <button type="button" class="close" data-dismiss="modal" aria-label="Close">
              <span aria-hidden="true">&times;</span>
            </button>
          </div>
          <div class="modal-body">
            <div class="form-group">
              <label for="msb-address">Enter your instance's address</label>
              <input type="text" class="form-control" id="msb-address" placeholder="https://mathstodon.xyz" />
            </div>
            <div class="form-check">
              <input type="checkbox" class="form-check-input" id="msb-memorize-instance" />
              <label class="form-check-label" for="msb-memorize-instance">Memorize my instance</label>
            </div>
          </div>
          <div class="modal-footer">
            <button type="button" class="btn btn-secondary" data-dismiss="modal" style="padding:5px!important;">Close</button>
            <button id="msb-share" type="button" class="btn btn-primary" style="padding:5px!important;">Save changes</button>
          </div>
        </div>
      </div>
    </div>
<!-- style mastodon button -->
<script>
    const msbConfig = {
      openModal: function () {
        $('#exampleModal').modal('show');
      },
      closeModal: function () {
        $('#exampleModal').modal('hide');
      },
      addressFieldSelector: '#msb-address',
      buttonModalSelector: '#msb-share',
      memorizeFieldId: 'msb-memorize-instance'
    };

    $('.modal').on('shown.bs.modal', function() {
      $('#msb-address').focus();
    });
  </script>

<script src="/assets/js/mastodon.js"></script>]]></content><author><name></name></author><category term="seminar" /><category term="futsem" /><summary type="html"><![CDATA[Can one algorithmically decide whether a system of polynomial equations has a solution in the field of rational numbers? While this question is open, several closely related questions are by now answered. In particular, the answer is YES for local fields (with some caveats in positive characteristic), and NO for global fields if we ask for something only slightly stronger. In this talk I will give an introduction to this area and will discuss several variations of the question, for different fields (global and local), different kinds of equations (polynomial, linear, ...), and with arithmetic extra conditions (absolute values, heights).]]></summary></entry><entry xml:lang="en"><title type="html">Quasifibrations in étale homotopy theory</title><link href="https://ahgt.math.cnrs.fr/seminar/2026/04/13/Holzschuh_Etale_type.html" rel="alternate" type="text/html" title="Quasifibrations in étale homotopy theory" /><published>2026-04-13T15:30:00+09:00</published><updated>2026-04-13T15:30:00+09:00</updated><id>https://ahgt.math.cnrs.fr/seminar/2026/04/13/Holzschuh_Etale_type</id><content type="html" xml:base="https://ahgt.math.cnrs.fr/seminar/2026/04/13/Holzschuh_Etale_type.html"><![CDATA[<div class="news" style="margin: 0 10px 0 0px;">
  <table class="table table-sm table-borderless" style="min-width:550px;">
  <tr>
    <th scope="row" style="padding⁻left:0x;max-width:70px;">April 13, 2026</th>
    <td>
      <h2>Quasifibrations in étale homotopy theory</h2>
      <a href="https://tholzschuh.github.io/">Tim Holzschuh</a>, IHES, FR <i class="fa fa-at"></i> RIMS Kyoto (Building 15 - Room 201) [<a href="https://www.kyoto-u.ac.jp/en/access/main-campus-map">map</a> &amp; <a href="https://x.com/BCollasMath/status/1921800333979762955">Information</a>] + Zoom &#183; JP: 15:30 &#183; FR: 08:30

    <p style="background-color:#eee;margin-top:15px;padding:10px;font-size:1rem;">
    Let S be a noetherian and normal scheme and \(f\colon X \to S\) a geometric fibration (e.g. a smooth and proper morphism) with geometrically connected fibres.<br /><br /> In [Fri73], Friedlander proved that, after completion away from char(S), the étale homotopy type of a geometric fibre of f coincides with the homotopy fibre of the induced map on étale homotopy types.<br /><br /> In this talk, I will explain a more conceptual proof (strategy) of Friedlanders result that works for arbitrary qcqs schemes S. This is joint work in progress with Alexander Schmidt and Jakob Stix.

    </p>
    </td>
    </tr>
    <tr>
    <td colspan="2">
      <div class="row">
        <div class="col-sm-8 mt-6 mt-md-0">
        <ol style="margin: -10px 15px 0 0px;">
          
          <li>A. Dold, R. Thom. <a href="https://www.jstor.org/stable/1970005">Quasifaserungen und unendliche symmetrische Produkte</a>, Annals of Mathematics, 1958</li>
          
          <li>E. M. Friedlander. <a href="https://link.springer.com/article/10.1007/BF01332767">The etale homotopy theory of a geometric fibration</a>, Manuscripta Mathematica, 1973</li>
          
          <li>P. J. Haine, T. Holzschuh, S. Wolf. <a href="https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/topo.70009">Nonabelian basechange theorems and étale homotopy theory</a>, Journal of Topology, 2024</li>
          
        </ol>
        
        
        </div>
        <div class="col-sm-4 mt-6 mt-md-0">
        
        </div>
      </div>
    </td>
    </tr>
    <tr>
    <td colspan="2">
    
<div class="share-page" style="text-align:right;">
<i class="fa fa-comments"></i>&nbsp;<div class="mastodon-share-button" data-target="https://ahgt.math.cnrs.fr/seminar/2026/04/13/Holzschuh_Etale_type.html" data-name="Talk :: Quasifibrations in étale homotopy theory by Tim Holzschuh" data-text="Mastodon" style="display:inline-block;"></div> &nbsp; &middot; &nbsp;
      <i class="fab fa-twitter"></i>&nbsp;<a href="https://twitter.com/intent/tweet?text=Talk :: Quasifibrations%20in%20%C3%A9tale%20homotopy%20theory by Tim%20Holzschuh&amp;url=https://ahgt.math.cnrs.fr/seminar/2026/04/13/Holzschuh_Etale_type.html&amp;via=BCollasMath&amp;hashtags=AHGTMath" rel="nofollow" target="_blank" title="Share on Twitter">Twitter</a> &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://www.google.com/calendar/render?action=TEMPLATE&amp;text=[AHGT]+Quasifibrations%20in%20%C3%A9tale%20homotopy%20theory-Tim%20Holzschuh&amp;ctz=Asia/Tokyo&amp;dates=20260413T1525/20260413T1685&amp;details=&amp;location=Research+Institute+for+Mathematical+Sciences,+Kyoto+University,+Japan,+606-8317+Kyoto,+Sakyo+Ward,+Kitashirakawa+Oiwakecho&amp;sf=true&amp;output=xml">GCalendar</a>
    &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://outlook.live.com/calendar/0/deeplink/compose?allday=false&amp;enddt=2026-04-13T17:30:00&amp;path=%2Fcalendar%2Faction%2Fcompose&amp;rru=addevent&amp;startdt=2026-04-13T15:30:00&amp;subject=[AHGT]+Quasifibrations%20in%20%C3%A9tale%20homotopy%20theory-Tim%20Holzschuh" title="Save Event in my Calendar">Outlook</a>
    </div>


    </td>
  </tr>
  </table>
</div>

<!-- Request for [<a href="mailto:bcollas@kurims.kyoto-u.ac.jp?subject=AHGT%20seminar%20-%20request%20to%20attend">attending online</a>] <b>::</b>-->
<p><i class="fa fa-arrow-right"></i> To the <a href="/seminar">main page of the AHGT seminar</a>.</p>

<!-- Instance mastodon -->
<div class="modal fade" id="exampleModal" tabindex="-1" role="dialog" aria-labelledby="exampleModalLabel" aria-hidden="true">
      <div class="modal-dialog" role="document">
        <div class="modal-content">
          <div class="modal-header">
            <h5 class="modal-title" id="exampleModalLabel">Instance address</h5>
            <button type="button" class="close" data-dismiss="modal" aria-label="Close">
              <span aria-hidden="true">&times;</span>
            </button>
          </div>
          <div class="modal-body">
            <div class="form-group">
              <label for="msb-address">Enter your instance's address</label>
              <input type="text" class="form-control" id="msb-address" placeholder="https://mathstodon.xyz" />
            </div>
            <div class="form-check">
              <input type="checkbox" class="form-check-input" id="msb-memorize-instance" />
              <label class="form-check-label" for="msb-memorize-instance">Memorize my instance</label>
            </div>
          </div>
          <div class="modal-footer">
            <button type="button" class="btn btn-secondary" data-dismiss="modal" style="padding:5px!important;">Close</button>
            <button id="msb-share" type="button" class="btn btn-primary" style="padding:5px!important;">Save changes</button>
          </div>
        </div>
      </div>
    </div>
<!-- style mastodon button -->
<script>
    const msbConfig = {
      openModal: function () {
        $('#exampleModal').modal('show');
      },
      closeModal: function () {
        $('#exampleModal').modal('hide');
      },
      addressFieldSelector: '#msb-address',
      buttonModalSelector: '#msb-share',
      memorizeFieldId: 'msb-memorize-instance'
    };

    $('.modal').on('shown.bs.modal', function() {
      $('#msb-address').focus();
    });
  </script>

<script src="/assets/js/mastodon.js"></script>]]></content><author><name></name></author><category term="seminar" /><category term="futsem" /><summary type="html"><![CDATA[Let S be a noetherian and normal scheme and \(f\colon X \to S\) a geometric fibration (e.g. a smooth and proper morphism) with geometrically connected fibres. In [Fri73], Friedlander proved that, after completion away from char(S), the étale homotopy type of a geometric fibre of f coincides with the homotopy fibre of the induced map on étale homotopy types. In this talk, I will explain a more conceptual proof (strategy) of Friedlanders result that works for arbitrary qcqs schemes S. This is joint work in progress with Alexander Schmidt and Jakob Stix.]]></summary></entry><entry xml:lang="en"><title type="html">On the relation between Grothendieck-Teichmüller, double shuffle, and Kashiwara-Vergne Lie algebras</title><link href="https://ahgt.math.cnrs.fr/seminar/2026/03/09/Alexeev_associators.html" rel="alternate" type="text/html" title="On the relation between Grothendieck-Teichmüller, double shuffle, and Kashiwara-Vergne Lie algebras" /><published>2026-03-09T16:30:00+09:00</published><updated>2026-03-09T16:30:00+09:00</updated><id>https://ahgt.math.cnrs.fr/seminar/2026/03/09/Alexeev_associators</id><content type="html" xml:base="https://ahgt.math.cnrs.fr/seminar/2026/03/09/Alexeev_associators.html"><![CDATA[<div class="news" style="margin: 0 10px 0 0px;">
  <table class="table table-sm table-borderless" style="min-width:550px;">
  <tr>
    <th scope="row" style="padding⁻left:0x;max-width:70px;">March 9, 2026</th>
    <td>
      <h2>On the relation between Grothendieck-Teichmüller, double shuffle, and Kashiwara-Vergne Lie algebras</h2>
      <a href="https://www.unige.ch/math/en/section/enseignants-et-chercheurs-2/anton-alekseev">Anton Alekseev</a>, Genève University, CH <i class="fa fa-at"></i> RIMS Kyoto (Room 110) + Zoom &#183; JP: 16:30 &#183; FR: 08:30

    <p style="background-color:#eee;margin-top:15px;padding:10px;font-size:1rem;">
    The Grothendieck-Teichmüller (grt), double shuffle (dmr), and Kashiwara-Vergne (krv) Lie algebras encode universal infinitesimal symmetries of braided monoidal categories, of formal multiple zeta-values (MZVs), and of Lie algebras, respectively. They can all be realized as Lie subalgebras of derivations of the free Lie algebra with two generators, and conjecturally, they are all isomorphic to each other.<br /><br /> In the talk, we will recall definitions of these three Lie algebras, and we will review the status of isomorphism conjectures. In particular, we will state the fundamental result of Furusho on the injective Lie homomorphism from grt to dmr, on the injection of grt to krv, and a recent result by Enriquez-Furusho and Schneps on the injection of dmr to krv. We will also mention the results of Kuno and Ren on the emergent version of krv, and of Howarth-Ren, Enriquez-Furusho, and Markarian on characterization of dmr.
    </p>
    </td>
    </tr>
    <tr>
    <td colspan="2">
      <div class="row">
        <div class="col-sm-8 mt-6 mt-md-0">
        <ol style="margin: -10px 15px 0 0px;">
          
          <li>D. Bar-Natan, On associators and the Grothendieck-Teichmuller group. I Selecta Math. (N.S.) 4 (1998), no. 2, 183–212.</li>
          
          <li>V. G. Drinfelʹd, On quasitriangular quasi-Hopf algebras and on a group that is closely connected with Gal(\bar{Q}/Q). Leningrad Math. J. 2 (1991), no. 4, 829–860</li>
          
          <li>H. Furusho, Double shuffle relation for associators. Ann. of Math. (2) 174 (2011), no. 1, 341–360.</li>
          
          <li>A. Alekseev and C. Torossian. Kashiwara-Vergne conjecture and Drinfeld's associators. Ann. of Math. (2) 175 (2012), no. 2, 415–463.</li>
          
        </ol>
        
        
        </div>
        <div class="col-sm-4 mt-6 mt-md-0">
        <iframe width="250px" src="https://www.youtube.com/embed/4B79SESQC30" allowfullscreen="allowfullscreen"></iframe>
        
        </div>
      </div>
    </td>
    </tr>
    <tr>
    <td colspan="2">
    
<div class="share-page" style="text-align:right;">
<i class="fa fa-comments"></i>&nbsp;<div class="mastodon-share-button" data-target="https://ahgt.math.cnrs.fr/seminar/2026/03/09/Alexeev_associators.html" data-name="Talk :: On the relation between Grothendieck-Teichmüller, double shuffle, and Kashiwara-Vergne Lie algebras by Anton Alekseev" data-text="Mastodon" style="display:inline-block;"></div> &nbsp; &middot; &nbsp;
      <i class="fab fa-twitter"></i>&nbsp;<a href="https://twitter.com/intent/tweet?text=Talk :: On%20the%20relation%20between%20Grothendieck-Teichm%C3%BCller,%20double%20shuffle,%20and%20Kashiwara-Vergne%20Lie%20algebras by Anton%20Alekseev&amp;url=https://ahgt.math.cnrs.fr/seminar/2026/03/09/Alexeev_associators.html&amp;via=BCollasMath&amp;hashtags=AHGTMath" rel="nofollow" target="_blank" title="Share on Twitter">Twitter</a> &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://www.google.com/calendar/render?action=TEMPLATE&amp;text=[AHGT]+On%20the%20relation%20between%20Grothendieck-Teichm%C3%BCller,%20double%20shuffle,%20and%20Kashiwara-Vergne%20Lie%20algebras-Anton%20Alekseev&amp;ctz=Asia/Tokyo&amp;dates=20260309T1625/20260309T1785&amp;details=&amp;location=Research+Institute+for+Mathematical+Sciences,+Kyoto+University,+Japan,+606-8317+Kyoto,+Sakyo+Ward,+Kitashirakawa+Oiwakecho&amp;sf=true&amp;output=xml">GCalendar</a>
    &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://outlook.live.com/calendar/0/deeplink/compose?allday=false&amp;enddt=2026-03-09T18:30:00&amp;path=%2Fcalendar%2Faction%2Fcompose&amp;rru=addevent&amp;startdt=2026-03-09T16:30:00&amp;subject=[AHGT]+On%20the%20relation%20between%20Grothendieck-Teichm%C3%BCller,%20double%20shuffle,%20and%20Kashiwara-Vergne%20Lie%20algebras-Anton%20Alekseev" title="Save Event in my Calendar">Outlook</a>
    </div>


    </td>
  </tr>
  </table>
</div>

<!-- Request for [<a href="mailto:bcollas@kurims.kyoto-u.ac.jp?subject=AHGT%20seminar%20-%20request%20to%20attend">attending online</a>] <b>::</b>-->
<p><i class="fa fa-arrow-right"></i> To the <a href="/seminar">main page of the AHGT seminar</a>.</p>

<!-- Instance mastodon -->
<div class="modal fade" id="exampleModal" tabindex="-1" role="dialog" aria-labelledby="exampleModalLabel" aria-hidden="true">
      <div class="modal-dialog" role="document">
        <div class="modal-content">
          <div class="modal-header">
            <h5 class="modal-title" id="exampleModalLabel">Instance address</h5>
            <button type="button" class="close" data-dismiss="modal" aria-label="Close">
              <span aria-hidden="true">&times;</span>
            </button>
          </div>
          <div class="modal-body">
            <div class="form-group">
              <label for="msb-address">Enter your instance's address</label>
              <input type="text" class="form-control" id="msb-address" placeholder="https://mathstodon.xyz" />
            </div>
            <div class="form-check">
              <input type="checkbox" class="form-check-input" id="msb-memorize-instance" />
              <label class="form-check-label" for="msb-memorize-instance">Memorize my instance</label>
            </div>
          </div>
          <div class="modal-footer">
            <button type="button" class="btn btn-secondary" data-dismiss="modal" style="padding:5px!important;">Close</button>
            <button id="msb-share" type="button" class="btn btn-primary" style="padding:5px!important;">Save changes</button>
          </div>
        </div>
      </div>
    </div>
<!-- style mastodon button -->
<script>
    const msbConfig = {
      openModal: function () {
        $('#exampleModal').modal('show');
      },
      closeModal: function () {
        $('#exampleModal').modal('hide');
      },
      addressFieldSelector: '#msb-address',
      buttonModalSelector: '#msb-share',
      memorizeFieldId: 'msb-memorize-instance'
    };

    $('.modal').on('shown.bs.modal', function() {
      $('#msb-address').focus();
    });
  </script>

<script src="/assets/js/mastodon.js"></script>]]></content><author><name></name></author><category term="seminar" /><category term="futsem" /><summary type="html"><![CDATA[The Grothendieck-Teichmüller (grt), double shuffle (dmr), and Kashiwara-Vergne (krv) Lie algebras encode universal infinitesimal symmetries of braided monoidal categories, of formal multiple zeta-values (MZVs), and of Lie algebras, respectively. They can all be realized as Lie subalgebras of derivations of the free Lie algebra with two generators, and conjecturally, they are all isomorphic to each other. In the talk, we will recall definitions of these three Lie algebras, and we will review the status of isomorphism conjectures. In particular, we will state the fundamental result of Furusho on the injective Lie homomorphism from grt to dmr, on the injection of grt to krv, and a recent result by Enriquez-Furusho and Schneps on the injection of dmr to krv. We will also mention the results of Kuno and Ren on the emergent version of krv, and of Howarth-Ren, Enriquez-Furusho, and Markarian on characterization of dmr.]]></summary></entry><entry xml:lang="en"><title type="html">Transfer principles for Galois cohomology and Serre&apos;s conjecture II</title><link href="https://ahgt.math.cnrs.fr/seminar/2026/02/04/Izquierdo_GaloisSerreII.html" rel="alternate" type="text/html" title="Transfer principles for Galois cohomology and Serre&apos;s conjecture II" /><published>2026-02-04T16:30:00+09:00</published><updated>2026-02-04T16:30:00+09:00</updated><id>https://ahgt.math.cnrs.fr/seminar/2026/02/04/Izquierdo_GaloisSerreII</id><content type="html" xml:base="https://ahgt.math.cnrs.fr/seminar/2026/02/04/Izquierdo_GaloisSerreII.html"><![CDATA[<div class="news" style="margin: 0 10px 0 0px;">
  <table class="table table-sm table-borderless" style="min-width:550px;">
  <tr>
    <th scope="row" style="padding⁻left:0x;max-width:70px;">February 4, 2026</th>
    <td>
      <h2>Transfer principles for Galois cohomology and Serre&apos;s conjecture II</h2>
      <a href="https://perso.pages.math.cnrs.fr/users/diego.izquierdo/">Diego Izquierdo</a>, IMJ-PRG Université Paris Cité, France <i class="fa fa-at"></i> RIMS Kyoto (Room 110) + Zoom &#183; JP: 16:30 &#183; FR: 08:30

    <p style="background-color:#eee;margin-top:15px;padding:10px;font-size:1rem;">
    In this talk, I will present some transfer principles for the cohomological dimension of fields. I will then show some applications to Serre's Conjecture II, which predicts a characterization of cohomological dimension 2 fields in terms of rational points on torsors under algebraic groups. In particular, we will see that Serre's Conjecture II for characteristic zero fields implies the same conjecture for positive characteristic fields. This is joint work with Giancarlo Lucchini Arteche.
    </p>
    </td>
    </tr>
    <tr>
    <td colspan="2">
      <div class="row">
        <div class="col-sm-8 mt-6 mt-md-0">
        <ol style="margin: -10px 15px 0 0px;">
          
          <li>P. Gille. <a href="https://link.springer.com/chapter/10.1007/978-1-4419-6211-9_3">Serre's conjecture II     a survey</a>. Quadratic forms, linear algebraic groups, and cohomology, Developments mathematics 18, p. 41-56, Springer, 2010  <a href="https://www.math.uni-bielefeld.de/lag/man/326.pdf">[preprint]</a></li>
          
          <li>D. Izquierdo, G. Lucchini Arteche. <a href="https://ems.press/journals/jems/articles/2315402">Homogeneous spaces, algebraic K-theory and cohomological dimension of fields</a>, Journal of the European Mathematical Society, Vol. 24(6), p. 2169–2189, 2022.</li>
          
          <li>D. Izquierdo, G. Lucchini Arteche. <a href="https://www.sciencedirect.com/science/article/abs/pii/S000187082500430X">Transfer principles for Galois cohomology and Serre&apos;s conjecture II</a>. Advances in Mathematics, vol. 480, Part C, 110532, 2025 <a href="https://arxiv.org/abs/2308.00903">[ArXiV]</a></li>
          
        </ol>
        
        
        </div>
        <div class="col-sm-4 mt-6 mt-md-0">
        
        </div>
      </div>
    </td>
    </tr>
    <tr>
    <td colspan="2">
    
<div class="share-page" style="text-align:right;">
<i class="fa fa-comments"></i>&nbsp;<div class="mastodon-share-button" data-target="https://ahgt.math.cnrs.fr/seminar/2026/02/04/Izquierdo_GaloisSerreII.html" data-name="Talk :: Transfer principles for Galois cohomology and Serre&apos;s conjecture II by Diego Izquierdo" data-text="Mastodon" style="display:inline-block;"></div> &nbsp; &middot; &nbsp;
      <i class="fab fa-twitter"></i>&nbsp;<a href="https://twitter.com/intent/tweet?text=Talk :: Transfer%20principles%20for%20Galois%20cohomology%20and%20Serre&apos;s%20conjecture%20II by Diego%20Izquierdo&amp;url=https://ahgt.math.cnrs.fr/seminar/2026/02/04/Izquierdo_GaloisSerreII.html&amp;via=BCollasMath&amp;hashtags=AHGTMath" rel="nofollow" target="_blank" title="Share on Twitter">Twitter</a> &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://www.google.com/calendar/render?action=TEMPLATE&amp;text=[AHGT]+Transfer%20principles%20for%20Galois%20cohomology%20and%20Serre&apos;s%20conjecture%20II-Diego%20Izquierdo&amp;ctz=Asia/Tokyo&amp;dates=20260204T1625/20260204T1785&amp;details=&amp;location=Research+Institute+for+Mathematical+Sciences,+Kyoto+University,+Japan,+606-8317+Kyoto,+Sakyo+Ward,+Kitashirakawa+Oiwakecho&amp;sf=true&amp;output=xml">GCalendar</a>
    &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://outlook.live.com/calendar/0/deeplink/compose?allday=false&amp;enddt=2026-02-04T18:30:00&amp;path=%2Fcalendar%2Faction%2Fcompose&amp;rru=addevent&amp;startdt=2026-02-04T16:30:00&amp;subject=[AHGT]+Transfer%20principles%20for%20Galois%20cohomology%20and%20Serre&apos;s%20conjecture%20II-Diego%20Izquierdo" title="Save Event in my Calendar">Outlook</a>
    </div>


    </td>
  </tr>
  </table>
</div>

<!-- Request for [<a href="mailto:bcollas@kurims.kyoto-u.ac.jp?subject=AHGT%20seminar%20-%20request%20to%20attend">attending online</a>] <b>::</b>-->
<p><i class="fa fa-arrow-right"></i> To the <a href="/seminar">main page of the AHGT seminar</a>.</p>

<!-- Instance mastodon -->
<div class="modal fade" id="exampleModal" tabindex="-1" role="dialog" aria-labelledby="exampleModalLabel" aria-hidden="true">
      <div class="modal-dialog" role="document">
        <div class="modal-content">
          <div class="modal-header">
            <h5 class="modal-title" id="exampleModalLabel">Instance address</h5>
            <button type="button" class="close" data-dismiss="modal" aria-label="Close">
              <span aria-hidden="true">&times;</span>
            </button>
          </div>
          <div class="modal-body">
            <div class="form-group">
              <label for="msb-address">Enter your instance's address</label>
              <input type="text" class="form-control" id="msb-address" placeholder="https://mathstodon.xyz" />
            </div>
            <div class="form-check">
              <input type="checkbox" class="form-check-input" id="msb-memorize-instance" />
              <label class="form-check-label" for="msb-memorize-instance">Memorize my instance</label>
            </div>
          </div>
          <div class="modal-footer">
            <button type="button" class="btn btn-secondary" data-dismiss="modal" style="padding:5px!important;">Close</button>
            <button id="msb-share" type="button" class="btn btn-primary" style="padding:5px!important;">Save changes</button>
          </div>
        </div>
      </div>
    </div>
<!-- style mastodon button -->
<script>
    const msbConfig = {
      openModal: function () {
        $('#exampleModal').modal('show');
      },
      closeModal: function () {
        $('#exampleModal').modal('hide');
      },
      addressFieldSelector: '#msb-address',
      buttonModalSelector: '#msb-share',
      memorizeFieldId: 'msb-memorize-instance'
    };

    $('.modal').on('shown.bs.modal', function() {
      $('#msb-address').focus();
    });
  </script>

<script src="/assets/js/mastodon.js"></script>]]></content><author><name></name></author><category term="seminar" /><category term="futsem" /><summary type="html"><![CDATA[In this talk, I will present some transfer principles for the cohomological dimension of fields. I will then show some applications to Serre's Conjecture II, which predicts a characterization of cohomological dimension 2 fields in terms of rational points on torsors under algebraic groups. In particular, we will see that Serre's Conjecture II for characteristic zero fields implies the same conjecture for positive characteristic fields. This is joint work with Giancarlo Lucchini Arteche.]]></summary></entry><entry xml:lang="en"><title type="html">Perverse sheaves and the Shafarevich conjecture [Postponed]</title><link href="https://ahgt.math.cnrs.fr/seminar/2026/01/19/Kraemer_perverse.html" rel="alternate" type="text/html" title="Perverse sheaves and the Shafarevich conjecture [Postponed]" /><published>2026-01-19T16:30:00+09:00</published><updated>2026-01-19T16:30:00+09:00</updated><id>https://ahgt.math.cnrs.fr/seminar/2026/01/19/Kraemer_perverse</id><content type="html" xml:base="https://ahgt.math.cnrs.fr/seminar/2026/01/19/Kraemer_perverse.html"><![CDATA[<div class="news" style="margin: 0 10px 0 0px;">
  <table class="table table-sm table-borderless" style="min-width:550px;">
  <tr>
    <th scope="row" style="padding⁻left:0x;max-width:70px;">January 19, 2026</th>
    <td>
      <h2>Perverse sheaves and the Shafarevich conjecture [Postponed]</h2>
      <a href="https://www-user.tu-chemnitz.de/~kraet/">Thomas Krämer</a>, TU Chemnitz, DE <i class="fa fa-at"></i> RIMS Kyoto (Room 110) + Zoom &#183; JP: 16:30 &#183; FR: 08:30

    <p style="background-color:#eee;margin-top:15px;padding:10px;font-size:1rem;">
    The Shafarevich conjecture, a special case of the Lang-Vojta conjecture in Diophantine geometry, predicts that over any number field there only finitely many isomorphism classes of smooth projective canonically polarized varieties with given Hilbert polynomial and good reduction outside a given finite set of primes. For curves this was famously proven by Faltings on his way to the Mordell conjecture, but the higher-dimensional case remains wide open.<br /><br /> In the talk I will discuss joint work with Marco Maculan in which we prove the Shafarevich conjecture for a large class of varieties with globally generated cotangent bundle. We combine the Lawrence-Sawin-Venkatesh method with the big monodromy theorem from our work with Javanpeykar, Lehn and Maculan. The key input is the convolution of perverse sheaves on abelian varieties.
    </p>
    </td>
    </tr>
    <tr>
    <td colspan="2">
      <div class="row">
        <div class="col-sm-8 mt-6 mt-md-0">
        <ol style="margin: -10px 15px 0 0px;">
          
          <li>T. Krämer and M. Maculan, The Shafarevich conjecture for varieties with globally generated cotangent. Preprint (2025) [<a href="https://arxiv.org/abs/2503.20570">ArXiV</a>]</li>
          
          <li>T. Krämer and M. Maculan, Arithmetic finiteness of very irregular varieties. Duke Math. J. (to appear). Preprint (2025) [<a href="https://arxiv.org/abs/2310.08485">ArXiV</a>]</li>
          
          <li>A. Javanpeykar, T. Krämer, C. Lehn and M. Maculan, <a href="https://doi.org/10.1215/00127094-2024-0053">The monodromy of families of subvarieties on abelian varieties</a>. Duke Math. J. 174 (2025), 1045-1149 [<a href="https://arxiv.org/abs/2210.05166">ArXiV</a>].</li>
          
        </ol>
        
        
        </div>
        <div class="col-sm-4 mt-6 mt-md-0">
        
        </div>
      </div>
    </td>
    </tr>
    <tr>
    <td colspan="2">
    
<div class="share-page" style="text-align:right;">
<i class="fa fa-comments"></i>&nbsp;<div class="mastodon-share-button" data-target="https://ahgt.math.cnrs.fr/seminar/2026/01/19/Kraemer_perverse.html" data-name="Talk :: Perverse sheaves and the Shafarevich conjecture [Postponed] by Thomas Krämer" data-text="Mastodon" style="display:inline-block;"></div> &nbsp; &middot; &nbsp;
      <i class="fab fa-twitter"></i>&nbsp;<a href="https://twitter.com/intent/tweet?text=Talk :: Perverse%20sheaves%20and%20the%20Shafarevich%20conjecture%20[Postponed] by Thomas%20Kr%C3%A4mer&amp;url=https://ahgt.math.cnrs.fr/seminar/2026/01/19/Kraemer_perverse.html&amp;via=BCollasMath&amp;hashtags=AHGTMath" rel="nofollow" target="_blank" title="Share on Twitter">Twitter</a> &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://www.google.com/calendar/render?action=TEMPLATE&amp;text=[AHGT]+Perverse%20sheaves%20and%20the%20Shafarevich%20conjecture%20[Postponed]-Thomas%20Kr%C3%A4mer&amp;ctz=Asia/Tokyo&amp;dates=20260119T1625/20260119T1785&amp;details=&amp;location=Research+Institute+for+Mathematical+Sciences,+Kyoto+University,+Japan,+606-8317+Kyoto,+Sakyo+Ward,+Kitashirakawa+Oiwakecho&amp;sf=true&amp;output=xml">GCalendar</a>
    &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://outlook.live.com/calendar/0/deeplink/compose?allday=false&amp;enddt=2026-01-19T18:30:00&amp;path=%2Fcalendar%2Faction%2Fcompose&amp;rru=addevent&amp;startdt=2026-01-19T16:30:00&amp;subject=[AHGT]+Perverse%20sheaves%20and%20the%20Shafarevich%20conjecture%20[Postponed]-Thomas%20Kr%C3%A4mer" title="Save Event in my Calendar">Outlook</a>
    </div>


    </td>
  </tr>
  </table>
</div>

<!-- Request for [<a href="mailto:bcollas@kurims.kyoto-u.ac.jp?subject=AHGT%20seminar%20-%20request%20to%20attend">attending online</a>] <b>::</b>-->
<p><i class="fa fa-arrow-right"></i> To the <a href="/seminar">main page of the AHGT seminar</a>.</p>

<!-- Instance mastodon -->
<div class="modal fade" id="exampleModal" tabindex="-1" role="dialog" aria-labelledby="exampleModalLabel" aria-hidden="true">
      <div class="modal-dialog" role="document">
        <div class="modal-content">
          <div class="modal-header">
            <h5 class="modal-title" id="exampleModalLabel">Instance address</h5>
            <button type="button" class="close" data-dismiss="modal" aria-label="Close">
              <span aria-hidden="true">&times;</span>
            </button>
          </div>
          <div class="modal-body">
            <div class="form-group">
              <label for="msb-address">Enter your instance's address</label>
              <input type="text" class="form-control" id="msb-address" placeholder="https://mathstodon.xyz" />
            </div>
            <div class="form-check">
              <input type="checkbox" class="form-check-input" id="msb-memorize-instance" />
              <label class="form-check-label" for="msb-memorize-instance">Memorize my instance</label>
            </div>
          </div>
          <div class="modal-footer">
            <button type="button" class="btn btn-secondary" data-dismiss="modal" style="padding:5px!important;">Close</button>
            <button id="msb-share" type="button" class="btn btn-primary" style="padding:5px!important;">Save changes</button>
          </div>
        </div>
      </div>
    </div>
<!-- style mastodon button -->
<script>
    const msbConfig = {
      openModal: function () {
        $('#exampleModal').modal('show');
      },
      closeModal: function () {
        $('#exampleModal').modal('hide');
      },
      addressFieldSelector: '#msb-address',
      buttonModalSelector: '#msb-share',
      memorizeFieldId: 'msb-memorize-instance'
    };

    $('.modal').on('shown.bs.modal', function() {
      $('#msb-address').focus();
    });
  </script>

<script src="/assets/js/mastodon.js"></script>]]></content><author><name></name></author><category term="seminar" /><summary type="html"><![CDATA[The Shafarevich conjecture, a special case of the Lang-Vojta conjecture in Diophantine geometry, predicts that over any number field there only finitely many isomorphism classes of smooth projective canonically polarized varieties with given Hilbert polynomial and good reduction outside a given finite set of primes. For curves this was famously proven by Faltings on his way to the Mordell conjecture, but the higher-dimensional case remains wide open. In the talk I will discuss joint work with Marco Maculan in which we prove the Shafarevich conjecture for a large class of varieties with globally generated cotangent bundle. We combine the Lawrence-Sawin-Venkatesh method with the big monodromy theorem from our work with Javanpeykar, Lehn and Maculan. The key input is the convolution of perverse sheaves on abelian varieties.]]></summary></entry><entry xml:lang="en"><title type="html">Lifting of representations of Galois groups of local fields and of fundamental groups of surfaces</title><link href="https://ahgt.math.cnrs.fr/seminar/2025/12/01/Demarche.html" rel="alternate" type="text/html" title="Lifting of representations of Galois groups of local fields and of fundamental groups of surfaces" /><published>2025-12-01T16:30:00+09:00</published><updated>2025-12-01T16:30:00+09:00</updated><id>https://ahgt.math.cnrs.fr/seminar/2025/12/01/Demarche</id><content type="html" xml:base="https://ahgt.math.cnrs.fr/seminar/2025/12/01/Demarche.html"><![CDATA[<div class="news" style="margin: 0 10px 0 0px;">
  <table class="table table-sm table-borderless" style="min-width:550px;">
  <tr>
    <th scope="row" style="padding⁻left:0x;max-width:70px;">December 1, 2025</th>
    <td>
      <h2>Lifting of representations of Galois groups of local fields and of fundamental groups of surfaces</h2>
      <a href="">Cyril Demarche</a>, IMJ-PRG France <i class="fa fa-at"></i> RIMS Kyoto (Room 111) + Zoom &#183; JP: 16:30 &#183; FR: 08:30

    <p style="background-color:#eee;margin-top:15px;padding:10px;font-size:1rem;">
    In a joint work with Andrea Conti and Mathieu Florence, we consider lifting questions for representations of profinite groups satisfying a two-dimensional Poincaré duality property&colon; examples of such groups are absolute Galois groups of local fields, and (profinite completions of) topological fundamental groups of orientable compact surfaces. We prove in particular that any modulo \(p\) representation of such a group lifts to a representation modulo \(p^2\) (under an assumption about the roots of unity in the local field case), and that every unipotent representation modulo \(p\) lifts modulo \(p^r\), for all \(r\) (under a technical assumption about roots of unity in the arithmetic case). The strategy and the proof are as elementary as possible, and are based on Kummer theory and Poincaré duality.
    </p>
    </td>
    </tr>
    <tr>
    <td colspan="2">
      <div class="row">
        <div class="col-sm-8 mt-6 mt-md-0">
        <ol style="margin: -10px 15px 0 0px;">
          
          <li>G. Böckle. Lifting mod p representations to characteristics \(p^2\), J. Number Theory 101 (2003), no. 2, 310–337.</li>
          
          <li>A. Conti, C. Demarche, M. Florence. Lifting Galois representations via Kummer flags, preprint 2025 [<a href="https://arxiv.org/abs/2403.08888">ArXiv</a>],</li>
          
          <li>M. Emerton, T. Gee. Moduli stacks of étale (ϕ, Γ)-modules and the existence of crystalline lifts, Annals of Math. Studies, 2023.</li>
          
          <li>A. Merkurjev, F. Scavia. The lifting problem for Galois representations, preprint 2025 [<a href="https://arxiv.org/abs/2501.18906">Arxiv</a>]</li>
          
        </ol>
        
        
        </div>
        <div class="col-sm-4 mt-6 mt-md-0">
        <iframe width="250px" src="https://www.youtube.com/embed/L99KaSW6JzI" allowfullscreen="allowfullscreen"></iframe>
        
        </div>
      </div>
    </td>
    </tr>
    <tr>
    <td colspan="2">
    
<div class="share-page" style="text-align:right;">
<i class="fa fa-comments"></i>&nbsp;<div class="mastodon-share-button" data-target="https://ahgt.math.cnrs.fr/seminar/2025/12/01/Demarche.html" data-name="Talk :: Lifting of representations of Galois groups of local fields and of fundamental groups of surfaces by Cyril Demarche" data-text="Mastodon" style="display:inline-block;"></div> &nbsp; &middot; &nbsp;
      <i class="fab fa-twitter"></i>&nbsp;<a href="https://twitter.com/intent/tweet?text=Talk :: Lifting%20of%20representations%20of%20Galois%20groups%20of%20local%20fields%20and%20of%20fundamental%20groups%20of%20surfaces by Cyril%20Demarche&amp;url=https://ahgt.math.cnrs.fr/seminar/2025/12/01/Demarche.html&amp;via=BCollasMath&amp;hashtags=AHGTMath" rel="nofollow" target="_blank" title="Share on Twitter">Twitter</a> &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://www.google.com/calendar/render?action=TEMPLATE&amp;text=[AHGT]+Lifting%20of%20representations%20of%20Galois%20groups%20of%20local%20fields%20and%20of%20fundamental%20groups%20of%20surfaces-Cyril%20Demarche&amp;ctz=Asia/Tokyo&amp;dates=20251201T1625/20251201T1785&amp;details=&amp;location=Research+Institute+for+Mathematical+Sciences,+Kyoto+University,+Japan,+606-8317+Kyoto,+Sakyo+Ward,+Kitashirakawa+Oiwakecho&amp;sf=true&amp;output=xml">GCalendar</a>
    &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://outlook.live.com/calendar/0/deeplink/compose?allday=false&amp;enddt=2025-12-01T18:30:00&amp;path=%2Fcalendar%2Faction%2Fcompose&amp;rru=addevent&amp;startdt=2025-12-01T16:30:00&amp;subject=[AHGT]+Lifting%20of%20representations%20of%20Galois%20groups%20of%20local%20fields%20and%20of%20fundamental%20groups%20of%20surfaces-Cyril%20Demarche" title="Save Event in my Calendar">Outlook</a>
    </div>


    </td>
  </tr>
  </table>
</div>

<!-- Request for [<a href="mailto:bcollas@kurims.kyoto-u.ac.jp?subject=AHGT%20seminar%20-%20request%20to%20attend">attending online</a>] <b>::</b>-->
<p><i class="fa fa-arrow-right"></i> To the <a href="/seminar">main page of the AHGT seminar</a>.</p>

<!-- Instance mastodon -->
<div class="modal fade" id="exampleModal" tabindex="-1" role="dialog" aria-labelledby="exampleModalLabel" aria-hidden="true">
      <div class="modal-dialog" role="document">
        <div class="modal-content">
          <div class="modal-header">
            <h5 class="modal-title" id="exampleModalLabel">Instance address</h5>
            <button type="button" class="close" data-dismiss="modal" aria-label="Close">
              <span aria-hidden="true">&times;</span>
            </button>
          </div>
          <div class="modal-body">
            <div class="form-group">
              <label for="msb-address">Enter your instance's address</label>
              <input type="text" class="form-control" id="msb-address" placeholder="https://mathstodon.xyz" />
            </div>
            <div class="form-check">
              <input type="checkbox" class="form-check-input" id="msb-memorize-instance" />
              <label class="form-check-label" for="msb-memorize-instance">Memorize my instance</label>
            </div>
          </div>
          <div class="modal-footer">
            <button type="button" class="btn btn-secondary" data-dismiss="modal" style="padding:5px!important;">Close</button>
            <button id="msb-share" type="button" class="btn btn-primary" style="padding:5px!important;">Save changes</button>
          </div>
        </div>
      </div>
    </div>
<!-- style mastodon button -->
<script>
    const msbConfig = {
      openModal: function () {
        $('#exampleModal').modal('show');
      },
      closeModal: function () {
        $('#exampleModal').modal('hide');
      },
      addressFieldSelector: '#msb-address',
      buttonModalSelector: '#msb-share',
      memorizeFieldId: 'msb-memorize-instance'
    };

    $('.modal').on('shown.bs.modal', function() {
      $('#msb-address').focus();
    });
  </script>

<script src="/assets/js/mastodon.js"></script>]]></content><author><name></name></author><category term="seminar" /><summary type="html"><![CDATA[In a joint work with Andrea Conti and Mathieu Florence, we consider lifting questions for representations of profinite groups satisfying a two-dimensional Poincaré duality property&colon; examples of such groups are absolute Galois groups of local fields, and (profinite completions of) topological fundamental groups of orientable compact surfaces. We prove in particular that any modulo \(p\) representation of such a group lifts to a representation modulo \(p^2\) (under an assumption about the roots of unity in the local field case), and that every unipotent representation modulo \(p\) lifts modulo \(p^r\), for all \(r\) (under a technical assumption about roots of unity in the arithmetic case). The strategy and the proof are as elementary as possible, and are based on Kummer theory and Poincaré duality.]]></summary></entry><entry xml:lang="en"><title type="html">Malle&apos;s conjecture over function fields</title><link href="https://ahgt.math.cnrs.fr/seminar/2025/11/06/Landesman_Malle.html" rel="alternate" type="text/html" title="Malle&apos;s conjecture over function fields" /><published>2025-11-06T21:00:00+09:00</published><updated>2025-11-06T21:00:00+09:00</updated><id>https://ahgt.math.cnrs.fr/seminar/2025/11/06/Landesman_Malle</id><content type="html" xml:base="https://ahgt.math.cnrs.fr/seminar/2025/11/06/Landesman_Malle.html"><![CDATA[<div class="news" style="margin: 0 10px 0 0px;">
  <table class="table table-sm table-borderless" style="min-width:550px;">
  <tr>
    <th scope="row" style="padding⁻left:0x;max-width:70px;">November 6, 2025</th>
    <td>
      <h2>Malle&#39;s conjecture over function fields</h2>
      <a href="https://people.math.harvard.edu/~landesman/">Aaron Landesman</a>, Harvard University, USA <i class="fa fa-at"></i> Zoom only (AiP25) &#183; JP: 21:00 &#183; FR: 13:00

    <p style="background-color:#eee;margin-top:15px;padding:10px;font-size:1rem;">
    The inverse Galois problem asks whether every finite group \(G\) can be realized as the Galois group of a field extension of the rational numbers. Malle's conjecture is a refined version of the inverse Galois problem which predicts the asymptotic number of such extensions.  In joint work with Ishan Levy, we prove a version of Malle's conjecture, computing the asymptotic growth of the number of Galois \(G\) extensions of \(\mathbb F_q(t)\), for \(q\) sufficiently large and relatively prime to \(|G|\). We use tools from algebraic geometry to relate this conjecture to a question in topology about the cohomology of certain Hurwitz spaces. We then complete the proof by solving the topological question using techniques from homotopy theory.
    </p>
    </td>
    </tr>
    <tr>
    <td colspan="2">
      <div class="row">
        <div class="col-sm-8 mt-6 mt-md-0">
        <ol style="margin: -10px 15px 0 0px;">
          
          <li>A. Landesman, I. Levy, <a href="https://arxiv.org/abs/2503.03861">Homological stability for Hurwitz spaces and applications</a>, 2025 [ArXiv]</li>
          
          <li>A. Landesman, I. Levy, <a href="https://arxiv.org/abs/2410.22210">The Cohen--Lenstra moments over function fields via the stable homology of non-splitting Hurwitz spaces</a>, 2025 [ArXiv]</li>
          
          <li>A. Landesman, I. Levy, <a href="https://arxiv.org/pdf/2510.02068">The stable homology of Hurwitz modules and applications</a>, 2025 [ArXiv]</li>
          
        </ol>
        
        
        </div>
        <div class="col-sm-4 mt-6 mt-md-0">
        <iframe width="250px" src="https://www.youtube.com/embed/SO5gLiZDV8c" allowfullscreen="allowfullscreen"></iframe>
        
        </div>
      </div>
    </td>
    </tr>
    <tr>
    <td colspan="2">
    
<div class="share-page" style="text-align:right;">
<i class="fa fa-comments"></i>&nbsp;<div class="mastodon-share-button" data-target="https://ahgt.math.cnrs.fr/seminar/2025/11/06/Landesman_Malle.html" data-name="Talk :: Malle&#39;s conjecture over function fields by Aaron Landesman" data-text="Mastodon" style="display:inline-block;"></div> &nbsp; &middot; &nbsp;
      <i class="fab fa-twitter"></i>&nbsp;<a href="https://twitter.com/intent/tweet?text=Talk :: Malle&#39;s%20conjecture%20over%20function%20fields by Aaron%20Landesman&amp;url=https://ahgt.math.cnrs.fr/seminar/2025/11/06/Landesman_Malle.html&amp;via=BCollasMath&amp;hashtags=AHGTMath" rel="nofollow" target="_blank" title="Share on Twitter">Twitter</a> &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://www.google.com/calendar/render?action=TEMPLATE&amp;text=[AHGT]+Malle&#39;s%20conjecture%20over%20function%20fields-Aaron%20Landesman&amp;ctz=Asia/Tokyo&amp;dates=20251106T2095/20251106T2255&amp;details=&amp;location=Research+Institute+for+Mathematical+Sciences,+Kyoto+University,+Japan,+606-8317+Kyoto,+Sakyo+Ward,+Kitashirakawa+Oiwakecho&amp;sf=true&amp;output=xml">GCalendar</a>
    &nbsp; &middot; &nbsp;
    <i class="fa fa-calendar"></i>&nbsp;<a href="https://outlook.live.com/calendar/0/deeplink/compose?allday=false&amp;enddt=2025-11-06T23:00:00&amp;path=%2Fcalendar%2Faction%2Fcompose&amp;rru=addevent&amp;startdt=2025-11-06T21:00:00&amp;subject=[AHGT]+Malle&#39;s%20conjecture%20over%20function%20fields-Aaron%20Landesman" title="Save Event in my Calendar">Outlook</a>
    </div>


    </td>
  </tr>
  </table>
</div>

<!-- Request for [<a href="mailto:bcollas@kurims.kyoto-u.ac.jp?subject=AHGT%20seminar%20-%20request%20to%20attend">attending online</a>] <b>::</b>-->
<p><i class="fa fa-arrow-right"></i> To the <a href="/seminar">main page of the AHGT seminar</a>.</p>

<!-- Instance mastodon -->
<div class="modal fade" id="exampleModal" tabindex="-1" role="dialog" aria-labelledby="exampleModalLabel" aria-hidden="true">
      <div class="modal-dialog" role="document">
        <div class="modal-content">
          <div class="modal-header">
            <h5 class="modal-title" id="exampleModalLabel">Instance address</h5>
            <button type="button" class="close" data-dismiss="modal" aria-label="Close">
              <span aria-hidden="true">&times;</span>
            </button>
          </div>
          <div class="modal-body">
            <div class="form-group">
              <label for="msb-address">Enter your instance's address</label>
              <input type="text" class="form-control" id="msb-address" placeholder="https://mathstodon.xyz" />
            </div>
            <div class="form-check">
              <input type="checkbox" class="form-check-input" id="msb-memorize-instance" />
              <label class="form-check-label" for="msb-memorize-instance">Memorize my instance</label>
            </div>
          </div>
          <div class="modal-footer">
            <button type="button" class="btn btn-secondary" data-dismiss="modal" style="padding:5px!important;">Close</button>
            <button id="msb-share" type="button" class="btn btn-primary" style="padding:5px!important;">Save changes</button>
          </div>
        </div>
      </div>
    </div>
<!-- style mastodon button -->
<script>
    const msbConfig = {
      openModal: function () {
        $('#exampleModal').modal('show');
      },
      closeModal: function () {
        $('#exampleModal').modal('hide');
      },
      addressFieldSelector: '#msb-address',
      buttonModalSelector: '#msb-share',
      memorizeFieldId: 'msb-memorize-instance'
    };

    $('.modal').on('shown.bs.modal', function() {
      $('#msb-address').focus();
    });
  </script>

<script src="/assets/js/mastodon.js"></script>]]></content><author><name></name></author><category term="seminar" /><summary type="html"><![CDATA[The inverse Galois problem asks whether every finite group \(G\) can be realized as the Galois group of a field extension of the rational numbers. Malle's conjecture is a refined version of the inverse Galois problem which predicts the asymptotic number of such extensions. In joint work with Ishan Levy, we prove a version of Malle's conjecture, computing the asymptotic growth of the number of Galois \(G\) extensions of \(\mathbb F_q(t)\), for \(q\) sufficiently large and relatively prime to \(|G|\). We use tools from algebraic geometry to relate this conjecture to a question in topology about the cohomology of certain Hurwitz spaces. We then complete the proof by solving the topological question using techniques from homotopy theory.]]></summary></entry></feed>