Фробенијусове алгебре и тополошке квантне теорије поља
Frobenius algebras and topological quantum field theories
Author
Telebaković Onić, SonjaMentor
Petrić, ZoranCommittee members
Živaljević, RadeLipkovski, Aleksandar
Radovanović, Marko
Baralić, Đorđe
Metadata
Show full item recordAbstract
У овој докторској дисертацији изучавамо везу између Фробенијусових алгебри
и тополошких квантних теорија поља (TQFT). Познато је да свакој дводимензионалној
TQFT (2-TQFT) одговара једна комутативна Фробенијусова алгебра и обрнуто, тј. да
је категорија чији су објекти 2-TQFT еквивалентна категорији комутативних Фробени-
јусових алгебри. Свака 2-TQFT је потпуно одређена сликом једнодимензионалне сфере
S1 и сликама генератора категорије дводимензионалних оријентисаних кобордизама.
Релацијама које важе за ове кобордизме одговарају управо аксиоме комутативне Фро-
бенијусове алгебре.
Пратећи Фробенијусову структуру која је на овај начин додељена сфери S1, испи-
тујемо Фробенијусову структуру сфера свих других димензија. За свако d ≥ 2, сфера
Sd−1 је комутативан Фробенијусов објекат у категорији d-димензионалних кобордизама.
Показујемо да нема разлике међу сферама Sd−1, за d ≥ 2, јер су оне ослобођене било
каквих додатних једнакости које се могу изразити на језику множења, јединице, комно-
же...ња и којединице. Изузетак је сфера S0 која није комутативан, али јесте симетричан
Фробенијусов објекат.
Сфера S0 се пресликава у матричну Фробенијусову алгебру помоћу брауеријанске
репрезентације, која је пример верног 1-TQFT функтора. Доказујемо да је свака 1-
TQFT, која пресликава нулдимензионалну многострукост која се састоји од једне тачке
у векторски простор димензије бар 2, веран функтор.
На крају, показујемо да комутативној Фробенијусовој алгебри QZ5 ⊗ Z(QS3), која је
настала као тензорски производ групне алгебре и центра групне алгебре, одговара верна
2-TQFT. То значи да су дводимензионални кобордизми еквивалентни ако и само ако су
им одговарајућа линеарна пресликавања једнака.
In this dissertation the connection between Frobenius algebras and topological
quantum field theories (TQFTs) is investigated. It is well-known that each 2-dimensional
TQFT (2-TQFT) corresponds to a commutative Frobenius algebra and conversely, i.e., that
the category whose objects are 2-TQFTs is equivalent to the category of commutative Frobe-
nius algebras. Every 2-TQFT is completely determined by the image of 1-dimensional sphere
S1 and by its values on the generators of the category of 2-dimensional oriented cobordisms.
Relations that hold for these cobordisms correspond precisely to the axioms of a commutative
Frobenius algebra.
Following the pattern of the Frobenius structure assigned to the sphere S1 in this way, we
examine the Frobenius structure of spheres in all other dimensions. For every d ≥ 2, the
sphere Sd−1 is a commutative Frobenius object in the category of d-dimensional cobordisms.
We prove that there is no distinction between spheres Sd−1, for d ≥ 2, because they are... all free
of additional equations formulated in the language of multiplication, unit, comultiplication
and counit. The only exception is the sphere S0 which is a symmetric Frobenius object but
not commutative.
The sphere S0 is mapped to a matrix Frobenius algebra by the Brauerian representation,
which is an example of a faithful 1-TQFT functor. We obtain the faithfulness result for all
1-TQFTs, mapping the 0-dimensional manifold, consisting of one point to a vector space of
dimension at least 2.
Finally, we show that the commutative Frobenius algebra QZ5 ⊗ Z(QS3), defined as the ten-
sor product of the group algebra and the centre of the group algebra, corresponds to the
faithful 2-TQFT. It means that 2-dimensional cobordisms are equivalent if and only if the
corresponding linear maps are equal.