<p>Let <i>X</i> be a compact Riemann surface. The famous Narasimhan-Seshadri theorem [<CitationRef CitationID="CR15">15</CitationRef>] of 1965 uses the Grothendieck construction [<CitationRef CitationID="CR5">5</CitationRef>] of 1956 that associates vector bundles <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({{\mathbb {E}}}(\sigma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">E</mi> <mo stretchy="false">(</mo> <mi>σ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> on <i>X</i> to representations <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation> of a certain Fuchsian group <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation>. Narasimhan and Seshadri show that by taking the representations <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation> to be irreducible unitary of a certain kind, this exactly gives all stable vector bundles on <i>X</i> of a given rank and degree. In this note we reformulate the correspondence from representations to bundles, which leads to simpler statements and proofs. The Fuchsian group <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> is replaced by the punctured fundamental group <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\pi _1(X-x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>π</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>-</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(x\in X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>. The Grothendieck bundles <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\({{\mathbb {E}}}(\sigma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">E</mi> <mo stretchy="false">(</mo> <mi>σ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> then become Deligne’s logarithmic extensions to <i>X</i> of bundles with connections on <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(X-x\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>-</mo> <mi>x</mi> </mrow> </math></EquationSource> </InlineEquation> associated to representations of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\pi _1(X-x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>π</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>-</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with scalar local monodromy. We also report how some ideas from algebraic geometry (which were all in place by 1970) have simplified some aspects of the original proof over the decades. This simplified approach works equally well for all values of the genus <i>g</i>, removing the restriction <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(g\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> in the 1965 original. Finally, we comment that such a logarithmic reformulation extends to related kinds of bundles such as principal bundles with reductive structure groups or parabolic bundles.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Narasimhan-Seshadri Theorem revisited

  • Nitin Nitsure

摘要

Let X be a compact Riemann surface. The famous Narasimhan-Seshadri theorem [15] of 1965 uses the Grothendieck construction [5] of 1956 that associates vector bundles \({{\mathbb {E}}}(\sigma )\) E ( σ ) on X to representations \(\sigma \) σ of a certain Fuchsian group \(\pi \) π . Narasimhan and Seshadri show that by taking the representations \(\sigma \) σ to be irreducible unitary of a certain kind, this exactly gives all stable vector bundles on X of a given rank and degree. In this note we reformulate the correspondence from representations to bundles, which leads to simpler statements and proofs. The Fuchsian group \(\pi \) π is replaced by the punctured fundamental group \(\pi _1(X-x)\) π 1 ( X - x ) where \(x\in X\) x X . The Grothendieck bundles \({{\mathbb {E}}}(\sigma )\) E ( σ ) then become Deligne’s logarithmic extensions to X of bundles with connections on \(X-x\) X - x associated to representations of \(\pi _1(X-x)\) π 1 ( X - x ) with scalar local monodromy. We also report how some ideas from algebraic geometry (which were all in place by 1970) have simplified some aspects of the original proof over the decades. This simplified approach works equally well for all values of the genus g, removing the restriction \(g\ge 2\) g 2 in the 1965 original. Finally, we comment that such a logarithmic reformulation extends to related kinds of bundles such as principal bundles with reductive structure groups or parabolic bundles.