Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 6th 2023

    Started something.

    v1, current

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 6th 2023

    Changed to singular

    v1, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 6th 2023

    Have adjusted the last sentence.

    The classification of topological phases of matter is, at face value, a computation of twisted equivariant KR-theory classes. I don’t think it quite makes sense to say that the classification of super division algebras is the “basis” of the 2+8 Bott periodicity of KR-theory. At best it’s one of several perspectives on the phenomenon of Bott periodicity.

    diff, v2, current

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 6th 2023

    But Moore thinks the 2+8 is a red herring as I cited in the other thread:

    A key point we want to stress is that the 10-fold way is usually viewed as 10 = 2+8, where 2 and 8 are the periodicities in complex and real K-theory. And then the K-theory classification of topological phases is criticized because it only applies to free systems. However, we believe this viewpoint is slightly misguided. The unifying concept is really that of a real super-division algebra, and there are 10 such. They can be parceled into 10 = 8+2 but they can also equally naturally be parceled into 10 = 7+3 (with the 3 referring to the purely even superdivision algebras).

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 6th 2023
    • (edited Apr 6th 2023)

    Why “but”?

    The logic of classifying topological phases of matter proceeds from the classification of filled Bloch bundles of electron states subject to CPT-equivariance. The class of these bundles is in KR-theory and that happens to have 10 graded groups of classes over point, up to Z/2-equivariant Bott periodicity. That is the 10-fold way in topological solid state physics.

    Now one may dive into the general question how to see the Bott periodicity of topological K-theory. There are a variety of ways, some involving Clifford algebra, some involving loop space theory, some maybe involving super division algebras.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 6th 2023

    Ok, I thought Moore was intending something more with “The unifying concept is really that of a real super-division algebra”, as though he thinks that’s the conceptual underpinning of what’s going on in the classification of these phases.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeApr 6th 2023
    • (edited Apr 6th 2023)

    I had another look at Moore 2013.

    The section 25 announced to make contact to topological phases of matter is empty.

    The section 14 about super division algebras seems to be that from appendix C of Freed & Moore (2013). I wouldn’t call this the “basis” of the results there (certainly it’s not advertised as such), it’s more a side remark highlighting the relation to Dyson’s work, thereby justifying the terminological allusion to his “threefold way”.

    How about we sum this up as follows (have made that edit now, but feel free to complain):

    The classification of the associative real division superalgebras by a “ten-fold way” is essentially attributed to Dyson (1962) by Freed & Moore (2013, Appendix C) (in the context of the K-theory classification of topological phases of matter), further expanded on in Moore (2013), Section 14 and Geiko & Moore (2021).

    diff, v4, current