Moduli spaces of Dirac operators for finite spectral triples
Branimir Ćaćić
备注：
AMS-LaTeX, 60 pp. Revised version of qualifying year project (Master's thesis equivalent), BIGS, University of Bonn. V2: Final version with minor corrections, to appear in the Proceedings of the Workshop on Quantum Groups and Noncommutative Geometry, M. Marcolli and D. Parashar (eds.)
发表信息：
Quantum Groups and Noncommutative Spaces: Perspectives on Quantum Geometry (eds. M. Marcolli, D. Parashar), Vieweg Verlag, 2010
The structure theory of finite real spectral triples developed by Krajewski and by Paschke and Sitarz is generalised to allow for arbitrary KO-dimension and the failure of orientability and Poincare duality, and moduli spaces of Dirac operators for such spectral triples are defined and studied. This theory is then applied to recent work by Chamseddine and Connes towards deriving the finite spectral triple of the noncommutative-geometric Standard Model.
We exhibit some series of discrete spectral triples converging to the canonical spectral triple of a finite dimensional manifold. Thus the non-go theorem of Goekeler and Schuecker is reasonably bypassed.
Motivated by examples obtained from conformal deformations of spectral triples and a spectral triple construction on quantum cones we propose a new twisted reality condition for the Dirac operator.
The quantum weighted projective algebras $\mathbb{C}[\mathbb{WP}_{k,l,q}]$ are coinvariant subalgebras of the quantum group algebra $\mathbb{C}[SU_{q,2}]$. For each pair of indices $k,l$, two $2$-summable spectral triples will be constructed. The first one is an odd spectral triple based on coinvariant spinors on $\mathbb{C}[SU_{q,2}]$. The second one is an even spectral triple.
We extend to twisted spectral triples the fluctuations of the metric, as well as their gauge transformations. The former are bounded perturbations of the Dirac operator that arise when a spectral triple is exported between Morita equivalent algebras; the later are obtained by the action of the unitary endomorphisms of the module implementing the Morita equivalence. It is shown that the twisted gauged Dirac operators, previously introduced to generate an extra scalar field in the spectral description of the standard model of elementary particles, in fact follow from Morita equivalence between t…
We present a spectral triple for $κ$-Minkowski space in two dimensions. Starting from an algebra naturally associated to this space, a Hilbert space is built using a weight which is invariant under the $κ$-Poincaré algebra. The weight satisfies a KMS condition and its associated modular operator plays an important role in the construction. This forces us to introduce two ingredients which have a modular flavor: the first is a twisted commutator, used to obtain a boundedness condition for the Dirac operator, the second is a weight replacing the usual operator trace, used to measure the growth o…
We determine explicitly a boundary triple for the Dirac operator $H:=-iα\cdot \nabla + mβ+ \mathbb V(x)$ in $\mathbb R^3$, for $m\in\mathbb R$ and $\mathbb V(x)= |x|^{-1} ( ν\mathbb{I}_4 +μβ-i λα\cdot{x}/|x|\,β)$, with $ν,μ,λ\in \mathbb R$. Consequently we determine all the self-adjoint realizations of $H$ in terms of the behaviour of the functions of their domain in the origin. When $\sup_{x} |x||\mathbb V(x)| \leq 1$, we discuss the problem of selecting the distinguished extension requiring that its domain is included in the domain of the appropriate quadratic form.
For $ν\in[0, 1]$ let $D^ν$ be the distinguished self-adjoint realisation of the three-dimensional Coulomb-Dirac operator $-\mathrm i\boldsymbolα\cdot\nabla -ν|\cdot|^{-1}$. For $ν\in[0, 1)$ we prove the lower bound of the form $|D^ν| \geqslant C_ν\sqrt{-Δ}$, where $C_ν$ is found explicitly and is better then in all previous works on the topic. In the critical case $ν=1$ we prove that for every $λ\in [0, 1)$ there exists $K_λ>0$ such that the estimate $|D^{1}| \geqslant K_λa^{λ-1}(-Δ)^{λ/2} -a^{-1}$ holds for all $a >0$. As applications we extend the range of coupling constants in the proof of …
Twisted real structures are well-motivated as a way to implement the conformal transformation of a Dirac operator for a real spectral triple without needing to twist the noncommutative 1-forms. We study the coupling of spectral triples with twisted real structures to gauge fields, adopting Morita equivalence via modules and bimodules as a guiding principle and paying special attention to modifications to the inner fluctuations of the Dirac operator. In particular, we analyse the twisted first-order condition as a possible alternative to abandoning the first-order condition in order to go beyon…
We construct new families of spectral triples over quantum spheres, with a particular attention focused on the standard Podles quantum sphere and twisted Dirac operators.
This paper provides a systematic study of gauge symmetries in the dynamical fuzzy spectral triple models for quantum gravity that have been proposed by Barrett and collaborators. We develop both the classical and the perturbative quantum BV formalism for these models, which in particular leads to an explicit homological construction of the perturbative quantum correlation functions. We show that the relevance of ghost and antifield contributions to such correlation functions depends strongly on the background Dirac operator $D_0$ around which one perturbs, and in particular on the amount of ga…
A class of real spectral triples that are similar in structure to a Riemannian manifold but have a finite-dimensional Hilbert space is defined and investigated, determining a general form for the Dirac operator. Examples include fuzzy spaces defined as real spectral triples. Fuzzy 2-spheres are investigated in detail, and it is shown that the fuzzy analogues correspond to two spinor fields on the commutative sphere. In some cases it is necessary to add a mass mixing matrix to the commutative Dirac operator to get a precise agreement for the eigenvalues.
In this paper we investigate the relation between complexified Fenchel-Nielsen coordinates and spectral network coordinates on Seiberg-Witten moduli space. The main technique is the comparison of exact expressions for the expectation value of 't Hooft defects in certain 4D $SU(2)$ $\mathcal{N}=2$ gauge theories. We derive an index-like theorem for a class of Dirac operators on singular monopole moduli spaces. Our expression determines the indices of Dirac operators on singular monopole moduli spaces in terms of characteristic numbers for vector bundles over certain Kronheimer-Nakajima quiver v…
We classify and construct all real spectral triples over noncommutative Bieberbach manifolds, which are restrictions of irreducible real equivariant spectral triple over the noncommutative three-torus. We show that in the classical case the constructed geometries correspond exactly to spin structures over Bieberbach manifolds and the Dirac operators constructed for a flat metric.
We construct triples of commuting real structures on the moduli space of Higgs bundles, whose fixed loci are branes of type (B, A, A), (A, B, A) and (A, A, B). We study the real points through the associated spectral data and describe the topological invariants involved using KO, KR and equivariant K-theory.
We study a noncommutative analogue of a spacetime foliated by spacelike hypersurfaces, in both Riemannian and Lorentzian signatures. First, in the classical commutative case, we show that the canonical Dirac operator on the total spacetime can be reconstructed from the family of Dirac operators on the hypersurfaces. Second, in the noncommutative case, the same construction continues to make sense for an abstract family of spectral triples. In the case of Riemannian signature, we prove that the construction yields in fact a spectral triple, which we call a product spectral triple. In the case o…
We review the motivation, construction and physical interpretation of a semi-finite spectral triple obtained through a rearrangement of central elements of loop quantum gravity. The triple is based on a countable set of oriented graphs and the algebra consists of generalized holonomy loops in this set. The Dirac type operator resembles a global functional derivation operator and the interaction between the algebra of holonomy loops and the Dirac type operator reproduces the structure of a quantized Poisson bracket of general relativity. Finally we give a heuristic argument as to how a natural …
We consider the $θ$-deformed quantum three sphere $S^3_θ$ and study its Chern--Simons theory from a spectral point of view. We first construct a spectral triple on $S^3_θ$ as a generalization of the Dirac geometry on $S^3 $. Since the choice of Dirac operator is not unique, we give two more natural spectral triples on $S^3_θ$ related to the standard round metric. We then compute the Chern--Simons action with respect to the three spectral triples, it turns out that it is not a topological invariant, that is, it depends on the choice of Dirac operators.
Spectral triples describe and generalize Riemannian spin geometries by converting the geometrical information into algebraic data, which consist of an algebra $A$, a Hilbert space $H$ carrying a representation of $A$ and the Dirac operator $D$ (a selfadjoint operator acting on $H$). The gravitational action is described by the trace of a suitable function of $D$. In this paper we examine the (path-integral-) quantization of such a system given by a finite dimensional commutative algebra. It is then (in concrete examples) possible to construct the moduli space of the theory, i.e. to divide the …
Using principles of quantum symmetries we derive the algebraic part of the real spectral triple data for the standard Podleś quantum sphere: equivariant representation, chiral grading $γ$, reality structure $J$ and the Dirac operator $D$, which has bounded commutators with the elements of the algebra and satisfies the first order condition.
We investigate manifolds with boundary in noncommutative geometry. Spectral triples associated to a symmetric differential operator and a local boundary condition are constructed. For a classical Dirac operator with a chiral boundary condition, we show that there is no tadpole.
We investigate examples of quasi-spectral triples over two-dimensional commutative sphere, which are obtained by modifying the order-one condition. We find equivariant quasi-Dirac operators and prove that they are in a topologically distinct sector than the standard Dirac operator.
We present examples of equivariant noncommutative Lorentzian spectral geometries. The equivariance with respect to a compact isometry group (or quantum group) allows to construct the algebraic data of a version of spectral triple geometry adapted to the situation of an indefinite metric. The spectrum of the equivariant Dirac operator is calculated.
In attempts to combine non-commutative geometry and quantum gravity, Aastrup-Grimstrup-Nest construct a semi-finite spectral triple, modeling the space of G-connections for G=U(1) or SU(2). AGN show that the interaction between the algebra of holonomy loops and the Dirac-type operator D reproduces the Poisson structure of General Relativity in Ashtekar's loop variables. This article generalizes AGN's construction to any connected compact Lie group G. A construction of AGN's semi-finite spectral triple in terms of an inductive limit of spectral triples is formulated. The refined construction pe…
We construct and analyse the moduli space (collective coordinates) for a classical field theory in 1 + 1 dimensions that possesses complex stable multi-soliton solutions with real energies when PT-regularized. For the integrable Bullough-Dodd model we show, by comparing with the exact solutions, that a one-dimensional moduli space captures well the main feature of the centre of mass motion of the one and two-soliton solutions. We demonstrate that even the time-delay and spatial displacements occurring for the one-soliton constituents in a multi-soliton scattering process can be extracted from …
In this paper, we construct a homotopy Poisson algebra of degree 3 associated to a split Lie 2-algebroid, by which we give a new approach to characterize a split Lie 2-bialgebroid. We develop the differential calculus associated to a split Lie 2-algebroid and establish the Manin triple theory for split Lie 2-algebroids. More precisely, we give the notion of a strict Dirac structure and define a Manin triple for split Lie 2-algebroids to be a CLWX 2-algebroid with two transversal strict Dirac structures. We show that there is a one-to-one correspondence between Manin triples for split Lie 2-alg…
By using the Atiyah-Singer theorem through some similarities with the instanton and the anti-instanton moduli spaces, the dimension of the moduli space for two and four-dimensional BF theories valued in different background manifolds and gauge groups scenarios is determined. Additionally, we develop Dirac's canonical analysis for a four-dimensional modified BF theory, which reproduces the topological YM theory. This framework will allow us to understand the local symmetries, the constraints, the extended Hamiltonian and the extended action of the theory.
Spectral triples over noncommutative principal $\T^n$-bundles are studied, extending recent results about the noncommutative geometry of principal U(1)-bundles. We relate the noncommutative geometry of the total space of the bundle with the geometry of the base space. Moreover, strong connections are used to build new Dirac operators. We discuss as a particular case the commutative case, the noncommutative tori and theta deformed manifolds.
Callias-type (or Dirac-Schrödinger) operators associated to abstract semifinite spectral triples are introduced and their indices are computed in terms of an associated index pairing derived from the spectral triple. The result is then interpreted as an index theorem for a non-commutative analogue of spectral flow. Both even and odd spectral triples are considered, and both commutative and non-commutative examples are given.
In this paper, we construct the index bundle gerbe of a family of self-adjoint Dirac-type operators, refining a construction of Segal. In a special case, we construct a geometric bundle gerbe called the caloron bundle gerbe, which comes with a natural connection and curving, and show that it is isomorphic to the analytically constructed index bundle gerbe. We apply these constructions to certain moduli spaces associated to compact Riemann surfaces, constructing on these moduli spaces, natural bundle gerbes with connection and curving, whose 3-curvature represent Dixmier-Douady classes that are…
The article deals with intrinsic metrics, Dirac operators and spectral triples induced by regular Dirichlet and resistance forms. We show, in particular, that if a local resistance form is given and the space is compact in resistance metric, then the intrinsic metric yields a geodesic space. Given a regular Dirichlet form, we consider Dirac operators within the framework of differential 1-forms proposed by Cipriani and Sauvageot, and comment on its spectral properties. If the Dirichlet form admits a carré operator and the generator has discrete spectrum, then we can construct a related spectra…
Following ideas of Connes and Moscovici, we describe two spectral triples related to the Kronecker foliation, whose generalized Dirac operators are related to first and second order signature operators. We also consider the corresponding differential calculi $Ω_D$, which are drastically different in the two cases. As a side-remark, we give a description of a known calculus on the two-dimensional noncommutative torus in terms of generators and relations.
In this work, we use the Sternberg phase space (which may be considered as the classical phase space of particles in gauge fields) in order to explore the dynamics of such particles in the context of Hamilton-Dirac systems and their associated Hamilton-Pontryagin variational principles. For this, we develop an analogue of the Pontryagin bundle in the case of the Sternberg phase space. Moreover, we show the link of this new bundle to the so-called magnetized Tulczyjew triple, which is an analogue of the link between the Pontryagin bundle and the usual Tulczyjew triple. Taking advantage of the s…
We construct the product of real spectral triples of arbitrary finite dimension (and arbitrary parity) taking into account the fact that in the even case there are two possible real structures, in the odd case there are two inequivalent representations of the gamma matrices (Clifford algebra), and in the even-even case there are two natural candidates for the Dirac operator of the product triple.
We define a metric on the class of metric spectral triples, which is null exactly between spectral triples with unitary equivalent Dirac operators and *-isomorphic underlying C*-algebras. This metric dominates the propinquity, and thus implies metric convergence of the compact quantum metric spaces induced by metric spectral triples. In the process of our construction, we also introduce the covariant modular propinquity, as a key component for the definition of the spectral propinquity.
In this paper we study the symplectic and Poisson geometry of moduli spaces of flat connections over quilted surfaces. These are surfaces where the structure group varies from region to region in the surface, and where a reduction (or relation) of structure occurs along the boundaries of the regions. Our main theoretical tool is a new form moment-map reduction in the context of Dirac geometry. This reduction framework allows us to use very general relations of structure groups, and to investigate both the symplectic and Poisson geometry of the resulting moduli spaces from a unified perspective…
