CINXE.COM
transgression in nLab
<!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> transgression 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[/*><!--*/ .toc ul {margin: 0; padding: 0;} .toc ul ul {margin: 0; padding: 0 0 0 10px;} .toc li > p {margin: 0} .toc ul li {list-style-type: none; position: relative;} .toc div {border-top:1px dotted #ccc;} .rightHandSide h2 {font-size: 1.5em;color:#008B26} table.plaintable { border-collapse:collapse; margin-left:30px; border:0; } .plaintable td {border:1px solid #000; padding: 3px;} .plaintable th {padding: 3px;} .plaintable caption { font-weight: bold; font-size:1.1em; text-align:center; margin-left:30px; } /* Query boxes for questioning and answering mechanism */ div.query{ background: #f6fff3; border: solid #ce9; border-width: 2px 1px; padding: 0 1em; margin: 0 1em; max-height: 20em; overflow: auto; } /* Standout boxes for putting important text */ div.standout{ background: #fff1f1; border: solid black; border-width: 2px 1px; padding: 0 1em; margin: 0 1em; overflow: auto; } /* Icon for links to n-category arXiv documents (commented out for now i.e. disabled) a[href*="http://arxiv.org/"] { background-image: url(../files/arXiv_icon.gif); background-repeat: no-repeat; background-position: right bottom; padding-right: 22px; } */ /* Icon for links to n-category cafe posts (disabled) a[href*="http://golem.ph.utexas.edu/category"] { background-image: url(../files/n-cafe_5.gif); background-repeat: no-repeat; background-position: right bottom; padding-right: 25px; } */ /* Icon for links to pdf files (disabled) a[href$=".pdf"] { background-image: url(../files/pdficon_small.gif); background-repeat: no-repeat; background-position: right bottom; padding-right: 25px; } */ /* Icon for links to pages, etc. -inside- pdf files (disabled) a[href*=".pdf#"] { background-image: url(../files/pdf_entry.gif); background-repeat: no-repeat; background-position: right bottom; padding-right: 25px; } */ a.existingWikiWord { color: #226622; } a.existingWikiWord:visited { color: #226622; } a.existingWikiWord[title] { border: 0px; color: #aa0505; text-decoration: none; } a.existingWikiWord[title]:visited { border: 0px; color: #551111; text-decoration: none; } a[href^="http://"] { border: 0px; color: #003399; } a[href^="http://"]:visited { border: 0px; color: #330066; } a[href^="https://"] { border: 0px; color: #003399; } a[href^="https://"]:visited { border: 0px; color: #330066; } div.dropDown .hide { display: none; } div.dropDown:hover .hide { display:block; } div.clickDown .hide { display: none; } div.clickDown:focus { outline:none; } div.clickDown:focus .hide, div.clickDown:hover .hide { display: block; } div.clickDown .clickToReveal, div.clickDown:focus .clickToHide { display:block; } div.clickDown:focus .clickToReveal, div.clickDown .clickToHide { display:none; } div.clickDown .clickToReveal:after { content: "A(Hover to reveal, click to "hold")"; font-size: 60%; } div.clickDown .clickToHide:after { content: "A(Click to hide)"; font-size: 60%; } div.clickDown .clickToHide, div.clickDown .clickToReveal { white-space: pre-wrap; } .un_theorem, .num_theorem, .un_lemma, .num_lemma, .un_prop, .num_prop, .un_cor, .num_cor, .un_defn, .num_defn, .un_example, .num_example, .un_note, .num_note, .un_remark, .num_remark { margin-left: 1em; } span.theorem_label { margin-left: -1em; } .proof span.theorem_label { margin-left: 0em; } :target { background-color: #BBBBBB; border-radius: 5pt; } /*]]>*/--></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[//><!-- MathJax.Ajax.config.path["Contrib"] = "/MathJax"; MathJax.Hub.Config({ MathML: { useMathMLspacing: true }, "HTML-CSS": { scale: 90, extensions: ["handle-floats.js"] } }); MathJax.Hub.Queue( function () { var fos = document.getElementsByTagName('foreignObject'); for (var i = 0; i < fos.length; i++) { MathJax.Hub.Typeset(fos[i]); } }); //--><!]]> </script> <script type="text/javascript"> <!--//--><![CDATA[//><!-- window.addEventListener("DOMContentLoaded", function () { var div = document.createElement('div'); var math = document.createElementNS('http://www.w3.org/1998/Math/MathML', 'math'); document.body.appendChild(div); div.appendChild(math); // Test for MathML support comparable to WebKit version https://trac.webkit.org/changeset/203640 or higher. div.setAttribute('style', 'font-style: italic'); var mathml_unsupported = !(window.getComputedStyle(div.firstChild).getPropertyValue('font-style') === 'normal'); div.parentNode.removeChild(div); if (mathml_unsupported) { // MathML does not seem to be supported... var s = document.createElement('script'); s.src = "https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.7/MathJax.js?config=MML_HTMLorMML-full"; document.querySelector('head').appendChild(s); } else { document.head.insertAdjacentHTML("beforeend", '<style>svg[viewBox] {max-width: 100%}</style>'); } }); //--><!]]> </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> transgression </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/1155/#Item_89" 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> <h1 id="contents">Contents</h1> <div class='maruku_toc'> <ul> <li><a href='#idea'>Idea</a></li> <li><a href='#definition'>Definition</a></li> <ul> <li><a href='#transgression_of_differential_forms'>Transgression of differential forms</a></li> <li><a href='#by_pullback_and_fiber_integration'>By pullback and fiber integration</a></li> <li><a href='#transgression_of_forms_through_fiber_bundles'>Transgression of forms through fiber bundles</a></li> </ul> <li><a href='#examples'>Examples</a></li> <ul> <li><a href='#transgression_in_de_rham_cohomology'>Transgression in de Rham Cohomology</a></li> <li><a href='#transgression_of_de_rham_cohomology_to_loop_spaces'>Transgression of de Rham cohomology to loop spaces</a></li> <li><a href='#transgression_in_group_cohomology'>Transgression in group cohomology</a></li> <li><a href='#InternalHom'>Transgression to mapping spaces in terms of internal homs</a></li> </ul> <li><a href='#related_entries'>Related entries</a></li> <li><a href='#references'>References</a></li> </ul> </div> <h2 id="idea">Idea</h2> <p>Transgression is a tool in <a class="existingWikiWord" href="/nlab/show/algebraic+topology">algebraic topology</a> to transfer <a class="existingWikiWord" href="/nlab/show/cohomology">cohomology</a> classes from one <a class="existingWikiWord" href="/nlab/show/space">space</a> to another without needing a <a class="existingWikiWord" href="/nlab/show/morphism">morphism</a> between them. Rather, one has a third space with morphisms to each of the two spaces. Of course, not just <em>any</em> third space will do.</p> <p>The topological set up is as follows. We have two <a class="existingWikiWord" href="/nlab/show/topological+space">topological space</a>s, <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> and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Y</mi></mrow><annotation encoding="application/x-tex">Y</annotation></semantics></math>, and a <a class="existingWikiWord" href="/nlab/show/generalised+cohomology+theory">generalised cohomology theory</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mo lspace="verythinmathspace" rspace="0em">−</mo><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">E^*(-)</annotation></semantics></math>. We want to be able to transfer ( <em>transgress</em> ) <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>E</mi> <mo>*</mo></msup></mrow><annotation encoding="application/x-tex">E^*</annotation></semantics></math>-classes 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><mi>Y</mi></mrow><annotation encoding="application/x-tex">Y</annotation></semantics></math>. We find a third space, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Z</mi></mrow><annotation encoding="application/x-tex">Z</annotation></semantics></math>, which has morphisms to both <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> and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Y</mi></mrow><annotation encoding="application/x-tex">Y</annotation></semantics></math>. We usually write this in the following way:</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mrow><mtable displaystyle="false" rowspacing="0.5ex"><mtr><mtd><mi>Z</mi></mtd> <mtd><mo>→</mo></mtd> <mtd><mi>X</mi></mtd></mtr> <mtr><mtd><mo stretchy="false">↓</mo></mtd></mtr> <mtr><mtd><mi>Y</mi></mtd></mtr></mtable></mrow></mrow><annotation encoding="application/x-tex"> \begin{matrix} Z & \to& X \\ \downarrow \\ Y \end{matrix} </annotation></semantics></math></div> <p>(Note to self: replace with SVG, write <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>f</mi><mo lspace="verythinmathspace">:</mo><mi>Z</mi><mo>→</mo><mi>X</mi></mrow><annotation encoding="application/x-tex">f \colon Z \to X</annotation></semantics></math> and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>g</mi><mo lspace="verythinmathspace">:</mo><mi>Z</mi><mo>→</mo><mi>Y</mi></mrow><annotation encoding="application/x-tex">g \colon Z \to Y</annotation></semantics></math>.)</p> <p>An important example is that where we have some parameter space <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Σ</mi></mrow><annotation encoding="application/x-tex">\Sigma</annotation></semantics></math> (for instance the circle <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Σ</mi><mo>=</mo><msup><mi>S</mi> <mn>1</mn></msup></mrow><annotation encoding="application/x-tex">\Sigma = S^1</annotation></semantics></math>) and set <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Z</mi><mo>=</mo><mi>Σ</mi><mo>×</mo><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><mi>X</mi><mo stretchy="false">]</mo></mrow><annotation encoding="application/x-tex">Z = \Sigma \times [\Sigma,X]</annotation></semantics></math>, the <a class="existingWikiWord" href="/nlab/show/product">product</a> of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Σ</mi></mrow><annotation encoding="application/x-tex">\Sigma</annotation></semantics></math> with the <a class="existingWikiWord" href="/nlab/show/internal+hom">mapping space</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><mi>X</mi><mo stretchy="false">]</mo></mrow><annotation encoding="application/x-tex">[\Sigma,X]</annotation></semantics></math> of maps from <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Σ</mi></mrow><annotation encoding="application/x-tex">\Sigma</annotation></semantics></math> to <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> (for instance the <a class="existingWikiWord" href="/nlab/show/loop+space">loop space</a> of <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>). Then the morphism on the right is taken to be evaluation and the morphism on the left is projection onto the mapping space <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><mi>X</mi><mo stretchy="false">]</mo></mrow><annotation encoding="application/x-tex">[\Sigma,X]</annotation></semantics></math>:</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mrow><mtable><mtr><mtd><mi>Σ</mi><mo>×</mo><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><mi>X</mi><mo stretchy="false">]</mo></mtd> <mtd><mover><mo>→</mo><mi>ev</mi></mover></mtd> <mtd><mi>X</mi></mtd></mtr> <mtr><mtd><msup><mo stretchy="false">↓</mo> <mpadded width="0"><mrow><msub><mi>p</mi> <mn>2</mn></msub></mrow></mpadded></msup></mtd></mtr> <mtr><mtd><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><mi>X</mi><mo stretchy="false">]</mo></mtd></mtr></mtable></mrow><mspace width="thinmathspace"></mspace><mo>.</mo></mrow><annotation encoding="application/x-tex"> \array{ \Sigma \times [\Sigma, X] &\stackrel{ev}{\to}& X \\ \downarrow^{\mathrlap{p_2}} \\ [\Sigma,X] } \,. </annotation></semantics></math></div> <p>This setup induces <strong>transgression to mapping spaces</strong> in the following.</p> <p>Now we apply the generalised cohomology theory to this diagram. As it is a cohomology theory, the arrows reverse. We have part of our route from <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>X</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">E^*(X)</annotation></semantics></math> to <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>Y</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">E^*(Y)</annotation></semantics></math>, namely from <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>X</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">E^*(X)</annotation></semantics></math> to <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>Z</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">E^*(Z)</annotation></semantics></math>. However, the way from <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>Y</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">E^*(Y)</annotation></semantics></math> to <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>Z</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">E^*(Z)</annotation></semantics></math> is blocked: it is a one-way street and we want to go the <em>wrong</em> way.</p> <p>However, under certain special circumstances, cohomology theories admit push-forward maps. That is, if <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>g</mi><mo lspace="verythinmathspace">:</mo><mi>Z</mi><mo>→</mo><mi>Y</mi></mrow><annotation encoding="application/x-tex">g \colon Z \to Y</annotation></semantics></math> is particularly nice, there is a map <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>g</mi> <mo>!</mo></msub><mo lspace="verythinmathspace">:</mo><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>Z</mi><mo stretchy="false">)</mo><mo>→</mo><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>Y</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">g_! \colon E^*(Z) \to E^*(Y)</annotation></semantics></math>. The notation <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>g</mi> <mo>!</mo></msub></mrow><annotation encoding="application/x-tex">g_!</annotation></semantics></math> (pronounced “g shriek”) has the explanation that it is a surprise that there is a map in this direction<sup id="fnref:1"><a href="#fn:1" rel="footnote">1</a></sup>. Note that the push-forward map, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>g</mi> <mo>!</mo></msub><mo lspace="verythinmathspace">:</mo><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>Z</mi><mo stretchy="false">)</mo><mo>→</mo><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>Y</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">g_! \colon E^*(Z) \to E^*(Y)</annotation></semantics></math>, often results in a change of degree. This is described at <a class="existingWikiWord" href="/nlab/show/fiber+integration">fiber integration</a> and <a class="existingWikiWord" href="/nlab/show/Pontrjagin-Thom+collapse+map">Pontrjagin-Thom collapse map</a>.</p> <p>Thus the key to transgression is to understand the conditions where the map <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>g</mi><mo lspace="verythinmathspace">:</mo><mi>Z</mi><mo>→</mo><mi>Y</mi></mrow><annotation encoding="application/x-tex">g \colon Z \to Y</annotation></semantics></math> admits a push-forward map. The simplest case is where <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Z</mi></mrow><annotation encoding="application/x-tex">Z</annotation></semantics></math> is a product space, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Y</mi><mo>×</mo><mi>W</mi></mrow><annotation encoding="application/x-tex">Y \times W</annotation></semantics></math>, and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>W</mi></mrow><annotation encoding="application/x-tex">W</annotation></semantics></math> is <a class="existingWikiWord" href="/nlab/show/orientable">orientable</a> for the generalised cohomology theory <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mo lspace="verythinmathspace" rspace="0em">−</mo><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">E^*(-)</annotation></semantics></math>. This means that <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>W</mi></mrow><annotation encoding="application/x-tex">W</annotation></semantics></math> has a fundamental class in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>W</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">E^*(W)</annotation></semantics></math> and evaluation on this class gives a morphism <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>Y</mi><mo>×</mo><mi>W</mi><mo stretchy="false">)</mo><mo>→</mo><msup><mi>E</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>Y</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">E^*(Y \times W) \to E^*(Y)</annotation></semantics></math>.</p> <h2 id="definition">Definition</h2> <h3 id="transgression_of_differential_forms">Transgression of differential forms</h3> <p>See at <em><a class="existingWikiWord" href="/nlab/show/transgression+of+differential+forms">transgression of differential forms</a></em>,</p> <h3 id="by_pullback_and_fiber_integration">By pullback and fiber integration</h3> <p>(…)</p> <h3 id="transgression_of_forms_through_fiber_bundles">Transgression of forms through fiber bundles</h3> <p>A related construction called <em>transgression</em> is the following</p> <p>For <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>P</mi><mo>→</mo><mi>X</mi></mrow><annotation encoding="application/x-tex">P \to X</annotation></semantics></math> a <a class="existingWikiWord" href="/nlab/show/fiber+bundle">fiber bundle</a> with typical fiber <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>i</mi><mo>:</mo><mi>F</mi><mo>↪</mo><mi>P</mi></mrow><annotation encoding="application/x-tex">i : F \hookrightarrow P </annotation></semantics></math> and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">[</mo><mi>ω</mi><mo stretchy="false">]</mo><mo>∈</mo><msubsup><mi>H</mi> <mi>dR</mi> <mi>n</mi></msubsup><mo stretchy="false">(</mo><mi>F</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">[\omega] \in H_{dR}^n(F)</annotation></semantics></math> a class in <a class="existingWikiWord" href="/nlab/show/de+Rham+cohomology">de Rham cohomology</a> of the fiber, we say this is <em>transgressive</em> if</p> <ul> <li> <p>there exists a form <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>cs</mi><mo>∈</mo><msup><mi>Ω</mi> <mi>n</mi></msup><mo stretchy="false">(</mo><mi>P</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">cs \in \Omega^{n}(P)</annotation></semantics></math> on the total space of the bundle;</p> </li> <li> <p>such that restricted along <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>F</mi><mo>↪</mo><mi>P</mi></mrow><annotation encoding="application/x-tex">F \hookrightarrow P</annotation></semantics></math> to the fiber it is <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo>∼</mo><mi>ω</mi></mrow><annotation encoding="application/x-tex">\sim \omega</annotation></semantics></math>;</p> </li> <li> <p>and such that <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>d</mi><mi>cs</mi></mrow><annotation encoding="application/x-tex">d cs</annotation></semantics></math> is the pull-back of a form <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>κ</mi><mo>∈</mo><msup><mi>Ω</mi> <mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msup><mo stretchy="false">(</mo><mi>X</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\kappa \in \Omega^{n+1}(X)</annotation></semantics></math> on the base along the bundle projection .</p> </li> </ul> <p>See for instance section 9 of (<a href="#Borel">Borel</a>).</p> <p>This construction really exhibits transgression as a special case of the <a class="existingWikiWord" href="/nlab/show/connecting+homomorphism">connecting homomorphism</a> in cohomology</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msup><mi>H</mi> <mi>n</mi></msup><mo stretchy="false">(</mo><mi>F</mi><mo stretchy="false">)</mo><mo>→</mo><msup><mi>H</mi> <mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msup><mo stretchy="false">(</mo><mi>X</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex"> H^n(F) \to H^{n+1}(X) </annotation></semantics></math></div> <p>that is induced from the <a class="existingWikiWord" href="/nlab/show/short+exact+sequence">short exact sequence</a> of cocycles</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mi>ker</mi><mo stretchy="false">(</mo><msup><mi>i</mi> <mo>*</mo></msup><mo stretchy="false">)</mo><mo>↪</mo><msup><mi>Ω</mi> <mo>•</mo></msup><mo stretchy="false">(</mo><mi>P</mi><mo stretchy="false">)</mo><mover><mo>→</mo><mrow><msup><mi>i</mi> <mo>*</mo></msup></mrow></mover><msup><mi>Ω</mi> <mo>•</mo></msup><mo stretchy="false">(</mo><mi>F</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex"> ker(i^*) \hookrightarrow \Omega^\bullet(P) \stackrel{i^*}{\to} \Omega^\bullet(F) </annotation></semantics></math></div> <p>by restricting to those elements for which it factors through</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msup><mi>Ω</mi> <mo>•</mo></msup><mo stretchy="false">(</mo><mi>X</mi><mo stretchy="false">)</mo><mo>↪</mo><mi>ker</mi><mo stretchy="false">(</mo><msup><mi>i</mi> <mo>*</mo></msup><mo stretchy="false">)</mo><mspace width="thinmathspace"></mspace><mo>.</mo></mrow><annotation encoding="application/x-tex"> \Omega^\bullet(X) \hookrightarrow ker(i^*) \,. </annotation></semantics></math></div> <p>For more on this see <a class="existingWikiWord" href="/nlab/show/Chern-Simons+element">Chern-Simons element</a>.</p> <h2 id="examples">Examples</h2> <h3 id="transgression_in_de_rham_cohomology">Transgression in de Rham Cohomology</h3> <p>With a <a class="existingWikiWord" href="/nlab/show/cohomology+theory">cohomology theory</a> that has a good geometric model, such as <a class="existingWikiWord" href="/nlab/show/de+Rham+cohomology">de Rham cohomology</a>, there is often a similar geometric model for the push-forward map. In the case of de Rham cohomology, it goes by the name of <em><a class="existingWikiWord" href="/nlab/show/fiber+integration">integration along the fibres</a></em>.</p> <p>Using the notation above, with the simple case of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Z</mi><mo>=</mo><mi>Y</mi><mo>×</mo><mi>W</mi></mrow><annotation encoding="application/x-tex">Z = Y \times W</annotation></semantics></math>, we have the formula</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mi>α</mi><mo>∈</mo><msubsup><mi>H</mi> <mi>dR</mi> <mi>k</mi></msubsup><mo stretchy="false">(</mo><mi>X</mi><mo stretchy="false">)</mo><mo>↦</mo><msub><mo>∫</mo> <mi>W</mi></msub><msup><mi>f</mi> <mo>*</mo></msup><mi>α</mi><mo>∈</mo><msubsup><mi>H</mi> <mi>dR</mi> <mrow><mi>k</mi><mo>−</mo><mi>dim</mi><mi>W</mi></mrow></msubsup><mo stretchy="false">(</mo><mi>Y</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex"> \alpha \in H^k_{dR}(X) \mapsto \int_W f^* \alpha \in H^{k - \dim W}_{dR}(Y) </annotation></semantics></math></div> <h3 id="transgression_of_de_rham_cohomology_to_loop_spaces">Transgression of de Rham cohomology to loop spaces</h3> <p>A particular application of this is in respect to the cohomology of <a class="existingWikiWord" href="/nlab/show/loop+spaces">loop spaces</a>, and in particular to <a class="existingWikiWord" href="/nlab/show/iterated+integrals">iterated integrals</a>. The aim here is to transfer information from a space <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 its <a class="existingWikiWord" href="/nlab/show/free+loop+space+object">free loop space</a>, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>X</mi></mrow><annotation encoding="application/x-tex">L X</annotation></semantics></math>. The intermediate space in this situation is <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>S</mi> <mn>1</mn></msup><mo>×</mo><mi>L</mi><mi>X</mi></mrow><annotation encoding="application/x-tex">S^1 \times L X</annotation></semantics></math> with evaluation as the map to <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> and projection to <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>X</mi></mrow><annotation encoding="application/x-tex">L X</annotation></semantics></math>. Note that although <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>X</mi></mrow><annotation encoding="application/x-tex">L X</annotation></semantics></math> is rather large, the <a class="existingWikiWord" href="/nlab/show/fibre">fibre</a> is <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>S</mi> <mn>1</mn></msup></mrow><annotation encoding="application/x-tex">S^1</annotation></semantics></math> and it is that which needs to be controlled.</p> <p>If we worked in the realm of pure <a class="existingWikiWord" href="/nlab/show/algebraic+topology">algebraic topology</a> (i.e. didn’t care about geometry) this transfer would be almost trivial. Indeed, if we worked with <em>based</em> loops, it would be a tautology since then the push-forward <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>H</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><msup><mi>S</mi> <mn>1</mn></msup><mo>∧</mo><mi>Ω</mi><mi>X</mi><mo stretchy="false">)</mo><mo>→</mo><msup><mi>H</mi> <mrow><mo>*</mo><mo lspace="verythinmathspace" rspace="0em">−</mo><mn>1</mn></mrow></msup><mo stretchy="false">(</mo><mi>Ω</mi><mi>X</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">H^*(S^1 \wedge \Omega X) \to H^{*-1}(\Omega X)</annotation></semantics></math> is simply the suspension isomorphism. (We use the <a class="existingWikiWord" href="/nlab/show/smash+product">smash product</a> as we are working with <em>based</em> spaces here.)</p> <p>However, we wish to have a geometric interpretation of this, and so work in the realm of <a class="existingWikiWord" href="/nlab/show/differential+topology">differential topology</a>: i.e. with smooth <a class="existingWikiWord" href="/nlab/show/manifold">manifold</a>s (albeit possibly infinite dimensional). We therefore have the diagram:</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mrow><mtable><mtr><mtd><msup><mi>S</mi> <mn>1</mn></msup><mo>×</mo><mi>L</mi><mi>M</mi></mtd> <mtd><mo>→</mo></mtd> <mtd><mi>M</mi></mtd></mtr> <mtr><mtd><mo stretchy="false">↓</mo></mtd></mtr> <mtr><mtd><mi>L</mi><mi>M</mi></mtd></mtr></mtable></mrow></mrow><annotation encoding="application/x-tex"> \array{ S^1 \times L M & \to & M \\ \downarrow \\ L M } </annotation></semantics></math></div> <p>The general lore of transgression says that this induces a map in cohomology <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msubsup><mi>H</mi> <mi>dR</mi> <mi>k</mi></msubsup><mo stretchy="false">(</mo><mi>M</mi><mo stretchy="false">)</mo><mo>→</mo><msubsup><mi>H</mi> <mi>dR</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msubsup><mo stretchy="false">(</mo><mi>L</mi><mi>M</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">H^k_{dR}(M) \to H^{k-1}_{dR}(L M)</annotation></semantics></math> via</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mi>α</mi><mo>↦</mo><msub><mo>∫</mo> <mrow><msup><mi>S</mi> <mn>1</mn></msup></mrow></msub><msup><mi>ev</mi> <mo>*</mo></msup><mi>α</mi><mo>.</mo></mrow><annotation encoding="application/x-tex"> \alpha \mapsto \int_{S^1} ev^*\alpha. </annotation></semantics></math></div> <p>As with any cohomological construction, there is always the question as to whether or not it is purely cohomological or whether or not it can be lifted to whatever-it-was that defined the cohomology theory. In this case, that is <a class="existingWikiWord" href="/nlab/show/differential+form">differential form</a>s. In this case we are in the happy circumstance that the lift exists. Expressed purely in terms of differential forms, the formula doesn’t change. However, we can think of differential forms as “that which acts on <a class="existingWikiWord" href="/nlab/show/tangent+vector">tangent vector</a>s” and ask for a formulation that involves tangent vectors. This can make the integration step clearer.</p> <p>To reformulate transgression thus we need to understand tangent vectors on <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">L M</annotation></semantics></math>. The simplest way to view a tangent vector on <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">L M</annotation></semantics></math> is to identify <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>T</mi><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">T L M</annotation></semantics></math> with <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>T</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">L T M</annotation></semantics></math>. That is, we view a tangent vector <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>x</mi><mo>∈</mo><msub><mi>T</mi> <mi>γ</mi></msub><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">x \in T_\gamma L M</annotation></semantics></math> as a loop in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>T</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">T M</annotation></semantics></math> with the property that <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>x</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>∈</mo><msub><mi>T</mi> <mrow><mi>γ</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo></mrow></msub><mi>M</mi></mrow><annotation encoding="application/x-tex">x(t) \in T_{\gamma(t)} M</annotation></semantics></math>. In one view (<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>T</mi><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">T L M</annotation></semantics></math>), <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> tells <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>γ</mi></mrow><annotation encoding="application/x-tex">\gamma</annotation></semantics></math> which direction to move in; in the other view (<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>T</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">L T M</annotation></semantics></math>), each <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>x</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">x(t)</annotation></semantics></math> tells each <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>γ</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\gamma(t)</annotation></semantics></math> which direction to move in.</p> <p>That done, we have an obvious evaluation map <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>S</mi> <mn>1</mn></msup><mo>×</mo><mi>T</mi><mi>L</mi><mi>M</mi><mo>→</mo><mi>T</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">S^1 \times T L M \to T M</annotation></semantics></math>, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>x</mi><mo>↦</mo><mi>x</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">x \mapsto x(t)</annotation></semantics></math> and so, given a differential form on <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>M</mi></mrow><annotation encoding="application/x-tex">M</annotation></semantics></math>, we can evaluate it on tangent vectors coming from <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">L M</annotation></semantics></math>.</p> <p>However, that’s not all we need. There’s a very special <a class="existingWikiWord" href="/nlab/show/vector+field">vector field</a> on <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">L M</annotation></semantics></math> which we want to throw into the mix. This is the vector field which assigns to <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>γ</mi><mo>∈</mo><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">\gamma \in L M</annotation></semantics></math> the tangent vector <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>γ</mi><mo>′</mo><mo>∈</mo><mi>L</mi><mi>T</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">\gamma' \in L T M</annotation></semantics></math>. This is the rotation vector field: if we rotate the circle on <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>S</mi> <mn>1</mn></msup><mo>×</mo><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">S^1 \times L M</annotation></semantics></math> then to keep the evaluation map consistent, we have to rotate the loops in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">L M</annotation></semantics></math> as well.</p> <p>So starting with a <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>k</mi></mrow><annotation encoding="application/x-tex">k</annotation></semantics></math>-form, say <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>α</mi></mrow><annotation encoding="application/x-tex">\alpha</annotation></semantics></math>, on <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>M</mi></mrow><annotation encoding="application/x-tex">M</annotation></semantics></math>, we fix a loop <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>γ</mi><mo>∈</mo><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">\gamma \in L M</annotation></semantics></math>, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>t</mi><mo>∈</mo><msup><mi>S</mi> <mn>1</mn></msup></mrow><annotation encoding="application/x-tex">t \in S^1</annotation></semantics></math>, and take <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow><annotation encoding="application/x-tex">k-1</annotation></semantics></math> tangent vectors at <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>γ</mi></mrow><annotation encoding="application/x-tex">\gamma</annotation></semantics></math>, say <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>x</mi> <mn>1</mn></msub><mo>,</mo><mi>…</mi><mo>,</mo><msub><mi>x</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub></mrow><annotation encoding="application/x-tex">x_1, \dots, x_{k-1}</annotation></semantics></math>. We evaluate these at <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>t</mi></mrow><annotation encoding="application/x-tex">t</annotation></semantics></math> to get <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>x</mi> <mn>1</mn></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>,</mo><mi>…</mi><mo>,</mo><msub><mi>x</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>∈</mo><msub><mi>T</mi> <mrow><mi>γ</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo></mrow></msub><mi>M</mi></mrow><annotation encoding="application/x-tex">x_1(t), \dots, x_{k-1}(t) \in T_{\gamma(t)} M</annotation></semantics></math> and also throw in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>γ</mi><mo>′</mo><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\gamma'(t)</annotation></semantics></math>. That gives <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>k</mi></mrow><annotation encoding="application/x-tex">k</annotation></semantics></math> vectors at <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>T</mi> <mrow><mi>γ</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo></mrow></msub><mi>M</mi></mrow><annotation encoding="application/x-tex">T_{\gamma(t)} M</annotation></semantics></math> on which we can evaluate <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>α</mi></mrow><annotation encoding="application/x-tex">\alpha</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>α</mi><mo stretchy="false">(</mo><msub><mi>x</mi> <mn>1</mn></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>,</mo><msub><mi>x</mi> <mn>2</mn></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>,</mo><mi>…</mi><mo>,</mo><msub><mi>x</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>,</mo><mi>γ</mi><mo>′</mo><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex"> \alpha(x_1(t),x_2(t),\dots,x_{k-1}(t),\gamma'(t)) </annotation></semantics></math></div> <p>This is a number. Hence, by varying <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>t</mi><mo>∈</mo><msup><mi>S</mi> <mn>1</mn></msup></mrow><annotation encoding="application/x-tex">t \in S^1</annotation></semantics></math>, it defines a function <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>S</mi> <mn>1</mn></msup><mo>→</mo><mi>ℝ</mi></mrow><annotation encoding="application/x-tex">S^1 \to \mathbb{R}</annotation></semantics></math>. Integrating this function around <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>S</mi> <mn>1</mn></msup></mrow><annotation encoding="application/x-tex">S^1</annotation></semantics></math> yields a number:</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msub><mo>∫</mo> <mrow><msup><mi>S</mi> <mn>1</mn></msup></mrow></msub><mi>α</mi><mo stretchy="false">(</mo><msub><mi>x</mi> <mn>1</mn></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>,</mo><msub><mi>x</mi> <mn>2</mn></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>,</mo><mi>…</mi><mo>,</mo><msub><mi>x</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>,</mo><mi>γ</mi><mo>′</mo><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo stretchy="false">)</mo><mi>dt</mi></mrow><annotation encoding="application/x-tex"> \int_{S^1} \alpha(x_1(t),x_2(t),\dots,x_{k-1}(t),\gamma'(t)) dt </annotation></semantics></math></div> <p>Thus we have a map <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mo>⨂</mo> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msup><mi>T</mi><mo stretchy="false">(</mo><mi>L</mi><mi>M</mi><mo stretchy="false">)</mo><mo>→</mo><mi>ℝ</mi></mrow><annotation encoding="application/x-tex">\bigotimes^{k-1} T(L M) \to \mathbb{R}</annotation></semantics></math>. It can be shown that it is alternating and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">(</mo><mi>k</mi><mo>−</mo><mn>1</mn><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">(k-1)</annotation></semantics></math>-linear, and that it varies smoothly over <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">L M</annotation></semantics></math>, hence defines an element of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>Ω</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msup><mo stretchy="false">(</mo><mi>L</mi><mi>M</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\Omega^{k-1}(L M)</annotation></semantics></math>.</p> <p>The reason why <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mo>∫</mo> <mrow><msup><mi>S</mi> <mn>1</mn></msup></mrow></msub><msup><mi>ev</mi> <mo>*</mo></msup><mi>α</mi></mrow><annotation encoding="application/x-tex">\int_{S^1} ev^*\alpha</annotation></semantics></math> takes the form of the above formula is the following:</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msup><mi>ev</mi> <mo>*</mo></msup><mo>:</mo><msup><mi>Ω</mi> <mi>k</mi></msup><mo stretchy="false">(</mo><mi>M</mi><mo stretchy="false">)</mo><mo>→</mo><msup><mi>Ω</mi> <mi>k</mi></msup><mo stretchy="false">(</mo><msup><mi>S</mi> <mn>1</mn></msup><mo>×</mo><mi>LM</mi><mo stretchy="false">)</mo><mo>=</mo><msub><mo>⊕</mo> <mrow><mi>i</mi><mo>+</mo><mi>j</mi><mo>=</mo><mi>k</mi></mrow></msub><msup><mi>Ω</mi> <mi>i</mi></msup><mo stretchy="false">(</mo><msup><mi>S</mi> <mn>1</mn></msup><mo stretchy="false">)</mo><mo>⊗</mo><msup><mi>Ω</mi> <mi>j</mi></msup><mo stretchy="false">(</mo><mi>LM</mi><mo stretchy="false">)</mo><mo>=</mo><msup><mi>Ω</mi> <mn>0</mn></msup><mo stretchy="false">(</mo><msup><mi>S</mi> <mn>1</mn></msup><mo stretchy="false">)</mo><mo>⊗</mo><msup><mi>Ω</mi> <mi>k</mi></msup><mo stretchy="false">(</mo><mi>LM</mi><mo stretchy="false">)</mo><mo>⊕</mo><msup><mi>Ω</mi> <mn>1</mn></msup><mo stretchy="false">(</mo><msup><mi>S</mi> <mn>1</mn></msup><mo stretchy="false">)</mo><mo>⊗</mo><msup><mi>Ω</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msup><mo stretchy="false">(</mo><mi>LM</mi><mo stretchy="false">)</mo><mo>.</mo></mrow><annotation encoding="application/x-tex">ev^*: \Omega^k(M) \to \Omega^k(S^1\times LM)= \oplus_{i+j=k} \Omega^i(S^1) \otimes\Omega^j(LM) = \Omega^0(S^1) \otimes \Omega^k(LM) \oplus \Omega^1(S^1)\otimes \Omega^{k-1}(LM). </annotation></semantics></math></div> <p>Thus we may write</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msup><mi>ev</mi> <mo>*</mo></msup><mi>α</mi><mo>=</mo><msub><mi>α</mi> <mn>0</mn></msub><mo>⊗</mo><msub><mi>α</mi> <mi>k</mi></msub><mo>+</mo><msub><mi>α</mi> <mn>1</mn></msub><mo>⊗</mo><msub><mi>α</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>,</mo></mrow><annotation encoding="application/x-tex">ev^*\alpha= \alpha_0\otimes \alpha_k + \alpha_{1}\otimes \alpha_{k-1}, </annotation></semantics></math></div> <p>where <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mi>k</mi></msub><mo>∈</mo><msup><mi>Ω</mi> <mi>k</mi></msup><mo stretchy="false">(</mo><mi>LM</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\alpha_k\in \Omega^k(LM)</annotation></semantics></math>, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>α</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msup><mo>∈</mo><msup><mi>Ω</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msup><mo stretchy="false">(</mo><mi>LM</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\alpha^{k-1}\in \Omega^{k-1}(LM)</annotation></semantics></math>, and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mn>1</mn></msub><mo>∈</mo><msup><mi>Ω</mi> <mn>1</mn></msup><mo stretchy="false">(</mo><msup><mi>S</mi> <mn>1</mn></msup><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\alpha_1\in \Omega^1(S^1)</annotation></semantics></math>, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>α</mi> <mn>0</mn></msup><mo>∈</mo><msup><mi>Ω</mi> <mn>0</mn></msup><mo stretchy="false">(</mo><msup><mi>S</mi> <mn>1</mn></msup><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\alpha^0\in \Omega^0(S^1)</annotation></semantics></math>. Then contracting with <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>S</mi> <mn>1</mn></msup></mrow><annotation encoding="application/x-tex">S^1</annotation></semantics></math> via <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mo>∫</mo> <mrow><msup><mi>S</mi> <mn>1</mn></msup></mrow></msub></mrow><annotation encoding="application/x-tex">\int_{S^1}</annotation></semantics></math>, only the second term survives. Thus</p> <div class="maruku-equation" id="eq:int"><span class="maruku-eq-number">(1)</span><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mo stretchy="false">(</mo><msub><mo>∫</mo> <mrow><msup><mi>S</mi> <mn>1</mn></msup></mrow></msub><msup><mi>ev</mi> <mo>*</mo></msup><mi>α</mi><msub><mo stretchy="false">)</mo> <mi>γ</mi></msub><mo stretchy="false">(</mo><msub><mi>x</mi> <mn>1</mn></msub><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>,</mo><msub><mi>x</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub><mo stretchy="false">)</mo><mo>=</mo><msub><mo>∫</mo> <mrow><msup><mi>S</mi> <mn>1</mn></msup></mrow></msub><msub><mi>α</mi> <mn>1</mn></msub><mo>⊗</mo><msub><mi>α</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub><mo stretchy="false">(</mo><msub><mi>x</mi> <mn>1</mn></msub><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>,</mo><msub><mi>x</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub><mo stretchy="false">)</mo><mo>.</mo></mrow><annotation encoding="application/x-tex"> (\int_{S^1} ev^*\alpha)_{\gamma} (x_1, ..., x_{k-1}) =\int_{S^1} \alpha_{1} \otimes \alpha_{k-1} (x_1, ..., x_{k-1} ) . </annotation></semantics></math></div> <p>On the other hand, let <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">(</mo><msub><mi>v</mi> <mi>i</mi></msub><mo>,</mo><msub><mi>x</mi> <mi>i</mi></msub><mo stretchy="false">)</mo><mo>∈</mo><msub><mi>T</mi> <mi>t</mi></msub><msup><mi>S</mi> <mn>1</mn></msup><mo>×</mo><msub><mi>T</mi> <mi>γ</mi></msub><mi>LM</mi></mrow><annotation encoding="application/x-tex">(v_i, x_i) \in T_t S^1 \times T_{\gamma}LM </annotation></semantics></math> be tangent vectors of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>T</mi><mo stretchy="false">(</mo><msup><mi>S</mi> <mn>1</mn></msup><mo>×</mo><mi>LM</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">T(S^1\times LM)</annotation></semantics></math> for <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>i</mi><mo>=</mo><mn>1</mn><mo>,</mo><mi>…</mi><mo>,</mo><mi>k</mi></mrow><annotation encoding="application/x-tex">i=1, \dots, k</annotation></semantics></math>. Then</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msup><mi>ev</mi> <mo>*</mo></msup><msub><mi>α</mi> <mrow><mo stretchy="false">(</mo><mi>t</mi><mo>,</mo><mi>γ</mi><mo stretchy="false">)</mo></mrow></msub><mo stretchy="false">(</mo><mo stretchy="false">(</mo><msub><mi>v</mi> <mn>1</mn></msub><mo>,</mo><msub><mi>x</mi> <mn>1</mn></msub><mo stretchy="false">)</mo><mo>,</mo><mi>…</mi><mo>,</mo><mo stretchy="false">(</mo><msub><mi>v</mi> <mi>k</mi></msub><mo>,</mo><msub><mi>x</mi> <mi>k</mi></msub><mo stretchy="false">)</mo><mo stretchy="false">)</mo><mo>=</mo><msub><mi>α</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub><msub><mo stretchy="false">|</mo> <mi>γ</mi></msub><mo>⊗</mo><msub><mi>α</mi> <mn>1</mn></msub><msub><mo stretchy="false">|</mo> <mi>t</mi></msub><mo stretchy="false">(</mo><mo stretchy="false">(</mo><msub><mi>v</mi> <mn>1</mn></msub><mo>,</mo><msub><mi>x</mi> <mn>1</mn></msub><mo stretchy="false">)</mo><mo>,</mo><mi>…</mi><mo>,</mo><mo stretchy="false">(</mo><msub><mi>v</mi> <mi>k</mi></msub><mo>,</mo><msub><mi>x</mi> <mi>k</mi></msub><mo stretchy="false">)</mo><mo stretchy="false">)</mo><mo>+</mo><msub><mi>α</mi> <mi>k</mi></msub><msub><mo stretchy="false">|</mo> <mi>γ</mi></msub><mo>⊗</mo><msub><mi>α</mi> <mn>0</mn></msub><msub><mo stretchy="false">|</mo> <mi>t</mi></msub><mo stretchy="false">(</mo><mo stretchy="false">(</mo><msub><mi>v</mi> <mn>1</mn></msub><mo>,</mo><msub><mi>x</mi> <mn>1</mn></msub><mo stretchy="false">)</mo><mo>,</mo><mi>…</mi><mo>,</mo><mo stretchy="false">(</mo><msub><mi>v</mi> <mi>k</mi></msub><mo>,</mo><msub><mi>x</mi> <mi>k</mi></msub><mo stretchy="false">)</mo><mo stretchy="false">)</mo><mo>.</mo></mrow><annotation encoding="application/x-tex">ev^*\alpha_{(t, \gamma)}((v_1, x_1), \dots, (v_k, x_k)) = \alpha_{k-1}|_{\gamma} \otimes \alpha_1 |_t((v_1, x_1), \dots, (v_k, x_k)) + \alpha_k|_{\gamma}\otimes \alpha_0|_t((v_1, x_1), \dots, (v_k, x_k)).</annotation></semantics></math></div> <p>At the same time, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>T</mi> <mi>γ</mi></msub><mi>ev</mi><mo stretchy="false">(</mo><mi>v</mi><mo>,</mo><mi>x</mi><mo stretchy="false">)</mo><mo>=</mo><mi>v</mi><mi>γ</mi><mo>′</mo><mo lspace="verythinmathspace" rspace="0em">+</mo><mi>x</mi></mrow><annotation encoding="application/x-tex">T_{\gamma} ev( v, x) = v \gamma' + x</annotation></semantics></math>. This can be seen by taking a variation (a small path) <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">(</mo><mi>t</mi><mo>+</mo><mi>v</mi><mi>ϵ</mi><mo>,</mo><msup><mi>γ</mi> <mi>ϵ</mi></msup><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">(t+v\epsilon, \gamma^\epsilon)</annotation></semantics></math> representing <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">(</mo><mi>v</mi><mo>,</mo><mi>x</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">(v, x)</annotation></semantics></math> (thus <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>γ</mi> <mn>0</mn></msup><mo>=</mo><mi>γ</mi></mrow><annotation encoding="application/x-tex">\gamma^0=\gamma</annotation></semantics></math>). Then</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msub><mi>T</mi> <mi>γ</mi></msub><mi>ev</mi><mo stretchy="false">(</mo><mi>v</mi><mo>,</mo><mi>x</mi><mo stretchy="false">)</mo><mo>=</mo><mfrac><mi>d</mi><mrow><mi>d</mi><mi>ϵ</mi></mrow></mfrac><msub><mo stretchy="false">|</mo> <mrow><mi>ϵ</mi><mo>=</mo><mn>0</mn></mrow></msub><mo stretchy="false">(</mo><msup><mi>γ</mi> <mi>ϵ</mi></msup><mo stretchy="false">(</mo><mi>t</mi><mo>+</mo><mi>v</mi><mi>ϵ</mi><mo stretchy="false">)</mo><mo stretchy="false">)</mo><mo>=</mo><mfrac><mi>d</mi><mrow><mi>d</mi><mi>ϵ</mi></mrow></mfrac><msub><mo stretchy="false">|</mo> <mrow><mi>ϵ</mi><mo>=</mo><mn>0</mn></mrow></msub><msup><mi>γ</mi> <mn>0</mn></msup><mo stretchy="false">(</mo><mi>t</mi><mo>+</mo><mi>v</mi><mi>ϵ</mi><mo stretchy="false">)</mo><mo>+</mo><mfrac><mi>d</mi><mrow><mi>d</mi><mi>ϵ</mi></mrow></mfrac><msub><mo stretchy="false">|</mo> <mrow><mi>ϵ</mi><mo>=</mo><mn>0</mn></mrow></msub><msup><mi>γ</mi> <mi>ϵ</mi></msup><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>=</mo><mi>v</mi><mi>γ</mi><mo>′</mo><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>+</mo><mi>x</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>,</mo></mrow><annotation encoding="application/x-tex">T_{\gamma} ev( v, x)= \frac{d}{d\epsilon}|_{\epsilon=0}(\gamma^\epsilon(t+v\epsilon))=\frac{d}{d\epsilon}|_{\epsilon=0}\gamma^0(t+v\epsilon)+ \frac{d}{d\epsilon}|_{\epsilon=0}\gamma^\epsilon(t) = v\gamma'(t)+x(t),</annotation></semantics></math></div> <p>which is a tangent vector at <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>γ</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\gamma(t)</annotation></semantics></math>. Thus</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msup><mi>ev</mi> <mo>*</mo></msup><mi>α</mi><msub><mo stretchy="false">|</mo> <mrow><mo stretchy="false">(</mo><mi>t</mi><mo>,</mo><mi>γ</mi><mo stretchy="false">)</mo></mrow></msub><mo stretchy="false">(</mo><mo stretchy="false">(</mo><msub><mi>v</mi> <mn>1</mn></msub><mo>,</mo><msub><mi>x</mi> <mn>1</mn></msub><mo stretchy="false">)</mo><mo>,</mo><mi>…</mi><mo>,</mo><mo stretchy="false">(</mo><msub><mi>v</mi> <mi>k</mi></msub><mo>,</mo><msub><mi>x</mi> <mi>k</mi></msub><mo stretchy="false">)</mo><mo stretchy="false">)</mo><mo>=</mo><msub><mi>α</mi> <mrow><mi>γ</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo></mrow></msub><mo stretchy="false">(</mo><msub><mi>T</mi> <mi>γ</mi></msub><mi>ev</mi><mo stretchy="false">(</mo><msub><mi>v</mi> <mn>1</mn></msub><mo>,</mo><msub><mi>x</mi> <mn>1</mn></msub><mo stretchy="false">)</mo><mo>,</mo><mi>…</mi><mo>,</mo><msub><mi>T</mi> <mi>γ</mi></msub><mi>ev</mi><mo stretchy="false">(</mo><msub><mi>v</mi> <mi>k</mi></msub><mo>,</mo><msub><mi>x</mi> <mi>k</mi></msub><mo stretchy="false">)</mo><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">ev^*\alpha|_{(t, \gamma)}((v_1, x_1), \dots, (v_k, x_k))= \alpha_{\gamma(t)}(T_\gamma ev (v_1, x_1), \dots, T_\gamma ev (v_k, x_k)) </annotation></semantics></math></div><div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mo>=</mo><msub><mi>α</mi> <mrow><mi>γ</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo></mrow></msub><mo stretchy="false">(</mo><msub><mi>x</mi> <mn>1</mn></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>,</mo><mi>…</mi><mo>,</mo><msub><mi>x</mi> <mi>k</mi></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo stretchy="false">)</mo><mo>+</mo><msub><mi>α</mi> <mrow><mi>γ</mi><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo></mrow></msub><mo stretchy="false">(</mo><msub><mi>v</mi> <mn>1</mn></msub><mi>γ</mi><mo>′</mo><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>,</mo><msub><mi>x</mi> <mn>2</mn></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo>,</mo><mi>…</mi><mo>,</mo><msub><mi>x</mi> <mi>k</mi></msub><mo stretchy="false">(</mo><mi>t</mi><mo stretchy="false">)</mo><mo stretchy="false">)</mo><mo>+</mo><mi>c</mi><mo>.</mo><mi>p</mi><mo>.</mo></mrow><annotation encoding="application/x-tex"> = \alpha_{\gamma(t)}(x_1(t), \dots, x_k(t)) + \alpha_{\gamma(t)}(v_1 \gamma'(t), x_2(t), \dots, x_{k}(t)) + c.p. </annotation></semantics></math></div> <p>Thus <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mi>k</mi></msub><mo>=</mo><mi>α</mi></mrow><annotation encoding="application/x-tex">\alpha_k=\alpha</annotation></semantics></math>, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mn>0</mn></msub><mo>=</mo><mn>1</mn></mrow><annotation encoding="application/x-tex">\alpha_0=1</annotation></semantics></math>, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>=</mo><mi>ι</mi><mo stretchy="false">(</mo><mi>γ</mi><mo>′</mo><mo stretchy="false">)</mo><mi>α</mi></mrow><annotation encoding="application/x-tex">\alpha_{k-1}=\iota(\gamma')\alpha</annotation></semantics></math>, and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mn>1</mn></msub><mo>=</mo><mi>dt</mi></mrow><annotation encoding="application/x-tex">\alpha_1=dt</annotation></semantics></math>. Combining with equation <a class="maruku-eqref" href="#eq:int">(1)</a>, we obtain the desired formula (might be up to a sign).</p> <p>There is much more to tell in this particular story. It is possible to replacing <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>S</mi> <mn>1</mn></msup></mrow><annotation encoding="application/x-tex">S^1</annotation></semantics></math> by a <a class="existingWikiWord" href="/nlab/show/simplex">simplex</a> (but keeping <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>L</mi><mi>M</mi></mrow><annotation encoding="application/x-tex">L M</annotation></semantics></math> the same) and so build up more complicated objects in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>Ω</mi> <mo>*</mo></msup><mo stretchy="false">(</mo><mi>L</mi><mi>M</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\Omega^*(L M)</annotation></semantics></math>. This is the starting point of Chen’s theory of <a class="existingWikiWord" href="/nlab/show/iterated+integrals">iterated integrals</a> and further developments of the theory can be found in the work of Jones, Getzler, and Petrack.</p> <h3 id="transgression_in_group_cohomology">Transgression in group cohomology</h3> <p>See at <em><a class="existingWikiWord" href="/nlab/show/transgression+in+group+cohomology">transgression in group cohomology</a></em>.</p> <h3 id="InternalHom">Transgression to mapping spaces in terms of internal homs</h3> <blockquote> <p>just a rough remark, for the moment</p> </blockquote> <p>At least for some cases of transgression to <a class="existingWikiWord" href="/nlab/show/mapping+space">mapping space</a>s, the concept has an <a class="existingWikiWord" href="/nlab/show/nPOV">nPOV</a> description in terms of <a class="existingWikiWord" href="/nlab/show/internal+hom">internal hom</a>s.</p> <p>This makes crucial use of the <a class="existingWikiWord" href="/nlab/show/nPOV">nPOV</a> notion of <a class="existingWikiWord" href="/nlab/show/cohomology">cohomology</a>, as described there.</p> <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></mrow><annotation encoding="application/x-tex">\mathbf{H} = </annotation></semantics></math> <a class="existingWikiWord" href="/nlab/show/Top">Top</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo>≃</mo></mrow><annotation encoding="application/x-tex">\simeq</annotation></semantics></math> <a class="existingWikiWord" href="/nlab/show/%E2%88%9EGrpd">∞Grpd</a>. For <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>X</mi><mo>∈</mo><mstyle mathvariant="bold"><mi>H</mi></mstyle></mrow><annotation encoding="application/x-tex">X \in \mathbf{H}</annotation></semantics></math> and for <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Σ</mi></mrow><annotation encoding="application/x-tex">\Sigma</annotation></semantics></math> a <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>k</mi></mrow><annotation encoding="application/x-tex">k</annotation></semantics></math>-dimensional closed oriented <a class="existingWikiWord" href="/nlab/show/manifold">manifold</a>, and for <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>K</mi></mrow><annotation encoding="application/x-tex">K</annotation></semantics></math> an <a class="existingWikiWord" href="/nlab/show/abelian+group">abelian group</a> that is injective as a <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>ℤ</mi></mrow><annotation encoding="application/x-tex">\mathbb{Z}</annotation></semantics></math>-module, we may identify transgression to the mapping space <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><mi>X</mi><mo stretchy="false">]</mo></mrow><annotation encoding="application/x-tex">[\Sigma,X]</annotation></semantics></math> as the composite</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msub><mi>trans</mi> <mi>Σ</mi></msub><mo>:</mo><mstyle mathvariant="bold"><mi>H</mi></mstyle><mo stretchy="false">(</mo><mi>X</mi><mo>,</mo><msup><mstyle mathvariant="bold"><mi>B</mi></mstyle> <mi>n</mi></msup><mi>K</mi><mo stretchy="false">)</mo><mover><mo>→</mo><mrow><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><mo lspace="verythinmathspace" rspace="0em">−</mo><mo stretchy="false">]</mo></mrow></mover><mstyle mathvariant="bold"><mi>H</mi></mstyle><mo stretchy="false">(</mo><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><mi>X</mi><mo stretchy="false">]</mo><mo>,</mo><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><msup><mstyle mathvariant="bold"><mi>B</mi></mstyle> <mi>n</mi></msup><mi>K</mi><mo stretchy="false">]</mo><mo stretchy="false">)</mo><mover><mo>→</mo><mrow><mo stretchy="false">(</mo><msub><mi>τ</mi> <mrow><mi>n</mi><mo>−</mo><mi>k</mi></mrow></msub><msub><mo stretchy="false">)</mo> <mo>*</mo></msub></mrow></mover><mstyle mathvariant="bold"><mi>H</mi></mstyle><mo stretchy="false">(</mo><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><mi>X</mi><mo stretchy="false">]</mo><mo>,</mo><msub><mi>τ</mi> <mrow><mi>n</mi><mo>−</mo><mi>k</mi></mrow></msub><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><msup><mstyle mathvariant="bold"><mi>B</mi></mstyle> <mi>n</mi></msup><mi>K</mi><mo stretchy="false">]</mo><mo stretchy="false">)</mo><mo>≃</mo><mstyle mathvariant="bold"><mi>H</mi></mstyle><mo stretchy="false">(</mo><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><mi>X</mi><mo stretchy="false">]</mo><mo>,</mo><msup><mstyle mathvariant="bold"><mi>B</mi></mstyle> <mrow><mi>n</mi><mo>−</mo><mi>k</mi></mrow></msup><mi>K</mi><mo stretchy="false">)</mo><mspace width="thinmathspace"></mspace><mo>.</mo></mrow><annotation encoding="application/x-tex"> trans_\Sigma : \mathbf{H}(X,\mathbf{B}^n K) \stackrel{[\Sigma,-]}{\to} \mathbf{H}([\Sigma,X], [\Sigma, \mathbf{B}^n K]) \stackrel{(\tau_{n-k})_*}{\to} \mathbf{H}([\Sigma,X], \tau_{n-k} [\Sigma, \mathbf{B}^n K]) \simeq \mathbf{H}([\Sigma,X], \mathbf{B}^{n-k} K) \,. </annotation></semantics></math></div> <p>Here the first step is application of the <a class="existingWikiWord" href="/nlab/show/internal+hom">internal hom</a>, then the second is postcomposition with <a class="existingWikiWord" href="/nlab/show/truncated">truncation</a>, and then the last step uses the <a class="existingWikiWord" href="/nlab/show/universal+coefficient+theorem">universal coefficient theorem</a>. Note that the transgression map <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>trans</mi> <mi>Σ</mi></msub></mrow><annotation encoding="application/x-tex">trans_\Sigma</annotation></semantics></math> depends on the choice of an equivalence <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>τ</mi> <mrow><mi>n</mi><mo>−</mo><mi>k</mi></mrow></msub><mo stretchy="false">[</mo><mi>Σ</mi><mo>,</mo><msup><mstyle mathvariant="bold"><mi>B</mi></mstyle> <mi>n</mi></msup><mi>K</mi><mo stretchy="false">]</mo><mo>≃</mo><msup><mstyle mathvariant="bold"><mi>B</mi></mstyle> <mrow><mi>n</mi><mo>−</mo><mi>k</mi></mrow></msup><mi>K</mi></mrow><annotation encoding="application/x-tex">\tau_{n-k} [\Sigma, \mathbf{B}^n K]\simeq \mathbf{B}^{n-k} K</annotation></semantics></math>. Up to homotopy, this choice is precisely the datum of the <a class="existingWikiWord" href="/nlab/show/orientation">orientation</a> on <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Σ</mi></mrow><annotation encoding="application/x-tex">\Sigma</annotation></semantics></math>.</p> <blockquote> <p>more details go here….</p> </blockquote> <p>This plays a role in the <a class="existingWikiWord" href="/nlab/show/quantization">quantization</a> process that yields <a class="existingWikiWord" href="/nlab/show/FQFT">FQFT</a>s. For an application see <a class="existingWikiWord" href="/nlab/show/Dijkgraaf-Witten+theory">Dijkgraaf-Witten theory</a>.</p> <blockquote> <p>more details, and more polishing later…</p> </blockquote> <h2 id="related_entries">Related entries</h2> <ul> <li><a class="existingWikiWord" href="/nlab/show/transgression+of+bundle+gerbes">transgression of bundle gerbes</a></li> </ul> <h2 id="references">References</h2> <p>The classical notion of transgression of forms through fiber bundles is described in section 9 of</p> <ul> <li id="Borel"><a class="existingWikiWord" href="/nlab/show/Armand+Borel">Armand Borel</a>, <em>Topology of Lie groups and characteristic classes</em> Bull. Amer. Math. Soc. Volume 61, Number 5 (1955), 397-432. (<a href="http://projecteuclid.org/euclid.bams/1183520007">EUCLID</a>)</li> </ul> <p>Transgression as <a class="existingWikiWord" href="/nlab/show/pullback+in+cohomology">pullback in cohomology</a> along the <a class="existingWikiWord" href="/nlab/show/evaluation+map">evaluation map</a> followed by <a class="existingWikiWord" href="/nlab/show/fiber+integration">fiber integration</a> over the base space is considered in:</p> <p>for <a class="existingWikiWord" href="/nlab/show/differential+forms">differential forms</a>:</p> <ul> <li><a class="existingWikiWord" href="/nlab/show/Jean-Luc+Brylinski">Jean-Luc Brylinski</a>, §3.5 in <em>Loop Spaces, Characteristic Classes, and Geometric Quantization</em>, Birkhäuser (1993) [<a href="https://doi.org/10.1007/978-0-8176-4731-5">doi:10.1007/978-0-8176-4731-5</a>]</li> </ul> <p>for <a class="existingWikiWord" href="/nlab/show/Deligne+cohomology">Deligne cohomology</a> (and with an eye towards defining the <a class="existingWikiWord" href="/nlab/show/higher+holonomy">higher holonomy</a> of <a class="existingWikiWord" href="/nlab/show/bundle+gerbes+with+connection">bundle gerbes with connection</a>):</p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Ernesto+Lupercio">Ernesto Lupercio</a>, <a class="existingWikiWord" href="/nlab/show/Bernardo+Uribe">Bernardo Uribe</a>, p. 2 of: <em>Holonomy for Gerbes over Orbifolds</em>, J. Geom.Phys. <strong>56</strong> (2006) 1534-1560 [<a href="https://arxiv.org/abs/math/0307114">arXiv:math/0307114</a>, <a href="https://doi.org/10.1016/j.geomphys.2005.08.006">doi:10.1016/j.geomphys.2005.08.006</a>]</p> <blockquote> <p>(over <a class="existingWikiWord" href="/nlab/show/orbifolds">orbifolds</a>)</p> </blockquote> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Christian+B%C3%A4r">Christian Bär</a>, <a class="existingWikiWord" href="/nlab/show/Christian+Becker">Christian Becker</a>, Def. 9.1 in: <em>Differential Characters and Geometric Chains</em>, in: <em>Differential Characters</em>, Lecture Notes in Mathematics <strong>2112</strong>, Springer (2014) [<a href="https://arxiv.org/abs/1303.6457">arXiv:1303.6457</a>, <a href="https://doi.org/10.1007/978-3-319-07034-6_1">doi:10.1007/978-3-319-07034-6_1</a>]</p> </li> </ul> <p>Transgression of <a class="existingWikiWord" href="/nlab/show/group+cohomology">group cohomology</a> for <a class="existingWikiWord" href="/nlab/show/discrete+groups">discrete groups</a> to cohomology of <a class="existingWikiWord" href="/nlab/show/inertia+groupoids">inertia groupoids</a> (see at <em><a class="existingWikiWord" href="/nlab/show/transgression+in+group+cohomology">transgression in group cohomology</a></em>):</p> <ul> <li id="Willerton08"> <p><a class="existingWikiWord" href="/nlab/show/Simon+Willerton">Simon Willerton</a>, Section 1 of: <em>The twisted Drinfeld double of a finite group via gerbes and finite groupoids</em>, Algebr. Geom. Topol. 8 (2008) 1419-1457 (<a href="https://arxiv.org/abs/math/0503266">arXiv:math/0503266</a>)</p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Jean-Louis+Tu">Jean-Louis Tu</a>, <a class="existingWikiWord" href="/nlab/show/Ping+Xu">Ping Xu</a>, Section 3 of: <em>The ring structure for equivariant twisted K-theory</em>, J. Reine Angew. Math. 635 (2009), 97–148 (<a href="https://arxiv.org/abs/math/0604160">arXiv:math/0604160</a>, <a href="https://doi.org/10.1515/CRELLE.2009.077">doi:10.1515/CRELLE.2009.077</a>)</p> </li> <li id="AdemRuanZhang07"> <p><a class="existingWikiWord" href="/nlab/show/Alejandro+Adem">Alejandro Adem</a>, <a class="existingWikiWord" href="/nlab/show/Yongbin+Ruan">Yongbin Ruan</a>, <a class="existingWikiWord" href="/nlab/show/Bin+Zhang">Bin Zhang</a>, Section 4 of: <em>A Stringy Product on Twisted Orbifold K-theory</em>, Morfismos (10th Anniversary Issue), <strong>11</strong> 2 (2007) 33-64 [<a href="https://arxiv.org/abs/math/0605534">arXiv:math/0605534</a>, <a href="www.morfismos.cinvestav.mx/Portals/morfismos/SiteDocs/Articulos/Volumen11/No2/Zhang/arz.pdf">Morfismos pdf</a>]</p> </li> </ul> <p>The <a class="existingWikiWord" href="/nlab/show/image">image</a> of the transgression operation from <a class="existingWikiWord" href="/nlab/show/bundle+gerbes">bundle gerbes</a> (<a class="existingWikiWord" href="/nlab/show/bundle+gerbe+with+connection">with connection</a>) to <a class="existingWikiWord" href="/nlab/show/complex+line+bundles">complex line bundles</a> (<a class="existingWikiWord" href="/nlab/show/connection+on+a+vector+bundle">with connection</a>) on the <a class="existingWikiWord" href="/nlab/show/free+loop+space">free loop space</a> of their base space is characterized (as consisting of the “<a class="existingWikiWord" href="/nlab/show/fusion+bundle">fusion bundles</a>”) in:</p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Konrad+Waldorf">Konrad Waldorf</a>, <em>Transgression to Loop Spaces and its Inverse, I: Diffeological Bundles and Fusion Maps</em>, Cah. Topol. Geom. Differ. Categ., 2012, Vol. LIII, 162-210 [<a href="https://arxiv.org/abs/0911.3212">arXiv:0911.3212</a>, <a href="http://cahierstgdc.com/index.php/volumes/volume-liii-2012">cahierstgdc:LIII</a>]</p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Konrad+Waldorf">Konrad Waldorf</a>, <em>Transgression to Loop Spaces and its Inverse, II: Gerbes and Fusion Bundles with Connection</em>, Asian Journal of Mathematics <strong>20</strong> 1 (2016) 59-116 [<a href="https://arxiv.org/abs/1004.0031">arXiv:1004.0031</a>, <a href="https://dx.doi.org/10.4310/AJM.2016.v20.n1.a4">doi:10.4310/AJM.2016.v20.n1.a4</a>]</p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Konrad+Waldorf">Konrad Waldorf</a>, <em>Transgression to Loop Spaces and its Inverse, III: Gerbes and Thin Fusion Bundles</em>, Advances in Mathematics <strong>231</strong> (2012) 3445-3472 [<a href="https://arxiv.org/abs/1109.0480">arXiv:1109.0480</a>, <a href="https://doi.org/10.1016/j.aim.2012.08.016">doi:10.1016/j.aim.2012.08.016</a>]</p> </li> </ul> <div class="footnotes"><hr /><ol><li id="fn:1"> <p>To the best of <a class="existingWikiWord" href="/nlab/show/Andrew+Stacey">my</a> knowledge, this remark is attributable to <a class="existingWikiWord" href="/nlab/show/Ralph+Cohen">Ralph Cohen</a>. <a href="#fnref:1" rev="footnote">↩</a></p> </li></ol></div></body></html> </div> <div class="revisedby"> <p> Last revised on December 11, 2022 at 17:03:52. See the <a href="/nlab/history/transgression" 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/transgression" accesskey="E" class="navlink" id="edit" rel="nofollow">Edit</a><a href="https://nforum.ncatlab.org/discussion/1155/#Item_89">Discuss</a><span class="backintime"><a href="/nlab/revision/transgression/33" accesskey="B" class="navlinkbackintime" id="to_previous_revision" rel="nofollow">Previous revision</a></span><a href="/nlab/show/diff/transgression" accesskey="C" class="navlink" id="see_changes" rel="nofollow">Changes from previous revision</a><a href="/nlab/history/transgression" accesskey="S" class="navlink" id="history" rel="nofollow">History (33 revisions)</a> <a href="/nlab/show/transgression/cite" style="color: black">Cite</a> <a href="/nlab/print/transgression" accesskey="p" id="view_print" rel="nofollow">Print</a> <a href="/nlab/source/transgression" id="view_source" rel="nofollow">Source</a> </div> </div> <!-- Content --> </div> <!-- Container --> </body> </html>