SwissMAP Logo
Log in
  • About us
    • Organization
    • Professors
    • Senior Researchers
    • Postdocs
    • PhD Students
    • Alumni
  • News & Events
    • News
    • Events
    • Online Events
    • Videos
    • Newsletters
    • Press Coverage
    • Perspectives Journal
    • Interviews
  • Research
    • Basic Notions
    • Phase III Directions
    • Phases I & II Projects
    • Publications
    • SwissMAP Research Station
  • Awards, Visitors & Vacancies
    • Awards
    • Innovator Prize
    • Visitors
    • Vacancies
  • Outreach & Education
    • Masterclasses & Doctoral Schools
    • Mathscope
    • Maths Club
    • Athena Project
    • ETH Math Youth Academy
    • SPRING
    • Junior Euler Society
    • General Relativity for High School Students
    • Outreach Resources
    • Exhibitions
    • Previous Programs
    • Events in Outreach
    • News in Outreach
  • Equal Opportunities
    • Mentoring Program
    • Financial Support
    • SwissMAP Scholars
    • Events in Equal Opportunities
    • News in Equal Opportunities
  • Contact
    • Corporate Design
  • Basic Notions
  • Phase III Directions
  • Phases I & II Projects
  • Publications
  • SwissMAP Research Station

Kerler-Lyubashenko Functors on 4-Dimensional 2-Handlebodies

Anna Beliakova, Marco De Renzi

6/5/21 Published in : arXiv:2105.02789

We construct a braided monoidal functor J_4 from Bobtcheva and Piergallini's category 4\mathrm{HB} of connected relative 4-dimensional 2-handlebodies (up to 2-deformations) to an arbitrary unimodular ribbon category \mathcal{C}, which is not required to be semisimple. The main example of target category is provided by H-mod, the category of left modules over a unimodular ribbon Hopf algebra H. The source category 4\mathrm{HB} is generated, as a braided monoidal category, by a pre-modular Hopf algebra object, and this is sent by the Kerler-Lyubashenko functor J_4 to the end \int_{X \in \mathcal{C}} X \otimes X^* in \mathcal{C}, which is given by the adjoint representation in the case of H-mod. When \mathcal{C} is factorizable, we show that the construction only depends on the boundary and signature of relative handlebodies, and thus projects to a functor J_3^\sigma defined on Kerler's category 3\mathrm{Cob}^\sigma of connected framed relative 3-dimensional cobordisms. When H^* is not semisimple and H is not factorizable, our functor J_4 has the potential of detecting diffeomorphisms that are not 2-deformations.

Entire article

Phase I & II research project(s)

  • Field Theory
  • Geometry, Topology and Physics

An Operator Product Expansion for Form Factors II. Born level

Quantitative weak mixing for interval exchange transformations

  • Leading house

  • Co-leading house


The National Centres of Competence in Research (NCCRs) are a funding scheme of the Swiss National Science Foundation

© SwissMAP 2025 - All rights reserved