Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Sebastien Palcoux's user avatar
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-...
Student's user avatar
  • 5,230
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 ...
Hsuan-Yi Liao's user avatar
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, ...
Hsuan-Yi Liao's user avatar
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}$...
Lukas Woike's user avatar
  • 1,382
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 $...
Theo Johnson-Freyd's user avatar
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 $\...
Nati's user avatar
  • 1,981
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 ...
Hao Yu's user avatar
  • 31
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 ...
miss-tery's user avatar
  • 755
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 ...
Reza Rezazadegan's user avatar
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 ...
Sinan Yalin's user avatar
  • 1,609
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 ...
Sinan Yalin's user avatar
  • 1,609
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 \...
nikitamarkarian's user avatar
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 ...
nikitamarkarian's user avatar
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 ...
Dan Petersen's user avatar
  • 40.2k
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 ...
Robin Koytcheff's user avatar
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 ...
Sam Gunningham's user avatar
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 ...
X---'s user avatar
  • 153
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 ...
Julio César Salazar García's user avatar