CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" > <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title> moduli stack in nLab </title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <meta name="robots" content="index,follow" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> <link href="/stylesheets/instiki.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/mathematics.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/syntax.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/nlab.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/gh/dreampulse/computer-modern-web-font@master/fonts.css"/> <style type="text/css"> h1#pageName, div.info, .newWikiWord a, a.existingWikiWord, .newWikiWord a:hover, [actiontype="toggle"]:hover, #TextileHelp h3 { color: #226622; } a:visited.existingWikiWord { color: #164416; } </style> <style type="text/css"><![CDATA[/*></style> <script src="/javascripts/prototype.js?1660229990" type="text/javascript"></script> <script src="/javascripts/effects.js?1660229990" type="text/javascript"></script> <script src="/javascripts/dragdrop.js?1660229990" type="text/javascript"></script> <script src="/javascripts/controls.js?1660229990" type="text/javascript"></script> <script src="/javascripts/application.js?1660229990" type="text/javascript"></script> <script src="/javascripts/page_helper.js?1660229990" type="text/javascript"></script> <script src="/javascripts/thm_numbering.js?1660229990" type="text/javascript"></script> <script type="text/x-mathjax-config"> <![CDATA[//><!]]> </script> <script type="text/javascript"> <![CDATA[//><!]]> </script> <link href="https://ncatlab.org/nlab/atom_with_headlines" rel="alternate" title="Atom with headlines" type="application/atom+xml" /> <link href="https://ncatlab.org/nlab/atom_with_content" rel="alternate" title="Atom with full content" type="application/atom+xml" /> <script type="text/javascript"> document.observe("dom:loaded", function() { generateThmNumbers(); }); </script> </head> <body> <div id="Container"> <div id="Content"> <h1 id="pageName"> <span style="float: left; margin: 0.5em 0.25em -0.25em 0"> <svg xmlns="http://www.w3.org/2000/svg" width="1.872em" height="1.8em" viewBox="0 0 190 181"> <path fill="#226622" d="M72.8 145c-1.6 17.3-15.7 10-23.6 20.2-5.6 7.3 4.8 15 11.4 15 11.5-.2 19-13.4 26.4-20.3 3.3-3 8.2-4 11.2-7.2a14 14 0 0 0 2.9-11.1c-1.4-9.6-12.4-18.6-16.9-27.2-5-9.6-10.7-27.4-24.1-27.7-17.4-.3-.4 26 4.7 30.7 2.4 2.3 5.4 4.1 7.3 6.9 1.6 2.3 2.1 5.8-1 7.2-5.9 2.6-12.4-6.3-15.5-10-8.8-10.6-15.5-23-26.2-31.8-5.2-4.3-11.8-8-18-3.7-7.3 4.9-4.2 12.9.2 18.5a81 81 0 0 0 30.7 23c3.3 1.5 12.8 5.6 10 10.7-2.5 5.2-11.7 3-15.6 1.1-8.4-3.8-24.3-21.3-34.4-13.7-3.5 2.6-2.3 7.6-1.2 11.1 2.8 9 12.2 17.2 20.9 20.5 17.3 6.7 34.3-8 50.8-12.1z"/> <path fill="#a41e32" d="M145.9 121.3c-.2-7.5 0-19.6-4.5-26-5.4-7.5-12.9-1-14.1 5.8-1.4 7.8 2.7 14.1 4.8 21.3 3.4 12 5.8 29-.8 40.1-3.6-6.7-5.2-13-7-20.4-2.1-8.2-12.8-13.2-15.1-1.9-2 9.7 9 21.2 12 30.1 1.2 4 2 8.8 6.4 10.3 6.9 2.3 13.3-4.7 17.7-8.8 12.2-11.5 36.6-20.7 43.4-36.4 6.7-15.7-13.7-14-21.3-7.2-9.1 8-11.9 20.5-23.6 25.1 7.5-23.7 31.8-37.6 38.4-61.4 2-7.3-.8-29.6-13-19.8-14.5 11.6-6.6 37.6-23.3 49.2z"/> <path fill="#193c78" d="M86.3 47.5c0-13-10.2-27.6-5.8-40.4 2.8-8.4 14.1-10.1 17-1 3.8 11.6-.3 26.3-1.8 38 11.7-.7 10.5-16 14.8-24.3 2.1-4.2 5.7-9.1 11-6.7 6 2.7 7.4 9.2 6.6 15.1-2.2 14-12.2 18.8-22.4 27-3.4 2.7-8 6.6-5.9 11.6 2 4.4 7 4.5 10.7 2.8 7.4-3.3 13.4-16.5 21.7-16 14.6.7 12 21.9.9 26.2-5 1.9-10.2 2.3-15.2 3.9-5.8 1.8-9.4 8.7-15.7 8.9-6.1.1-9-6.9-14.3-9-14.4-6-33.3-2-44.7-14.7-3.7-4.2-9.6-12-4.9-17.4 9.3-10.7 28 7.2 35.7 12 2 1.1 11 6.9 11.4 1.1.4-5.2-10-8.2-13.5-10-11.1-5.2-30-15.3-35-27.3-2.5-6 2.8-13.8 9.4-13.6 6.9.2 13.4 7 17.5 12C70.9 34 75 43.8 86.3 47.4z"/> </svg> </span> <span class="webName">nLab</span> moduli stack </h1> <div class="navigation"> <span class="skipNav"><a href='#navEnd'>Skip the Navigation Links</a> | </span> <span style="display:inline-block; width: 0.3em;"></span> <a href="/nlab/show/HomePage" accesskey="H" title="Home page">Home Page</a> | <a href="/nlab/all_pages" accesskey="A" title="List of all pages">All Pages</a> | <a href="/nlab/latest_revisions" accesskey="U" title="Latest edits and page creations">Latest Revisions</a> | <a href="https://nforum.ncatlab.org/discussion/3264/#Item_4" title="Discuss this page in its dedicated thread on the nForum" style="color: black">Discuss this page</a> | <form accept-charset="utf-8" action="/nlab/search" id="navigationSearchForm" method="get"> <fieldset class="search"><input type="text" id="searchField" name="query" value="Search" style="display:inline-block; float: left;" onfocus="this.value == 'Search' ? this.value = '' : true" onblur="this.value == '' ? this.value = 'Search' : true" /></fieldset> </form> <span id='navEnd'></span> </div> <div id="revision"> <html xmlns="http://www.w3.org/1999/xhtml" xmlns:svg="http://www.w3.org/2000/svg" xml:lang="en" lang="en"> <head><meta http-equiv="Content-type" content="application/xhtml+xml;charset=utf-8" /><title>Contents</title></head> <body> <div class="rightHandSide"> <div class="toc clickDown" tabindex="0"> <h3 id="context">Context</h3> <h4 id="topos_theory"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">(</mo><mn>∞</mn><mo>,</mo><mn>1</mn><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">(\infty,1)</annotation></semantics></math>-Topos Theory</h4> <div class="hide"><div> <p><strong><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-topos+theory">(∞,1)-topos theory</a></strong></p> <h2 id="sidebar_background">Background</h2> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/sheaf+and+topos+theory">sheaf and topos theory</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-category">(∞,1)-category</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-functor">(∞,1)-functor</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-presheaf">(∞,1)-presheaf</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-category+of+%28%E2%88%9E%2C1%29-presheaves">(∞,1)-category of (∞,1)-presheaves</a></p> </li> </ul> <h2 id="sidebar_definitions">Definitions</h2> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/elementary+%28%E2%88%9E%2C1%29-topos">elementary (∞,1)-topos</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-site">(∞,1)-site</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/reflective+sub-%28%E2%88%9E%2C1%29-category">reflective sub-(∞,1)-category</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/localization+of+an+%28%E2%88%9E%2C1%29-category">localization of an (∞,1)-category</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/topological+localization">topological localization</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/hypercompletion">hypercompletion</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-category+of+%28%E2%88%9E%2C1%29-sheaves">(∞,1)-category of (∞,1)-sheaves</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-sheaf">(∞,1)-sheaf</a>/<a class="existingWikiWord" href="/nlab/show/%E2%88%9E-stack">∞-stack</a>/<a class="existingWikiWord" href="/nlab/show/derived+stack">derived stack</a></li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-topos">(∞,1)-topos</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28n%2C1%29-topos">(n,1)-topos</a>, <a class="existingWikiWord" href="/nlab/show/n-topos">n-topos</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/truncated">n-truncated object</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/connected">n-connected object</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/topos">(1,1)-topos</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/presheaf">presheaf</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/sheaf">sheaf</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%282%2C1%29-topos">(2,1)-topos</a>, <a class="existingWikiWord" href="/nlab/show/2-topos">2-topos</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/%282%2C1%29-presheaf">(2,1)-presheaf</a></li> </ul> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-quasitopos">(∞,1)-quasitopos</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/separated+%28%E2%88%9E%2C1%29-presheaf">separated (∞,1)-presheaf</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quasitopos">quasitopos</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/separated+presheaf">separated presheaf</a></li> </ul> </li> <li> <p><span class="newWikiWord">(2,1)-quasitopos<a href="/nlab/new/%282%2C1%29-quasitopos">?</a></span></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/separated+%282%2C1%29-presheaf">separated (2,1)-presheaf</a></li> </ul> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C2%29-topos">(∞,2)-topos</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2Cn%29-topos">(∞,n)-topos</a></p> </li> </ul> <h2 id="sidebar_characterization">Characterization</h2> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/universal+colimits">universal colimits</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/object+classifier">object classifier</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/groupoid+object+in+an+%28%E2%88%9E%2C1%29-category">groupoid object in an (∞,1)-topos</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/effective+epimorphism">effective epimorphism</a></li> </ul> </li> </ul> <h2 id="sidebar_morphisms">Morphisms</h2> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-geometric+morphism">(∞,1)-geometric morphism</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29Topos">(∞,1)Topos</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Lawvere+distribution">Lawvere distribution</a></p> </li> </ul> <h2 id="sidebar_extra">Extra stuff, structure and property</h2> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/hypercomplete+%28%E2%88%9E%2C1%29-topos">hypercomplete (∞,1)-topos</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/hypercomplete+object">hypercomplete object</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Whitehead+theorem">Whitehead theorem</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/over-%28%E2%88%9E%2C1%29-topos">over-(∞,1)-topos</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/n-localic+%28%E2%88%9E%2C1%29-topos">n-localic (∞,1)-topos</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/locally+n-connected+%28n%2C1%29-topos">locally n-connected (n,1)-topos</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/structured+%28%E2%88%9E%2C1%29-topos">structured (∞,1)-topos</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/geometry+%28for+structured+%28%E2%88%9E%2C1%29-toposes%29">geometry (for structured (∞,1)-toposes)</a></li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/locally+%E2%88%9E-connected+%28%E2%88%9E%2C1%29-topos">locally ∞-connected (∞,1)-topos</a>, <a class="existingWikiWord" href="/nlab/show/%E2%88%9E-connected+%28%E2%88%9E%2C1%29-topos">∞-connected (∞,1)-topos</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/local+%28%E2%88%9E%2C1%29-topos">local (∞,1)-topos</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/concrete+%28%E2%88%9E%2C1%29-sheaf">concrete (∞,1)-sheaf</a></li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/cohesive+%28%E2%88%9E%2C1%29-topos">cohesive (∞,1)-topos</a></p> </li> </ul> <h2 id="sidebar_models">Models</h2> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/models+for+%E2%88%9E-stack+%28%E2%88%9E%2C1%29-toposes">models for ∞-stack (∞,1)-toposes</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/model+category">model category</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/model+structure+on+functors">model structure on functors</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/model+site">model site</a>/<a class="existingWikiWord" href="/nlab/show/sSet-site">sSet-site</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/model+structure+on+simplicial+presheaves">model structure on simplicial presheaves</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/descent+for+simplicial+presheaves">descent for simplicial presheaves</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Verity+on+descent+for+strict+omega-groupoid+valued+presheaves">descent for presheaves with values in strict ∞-groupoids</a></p> </li> </ul> </li> </ul> <h2 id="sidebar_constructions">Constructions</h2> <p><strong>structures in a <a class="existingWikiWord" href="/nlab/show/cohesive+%28%E2%88%9E%2C1%29-topos">cohesive (∞,1)-topos</a></strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/shape+of+an+%28%E2%88%9E%2C1%29-topos">shape</a> / <a class="existingWikiWord" href="/nlab/show/coshape+of+an+%28%E2%88%9E%2C1%29-topos">coshape</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/cohomology">cohomology</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/homotopy+groups+in+an+%28%E2%88%9E%2C1%29-topos">homotopy</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/fundamental+%E2%88%9E-groupoid+in+a+locally+%E2%88%9E-connected+%28%E2%88%9E%2C1%29-topos">fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos</a>/<a class="existingWikiWord" href="/nlab/show/fundamental+%E2%88%9E-groupoid+of+a+locally+%E2%88%9E-connected+%28%E2%88%9E%2C1%29-topos">of a locally ∞-connected (∞,1)-topos</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/categorical+homotopy+groups+in+an+%28%E2%88%9E%2C1%29-topos">categorical</a>/<a class="existingWikiWord" href="/nlab/show/geometric+homotopy+groups+in+an+%28%E2%88%9E%2C1%29-topos">geometric</a> homotopy groups</p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Postnikov+tower+in+an+%28%E2%88%9E%2C1%29-category">Postnikov tower</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Whitehead+tower+in+an+%28%E2%88%9E%2C1%29-topos">Whitehead tower</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/rational+homotopy+theory+in+an+%28%E2%88%9E%2C1%29-topos">rational homotopy</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/dimension">dimension</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/homotopy+dimension">homotopy dimension</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/cohomological+dimension">cohomological dimension</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/covering+dimension">covering dimension</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Heyting+dimension">Heyting dimension</a></p> </li> </ul> </li> </ul> <div> <p> <a href="/nlab/edit/%28infinity%2C1%29-topos+-+contents">Edit this sidebar</a> </p> </div></div></div> <h4 id="yoneda_lemma">Yoneda lemma</h4> <div class="hide"><div> <p><strong><a class="existingWikiWord" href="/nlab/show/Yoneda+lemma">Yoneda lemma</a></strong></p> <p><strong>Ingredients</strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/category">category</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/functor">functor</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/natural+transformation">natural transformation</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/presheaf">presheaf</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/category+of+presheaves">category of presheaves</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/representable+presheaf">representable presheaf</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Yoneda+embedding">Yoneda embedding</a></p> </li> </ul> <p><strong>Incarnations</strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Yoneda+lemma">Yoneda lemma</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/enriched+Yoneda+lemma">enriched Yoneda lemma</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/co-Yoneda+lemma">co-Yoneda lemma</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Yoneda+reduction">Yoneda reduction</a></p> </li> </ul> <p><strong>Properties</strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/free+cocompletion">free cocompletion</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Yoneda+extension">Yoneda extension</a></p> </li> </ul> <p><strong>Universal aspects</strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/representable+functor">representable functor</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/universal+construction">universal construction</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/universal+element">universal element</a></p> </li> </ul> <p><strong>Classification</strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/classifying+space">classifying space</a>, <a class="existingWikiWord" href="/nlab/show/classifying+stack">classifying stack</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/moduli+space">moduli space</a>, <a class="existingWikiWord" href="/nlab/show/moduli+stack">moduli stack</a>, <a class="existingWikiWord" href="/nlab/show/derived+moduli+space">derived moduli space</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/classifying+topos">classifying topos</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/subobject+classifier">subobject classifier</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/universal+principal+bundle">universal principal bundle</a>, <a class="existingWikiWord" href="/nlab/show/universal+principal+%E2%88%9E-bundle">universal principal ∞-bundle</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/classifying+morphism">classifying morphism</a></p> </li> </ul> <p><strong>Induced theorems</strong></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/Tannaka+duality">Tannaka duality</a></li> </ul> <p>…</p> <p><strong>In higher category theory</strong></p> <p><a class="existingWikiWord" href="/nlab/show/Yoneda+lemma+for+higher+categories">Yoneda lemma for higher categories</a>:</p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Yoneda+lemma+for+%28%E2%88%9E%2C1%29-categories">Yoneda lemma for (∞,1)-categories</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Yoneda+lemma+for+bicategories">Yoneda lemma for bicategories</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Yoneda+lemma+for+tricategories">Yoneda lemma for tricategories</a></p> </li> </ul> <div> <p> <a href="/nlab/edit/Yoneda+lemma+-+contents">Edit this sidebar</a> </p> </div></div></div> </div> </div> <h1 id="contents">Contents</h1> <div class='maruku_toc'> <ul> <li><a href='#idea'>Idea</a></li> <li><a href='#examples'>Examples</a></li> <ul> <li><a href='#of_smooth_principal_bundles'>Of smooth principal bundles</a></li> <li><a href='#of_flat_connections'>Of flat connections</a></li> <li><a href='#of_formal_groups'>Of formal groups</a></li> <li><a href='#of_elliptic_curves'>Of elliptic curves</a></li> <li><a href='#of_line_bundles'>Of Line bundles</a></li> <li><a href='#of_lparameters'>Of L-parameters</a></li> </ul> <li><a href='#related_concepts'>Related concepts</a></li> <li><a href='#references'>References</a></li> </ul> </div> <h2 id="idea">Idea</h2> <p>A <a class="existingWikiWord" href="/nlab/show/stack">stack</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>A</mi></mrow><annotation encoding="application/x-tex">A</annotation></semantics></math> is called a <strong>moduli stack</strong> for certain <a class="existingWikiWord" href="/nlab/show/structures">structures</a>, if for any other object <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>X</mi></mrow><annotation encoding="application/x-tex">X</annotation></semantics></math> the <a class="existingWikiWord" href="/nlab/show/groupoid">groupoid</a> of <a class="existingWikiWord" href="/nlab/show/morphisms">morphisms</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>X</mi><mo>→</mo><mi>A</mi></mrow><annotation encoding="application/x-tex">X \to A</annotation></semantics></math> into <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>A</mi></mrow><annotation encoding="application/x-tex">A</annotation></semantics></math> is <a class="existingWikiWord" href="/nlab/show/equivalence+of+categories">equivalent</a> to the groupoid of these kinds of structures on <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>X</mi></mrow><annotation encoding="application/x-tex">X</annotation></semantics></math>.</p> <p>This is in contrast to the notion of <em><a class="existingWikiWord" href="/nlab/show/moduli+space">moduli space</a></em>, which is only about <a class="existingWikiWord" href="/nlab/show/equivalence+classes">equivalence classes</a> of structures and loses the information about the <a class="existingWikiWord" href="/nlab/show/gauge+equivalences">gauge equivalences</a>/ <a class="existingWikiWord" href="/nlab/show/automorphism">automorphism</a> groups of these structures.</p> <p>There is an evident generalization of the concept of moduli stacks in the more general context of <a class="existingWikiWord" href="/nlab/show/higher+topos+theory">higher topos theory</a>, to <strong><a class="existingWikiWord" href="/nlab/show/moduli+%E2%88%9E-stacks">moduli ∞-stacks</a></strong>.</p> <p>Notice that every stack is the moduli stack of <em>something</em> and in fact in general of different things at the same time (see below). So to some extent saying “moduli stack” is redundant. It is usually used to indicate, roughly, that there are some <a class="existingWikiWord" href="/nlab/show/spaces">spaces</a>/<a class="existingWikiWord" href="/nlab/show/stacks">stacks</a> that one is working on/over, and then there are apart from this stacks, the moduli stacks, that one is mapping <em>into</em>.</p> <p>This distinction however easily disappears. For instance a historically famous moduli stack is the <a class="existingWikiWord" href="/nlab/show/moduli+stack+of+elliptic+curves">moduli stack of elliptic curves</a> which started out as an object used to classify <a class="existingWikiWord" href="/nlab/show/bundles">bundles</a> of elliptic curves over other spaces. Later in the study of <a class="existingWikiWord" href="/nlab/show/elliptic+cohomology">elliptic cohomology</a> and <a class="existingWikiWord" href="/nlab/show/tmf">tmf</a> the “moduli stack” of elliptic curves came to be regarded as a space interesting in itself for the geometry <em>on</em> it, specifically since this is naturally a <a class="existingWikiWord" href="/nlab/show/derived+algebraic+geometry">derived algebraic geometry</a>.</p> <p>Analogous comments apply to other moduli stacks. For instance for <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>G</mi></mrow><annotation encoding="application/x-tex">G</annotation></semantics></math> a <a class="existingWikiWord" href="/nlab/show/topological+group">topological group</a>, the moduli stack <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mstyle mathvariant="bold"><mi>B</mi></mstyle><mi>G</mi><mo>≃</mo><mo>*</mo><mo stretchy="false">/</mo><mo stretchy="false">/</mo><mi>G</mi></mrow><annotation encoding="application/x-tex">\mathbf{B}G \simeq \ast //G</annotation></semantics></math> for topological <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>G</mi></mrow><annotation encoding="application/x-tex">G</annotation></semantics></math>-<a class="existingWikiWord" href="/nlab/show/principal+bundles">principal bundles</a> is itself interesting for its own geometry. Notably it is the base stack of the <a class="existingWikiWord" href="/nlab/show/universal+principal+bundle">universal principal bundle</a> which as such may be equipped with <a class="existingWikiWord" href="/nlab/show/differential+geometry">differential geometry</a> such as a <a class="existingWikiWord" href="/nlab/show/connection+on+a+bundle">connection on a bundle</a> etc.</p> <p>Generally, what one needs for a stack to classify bundles in this way is a <em>universal bundle</em> over it, for then what the stack <em>modulates</em> are precisely the <a class="existingWikiWord" href="/nlab/show/pullbacks">pullbacks</a> of this universal bundle. A stack with a prescribed universal bundle over it may be regarded as a stack equipped with an <a class="existingWikiWord" href="/nlab/show/atlas">atlas</a>.</p> <p>In conclusion then “moduli stack” pretty much means “stack” or more precisely “stack with specified universal bundle over it or <a class="existingWikiWord" href="/nlab/show/atlas">atlas</a> into it”, with the implicit implication that we say “moduli stack” to indicate that we care about pulling back that atlas/bundle along maps into the stack.</p> <p>(Compare this to how one says “<a class="existingWikiWord" href="/nlab/show/presheaf">presheaf</a>” for what is really just a <a class="existingWikiWord" href="/nlab/show/functor">functor</a> in order to indicate a certain attitude, namely that one will be interested in asking which presheaves are <a class="existingWikiWord" href="/nlab/show/sheaves">sheaves</a>.)</p> <h2 id="examples">Examples</h2> <h3 id="of_smooth_principal_bundles">Of smooth principal bundles</h3> <p>Let <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mstyle mathvariant="bold"><mi>H</mi></mstyle><mo>:</mo><mo>=</mo><msub><mi>Sh</mi> <mn>∞</mn></msub><mo stretchy="false">(</mo><mi>SmthMnfd</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\mathbf{H} := Sh_\infty(SmthMnfd)</annotation></semantics></math> be collection of <a class="existingWikiWord" href="/nlab/show/differentiable+stack">differentiable stack</a>s and generally of <a class="existingWikiWord" href="/nlab/show/stacks">stacks</a> and <a class="existingWikiWord" href="/nlab/show/%E2%88%9E-stack">∞-stack</a>s over the <a class="existingWikiWord" href="/nlab/show/site">site</a> of <a class="existingWikiWord" href="/nlab/show/smooth+manifold">smooth manifold</a>s (see <a class="existingWikiWord" href="/nlab/show/Smooth%E2%88%9EGrpd">Smooth∞Grpd</a> for details).</p> <p>Then every <a class="existingWikiWord" href="/nlab/show/Lie+group">Lie group</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>G</mi></mrow><annotation encoding="application/x-tex">G</annotation></semantics></math> is canonically a <a class="existingWikiWord" href="/nlab/show/%E2%88%9E-group">group object</a> in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mstyle mathvariant="bold"><mi>H</mi></mstyle></mrow><annotation encoding="application/x-tex">\mathbf{H}</annotation></semantics></math> – a “group stack” – and its <a class="existingWikiWord" href="/nlab/show/delooping">delooping</a> in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mstyle mathvariant="bold"><mi>H</mi></mstyle></mrow><annotation encoding="application/x-tex">\mathbf{H}</annotation></semantics></math> produces a stack denoted <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mstyle mathvariant="bold"><mi>B</mi></mstyle><mi>G</mi></mrow><annotation encoding="application/x-tex">\mathbf{B}G</annotation></semantics></math>. This is simply the (<a class="existingWikiWord" href="/nlab/show/stackification">stackification</a> of) the <a class="existingWikiWord" href="/nlab/show/Lie+groupoid">Lie groupoid</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo>*</mo><mo stretchy="false">/</mo><mo stretchy="false">/</mo><mi>G</mi></mrow><annotation encoding="application/x-tex">*//G</annotation></semantics></math> with a single object and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>G</mi></mrow><annotation encoding="application/x-tex">G</annotation></semantics></math> worth of automorphisms on this object.</p> <p>Let the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>X</mi></mrow><annotation encoding="application/x-tex">X</annotation></semantics></math> be any <a class="existingWikiWord" href="/nlab/show/smooth+manifold">smooth manifold</a>, also regarded as a stack, via the <a class="existingWikiWord" href="/nlab/show/Yoneda+embedding">Yoneda embedding</a>. Then one finds that morphisms of stacks</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mi>X</mi><mo>→</mo><mstyle mathvariant="bold"><mi>B</mi></mstyle><mi>G</mi></mrow><annotation encoding="application/x-tex"> X \to \mathbf{B}G </annotation></semantics></math></div> <p>are the same as smooth <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>G</mi></mrow><annotation encoding="application/x-tex">G</annotation></semantics></math>-principal bundles over <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>X</mi></mrow><annotation encoding="application/x-tex">X</annotation></semantics></math>. More precisely the <a class="existingWikiWord" href="/nlab/show/groupoid">groupoid</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>G</mi><mi>Bund</mi><mo stretchy="false">(</mo><mi>X</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">G Bund(X)</annotation></semantics></math> of smooth <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>G</mi></mrow><annotation encoding="application/x-tex">G</annotation></semantics></math>-principal bundles and smooth <a class="existingWikiWord" href="/nlab/show/gauge+transformation">gauge transformation</a>s between them is canonically equivalent to the <a class="existingWikiWord" href="/nlab/show/derived+hom-space">hom-groupoid</a> of maps from <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>X</mi></mrow><annotation encoding="application/x-tex">X</annotation></semantics></math> to <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mstyle mathvariant="bold"><mi>B</mi></mstyle><mi>G</mi></mrow><annotation encoding="application/x-tex">\mathbf{B}G</annotation></semantics></math>:</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mi>G</mi><mi>Bund</mi><mo stretchy="false">(</mo><mi>X</mi><mo stretchy="false">)</mo><mo>≃</mo><mstyle mathvariant="bold"><mi>H</mi></mstyle><mo stretchy="false">(</mo><mi>X</mi><mo>,</mo><mstyle mathvariant="bold"><mi>B</mi></mstyle><mi>G</mi><mo stretchy="false">)</mo><mspace width="thinmathspace"></mspace><mo>.</mo></mrow><annotation encoding="application/x-tex"> G Bund(X) \simeq \mathbf{H}(X, \mathbf{B}G) \,. </annotation></semantics></math></div> <p>This is discussed in some detail at <em><a class="existingWikiWord" href="/nlab/show/principal+bundle">principal bundle</a></em>.</p> <p>The statement immediately generalizes to higher degrees and to other notions of (<a class="existingWikiWord" href="/nlab/show/higher+geometry">higher</a>) <a class="existingWikiWord" href="/nlab/show/geometry">geometry</a>. This is discussed at <em><a class="existingWikiWord" href="/nlab/show/principal+%E2%88%9E-bundle">principal ∞-bundle</a></em>.</p> <h3 id="of_flat_connections">Of flat connections</h3> <ul> <li><a class="existingWikiWord" href="/nlab/show/moduli+stack+of+flat+connections">moduli stack of flat connections</a></li> </ul> <h3 id="of_formal_groups">Of formal groups</h3> <ul> <li><a class="existingWikiWord" href="/nlab/show/moduli+stack+of+formal+groups">moduli stack of formal groups</a></li> </ul> <h3 id="of_elliptic_curves">Of elliptic curves</h3> <p>A famous moduli stack is that of <a class="existingWikiWord" href="/nlab/show/elliptic+curves">elliptic curves</a>. See <em><a class="existingWikiWord" href="/nlab/show/moduli+stack+of+elliptic+curves">moduli stack of elliptic curves</a></em> for more on this.</p> <h3 id="of_line_bundles">Of Line bundles</h3> <ul> <li><a class="existingWikiWord" href="/nlab/show/Picard+stack">Picard stack</a></li> </ul> <h3 id="of_lparameters">Of L-parameters</h3> <ul> <li><a class="existingWikiWord" href="/nlab/show/moduli+stack+of+L-parameters">moduli stack of L-parameters</a></li> </ul> <h2 id="related_concepts">Related concepts</h2> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/moduli">moduli</a>, <a class="existingWikiWord" href="/nlab/show/moduli+problem">moduli problem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/classifying+space">classifying space</a>, <a class="existingWikiWord" href="/nlab/show/moduli+space">moduli space</a>, <a class="existingWikiWord" href="/nlab/show/derived+moduli+space">derived moduli space</a>, <a class="existingWikiWord" href="/nlab/show/geometric+invariant+theory">geometric invariant theory</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/algebraic+stack">algebraic stack</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/rigidification+of+a+stack">rigidification of a stack</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Yoneda+lemma">Yoneda lemma</a>, <a class="existingWikiWord" href="/nlab/show/%28%E2%88%9E%2C1%29-Yoneda+lemma">(∞,1)-Yoneda lemma</a></p> </li> </ul> <h2 id="references">References</h2> <p>Lecture notes:</p> <ul> <li><a class="existingWikiWord" href="/nlab/show/Daniel+Halpern-Leistner">Daniel Halpern-Leistner</a>, <em>Moduli theory</em>, Lecture notes (2020) [<a href="http://pi.math.cornell.edu/~danielhl/moduli_theory_notes.pdf">pdf</a>, <a class="existingWikiWord" href="/nlab/files/Halpern-Leistner_ModuliTheory.pdf" title="pdf">pdf</a>]</li> </ul> <p>For more see also the references at <em><a class="existingWikiWord" href="/nlab/show/algebraic+stack">algebraic stack</a></em>.</p> </body></html> </div> <div class="revisedby"> <p> Last revised on April 16, 2023 at 11:48:25. See the <a href="/nlab/history/moduli+stack" style="color: #005c19">history</a> of this page for a list of all contributions to it. </p> </div> <div class="navigation navfoot"> <a href="/nlab/edit/moduli+stack" accesskey="E" class="navlink" id="edit" rel="nofollow">Edit</a><a href="https://nforum.ncatlab.org/discussion/3264/#Item_4">Discuss</a><span class="backintime"><a href="/nlab/revision/moduli+stack/13" accesskey="B" class="navlinkbackintime" id="to_previous_revision" rel="nofollow">Previous revision</a></span><a href="/nlab/show/diff/moduli+stack" accesskey="C" class="navlink" id="see_changes" rel="nofollow">Changes from previous revision</a><a href="/nlab/history/moduli+stack" accesskey="S" class="navlink" id="history" rel="nofollow">History (13 revisions)</a> <a href="/nlab/show/moduli+stack/cite" style="color: black">Cite</a> <a href="/nlab/print/moduli+stack" accesskey="p" id="view_print" rel="nofollow">Print</a> <a href="/nlab/source/moduli+stack" id="view_source" rel="nofollow">Source</a> </div> </div>  </div>  </body> </html>