2
votes
1answer
204 views

How to calculate the first and second homotopy groups of the following space constructed from $U(4)$

In solving a physics problem, I came across a weird topological space constructed from $U(4)$, the group of $4\times4$ unitary matrices. I want to know the first two homotopy groups of it. Here is how ...
6
votes
0answers
126 views

Characterize spin cobordism invariants in dimer models

The paper by Cimasoni and Reshetikhin http://arxiv.org/abs/math-ph/0608070 shows that one can map problems about spin structures on a Riemann surface into problems about dimmer configurations on a ...
6
votes
2answers
376 views

Can eta invariant be written in terms of topological data?

The eta invariant was introduced by Atiyah, Patodi, and Singer. It roughly measures the asymmetry of the spectrum of a self-adjoint elliptic operator with respect to the origin. In ...
1
vote
1answer
184 views

How to classify continuous/differentiable maps from $T^2$ to $U(N)$?

I read a physics paper, of which the main idea is based on the topological classification of maps from 3-torus to the space of $N\times N$ unitary matrices. To quote their equation (4), which gives a ...
0
votes
0answers
141 views

Metalinear frame bundle on sphere or $\mathbb{C}P^n$

Let $M$ be a smooth manifold. A complex metalinear frame bundle $\tilde F(P)\to M$ of a rank $n$ complex vector bundle $P\to M$ is a principal $ML(n,\mathbb{C})$-bundle together with a covering map ...
1
vote
2answers
492 views

Uniqueness on square root of complex Line Bundle

Let $L$ be a line bundle over a compex manifold $X$, a square-root of $L$ is a line bundle $M$ such that $M^{\otimes2}=L$. My question is when the square-root of Line Bundle is unique?
15
votes
1answer
610 views

Combinatorial spin structures

I would like to know how to define spin structures combinatorially, for an oriented smooth manifold equipped with a triangulation. In the case of a 2d manifold, spin structures correspond to ...
7
votes
0answers
68 views

Explicit expression of WZ term for orthogonal groups

Consider the Wess Zumino term on the the space $W=I\times D$, where D is a two dimensional disk disk and $I$ is an interval, $[0,1]$, say, i.e., $$ \int_{I\times D} \langle(u^{-1} \, du)^3\rangle $$ ...
7
votes
2answers
308 views

Computing a cobordism group of manifolds endowed with a real vector bundle with constraints on the Stiefel-Whitney classes

I am interested in computing the cobordism group of oriented manifolds $M$ of dimension 7 endowed with real vector bundles $N$ of rank 5 with the following conditions on the Siefel-Whitney classes: $ ...
4
votes
1answer
483 views

Dijkgraaf-Witten TQFT vs. Representation Theory?

From what I had read, group characters can be "glued" together in a topological fashion and there is something to this effect in the paper by Dijkgraaf and Witten. TQFT seems to be a topological ...
7
votes
1answer
285 views

BRST cohomology definition

Is there written anywhere a full definition of BRST cohomology? All I have found so far is BRST cohomology in _______. As far as I can see, BRST cohomology is the ...
2
votes
1answer
243 views

Explicit 2-Cocycles of G=Z2×Z2xZ2 over U(1)

We know that group cohomology $H^2(G,U(1))$ consists of 2-cocycles $\beta(A,B)\in U(1)$ corresponding to elements in the group $H^2(G,U(1))$, where $A\in G,B \in G$. Note that $\beta(A,B)$ satisfies ...
7
votes
3answers
449 views

Homotopy classes of maps to Lie groups

In Physics one often encounters maps from a certain manifold $M$ to a Lie group $G$. For example, in gauge theories, this gives a gauge transformation, wich is a symmetry of a theory. It is then ...
1
vote
3answers
344 views

Explicit model of BSU(2) in terms of singular complex

What is the explicit model of BSU(2) in terms of singular complex, up to 5 dimensions, so that one can compute $\pi_5(BSU(2))=\mathbb{Z}_2$ explicitly? This question is related to another question of ...
1
vote
1answer
298 views

$\pi$-cohomology class — a variant of cohomology class

Let $X$ be a topological space with a triangulation. The triangulation defines a chain complex in $X$. Let $\mu_d$ be a cochain and $M^d$ be a chain. We use $< \mu_d, M^d > \in M$ to denote ...
13
votes
1answer
1k views

The Dedekind Eta Function in Physics

This interesting little fellow popped up in some operator algebra (Witt / Virasoro Lie algebra) I was exploring, so I've been curious about where else the Dedekind $\eta$-function makes a cameo ...
1
vote
2answers
413 views

