<p>We introduce the <i>Lax–Kirchhoff moduli space</i> associated with a finite quiver <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> and a compact connected Lie group <i>G</i>. On each oriented edge we consider the Lax equation <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\dot{A}_1 + [A_0, A_1] = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover accent="true"> <mi>A</mi> <mo>˙</mo> </mover> <mn>1</mn> </msub> <mo>+</mo> <mrow> <mo stretchy="false">[</mo> <msub> <mi>A</mi> <mn>0</mn> </msub> <mo>,</mo> <msub> <mi>A</mi> <mn>1</mn> </msub> <mo stretchy="false">]</mo> </mrow> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and impose a Kirchhoff-type matching condition for the fields <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(A_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> at interior vertices. Modulo gauge transformations trivial on the boundary, this yields a moduli space <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {M}(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">M</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We prove that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {M}(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">M</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a finite-dimensional smooth symplectic manifold carrying a Hamiltonian action of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(G^{\partial \Gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>G</mi> <mrow> <mi>∂</mi> <mi mathvariant="normal">Γ</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> whose moment map records the boundary values of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(A_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>. Analytically, we construct slices for the infinite-dimensional gauge action and realize <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {M}(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">M</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> by Marsden–Weinstein reduction. For the quiver consisting of a single edge, we recover the classical identification <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {M} \cong T^*G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">M</mi> <mo>≅</mo> <msup> <mi>T</mi> <mo>∗</mo> </msup> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation>. In general, we identify <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {M}(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">M</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with a symplectic reduction of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(T^*G^E\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>T</mi> <mo>∗</mo> </msup> <msup> <mi>G</mi> <mi>E</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> by <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(G^{\Gamma _{\textrm{int}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>G</mi> <msub> <mi mathvariant="normal">Γ</mi> <mtext>int</mtext> </msub> </msup> </math></EquationSource> </InlineEquation>, where <i>E</i> is the set of edges and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\Gamma _{\textrm{int}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mtext>int</mtext> </msub> </math></EquationSource> </InlineEquation> is the set of interior vertices. We further show that <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathcal {M}(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">M</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is invariant under quiver homotopies, implying that it depends only on the surface with boundary obtained by thickening <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>. We then assemble these spaces into a two-dimensional topological quantum field theory valued in a category of Hamiltonian spaces.</p>

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

Lax–Kirchhoff moduli spaces and Hamiltonian 2D TQFT

  • Mohamed Moussadek Maiza,
  • Maxence Mayrand

摘要

We introduce the Lax–Kirchhoff moduli space associated with a finite quiver \(\Gamma \) Γ and a compact connected Lie group G. On each oriented edge we consider the Lax equation \(\dot{A}_1 + [A_0, A_1] = 0\) A ˙ 1 + [ A 0 , A 1 ] = 0 and impose a Kirchhoff-type matching condition for the fields \(A_1\) A 1 at interior vertices. Modulo gauge transformations trivial on the boundary, this yields a moduli space \(\mathcal {M}(\Gamma )\) M ( Γ ) . We prove that \(\mathcal {M}(\Gamma )\) M ( Γ ) is a finite-dimensional smooth symplectic manifold carrying a Hamiltonian action of \(G^{\partial \Gamma }\) G Γ whose moment map records the boundary values of \(A_1\) A 1 . Analytically, we construct slices for the infinite-dimensional gauge action and realize \(\mathcal {M}(\Gamma )\) M ( Γ ) by Marsden–Weinstein reduction. For the quiver consisting of a single edge, we recover the classical identification \(\mathcal {M} \cong T^*G\) M T G . In general, we identify \(\mathcal {M}(\Gamma )\) M ( Γ ) with a symplectic reduction of \(T^*G^E\) T G E by \(G^{\Gamma _{\textrm{int}}}\) G Γ int , where E is the set of edges and \(\Gamma _{\textrm{int}}\) Γ int is the set of interior vertices. We further show that \(\mathcal {M}(\Gamma )\) M ( Γ ) is invariant under quiver homotopies, implying that it depends only on the surface with boundary obtained by thickening \(\Gamma \) Γ . We then assemble these spaces into a two-dimensional topological quantum field theory valued in a category of Hamiltonian spaces.