I am reading Hitchin’s Self-Duality paper. In section 5 (page 85), he is trying to prove that $Dim H^1=12(g-1)$. In doing so, he defines an operator $d^*_2+d_1$, where $d^*_2$ and $d_1$ are given by

$d_1dot{psi}=(d_{A}dot{psi},[Phi, dot{psi}])$

$d_2(dot{A},dot{Phi})=(d_Adot{A}+[dot{Phi},Phi^*]+[Phi,dot{Phi}^*], d^{primeprime}_{A}dot{Phi}+[dot{A}^{0,1},Phi])$

Then, he claims that $(d^*_2+d_1)(psi_1,psi_2)=0$ if and only if

$d^{primeprime}_{A}psi_1

+[Phi^*,psi_2]=0$

$d^{prime}_{A}psi_2

+[Phi,psi_1]=0$

I am not able to derive this fact, and I spent quiet a lot of time on this, but unfortunately was not able to prove it. He says that he obtains this by calculating the explicit form of adjoint of $d_2$. I was not able to perform this calculation. I am new to the subject, and I would really appreciate any help, or ideas on how to prove this. Thanks!

P.S. I know that a co-differential is defined by $ d^{*}=(−1)^{n(k-1)+1}*d*:Omega^{k}to Omega^{k-1}$ where $*$ in the definition is Hodge star, and this is the adjoint of exterior derivative with respect to $L^2$ norm. But how would one apply hodge operator in this setting, or even use $L^2$ to get $d^*$.

MathOverflow Asked on February 5, 2021

1 AnswersThe operator $$ d_2^*+d_1colon Omega^0(M,ad Potimesmathbb C)oplusOmega^0(M,ad Potimes mathbb C)toOmega^{0,1}(M,ad Potimes mathbb C)oplusOmega^{1,0}(M,ad Potimes mathbb C)$$ is just the sum of $d_1$ and $d_2^*,$ and it suffices to describe these two operators using the identification $$Omega^{0,1}(M,ad Potimesmathbb C)=Omega^1(M,ad P).$$ We decompose $psi_1inOmega^0(M,ad Potimesmathbb C)$ into real and imaginary parts $$psi_1=omega+i eta$$ for $omega,etain Omega^0(M,ad P),$ and let $d_1$ act on the real part ($omega$) and $d_2^*$ on the imaginary part ($eta$).

Then, we have $$d_1(psi_1,psi_2)=((d_Aomega)^{0,1},[Phi,omega])=(d_A''omega,[Phi,omega])$$ by definition. The dual of the operator $$d_A''colonOmega^{1,0}(M,ad Potimes mathbb C)to Omega^2(M,ad Potimes mathbb C); ; psi_2mapsto d_A''psi_2$$ is by Serre duality the operator $$d_A''colon Omega^0(M,ad Potimes mathbb C)to Omega^{0,1}(M,ad Potimes mathbb C);; psi_2mapsto d_A''psi_2,$$ and using the hermitian metric and the fact that $d_A$ is unitary the adjoint operator gets identified with $$d_A'colon Omega^0(M,ad Potimes mathbb C)to Omega^{1,0}(M,ad Potimes mathbb C);; psi_2mapsto d_A'psi_2.$$ The adjoint of the operator $$phiinOmega^2(M,ad P)mapsto ([phi,Phi^*]+[Phi,phi^*])^{0,1}inOmega^{0,1}(M,ad P)$$ becomes $$psi_2mapsto -[psi_2,Phi^*]$$ ( taking the $i-$ part into account).

It remains to describe the operator $d_2^*$ acting on the imaginary part $ieta$ of $psi_1.$ As above, this becomes $$d_2^*((ieta))=(id_A''eta,i[Phi,eta]).$$ Putting together the pieces proves the claim.

Answered by Sebastian on February 5, 2021

1 Asked on January 1, 2022 by lawrence-mouill

curvature dg differential geometry metric spaces mg metric geometry riemannian geometry

1 Asked on January 1, 2022 by powertothepeople

2 Asked on December 29, 2021 by lao-tzu

1 Asked on December 29, 2021 by dimitri-koshelev

ag algebraic geometry algebraic curves birational geometry calabi yau elliptic curves

1 Asked on December 29, 2021

1 Asked on December 27, 2021

1 Asked on December 27, 2021 by bence-racsk

dg differential geometry gauge theory mp mathematical physics principal bundles reference request

1 Asked on December 27, 2021

1 Asked on December 27, 2021 by mcjr

0 Asked on December 27, 2021

1 Asked on December 27, 2021

2 Asked on December 27, 2021 by francesco-genovese

at algebraic topology homological algebra kt k theory and homology model categories

0 Asked on December 27, 2021

0 Asked on December 25, 2021

1 Asked on December 25, 2021

dg differential geometry ds dynamical systems flows symbolic dynamics

2 Asked on December 25, 2021

28 Asked on December 21, 2021 by kevin-buzzard

1 Asked on December 21, 2021

cv complex variables nt number theory riemann hypothesis riemann zeta function

0 Asked on December 21, 2021 by yupbank

Get help from others!

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

Recent Answers

- kjetil b halvorsen on How to test consistency of responses?
- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Philipp on How do i draw a ray in unity
- eric_kernfeld on How to test consistency of responses?

© 2022 AnswerBun.com. All rights reserved.