{"title":"Higher-bracket structure of density operators in Weyl fermion systems and topological insulators","authors":"Edwin Langmann, Shinsei Ryu, Ken Shiozaki","doi":"10.1103/physrevb.110.195115","DOIUrl":null,"url":null,"abstract":"We study the algebraic structure of electron density operators in gapless Weyl fermion systems in <mjx-container ctxtmenu_counter=\"4\" ctxtmenu_oldtabindex=\"1\" jax=\"CHTML\" overflow=\"linebreak\" role=\"tree\" sre-explorer- style=\"font-size: 100.7%;\" tabindex=\"0\"><mjx-math data-semantic-structure=\"(10 (9 0 1 2) 3 4 5 6 7 8)\"><mjx-mrow data-semantic-children=\"9,3,4,5,6,7,8\" data-semantic-content=\"3,5,7\" data-semantic- data-semantic-owns=\"9 3 4 5 6 7 8\" data-semantic-role=\"sequence\" data-semantic-speech=\"d equals 3 comma 5 comma 7 comma midline horizontal ellipsis\" data-semantic-type=\"punctuated\"><mjx-mrow data-semantic-added=\"true\" data-semantic-children=\"0,2\" data-semantic-content=\"1\" data-semantic- data-semantic-owns=\"0 1 2\" data-semantic-parent=\"10\" data-semantic-role=\"equality\" data-semantic-type=\"relseq\"><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"9\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c>𝑑</mjx-c></mjx-mi><mjx-mo data-semantic- data-semantic-operator=\"relseq,=\" data-semantic-parent=\"9\" data-semantic-role=\"equality\" data-semantic-type=\"relation\" space=\"4\"><mjx-c>=</mjx-c></mjx-mo><mjx-mn data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"normal\" data-semantic- data-semantic-parent=\"9\" data-semantic-role=\"integer\" data-semantic-type=\"number\" space=\"4\"><mjx-c>3</mjx-c></mjx-mn></mjx-mrow><mjx-mo data-semantic- data-semantic-operator=\"punctuated\" data-semantic-parent=\"10\" data-semantic-role=\"comma\" data-semantic-type=\"punctuation\"><mjx-c>,</mjx-c></mjx-mo><mjx-mn data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"normal\" data-semantic- data-semantic-parent=\"10\" data-semantic-role=\"integer\" data-semantic-type=\"number\" space=\"2\"><mjx-c>5</mjx-c></mjx-mn><mjx-mo data-semantic- data-semantic-operator=\"punctuated\" data-semantic-parent=\"10\" data-semantic-role=\"comma\" data-semantic-type=\"punctuation\"><mjx-c>,</mjx-c></mjx-mo><mjx-mn data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"normal\" data-semantic- data-semantic-parent=\"10\" data-semantic-role=\"integer\" data-semantic-type=\"number\" space=\"2\"><mjx-c>7</mjx-c></mjx-mn><mjx-mo data-semantic- data-semantic-operator=\"punctuated\" data-semantic-parent=\"10\" data-semantic-role=\"comma\" data-semantic-type=\"punctuation\"><mjx-c>,</mjx-c></mjx-mo><mjx-mo data-semantic- data-semantic-parent=\"10\" data-semantic-role=\"ellipsis\" data-semantic-type=\"punctuation\" space=\"2\"><mjx-c>⋯</mjx-c></mjx-mo></mjx-mrow></mjx-math></mjx-container> spatial dimensions and in topological insulators (without any protecting symmetry) in <mjx-container ctxtmenu_counter=\"5\" ctxtmenu_oldtabindex=\"1\" jax=\"CHTML\" overflow=\"linebreak\" role=\"tree\" sre-explorer- style=\"font-size: 100.7%;\" tabindex=\"0\"><mjx-math data-semantic-structure=\"(10 (9 0 1 2) 3 4 5 6 7 8)\"><mjx-mrow data-semantic-children=\"9,3,4,5,6,7,8\" data-semantic-content=\"3,5,7\" data-semantic- data-semantic-owns=\"9 3 4 5 6 7 8\" data-semantic-role=\"sequence\" data-semantic-speech=\"d equals 4 comma 6 comma 8 comma midline horizontal ellipsis\" data-semantic-type=\"punctuated\"><mjx-mrow data-semantic-added=\"true\" data-semantic-children=\"0,2\" data-semantic-content=\"1\" data-semantic- data-semantic-owns=\"0 1 2\" data-semantic-parent=\"10\" data-semantic-role=\"equality\" data-semantic-type=\"relseq\"><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"9\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c>𝑑</mjx-c></mjx-mi><mjx-mo data-semantic- data-semantic-operator=\"relseq,=\" data-semantic-parent=\"9\" data-semantic-role=\"equality\" data-semantic-type=\"relation\" space=\"4\"><mjx-c>=</mjx-c></mjx-mo><mjx-mn data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"normal\" data-semantic- data-semantic-parent=\"9\" data-semantic-role=\"integer\" data-semantic-type=\"number\" space=\"4\"><mjx-c>4</mjx-c></mjx-mn></mjx-mrow><mjx-mo data-semantic- data-semantic-operator=\"punctuated\" data-semantic-parent=\"10\" data-semantic-role=\"comma\" data-semantic-type=\"punctuation\"><mjx-c>,</mjx-c></mjx-mo><mjx-mn data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"normal\" data-semantic- data-semantic-parent=\"10\" data-semantic-role=\"integer\" data-semantic-type=\"number\" space=\"2\"><mjx-c>6</mjx-c></mjx-mn><mjx-mo data-semantic- data-semantic-operator=\"punctuated\" data-semantic-parent=\"10\" data-semantic-role=\"comma\" data-semantic-type=\"punctuation\"><mjx-c>,</mjx-c></mjx-mo><mjx-mn data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"normal\" data-semantic- data-semantic-parent=\"10\" data-semantic-role=\"integer\" data-semantic-type=\"number\" space=\"2\"><mjx-c>8</mjx-c></mjx-mn><mjx-mo data-semantic- data-semantic-operator=\"punctuated\" data-semantic-parent=\"10\" data-semantic-role=\"comma\" data-semantic-type=\"punctuation\"><mjx-c>,</mjx-c></mjx-mo><mjx-mo data-semantic- data-semantic-parent=\"10\" data-semantic-role=\"ellipsis\" data-semantic-type=\"punctuation\" space=\"2\"><mjx-c>⋯</mjx-c></mjx-mo></mjx-mrow></mjx-math></mjx-container> spatial dimensions. These systems are closely related by the celebrated bulk-boundary correspondence. Specifically, we study the higher bracket—a generalization of commutator for more than two operators—of electron density operators in these systems. For topological insulators, we show that the higher-bracket algebraic structure of density operators structurally parallels with the Girvin-MacDonald-Platzman algebra (the <mjx-container ctxtmenu_counter=\"6\" ctxtmenu_oldtabindex=\"1\" jax=\"CHTML\" overflow=\"linebreak\" role=\"tree\" sre-explorer- style=\"font-size: 100.7%;\" tabindex=\"0\"><mjx-math data-semantic-structure=\"(5 0 (4 1 2 3))\"><mjx-msub data-semantic-children=\"0,4\" data-semantic- data-semantic-owns=\"0 4\" data-semantic-role=\"latinletter\" data-semantic-speech=\"upper W Subscript 1 plus infinity\" data-semantic-type=\"subscript\"><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"5\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c>𝑊</mjx-c></mjx-mi><mjx-script style=\"vertical-align: -0.15em; margin-left: -0.097em;\"><mjx-mrow data-semantic-children=\"1,3\" data-semantic-content=\"2\" data-semantic- data-semantic-owns=\"1 2 3\" data-semantic-parent=\"5\" data-semantic-role=\"addition\" data-semantic-type=\"infixop\" size=\"s\"><mjx-mn data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"normal\" data-semantic- data-semantic-parent=\"4\" data-semantic-role=\"integer\" data-semantic-type=\"number\"><mjx-c>1</mjx-c></mjx-mn><mjx-mo data-semantic- data-semantic-operator=\"infixop,+\" data-semantic-parent=\"4\" data-semantic-role=\"addition\" data-semantic-type=\"operator\"><mjx-c>+</mjx-c></mjx-mo><mjx-mi data-semantic- data-semantic-parent=\"4\" data-semantic-role=\"infty\" data-semantic-type=\"identifier\"><mjx-c>∞</mjx-c></mjx-mi></mjx-mrow></mjx-script></mjx-msub></mjx-math></mjx-container> algebra), the algebra of electron density operators projected onto the lowest Landau level in the quantum Hall effect. By the bulk-boundary correspondence, the bulk higher-bracket structure mirrors its counterparts at the boundary. Specifically, we show that the density operators of Weyl fermion systems, once normal-ordered with respect to the ground state, their higher bracket acquires a <mjx-container ctxtmenu_counter=\"7\" ctxtmenu_oldtabindex=\"1\" jax=\"CHTML\" overflow=\"linebreak\" role=\"tree\" sre-explorer- style=\"font-size: 100.7%;\" tabindex=\"0\"><mjx-math data-semantic-structure=\"0\"><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-role=\"latinletter\" data-semantic-speech=\"c\" data-semantic-type=\"identifier\"><mjx-c>𝑐</mjx-c></mjx-mi></mjx-math></mjx-container>-number part. This part is an analog of the Schwinger term in the commutator of the fermion current operators. We further identify this part with a cyclic cocycle, which is a topological invariant and an element of Connes' noncommutative geometry.","PeriodicalId":20082,"journal":{"name":"Physical Review B","volume":null,"pages":null},"PeriodicalIF":3.7000,"publicationDate":"2024-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Physical Review B","FirstCategoryId":"101","ListUrlMain":"https://doi.org/10.1103/physrevb.110.195115","RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Physics and Astronomy","Score":null,"Total":0}
引用次数: 0
Abstract
We study the algebraic structure of electron density operators in gapless Weyl fermion systems in 𝑑=3,5,7,⋯ spatial dimensions and in topological insulators (without any protecting symmetry) in 𝑑=4,6,8,⋯ spatial dimensions. These systems are closely related by the celebrated bulk-boundary correspondence. Specifically, we study the higher bracket—a generalization of commutator for more than two operators—of electron density operators in these systems. For topological insulators, we show that the higher-bracket algebraic structure of density operators structurally parallels with the Girvin-MacDonald-Platzman algebra (the 𝑊1+∞ algebra), the algebra of electron density operators projected onto the lowest Landau level in the quantum Hall effect. By the bulk-boundary correspondence, the bulk higher-bracket structure mirrors its counterparts at the boundary. Specifically, we show that the density operators of Weyl fermion systems, once normal-ordered with respect to the ground state, their higher bracket acquires a 𝑐-number part. This part is an analog of the Schwinger term in the commutator of the fermion current operators. We further identify this part with a cyclic cocycle, which is a topological invariant and an element of Connes' noncommutative geometry.
期刊介绍:
Physical Review B (PRB) is the world’s largest dedicated physics journal, publishing approximately 100 new, high-quality papers each week. The most highly cited journal in condensed matter physics, PRB provides outstanding depth and breadth of coverage, combined with unrivaled context and background for ongoing research by scientists worldwide.
PRB covers the full range of condensed matter, materials physics, and related subfields, including:
-Structure and phase transitions
-Ferroelectrics and multiferroics
-Disordered systems and alloys
-Magnetism
-Superconductivity
-Electronic structure, photonics, and metamaterials
-Semiconductors and mesoscopic systems
-Surfaces, nanoscience, and two-dimensional materials
-Topological states of matter