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 ...

  Group cohomology and condensed matter

+ 14 like - 0 dislike
3216 views

I am mystified by formulas that I find in the condensed matter literature (see Symmetry protected topological orders and the group cohomology of their symmetry group arXiv:1106.4772v6 (pdf) by Chen, Gu, Liu, and Wen). These formulas have been used in some very interesting work in condensed matter and I would like to know how to understand them.

I begin with the simplest case. Let $G$ be a finite group. One is given an element of $H^2(G,U(1))$ that is represented by an explicit $U(1)$-valued group cocycle $\nu(a,b,c)$. This is a homogeneous cocycle, $\nu(ga,gb,gc)=\nu(a,b,c)$ and obeys the standard cocycle condition $\nu(a,b,c)\nu^{-1}(a,b,d)\nu(a,c,d)\nu^{-1}(b,c,d)=1$ for $a,b,c,d\in G$.

Let $X=G\times G$ be the Cartesian product of two copies of $G$. We consider $G$ acting on $X=G\times G$ by left multiplication on each factor. The cocycle $\nu$ is then used to define a twisted action of $G$ on the complex-valued functions on $X$. For $g\in G$ and $\Phi: X\to \mathbb{C}$, the definition (eqn. 27 of the paper) is $$\hat g(\Phi)=g^*(\Phi) \Lambda(a,b;g)$$ where $g^*(\Phi)$ is the pullback of $\Phi$ by $g$ and (with $a,b\in G$ defining a point in $X=G\times G$, and $g_*$ an arbitrary element of $G$) $$\Lambda(a,b;g)=\frac{\nu(a,g^{-1}g_*,g_*)}{\nu(b,g^{-1}g_*,g_*)}.$$ It is shown in appendix F of the paper that this does given an action of $G$ on the functions on $X=G\times G$.

The authors also describe a version in one dimension more. In this case, $\nu(a,b,c,d)$ is a homogeneous cocycle representing an element of $H^3(G,U(1))$ and satisfying the usual cocycle relation and one takes $X=G\times G\times G\times G$ to be the Cartesian product of four copies of $G$. A twisted action of $G$ on the functions on $X$ is now defined by $$\hat g(\Phi)=g^*(\Phi) \Lambda(a,b,c,d;g)$$ with $$\Lambda(a,b,c,d;g)=\frac{\nu(a,b,g^{-1}g_*,g_*)\nu(b,c,g^{-1}g_*,g_*)}{\nu(d,c,g^{-1}g_*,g_*)\nu(a,d,g^{-1}g_*,g_*)}.$$ It is shown in appendix G that this does indeed give a twisted action of $G$ on the functions on $X$.

I presume there is supposed to be an analog of this in any dimension though I cannot see this stated explicitly.

Can anyone shed light on these formulas?


This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user Edward Witten

asked Aug 24, 2016 in Theoretical Physics by Edward Witten (180 points) [ revision history ]
edited Aug 27, 2016 by Dilaton
A trivial observation. Under the assumption that the group element $g_*$ is fixed in advance, rather than being any old element whose choice doesn't matter, for fixed $g$ the functions $\Lambda$ are coboundaries. Hence, again fixing a $g_*$, $\Lambda$ is a function from $G$ to the coboundaries, so you have a kind of 'conjugation' action of $G$ on $Hom(X,U(1))$ by pre- and post-multiplication using the obvious diagonal action on $X$ and multiplication on $U(1)$. As I said, trivial observation, but this would I hope make the generalisation to higher degree cocycles obvious.

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user David Roberts

1 Answer

+ 5 like - 1 dislike

The geometric interpretation for $1$-cocyles.

Recall the following construction due to Bisson and Joyal.

Let $p:P\rightarrow B$ be a covering space over the connected manifold $B$. Suppose that the fibres of $p$ are finite. For every topological space $X$, the polynomial functor $p(X)=\{ (u,b),b\in B, u:p^{-1}(b)\rightarrow X\}$ $p(X)$ is a total space of a bundle over $B$ whose fibres are $X^{p^{-1}(b)}$.

