<p>We study the deformation theory of holomorphic principal bundles over compact Riemann surfaces through symmetry analysis. Since the base curve has complex dimension one, the cohomological obstruction group <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(H^2(X, {{\,\textrm{Ad}\,}}(P))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mrow> <mspace width="0.166667em" /> <mtext>Ad</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>P</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> vanishes for any coherent sheaf, so stable principal bundles are unobstructed and the moduli space is smooth at every stable point. We establish explicit dimensional formulas for the deformation spaces: for semisimple groups, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\dim H^1(X, {{\,\textrm{Ad}\,}}(P)) = \dim (\mathfrak {g})(g-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <msup> <mi>H</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mrow> <mspace width="0.166667em" /> <mtext>Ad</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>P</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>dim</mo> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>g</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, depending only on the Lie algebra and the genus of the curve. We prove that automorphisms of the base curve induce natural linear representations on cohomology spaces preserving the cup product structure, and establish descent theorems relating equivariant deformations to cohomology on quotient surfaces. For bundles admitting reductions to maximal tori, we characterize deformations preserving these reductions and compute their dimensions, deriving closed-form formulas for all classical groups <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({{\,\textrm{SL}\,}}(n,\mathbb {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>SL</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textrm{Sp}(2n,\mathbb {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Sp</mtext> <mo stretchy="false">(</mo> <mn>2</mn> <mi>n</mi> <mo>,</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textrm{SO}(n,\mathbb {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>SO</mtext> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We further prove that no non-zero deformation of a torus reduction is invariant under the full Weyl group for any classical simple group. As applications to hyperelliptic curves, we identify the <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>-invariant deformation space with a parabolic cohomology group via the Mehta–Seshadri correspondence, and prove that all deformations of a <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>-equivariant torus reduction are <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>-anti-invariant, forming a space of dimension&#xa0;<i>g</i>.</p>

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

Dimensions and Symmetry Actions in the Deformation Theory of Principal Bundles over Riemann Surfaces

  • Álvaro Antón-Sancho

摘要

We study the deformation theory of holomorphic principal bundles over compact Riemann surfaces through symmetry analysis. Since the base curve has complex dimension one, the cohomological obstruction group \(H^2(X, {{\,\textrm{Ad}\,}}(P))\) H 2 ( X , Ad ( P ) ) vanishes for any coherent sheaf, so stable principal bundles are unobstructed and the moduli space is smooth at every stable point. We establish explicit dimensional formulas for the deformation spaces: for semisimple groups, \(\dim H^1(X, {{\,\textrm{Ad}\,}}(P)) = \dim (\mathfrak {g})(g-1)\) dim H 1 ( X , Ad ( P ) ) = dim ( g ) ( g - 1 ) , depending only on the Lie algebra and the genus of the curve. We prove that automorphisms of the base curve induce natural linear representations on cohomology spaces preserving the cup product structure, and establish descent theorems relating equivariant deformations to cohomology on quotient surfaces. For bundles admitting reductions to maximal tori, we characterize deformations preserving these reductions and compute their dimensions, deriving closed-form formulas for all classical groups \({{\,\textrm{SL}\,}}(n,\mathbb {C})\) SL ( n , C ) , \(\textrm{Sp}(2n,\mathbb {C})\) Sp ( 2 n , C ) , and \(\textrm{SO}(n,\mathbb {C})\) SO ( n , C ) . We further prove that no non-zero deformation of a torus reduction is invariant under the full Weyl group for any classical simple group. As applications to hyperelliptic curves, we identify the \(\tau \) τ -invariant deformation space with a parabolic cohomology group via the Mehta–Seshadri correspondence, and prove that all deformations of a \(\tau \) τ -equivariant torus reduction are \(\tau \) τ -anti-invariant, forming a space of dimension g.