Topological tensor product: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Sullivan.t.j
en>Yobot
m WP:CHECKWIKI error fixes using AWB (10093)
 
Line 1: Line 1:
{{Unreferenced|date=December 2009}}
The [http://www.videokeren.com/blog/14593 at home std test] name of the writer is [http://www.Pinaydiaries.com/blog/104745 over the counter std test] Numbers but it's not the most masucline title out there. South Dakota is where I've always been living. I used to be unemployed but now I am a [http://Www.Pccwichita.org/stdschart librarian] and the salary has been truly fulfilling. One of the things she enjoys at home std testing most is to study comics and she'll std testing at home be beginning some thing else along with it.<br><br>Also visit my homepage; [http://flashtrue.com/stay-yeast-infection-free-using-these-useful-tips/ std testing at home]
 
'''Fujikawa's method''' is a way of deriving the [[chiral anomaly]] in [[quantum field theory]].
 
Suppose given a [[Fermionic field#Dirac fields|Dirac field]] ψ which transforms according to a ρ [[representations of Lie groups|representation]] of the [[compact Lie group]] ''G''; and we have a background [[connection form]] of taking values in the [[Lie algebra]] <math>\mathfrak{g}\,.</math> The [[Dirac operator]] (in [[Feynman slash notation]]) is
:<math>D\!\!\!\!/\ \stackrel{\mathrm{def}}{=}\  \partial\!\!\!/ + i A\!\!\!/</math>
and the fermionic action is given by
:<math>\int d^dx\, \overline{\psi}iD\!\!\!\!/ \psi</math>
The [[partition function (quantum field theory)|partition function]] is
:<math>Z[A]=\int \mathcal{D}\overline{\psi}\mathcal{D}\psi e^{-\int d^dx \overline{\psi}iD\!\!\!\!/\psi}.</math>
 
The [[axial symmetry]] transformation goes as
:<math>\psi\to e^{i\gamma_{d+1}\alpha(x)}\psi\,</math>
:<math>\overline{\psi}\to \overline{\psi}e^{i\gamma_{d+1}\alpha(x)}</math>
:<math>S\to S + \int d^dx \,\alpha(x)\partial_\mu\left(\overline{\psi}\gamma^\mu\gamma^5\psi\right)</math>
Classically, this implies that the chiral current, <math>j_{d+1}^\mu \equiv \overline{\psi}\gamma^\mu\gamma^5\psi</math> is conserved, <math>0 = \partial_\mu j_{d+1}^\mu</math>.
 
Quantum mechanically, the chiral current is not conserved: Jackiw discovered this due to the non-vanishing of a triangle diagram. Fujikawa reinterpreted this as a change in the partition function measure under a chiral transformation. To calculate a change in the measure under a chiral transformation, first consider the dirac fermions in a basis of eigenvectors of the [[Dirac operator]]:
:<math>\psi = \sum\limits_{i}\psi_ia^i,</math>
:<math>\overline\psi = \sum\limits_{i}\psi_ib^i,</math>
where <math>\{a^i,b^i\}</math> are [[Grassmann]] valued coefficients, and <math>\{\psi_i\}</math> are eigenvectors of the [[Dirac operator]]:
:<math>D\!\!\!\!/ \psi_i = -\lambda_i\psi_i.</math>
The eigenfunctions are taken to be orthonormal with respect to integration in d-dimensional space,
:<math>\delta_i^j = \int\frac{d^dx}{(2\pi)^d}\psi^{\dagger j}(x)\psi_i(x).</math>
The measure of the path integral is then defined to be:
:<math>\mathcal{D}\psi\mathcal{D}\overline{\psi} = \prod\limits_i da^idb^i</math>
 
Under an infinitesimal chiral transformation, write
:<math>\psi \to \psi^\prime = (1+i\alpha\gamma_{d+1})\psi = \sum\limits_i \psi_ia^{\prime i},</math>
:<math>\overline\psi \to \overline{\psi}^\prime = \overline{\psi}(1+i\alpha\gamma_{d+1}) = \sum\limits_i \psi_ib^{\prime i}.</math>
The [[Jacobian]] of the transformation can now be calculated, using the [[orthonormality]] of the [[eigenvectors]]
:<math>C^i_j \equiv \left(\frac{\delta a}{\delta a^\prime}\right)^i_j = \int d^dx \,\psi^{\dagger i}(x)[1-i\alpha(x)\gamma_{d+1}]\psi_j(x) = \delta^i_j\, - i\int d^dx \,\alpha(x)\psi^{\dagger i}(x)\gamma_{d+1}\psi_j(x).</math>
The transformation of the coefficients <math>\{b_i\}</math> are calculated in the same manner. Finally, the quantum measure changes as
:<math>\mathcal{D}\psi\mathcal{D}\overline{\psi} = \prod\limits_i da^i db^i = \prod\limits_i da^{\prime i}db^{\prime i}{\det}^{-2}(C^i_j),</math>
where the [[Jacobian]] is the reciprocal of the determinant because the integration variables are Grassmannian, and the 2 appears because the a's and b's contribute equally. We can calculate the determinant by standard techniques:
:<math>\begin{align}{\det}^{-2}(C^i_j) &= \exp\left[-2{\rm tr}\ln(\delta^i_j-i\int d^dx\, \alpha(x)\psi^{\dagger i}(x)\gamma_{d+1}\psi_j(x))\right]\\
&= \exp\left[2i\int d^dx\, \alpha(x)\psi^{\dagger i}(x)\gamma_{d+1}\psi_i(x)\right]\end{align}</math>
to first order in α(x).
 
Specialising to the case where α is a constant, the [[Jacobian]] must be regularised because the integral is ill-defined as written. Fujikawa employed [[Zeta_function_regularization#Heat_kernel_regularization|heat-kernel regularization]], such that
:<math>\begin{align}-2{\rm tr}\ln C^i_j &= 2i\lim\limits_{M\to\infty}\alpha\int d^dx \,\psi^{\dagger i}(x)\gamma_{d+1} e^{-\lambda_i^2/M^2}\psi_i(x)\\
&= 2i\lim\limits_{M\to\infty}\alpha\int d^dx\, \psi^{\dagger i}(x)\gamma_{d+1} e^{{D\!\!\!\!/}^2/M^2}\psi_i(x)\end{align}</math>
(<math>{D\!\!\!\!/}^2</math> can be re-written as <math>D^2+\tfrac{1}{4}[\gamma^\mu,\gamma^\nu]F_{\mu\nu}</math>, and the eigenfunctions can be expanded in a plane-wave basis)
:<math>= 2i\lim\limits_{M\to\infty}\alpha\int d^dx\int\frac{d^dk}{(2\pi)^d}\int\frac{d^dk^\prime}{(2\pi)^d} \psi^{\dagger i}(k^\prime)e^{ik^\prime x}\gamma_{d+1} e^{-k^2/M^2+1/(4M^2)[\gamma^\mu,\gamma^\nu]F_{\mu\nu}}e^{-ikx}\psi_i(k)</math>
:<math>= -\frac{-2\alpha}{(2\pi)^{d/2}(\frac{d}{2})!}(\tfrac{1}{2}F)^{d/2},</math>
 
after applying the completeness relation for the eigenvectors, performing the trace over γ-matrices, and taking the limit in M.  The result is expressed in terms of the [[field strength]] 2-form, <math>F \equiv F_{\mu\nu}\,dx^\mu\wedge dx^\nu\,.</math>
 
This result is equivalent to <math>(\tfrac{d}{2})^{\rm th}</math> [[Chern class]] of the <math>\mathfrak{g}</math>-bundle over the d-dimensional base space, and gives the [[chiral anomaly]], responsible for the non-conservation of the chiral current.
 
{{DEFAULTSORT:Fujikawa Method}}
[[Category:Anomalies in physics]]

Latest revision as of 14:30, 5 May 2014

The at home std test name of the writer is over the counter std test Numbers but it's not the most masucline title out there. South Dakota is where I've always been living. I used to be unemployed but now I am a librarian and the salary has been truly fulfilling. One of the things she enjoys at home std testing most is to study comics and she'll std testing at home be beginning some thing else along with it.

Also visit my homepage; std testing at home