Welcome to my personal website. Here, I mainly collect ideas related to my research and, more generally, interesting bits of mathematics and computer science and life.

Research interests

I am interested in understanding geometric structures relevant to mathematical physics and, relatedly, to quantum algebra and higher algebra, using discrete (and computable) foundations. Here, “discrete” foundations can be contrasted with “continuous” foundations, in which definitions of geometric structures are based on the continuum \(\mathbb{R}\). My interest stems from the observation that underlying many seemingly continuous phenomena we often find hidden discrete (or “algebraic”) laws that govern such phenomena. With respect to mathematical physics, the hope is that understanding these deeper foundational principles will eventually be helpful in providing the language for actual physical theories. This a view dates back many decades, and has lead to a highly fruitful interplay of higher category theory (the study of discrete “higher” algebraic structures) and fundamental physics. One of the originators of this relation writes:

My dream was that the cobordism hypothesis, tangle hypothesis and generalized tangle hypothesis would let us see how spacetime and strings/loops/membranes in spacetime arise from pure \(n\)-category theory, without having to put in \(\mathbb{R}^n\) “by hand”.

John Baez (2018)

Research programme

The idea of combinatorial foundations for geometric structures that appear in the context of quantum algebra (TQFTs, knot theory, knotted surfaces, etc.) has led to the theory of framed combinatorial topology (FCT). The theory synthesizes known combinatorial ideas with a novel (similarly combinatorial) notion of framings, and this synthesis has surprising consequences. I maintain a separate page dedicated to recording basic concepts, references and links relevant the theory of FCT.

Research outcomes

FCT addresses several problems of previous approaches to describing the combinatorial interplay between higher algebra and the geometry of (stratified) manifolds.

  1. A resolution to the problem of undefinability of computadic cell shapes.
  2. A formalization of the notion of manifold diagrams generalizing string diagrams, and Poincaré dual to pastings of computadic cells.
  3. A formalization of the paradigm of homotopicity.
  4. A combinatorial toolset for studying tangles, singularities and higher Morse theory, overcoming difficulties of the classical differential setting.

Open problems

A list of current open problems is maintained here.


The Past

  • 29 Dec 2021: Chris Douglas and I uploaded the FCT book preprint
  • 22 Nov 2021: I gave a talk in the Advanced topology class on “Generalized differential cohomology theories”

The future

Comment policy

Comments are enabled for most online notes (and some other pages on this website). Relevant and respectful comments are most welcome. You can also write mathematics in the comments.