Here we suppose $B=BG$ the classifying bundle of $G$ and $p_G:EG\rightarrow BG$ the universal cover. We suppose that $X=U(1)$. The quotient of $EG\times Hom(G,U(1))$ by the diagonal action of $G$, where $G$ acts on $Hom(G,U(1))$ by the pullback.

$\hat g(\Phi)=g^*(\Phi)$

is the polynomial construction $p_G(X)$. It corresponds to $\Lambda=0$.

Remark that if we suppose that the action of $G$ on $U(1)$ is not trivial, we can define non zero $\Lambda$ and the definition:

$\hat g(\Phi)(a)=g^*(\Phi)\Lambda(a)$

defines a $U(1)^G$ bundle isomorphic to $p_G(X)$ and we can see these bundle as a deformation of the canonical flat connection of $p_G(U(1))$.

Interpretation of n-cocycles, n>1

2-cocycles classify gerbes or stacks. There is a notion of classifying space for gerbes. If $G$ is a commutative group, the classifying spaces of a $G$-gerbe is $K(G,2)$. Let $B_2G$ be the classifying space of the $G$-gerbes. The universal gerbe $p_G$ is a functor $:E_2G\rightarrow Ouv(B_2G)$ where $Ouv(B_2G)$ is the category of open subsets of $B_2G$. For every open subset $U$ of $B_2G$, an object of the fibre of $U$ is a $G$-bundle. We can generalize the Bisson Joyal construction here:

If $p_U:T_U\rightarrow U$ is an object of ${E_2G}_U$ the fibre of $U$, we define $p_U(X)$ the polynomial functor associated to $p_U$, we obtain a gerbe $E_2^XG$ such that for every open subset $U$ of $B_2G$, the fibre of $U$ are the bundles $p_U(X)$. Its classifying cocyle is defined by a covering $(U_i)_{i\in I}$ of $B_2G$ and $c_{ijk}: U_{ijk}\rightarrow U(1)^G$. Remark that if $\mu$ is a $U(1)$ valued $2$-cocycle, we can express $\Lambda$ with Cech cohomology and obtain a $2$-boundary $d_{ijk}$.

There exists a notion of connective structure on gerbes, a notion which represents a generalization of the notion of connection. The cocyle $c_{ijk}d_{ijk}$ is a deformation of the canonical flat connective structure defined on $E_2^{U(1)}G$.

For higher dimensional cocyles, there is a notion of $3$-gerbe, but for $n>3$, the notion of $n$-gerbes is not well understood since the notion of $n$-category which must be used to buil such a theory is not well-known also.

