3
$\begingroup$

Hi, I'm actually physics student and I've not been able to understand how the following integration has been performed:

[...]

The fields e and A have support on these discrete structures. The $su(2)$-valued 1-form field $e$ is represented by the assignment of an $e \in su(2)$ to each 1-cell in $\Delta$. The connection field A is represented by the assignment of group elements $g_e \in SU(2)$ to each edge in $\mathcal{J}_\Delta$

The partition function is defined by

${\cal Z}(\Delta)=\int \prod_{f \in {\cal J}_{\Delta}} de_f\prod_{e \in {\cal J}_{\Delta}} dg_e e^{i {\rm Tr}\left[e_f U_f\right]}$

where $de_f$ is the regular Lebesgue measure on $R^3$, $dg_e$ is the Haar measure on $SU(2)$, and $U_f$ denotes the holonomy around faces, i.e., $U_f=g^1_e\dots g^{N}_e$ for $N$ being the number of edges bounding the corresponding face. Since $U_f \in SU(2)$ we can write it as $U_f=u^0_f\ {{1}} + F_f$ where $u^0_f\in C$ and $F_f \in su(2)$. $F_f$ is interpreted as the discrete curvature around the face $f$. Clearly ${\rm Tr}[e_f U_f]={\rm Tr}[e_f F_f]$. An arbitrary orientation is assigned to faces when computing $U_f$. We use the fact that faces in ${\cal J}_{\Delta}$ are in one-to-one correspondence with $1$-cells in $\Delta$ and label $e_f$ with a face subindex.

Integrating over $e_f$, we obtain

${\cal Z}(\Delta)=\int \ \prod_{e \in {\cal J}_{\Delta}} dg_e \prod_{f \in {\cal J}_{\Delta}}{\delta}(g^1_e\dots g^{N}_e),$

where $\delta$ corresponds to the delta distribution defined on ${\cal L}^2(SU(2))$.

[...]

The details are not important, what I need to understand is how the integration over the $e_f$'s has been performed

thanks

$\endgroup$

1 Answer 1

7
$\begingroup$

Whoever performed that integration is using the following fact from Fourier analysis:

The "delta function supported at the position 0" is the Fourier transform of the constant function 1.

$\delta(x) = \frac{1}{2\pi}\int_{\mathbb{R}} 1 e^{ikx}dk$

You can prove this by approximating the delta-function with a sequence of Gaussian bump functions. Fourier transforming Gaussians inverts the variance, so as the Gaussians approach a "delta function spike", their Fourier transforms approach a constant.

$\endgroup$
5
  • $\begingroup$ I know this fact; that the delta function is the Fourier transform of 1, but what bothers me here is that I have a trace in the exp! $\endgroup$
    – Pedro
    May 13, 2010 at 12:54
  • 1
    $\begingroup$ Trace defines a non-degenerate inner product on the Lie algebra $\mathfrak{su}(2)$. $\endgroup$
    – user1504
    May 13, 2010 at 13:09
  • $\begingroup$ So the expression on the exp is like a product of two elements in $\mathfrak{su}(2)$?? $\endgroup$
    – Pedro
    May 13, 2010 at 13:33
  • 1
    $\begingroup$ a sum of products, yes. $\endgroup$
    – user1504
    May 13, 2010 at 14:07
  • $\begingroup$ Merci beaucoup :-) $\endgroup$
    – Pedro
    May 13, 2010 at 15:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.