Professional Documents
Culture Documents
15 January 2016
M
and we wish to study the sections F = Γ(M, Ω∗ ξ). In physical situations
there is a Lagrangian
∂ϕ ∂ 2 ϕ
L = f ϕ, , , . . . , f ∈ C[x1 , x1 , . . . ],
∂xi ∂xi ∂xj
1
a trivial G-bundle over M where G is a semi-simple lie algebra. So we have
F = Γ(M, Ω0 (G)).
N2
M1 M2 M2
M glue N
2
2. These compose under gluing of oriented cobordisms.
Z(N ) ◦ Z(M ) = Z(M glued to N )
A cobordism from M1 to M2 (both (n − 1)-manifolds) is a n-manifold M
with boundary ∂M = M1 t M2 = Min t Mout . A manifold is orientable if
Λ∗ (T M ) is trivial and an orientation is decomposition of this line into ±.
3. Let M, N be manifolds and M1 , M2 ⊆ ∂M .
Z(M t N ) = Z(M ) · Z(M )
Z(M1 t M2 ) = Z(M1 ) ⊗ Z(M2 )
Atiyah and Segal studied the cobordism category Cob1 (n). The cobor-
dism category has
Objects: (n − 1)-dimensional, compact, oriented, closed manifolds.
Morphisms: Hom(M1 , M2 ) consists of diffeomorphism classes of oriented cobor-
disms M n with ∂M = Min t Mout = M1 t M2 . Quotienting by diffeomor-
phism is required for associativity. Orientation is needed to determine the
’source’ and ’target’ of cobordisms.
Atiyah and Segal defined an n-dimensional TQFTs as a symmetric monoidal
functor
Z : Cob1 (n)t → V ect⊗
k.
The mondoidal structure on Cob1 (n)t is given by disjoint union t and on V ect⊗
k
given by the usual tensor product on vector spaces.
This definition is already very interesting but we will extend it in various
ways. The first way is to replace V ect⊗ k with a general symmetric monoidal
category C ⊗ . This makes a n-dimensional TQFTs a symmetric monoidal functor
Z : Cob1 (n)t → C ⊗ .
We can also extend the definition to higher categories. Given k = 1, 2, . . . , ∞,
will see a natural category, and study functors
Z : Cobk (n)t → C ⊗ ,
where C ⊗ is some natural higher category. For example
k algebras as objects
⊗ 2
C = Algk = A − B bimodules as morphisms
bimodule maps as 2-morphisms
or
tensor categories as objects
C ⊗ = Alg2Vectk = bimodule categories as 1-morphisms ,
natural transformations as 3-morphisms
3
The Cobordism Hypothesis
We shall also see the cobordism hypothesis: Roughly this says that we can
find ’generators’ and ’relations’ presentations for Cobk (n) and hence classify
TQFTs in terms of special objects in C ⊗ which are called (fully) dualizable.
The hypothesis hypothesis has been worked on my many people including Baez-
Dolan (conjecture), Lurie (proof), Scheimbauer (segal spaces) and Ayala-Francis
Tannaka (factorisation homology).
Cobordism hypothesis:
• Cob∞ (n) is generated by a single object, the n-disc. Hence a fully extended
TFT is completely determined by Z(Rn ) ∈ C ⊗ .
• Z(R) must be fully dualizable, which asserts the existance of many adjoints
and duals in C ⊗ and is essentialy a strong finiteness condition.