In mathematics , flat relationships in geometry and gauge theory are important.
definition
Be a Lie group and a - Principal bundle .
G
{\ displaystyle G}
π
:
E.
→
M.
{\ displaystyle \ pi: E \ rightarrow M}
G
{\ displaystyle G}
A flat connection is a connection whose curvature form vanishes
.
ω
∈
Ω
1
(
E.
,
G
)
{\ displaystyle \ omega \ in \ Omega ^ {1} (E, {\ mathfrak {g}})}
Ω
: =
d
ω
+
1
2
[
ω
,
ω
]
=
0
{\ displaystyle \ Omega: = d \ omega + {\ frac {1} {2}} \ left [\ omega, \ omega \ right] = 0}
From Ambrose-Singer's theorem it follows that a -principal bundle with a flat connection is a flat bundle of form
G
{\ displaystyle G}
E.
ρ
: =
M.
~
×
G
/
∼
{\ displaystyle E _ {\ rho}: = {\ widetilde {M}} \ times G / \ sim}
with (abhängende from the flat connection) for a representation is. is the name of the holonomy representation of the flat context.
(
γ
x
,
G
)
∼
(
x
,
ρ
(
γ
)
G
)
{\ displaystyle (\ gamma x, g) \ sim (x, \ rho (\ gamma) g)}
ρ
:
π
1
M.
→
G
{\ displaystyle \ rho \ colon \ pi _ {1} M \ to G}
ρ
{\ displaystyle \ rho}
Module space with flat connections
The space of all relationships of a given principal bundle is with the topology. The subspace of flat connections is denoted by. The gauge group acts on through , it forms from within itself.
A.
: =
Ω
1
(
M.
,
G
)
{\ displaystyle {\ mathcal {A}}: = \ Omega ^ {1} (M, {\ mathfrak {g}})}
C.
∞
{\ displaystyle C ^ {\ infty}}
A.
F.
{\ displaystyle {\ mathcal {A}} _ {F}}
G
=
C.
∞
(
M.
,
G
)
{\ displaystyle {\ mathcal {G}} = C ^ {\ infty} (M, G)}
A.
{\ displaystyle {\ mathcal {A}}}
G
ω
=
G
-
1
ω
G
+
G
-
1
d
G
{\ displaystyle g \ omega = g ^ {- 1} \ omega g + g ^ {- 1} dg}
A.
F.
{\ displaystyle {\ mathcal {A}} _ {F}}
If the bundle is (topologically) trivializable, the holonomy representation mediates a bijection between
A.
F.
/
G
{\ displaystyle {\ mathcal {A}} _ {F} / {\ mathcal {G}}}
and a connected component of the representation variety
H
O
m
(
π
1
M.
,
G
)
/
c
O
n
j
u
G
a
t
i
O
n
{\ displaystyle Hom (\ pi _ {1} M, G) / conjugation}
.
The module space of flat connections is
M.
=
A.
F.
/
G
{\ displaystyle {\ mathcal {M}} = {\ mathcal {A}} _ {F} / {\ mathcal {G}}}
.
Its tangent space in a flat connection is
A.
∈
M.
{\ displaystyle A \ in {\ mathcal {M}}}
T
A.
M.
=
H
1
(
M.
,
d
A.
)
{\ displaystyle T_ {A} {\ mathcal {M}} = H ^ {1} (M, d_ {A})}
With
d
A.
a
=
d
a
+
[
A.
,
a
]
{\ displaystyle d_ {A} a = da + \ left [A, a \ right]}
for .
A.
∈
M.
,
a
∈
Ω
∗
(
M.
,
G
)
{\ displaystyle A \ in {\ mathcal {M}}, a \ in \ Omega ^ {*} (M, {\ mathfrak {g}})}
The set of Narasimhan-Seshadri identifies the module room flat correlations above a compact Riemann surface with a complex manifold , namely the multiplicity of stable vector bundle over .
Σ
{\ displaystyle \ Sigma}
Σ
{\ displaystyle \ Sigma}
swell
↑ Narasimhan, Seshadri: Stable and Unitary Vector Bundles on a Compact Riemann Surface
↑ Donaldson: A new proof of a theorem of Narasimhan and Seshadri ( Memento of the original from February 1, 2017 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. @1 @ 2 Template: Webachiv / IABot / projecteuclid.org
Web links
<img src="https://de.wikipedia.org//de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">