2021/04/30 by Emil Prodan
Computer Science · Mathematics · Physics and Astronomy · #Advanced Algebra and Logic #Advanced Banach Space Theory #Advanced Operator Algebra Research #Complete lattice #Disjoint sets #Double groupoid #Invariant (physics) #Lattice (music) #Topological space #cond-mat.str-el #math.OA
paper · pdf · doi:10.1088/1751-8121/ac254a
published as J. Phys. A: Math. Theor. 54, 424001 (2021)
openalex created_date 2021/04/13 · arxiv created 2021/09/05 · openalex publication_date 2021/09/09 · arxiv updated 2021/09/24 · openalex updated_date 2026/08/05
Abstract The bulk-boundary and a new bulk-defect correspondence principles are formulated using groupoid algebras. The new strategy relies on the observation that the groupoids of lattices with boundaries or defects display spaces of units with invariant accumulation manifolds, hence they can be naturally split into disjoint unions of open and closed invariant sub-sets. This leads to standard exact sequences of groupoid C *-algebras that can be used to associate a Kasparov element to a lattice defect and to formulate an extremely general bulk-defect correspondence principle. As an application, we establish a correspondence between topological defects of a two-dimensional square lattice and Kasparov’s group <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" overflow="scroll"> <mml:mi>K</mml:mi> <mml:msup> <mml:mrow> <mml:mi>K</mml:mi> </mml:mrow> <mml:mrow> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> <mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi>C</mml:mi> </mml:mrow> <mml:mrow> <mml:mo>*</mml:mo> </mml:mrow> </mml:msup> <mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi mathvariant="double-struck">Z</mml:mi> </mml:mrow> <mml:mrow> <mml:mn>3</mml:mn> </mml:mrow> </mml:msup> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:mo>,</mml:mo> <mml:mi mathvariant="double-struck">C</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> </mml:math> . Numerical examples of non-trivial bulk-defect correspondences are supplied.