arXiv Science⌕ Search

arXiv · 2610.12079

Fiber product of condensable algebras and critical points of boundary phase transitions

Abstract

In this work, we propose a mathematical description of the critical point of boundary phase transitions in 2+1D topological orders. Given two boundary phases, $\mathcal{C}_A$ and $\mathcal{C}_B$, with corresponding Lagrangian algebras $A$ and $B$ in a 2+1D topological order $\mathcal{C}$, respectively, we propose that the critical point of the phase transition between these two phases, if it exists, corresponds to $D = A \times_{M} B$, which is the fiber product of $A$ and $B$ over $A$-$B$-algebra $M$. We prove that $D$ is also a condensable algebra. Additionally, we present an alternative classification of condensable algebras in $Z(Vec_G^ω)$ and reveal splitting phenomenon that arises during the condensation of certain algebras. We also perform explicit computations for the condensable algebras within several examples of $Z(Vec_G^ω)$, covering both Abelian and non-Abelian groups $G$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hanlin Lin, Hao Zheng. 2026-10-08. Fiber product of condensable algebras and critical points of boundary phase transitions. https://arxiv.org/abs/2610.12079

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Universal Semisimple Reconstruction and Obstruction Theory

We develop a semisimple obstruction theory for finite-length abelian categories. To each object \(X\) we associate a canonical obstruction subobject \(\mathcal O(X)\), consisting of the part invisible to all morphisms into semisimple objects. The quotient \(X/\mathcal O(X)\) is semisimple and universal among such morphisms, yielding a canonical semisimplification reflector and characterizing semisimplicity by the vanishing of obstruction. Iterating the construction gives an obstruction filtration which, in finite-length module categories, recovers the classical radical filtration and Loewy theory. Obstruction is also heart-dependent: under Happel--Reiten--Smalø tilting, extension data can appear as new obstruction layers, leading to obstruction shadows and visible torsion. Thus classical radical theory arises as the fixed-heart module-theoretic instance of a categorical framework for semisimple reconstruction, persistence, and variation of heart.

math.CT↗

Tensor triangular geometry of band algebras

In this paper, we study the tensor triangular geometry of band algebras $RB$, where $B$ is a finite left regular band and $R$ is a commutative Noetherian ring. We show that the Balmer spectrum of $\Perf(RB)$ is homeomorphic to $\Spec R\times L_B$, where $L_B$ is the support lattice of $B$. We also show that there is a bijection between the localizing ideals of $D(RB)$ and the stable subsets of $\Spec R\times L_B$. As a consequence, the telescope conjecture holds for $D(RB)$. Finally, we construct a band $B$ such that the generalized Nerves of Steel Conjecture fails for the non-rigid tensor triangulated category $\Perf(RB)$.

math.CT↗

A note on varieties of ordered algebras

The aim of this work is to study the notions of lax protomodular and $\mathsf{Ord}$-Mal'tsev category at the level of (coherent) varieties of (pre)ordered algebras and to further compare them, as has been done in the non-ordered context. We characterise varieties of ordered algebras which are (co)lax protomodular and those which are $\mathsf{Ord}$-Mal'tsev, in terms of operations of arities given by ordered sets and inequalities involving them. We exhibit examples of (co)lax protomodular non-degenerate Ord-categories, which were unknown. We prove that, for varieties of ordered algebras which are $\mathsf{Ord}$-Mal'tsev categories, the order of their algebras is degenerate (i.e. is symmetric). As a consequence, the implication "protomodular => Mal'tsev" cannot be carried out to our context. The case of non-coherent ordered varieties which are $\mathsf{Ord}$-Mal'tsev categories is also addressed, where we show the existence of algebras with non-degenerate order.

math.CT↗