Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  Is central extension of a group equivalent to a bundle with gauge field?

+ 5 like - 0 dislike
1041 views

Let $\tilde G$ be a central extension of a group $G$ by $U(1)$.

One common elegant definition is that there should be a short exact sequence of groups: $0 \to U(1) \to \tilde G \to G \to 0$

However, it turns out that one can always find a function $\theta: G\times G \to [0,2\pi)$ such that we can identify $\boxed{\tilde G = G \times U(1)}$ with the group structure $\boxed{(g,e^{i\alpha}) * (h,e^{i\beta}) = (gh,e^{i(\theta(g,h)+\alpha+\beta)})} $.

This choice of $\theta$ is not unique: under the re-identification of $G \to G: (g,e^{i\alpha}) \to (g,e^{i(\rho(g)+\alpha)})$, we get $\boxed{\theta(g,h) \to \theta(g,h)+\rho(g)+\rho(h)-\rho(gh)}$. I will refer to this as a 'gauge transformation' of $\theta$. The information in $\theta$ independent of such choices (i.e. 'gauge invariant') is what is of interest (which is what group cohomology/Schur multiplier encodes).

Now suppose we have a 'loop' in $G$. By this I mean successive applications of group elements such that in the end we are back where we started. The simplest example is a 'loop' associated to two commuting elements: $ghg^{-1}h^{-1} = 1$. Here is why I call it a loop:

loop in the group

Now define the 'integral' of $\theta$ around this loop as follows: $\boxed{\oint \theta := \theta(1,g) + \theta(g,h) + \theta(gh,g^{-1}) + \theta(ghg^{-1},h^{-1})}$

One can check that this is in fact the same for all possible $\theta$. It is a gauge invariant quantity.

More generally, if we have the loop defined by $g_1 g_2 \cdots g_N = 1$, then the integral defined by $\oint \theta := \sum_{n=1}^N \theta \left( \prod_{k=0}^{n-1} g_k, g_n\right) $ is gauge invariant. (Convention: $g_0 = 1$)

My question is the following: can one interpret a central extension of $G$ as being equivalent to some kind of '$U(1)$-bundle' defined on $G$, where $\theta$ plays the role of a sort of connection/gauge field, such that $\oint \theta$ then coincides with its holonomy/Wilson loop?


This post imported from StackExchange MathOverflow at 2016-02-25 22:03 (UTC), posted by SE-user Ruben Verresen

asked Jan 15, 2016 in Mathematics by Ruben Verresen (205 points) [ revision history ]
edited Feb 25, 2016 by Dilaton
If $G$ and $\tilde{G}$ are meant to be topological (Hausdorff) groups and the extension is topological, this should be specified.

This post imported from StackExchange MathOverflow at 2016-02-25 22:03 (UTC), posted by SE-user YCor
I am indeed not assuming this. For example even $G = \mathbb Z_2 \oplus \mathbb Z_2$ could apply, as this allows for non-trivial loops. That is why some of my words (such as 'bundle') are in scare quotes. The usual place where I see things as bundles/connections/holonomy, is in the context of manifolds, but here it seems that similar concepts apply (e.g. this 'gauge field' $\theta$ whose 'integral' around loops is gauge invariant, etc) whereas the basic context is different. That is exactly why I ask the question: is there a similar treatment as bundles, even though I don't assume a manifold?

This post imported from StackExchange MathOverflow at 2016-02-25 22:03 (UTC), posted by SE-user Ruben Verresen
Look at Willerton, arxiv.org/pdf/math/0503266v1.pdf

This post imported from StackExchange MathOverflow at 2016-02-25 22:03 (UTC), posted by SE-user AHusain
AHusain, thanks for the link. It does look interesting, but I am not well-acquainted with this type of mathematics. Is there a particular section you refer me to? In section 2.3 (p16-17), Willerton talks about how two-cycles (which my above $\theta$ is) lead to gerbes. Are you implying such a gerbe is the answer to my above question?

This post imported from StackExchange MathOverflow at 2016-02-25 22:03 (UTC), posted by SE-user Ruben Verresen
Yes. See page 6 for a summary. You have set n=2.

This post imported from StackExchange MathOverflow at 2016-02-25 22:03 (UTC), posted by SE-user AHusain

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOv$\varnothing$rflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...