Can a sphere be a phase space?

Put in other words, given an even-dimensional sphere $S^{2k}$: is there a manifold $M$ such that $T^* M$ is diffeomorphic to $S^{2k}$?
0
votes
1answer
441 views

sign of the First chern class fundamental group of Kahler Manifolds

We know by some facts from Kobayashi, if the Kahler manifold $M$ has positive first Chern class, i.e., $c_1 (M)>0$ then $M$ is simply connected. So if $c_1 (M)<0$ under which assumption on $M$ ...
7
votes
3answers
395 views

Equilibrium configurations of ions on n-Dim balls.

Given an n-dimensional electrically neutral, solid metal ball (a point for n=0; a rod, n=1; a disc, n=2; a solid ball, n=3; ...), place N=(n+1)! identical ions on the ball. As one of my favorite ...
4
votes
1answer
1k views

Kuenneth-formula for group cohomology with nontrivial action on the coefficient

For a trivial action on the coefficient, we have the following Kuenneth formula for group cohomology: $$ H^n(G_1 \times G_2; M) \cong [\oplus_{i= 0}^n H^i(G_1;M) \otimes_M H^{n-i}(G_2;M)] \oplus ...
3
votes
3answers
1k views

Group cohomology of compact Lie group with integer coeffient

It is known that group cohomology class $H^d[U(1),Z]$ is Z for even d and 0 for odd d. Do we know $H^d[G,Z]$ for $G=SO(3)$, $SU(2)$ and other compact Lie group? Also is the Borel-group-cohomology ...
5
votes
2answers
732 views

Calculate the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$

I would like to know what are the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$, and/or how to calculate them. It can be shown that $H^d[U(1), Z]$ is $Z$ for ...
19
votes
6answers
2k views

Concrete example of $\infty$-categories.

I've seen many different notion of $\infty$-categories, actual I've seen the operadic-globular ones of Batanin and Leinster and the opetopic too and eventually I'll see the simplicial ones too. ...
8
votes
2answers
901 views

Nice example of a topologically trivial bundle with nontrivial connection

So, I've been trying to understand what exactly an anomaly is, and how they arise in physics. Apparently an anomalous theory is some theory whose action is given by a section of some bundle (rather ...
6
votes
1answer
237 views

Extending maps on Riemann surfaces

Suppose you have a map $g:\Sigma \rightarrow G$ from a Riemann surface $\Sigma$ to a compact Lie group $G$. What is the obstruction to finding a $3$-manifold $W$, such that $\partial W = \Sigma$, and ...
5
votes
1answer
548 views

Cartan 3-form on a Lie group G

Does anyone have a reference to learn more about the Cartan $3$-form on a group manifold $G$? I have read that the WZW term is nothing more than the integral of the pullback of the Cartan $3$-form via ...
15
votes
5answers
3k views

What mathematical treatment is there on the renormalization group flow in a space of Lagrangians?

What mathematical treatment is there on the renormalization group flow in a space of Lagrangians?
3
votes
1answer
524 views

Computation of homology groups of $M_{g,n}$

First some definitions: $\bar{M_{g,n}}$ is Deligne-Mumford space, i.e., the moduli space of stable nodal complex projective curves of genus $g$ with $n$ marked points. It is a complex orbifold, ...
4
votes
1answer
451 views

Twisting an L-infinity-morphism with “non-associated” Maurer-Cartan elements

Background Suppose we are given $L_\infty$-algebras $(g,Q)$ and $(g',Q')$ and an $L_\infty$-morphism $F$ from $(g,Q)$ to $(g',Q')$. Furthermore, we have a Maurer-Cartan element $\pi$ of $(g,Q)$. One ...
3
votes
2answers
427 views

Euler characteristics and operator indices as exponents for Laurent polynomials

This question is rather vague. Are there any natural situations which involve Laurent polynomials of the form $$\sum q^{a_i}\in\mathbb{Z}[q,q^{-1}]$$ where the $a_i$'s are either Euler characteristics ...
2
votes
1answer
306 views

How to build the principal SU(2) bundles on surfaces?

Is there a way to classify (and build) the principal SU(2) bundles over a given topological surface up to homeomorphism? In the end, I would like to examine the associated bundle whose fiber is a ...
41
votes
11answers
4k views

What is Quantization ?

I would like to know what quantization is, I mean I would like to have some elementary examples, some soft nontechnical definition, some explanation about what do mathematicians quantize?, can we ...