In the past decade, tremendous efforts have been made towards understanding fermionic symmetry protected topological (FSPT) phases in interacting systems. Nevertheless, for systems with continuum symmetry, e.g., electronic insulators, it is still unclear how to construct an exactly solvable model with a finite dimensional Hilbert space in general. In this paper, we give a lattice model construction and classification for 2D interacting electronic insulators. Based on the physical picture of U(1)_f-charge decorations, we illustrate the key idea by considering the well known 2D interacting topological insulator. Then we generalize our construction to an arbitrary 2D interacting electronic insulator with symmetry Gf=U(1)_f ⋊_{ρ_1,ω_2} G, where U(1)_f is the charge conservation symmetry and ρ_1,ω_2 are additional data which fully characterize the group structure of G_f. Finally we study more examples, including the full interacting classification of 2D crystalline topological insulators.

The action of a Lie pseudogroup $\mathcal{G}$ on a smooth manifold$M$induces a prolonged pseudogroup action on the jet spaces$J$^{$n$}of submanifolds of$M$. We prove in this paper that both the local and global freeness of the action of $\mathcal{G}$ on$J$^{$n$}persist under prolongation in the jet order$n$. Our results underlie the construction of complete moving frames and, indirectly, their applications in the identification and analysis of the various invariant objects for the prolonged pseudogroup actions.

Alexandrov proved that any simplicial complex homeomorphic to a sphere with strictly non-negative Gaussian curvature at each vertex can be isometrically embedded uniquely in {{\mathbb {R}}}^{3} as a convex polyhedron. Due to the nonconstructive nature of his proof, there have yet to be any algorithms, that we know of, that realizes the Alexandrov embedding in polynomial time. Following his proof, we developed the adiabatic isometric mapping (AIM) algorithm. AIM uses a guided adiabatic pull-back procedure on a given polyhedral metric to produce an embedding that approximates the unique Alexandrov polyhedron. Tests of AIM applied to two different polyhedral metrics suggests that its run time is sub cubic with respect to the number of vertices. Although Alexandrov's theorem specifically addresses the embedding of convex polyhedral metrics, we tested AIM on a broader class of polyhedral metrics that included regions of

In this Part II of D (11), we introduce new objects: super- C^ k -schemes and Azumaya super- C^ k -manifolds with a fundamental module (or, synonymously, matrix super- C^ k -manifolds with a fundamental module), and extend the study in D (11.1)([L-Y3], arXiv: 1406.0929 [math. DG]) to define the notion ofdifferentiable maps from an Azumaya/matrix supermanifold with a fundamental module to a real manifold or supermanifold'. This allows us to introduce the notion offermionic D-branes' in two different styles, one parallels Ramond-Neveu-Schwarz fermionic string and the other Green-Schwarz fermionic string. A more detailed discussion on the Higgs mechanism on dynamical D-branes in our setting, taking maps from the D-brane world-volume to the space-time in question and/or sections of the Chan-Paton bundle on the D-brane world-volume as Higgs fields, is also given for the first time in the D-project. Finally note that mathematically string theory begins with the notion of a differentiable map from a string world-sheet (a C^ k -manifold) to a target space-time (a real manifold). In comparison to this, D (11.1) and the current D (11.2) together bring us to the same starting point for studying D-branes in string theory as dynamical objects.

No abstract uploaded!