All Questions
Tagged with qa.quantum-algebra at.algebraic-topology
19 questions
7
votes
1
answer
335
views
Are there non-homeomorphic 3-manifolds with the same Turaev-Viro-Barrett-Westbury invariants?
The Turaev-Viro-Barrett-Westbury invariant of a closed oriented topological $3$-manifold $M$ for a spherical fusion category $\mathcal{C}$ is a number denoted $|M|_{\mathcal{C}}$ computed from (but ...
10
votes
1
answer
806
views
DW, state sum models, and fully extended TQFTs
I am interested in state sum models and their relations with some other of TQFTs, especially the fully extended TQFTs and the Dijkgraaf-Witten TQFTs (generalized, in the sense that finite-group-...
3
votes
0
answers
53
views
Quotient of quasi-isomorphic nonpositively graded cdga's
I'm looking for a theorem about quotient of quasi-isomorphic cdga's:
Let $A, B$ be two cdga's (commutative differential $\mathbb Z$-graded algebra) concentrated in nonpositive degree, and $\mathfrak ...
4
votes
1
answer
193
views
Quotient of quasi-isomorphic cdga's
I'm looking for a theorem about quotient of quasi-isomorphic cdga's:
Let $A, B$ be two cdga's (commutative differential $\mathbb Z$-graded algebra) of nonpositive degrees, and $\mathfrak m \subset A, ...
13
votes
3
answers
1k
views
$(\infty,1)$ 2d TFTs
2d topological field theories $Z : \mathrm{Cob}(2) \to \mathrm{Vect}$ are classified by commutative Frobenius algebras.
What can be said about $(\infty,1)$ 2d TFTs $Z: \mathrm{Cob}(2) \to \mathcal{S}$...
15
votes
1
answer
371
views
How are MTCs permuted by the Galois action on the little disk operad?
There is a well-studied action of $\operatorname{Gal}(\bar{\mathbb Q}/\mathbb Q)$ on (some version of) the $E_2$ operad; see for example this MO question.
Modular tensor categories are examples of $...
11
votes
1
answer
356
views
What is the relation between 2-Gerstenhaber, CohFT, and Gerstenhaber geometrically?
Background. As we know from Fred Cohen's Thesis, taking homology of the little 2-discs operad $\mathcal{D}_2$ with coefficients in a field of characteristic zero produces the Gerstenhaber operad $\...
3
votes
1
answer
277
views
What is the relation between cobar duality and Feynman transform
If $O$ is a cyclic operad, it can be regared as a modular operad $P$ with $P(g,n)=0$, for $g >0$. So we have cobar dual $BO$ and Feynman transform $FP$(with trivial cocycle). Is there any ...
5
votes
0
answers
114
views
Differential form TQFT for Walker-Wang model?
In terms of the TQFTs in continuous differential form gauge fields, what would the Walker-Wang lattice model describe? Obviously, there is a $BF$ theory part:
$$\frac{N}{2 \pi}\int B dA$$
if it ...
0
votes
0
answers
373
views
Understanding a program for computing Khovanov homology
I would like to understand how a computer program for computing Khovanov homology works. The particular program I have in mind is by John Baldwin: https://web.math.princeton.edu/~baldwinj/Kh.cpp
The ...
8
votes
0
answers
463
views
On the cohomology of Kontsevich graph complex
Kontsevich's formality theorem asserts that a certain quasi-isomorphism of chain complexes between the graded Lie algebra of polyvector fields on $\mathbb{R}^n$ and the dg Lie algebra of ...
2
votes
0
answers
189
views
About the Lie algebra of polyvector fields
I would like to know if someone already did some computations of the group of Lie algebra automorphisms of the algebra of polyvector fields on $\mathbb{R}^n$ equiped with the Schouten bracket (or ...
3
votes
1
answer
272
views
Embedding e_n -> e_m
Let $e_n$ be the operad of (say, rational) chains of the operad of little n-disks. Consider the natural embedding $e_n\to e_m$, where $n<m$ and $n,m>1$ induced by the embedding $\mathbb{R}^n\to \...
5
votes
1
answer
474
views
Casson invariant and signature
In W. Neumann, J. Wahl, "Casson invariant of links of singularities",
Comment. Math. Helv.,1990, Vol. 65, Issue 1, pp 58-78 some connection between the Casson invariant and the signature is ...
8
votes
1
answer
561
views
Identifying the little disk operad with parenthesized braids
Let $D_2$ be the topological operad of little disks. This operad can be modelled "combinatorially" in terms of an operad of groupoids called $\newcommand{\PaB}{\mathbf{PaB}}\PaB$, the operad of ...
4
votes
1
answer
174
views
Reference for the image of the adjoint to the differential in graph cohomology (which yields STU & IHX)?
One can define cochain complexes of (combinatorial) graphs, where each term is a vector space of linear combinations of certain (isomorphism classes of) graphs, and where the differential $d$ is a ...
6
votes
0
answers
512
views
Is there a version of the 2d cobordism hypothesis for surfaces with non-empty incoming and outgoing boundary?
Question: Is there a condition on an object $x$ of an $(\infty,2)$-category $\mathcal C$ which is equivalent to $x = Z(pt_+)$ for a unique TFT $Z$ from the $(\infty,2)$-category of framed bordisms ...
3
votes
1
answer
695
views
a simple problems about Yetter-Drinfeld-Module
I will be appreciated if anyone can give me some clue for the following simple question,
Let $H$,$A$ are both hopf algebras,$\pi :A \rightarrow H$,$\quad f:H\hookrightarrow A$ are both hopf morphism ...
87
votes
11
answers
14k
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 ...