Bisson, T., Joyal, A. (1995). The Dyer-Lashof algebra in bordism. CR Math. Rep. Acad. Sci. Canada, 17(4), 135-140.

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user Tsemo Aristide
answered Aug 25, 2016 by Tsemo Aristide (40 points) [ no revision ]
In the question, $\Phi$ is a function on $G^2$ for $n=2$ and on $G^4$ for $n=3$, could you explain how does this fit into your picture?

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user მამუკა ჯიბლაძე
I believe you talking about the dimension of the cocycle, in the question homogeneous cocycles are considered, there is an equivalence between homogeneous and inohogeneous cocycles see math.stackexchange.com/questions/65531/…

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user Tsemo Aristide
Sorry, yes, I should explain, $n$ is dimension of the cocycle. In the question, to each 2-cocycle is assigned an action of $G$ on functions $\Phi:G^2\to\mathbb C$, while to each 3-cocycle is assigned an action of $G$ on functions $\Phi:G^4\to\mathbb C$, and I don't understand where in your picture such correspondences can appear, regardless whether one works with homogeneous or inhomogeneous cocycles.

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user მამუკა ჯიბლაძე
What I am using in my picture are Cech representations of cocycles, not chain representations.

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user Tsemo Aristide
My picture says that there "exists" an $n$-stack $p_nG^{U(n)}$ the $n$-objects of this "$n$-stack" are $U(1)^{G}$ bundles over open subsets of $B_nG$. $\Lambda$ can be used to deform the classifying cocycle of this "n-stack" and such a deformation may correspond to a deformation of the canonical flat "n-connective structure".

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user Tsemo Aristide
OK but how does this relate to functions on $G^2$ for $n=2$ and functions on $G^4$ for $n=3$?

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user მამუკა ჯიბლაძე
The point here is the fact that if you write the classifying cocycle for $n=2$ of the gerbe $p_2G(U(1))$, you start with a contractible cover $(U_i)_{i\in I}$ and takes an object $e_i$ in the fibre of $U_i$, let $e_i^j$ be the restriction of $e_i$ to $U_i\cap U_j$, you choose a morphism between $c_{ij}:e_j^i\rightarrow e_i^j$ this morphism is defined by a pullback by an element of $G$. To see this, consider the construction of Eilenberg MCLane space with simplices. In this sence the gerbe $p_2(U(1))$ corresponds to $\Lambda=0$. Then you deform with various $\Lambda$

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user Tsemo Aristide
That's precisely where I get confused: the $K(A,n)$ made of simplices, the way I know, gives numbers which do not explain to me how 2-cocycles should produce functions on $G^2$ and 3-cocycles functions on $G^4$. For $K(A,1)$ it starts with $0,A,A^2,A^3,...$, for $K(A,2)$ with $0,0,A,A^3,A^6,...$ and for $K(A,3)$ with $0,0,0,A,A^4,A^{10},...$

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user მამუკა ჯიბლაძე
Again, in my picture I don't write the cocycle $\mu$ expicitely. The IMPORTANT point is to construct a stack which corresponds to $\Lambda=0$, then to deform its classifying cocycle with $\Lambda$ for various $\Lambda$. I read $\hat g(\Phi)$ has a deformation of the case $\Lambda=0$,

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user Tsemo Aristide
To be more precise, the boundary $\Lambda$ constructed for the $3$-cocycle maybe use to deform the "polynomial stack" defined by $p_4^G(U(1))$.

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user Tsemo Aristide
Sorry I still don't get it. Do you mean that an $n$-cocycle can be used to deform some stack defined by $p_m^G(U(1))$ for any $n$ and any $m$?

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user მამუკა ჯიბლაძე
The point that you have raised I believe is the fact that the boundary $\Lambda$ defined by the $3$-cocycle $\nu$ is not a $3$-boundary, but a $4$-boundary, anyway $\Lambda$ maybe used to deform a stack in the appropriate dimension.

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user Tsemo Aristide
That's precisely what I want to understand - what exactly is this appropriate dimension? How does it depend on the dimension of the cocycle?

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user მამუკა ჯიბლაძე
The dimension of the stack used will depend of the boundary obtained. The goal of my answer is to give a geometric interpretation of the deformation obtained by the cocycle. I don't generalize the formula of $\Lambda$. What I claim is once we know $\Lambda$ it can be interpretated naturally as a deformation of an polynomial stack $P_{f(n)}^{U(1)}G$.

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user Tsemo Aristide
Thanks a lot, now I think I finally understand. So you only provide a geometric interpretation of what $\Lambda$ does, not a conceptual explanation of why $\Lambda$ is of this particular form, and why $f(2)=2$ and $f(3)=4$ (if I read these numbers correctly)?

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user მამუკა ჯიბლაძე
This is the purpose of my answer. Anyway for $n>3$, there does not exist a clear notion of gerbes, different authors have different approaches.

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user Tsemo Aristide
I see. Well, for me origin of the construction already in the $n=2$ case is a complete mystery. I cannot relate it with any known constructions I know.

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user მამუკა ჯიბლაძე
+1 for enduringly responding to questions - not all do that.

This post imported from StackExchange MathOverflow at 2016-08-27 09:42 (UTC), posted by SE-user tj_

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$ysicsOver$\varnothing$low
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
...