DOCSLIB.ORG

Dirac Operators and Spectral Geometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Dirac Operators and Spectral Geometry Dirac Operators and Spectral Geometry Joseph C. V´arilly Notes taken by Pawe lWitkowski January 2006 Contents Introduction and Overview 4 1 Clifford algebras and spinor representations 5 1.1 Clifford algebras . 5 1.2 The universality property . 6 1.3 The trace . 7 1.4 Periodicity . 8 1.5 Chirality . 10 1.6 Spinc and Spin groups . 10 1.7 The Lie algebra of Spin(V ) ............................ 12 1.8 Orthogonal complex structures . 14 1.9 Irreducible representations of Cl(V ) ....................... 15 1.10 Representations of Spinc(V )............................ 17 2 Spinor modules over compact Riemannian manifolds 18 2.1 Remarks on Riemannian geometry . 18 2.2 Clifford algebra bundles . 19 2.3 The existence of Spinc structures . 20 2.4 Morita equivalence for (commutative) unital algebras . 22 2.5 Classification of spinor modules . 23 2.6 The spin connection . 26 2.7 Epilogue: counting the spin structures . 31 3 Dirac operators 32 3.1 The metric distance property . 32 3.2 Symmetry of the Dirac operator . 34 3.3 Selfadjointness of the Dirac operator . 35 3.4 The Schr¨odinger–Lichnerowicz formula . 36 3.5 The spectral growth of the Dirac operator . 38 4 Spectral Growth and Dixmier Traces 41 4.1 Definition of spectral triples . 41 4.2 Logarithmic divergence of spectra . 42 4.3 Some eigenvalue inequalities . 43 4.4 Dixmier traces . 46 2 5 Symbols and Traces 49 5.1 Classical pseudodifferential operators . 49 5.2 Homogeneity of distributions . 52 5.3 The Wodzicki residue . 55 5.4 Dixmier trace and Wodzicki residue . 60 6 Spectral Triples: General Theory 62 6.1 The Dixmier trace revisited . 62 6.2 Regularity of spectral triples . 66 6.3 Pre-C*-algebras . 69 6.4 Real spectral triples . 75 6.5 Summability of spectral triples . 77 7 Spectral Triples: Examples 79 7.1 Geometric conditions on spectral triples . 79 7.2 Isospectral deformations of commutative spectral triples . 82 7.3 The Moyal plane as a nonunital spectral triple . 87 7.4 A geometric spectral triple over SUq(2) . 93 A Exercises 94 A.1 Examples of Dirac operators . 94 A.1.1 The circle . 94 A.1.2 The (flat) torus . 95 2 A.1.3 The Hodge–Dirac operator on S ..................... 96 2 A.2 The Dirac operator on the sphere S ....................... 98 2 A.2.1 The spinor bundle S on S ........................ 98 S 2 A.2.2 The spin connection ∇ over S ..................... 99 A.2.3 Spinor harmonics and the Dirac operator spectrum . 101 A.3 Spinc Dirac operators on the 2-sphere . 102 A.4 A spectral triple on the noncommutative torus . 104 References 108 3 Introduction and Overview Noncommutative geometry asks: “What is the geometry of the Quantum World?” Quantum field theory considers aggregates of “particles”, which are of two general species, “bosons” and “fermions”. These are described by solutions of (relativistic) wave equations: 2 • Bosons: Klein–Gordon equation, ( + m )φ(x) = ρb(x) – “source term”; • Fermions: Dirac equation, (i∂/ − m)ψ(x) = ρf (x) – “source term”; 0 1 2 3 2 2 2 2 P3 µ µ where x = (t, ~x) = (x , x , x , x ); = −∂ /∂t + ∂ /∂~x ; and ∂/ = µ=0 γ ∂/∂x . In 0 2 j 2 order that ∂/ be a “square root of ”, we need (γ ) = −1, (γ ) = +1 for j = 1, 2, 3 and γµγν = −γνγµ for µ 6= ν. Thus, the γµ must be matrices; in fact there are four (4 × 4) matrices satisfying these relations. Point-like measurements are often ruled out by quantum mechanics; thus we replace points x ∈ M by coordinates f ∈ C(M). The metric distance on a Riemannian manifold (M, g) can be computed in two ways: dg(p, q) := inf{ length(γ : [0, 1] → M): γ(0) = p, γ(1) = q } = sup{ |f(p) − f(q)| : f ∈ C(M), kD,/ fk ≤ 1 }, where D/ is a Dirac operator with positive-definite signature (all (γµ)2 = +1) if it exists, so the Dirac operator specifies the metric. D/ is an (unbounded) operator on a Hilbert space H = L2(M, S) of “square-integrable spinors” and C∞(M) also acts on H by multiplication operators with k[D,/ f]k = k grad fk∞. Noncommutative geometry generalizes (C∞(M),L2(M, S), D/) to a spectral triple of the form (A, H,D), where A is a “smooth” algebra acting on a Hilbert space H, D is an (unbounded) selfadjoint operator on H, subject to certain conditions: in particular that [D, a] be a bounded operator for each a ∈ A. The tasks of the geometer are then: 1. To describe (metric) differential geometry in an operator language. 2. To reconstruct (ordinary) geometry in the operator framework. 3. To develop new geometries with noncommutative coordinate algebras. The long-term goal is to geometrize quantum physics at very high energy scales, but we are still a long way from there. The general program of these lectures is as follows. (A) The classical theory of spinors and Dirac operators in the Riemannian case. (B) The operational toolkit for noncommutative generalization. (C) Reconstruction: how to recover differential geometry from the operator framework. (D) Examples of spectral triples with noncommutative coordinate algebras. 4 Chapter 1 Clifford algebras and spinor representations Here are a few general references on Clifford algebras, in reverse chronological order: [GVF, 2001], [Fri, 1997/2000], [BGV, 1992], [LM, 1989] and [ABS, 1964]. (See the bibliography for details.) 1.1 Clifford algebras n We start with (V, g), where V ' R and g is a nondegenerate symmetric bilinear form. If q(v) = g(v, v), then 2g(u, v) = q(u + v) − q(u) − q(v). Thus g is determined by the corresponding “quadratic form” q. Definition 1.1. The Clifford algebra Cl(V, g) is an algebra (over R) generated by the vectors v ∈ V subject to the relations uv + vu = 2g(u, v)1 for u, v ∈ V . The existence of this algebra can be seen in two ways. First of all, let T (V ) be the tensor L∞ ⊗n algebra on V , that is, T (V ) := k=0 V . Then Cl(V, g) := T (V )/ Idealhu ⊗ v + v ⊗ u − 2g(u, v) 1 : u, v ∈ V i. (1.1) Since the relations are not homogeneous, the Z-grading of T (V ) is lost, only a Z2-grading remains: Cl(V, g) = Cl0(V, g) ⊕ Cl1(V, g). • The second option is to define Cl(V, g) as a subalgebra of EndR(Λ V ) generated by all expressions c(v) = ε(v) + ι(v) for v ∈ V , where ε(v): u1 ∧ · · · ∧ uk 7→ v ∧ u1 ∧ · · · ∧ uk k X j−1 ι(v): u1 ∧ · · · ∧ uk 7→ (−1) g(v, uj)u1 ∧ · · · ∧ ubj ∧ · · · ∧ uk. j=1 Note that ε(v)2 = 0, ι(v)2 = 0, and ε(v)ι(u) + ι(u)ε(v) = g(v, u) 1. Thus c(v)2 = g(v, v) 1 for all v ∈ V, c(u)c(v) + c(v)c(u) = 2g(u, v) 1 for all u, v ∈ V. Thus these operators on Λ•V do provide a representation of the algebra (1.1). 5 Dimension count: suppose {e1, . , en} is an orthonormal basis for (V, g), i.e., g(ek, ek) = ±1 and g(ej, ek) = 0 for j 6= k. Then the c(ej) anticommute and thus a basis for Cl(V, g) is {c(ek1 ) . c(ekr ) : 1 ≤ k1 < ··· < kr ≤ n}, labelled by K = {k1, . , kr} ⊆ {1, . , n}. Indeed, • c(ek1 ) . c(ekr ): 1 7→ ek1 ∧ · · · ∧ ekr ≡ eK ∈ Λ V • and these are linearly independent. Thus the dimension of the subalgebra of EndR(Λ V ) generated by all c(v) is just dim Λ•V = 2n. Now, a moment’s thought shows that in the abstract presentation (1.1), the algebra Cl(V, g) is generated as a vector space by the 2n products ek1 ek2 . ekr , and these are linearly independent since the operators c(ek1 ) . c(ekr ) • are linearly independent in EndR(Λ V ). Therefore, this representation of Cl(V, g) is faithful, and dim Cl(V, g) = 2n. The so-called “symbol map”: σ : a 7→ a(1) : Cl(V, g) → Λ•V is inverted by a “quantization map”: 1 X Q : u ∧ u ∧ · · · ∧ u 7−→ (−1)τ c(u )c(u ) . c(u ). (1.2) 1 2 r r! τ(1) τ(2) τ(r) τ∈Sr To see that it is an inverse to σ, one only needs to check it on the products of elements of an orthonormal basis of (V, g). From now, we write uv instead of c(u)c(v), etc., in Cl(V, g). 1.2 The universality property Chevalley [Che] has pointed out the usefulness of the following property of Clifford algebras, which is an immediate consequence of their definition. Lemma 1.2. Any R-linear map f : V → A (an R-algebra) that satisfies 2 f(v) = g(v, v) 1A for all v ∈ V extends to an unique unital R-algebra homomorphism f˜: Cl(V, g) → A. Proof. There is really nothing to prove: f˜(v1v2 . vr) := f(v1)f(v2) . f(vr) gives the unique- ness, provided only that this recipe is well-defined. But observe that f˜(uv + vu − 2g(u, v)1) = f˜((u + v)2 − u2 − v2) − 2g(u, v) f˜(1) = [q(u + v) − q(u) − q(v) − 2g(u, v)] 1A = 0. Here are a few applications of universality that yield several useful operations on the Clifford algebra. 1. Grading: take A = Cl(V, g) itself; the linear map v 7→ −v on V extends to an automor- 2 phism χ ∈ Aut(Cl(V, g)) satisfying χ = idA, given by r χ(v1 .
Load more

Recommended publications
  • Spectral Geometry Spring 2016
    Spectral Geometry Spring 2016 Michael Magee Lecture 5: The resolvent. Last time we proved that the Laplacian has a closure whose domain is the Sobolev space H2(M)= u L2(M): u L2(M), ∆u L2(M) . { 2 kr k2 2 } We view the Laplacian as an unbounded densely defined self-adjoint operator on L2 with domain H2. We also stated the spectral theorem. We’ll now ask what is the nature of the pro- jection valued measure associated to the Laplacian (its ‘spectral decomposition’). Until otherwise specified, suppose M is a complete Riemannian manifold. Definition 1. The resolvent set of the Laplacian is the set of λ C such that λI ∆isa bijection of H2 onto L2 with a boundedR inverse (with respect to L2 norms)2 − 1 2 2 R(λ) (λI ∆)− : L (M) H (M). ⌘ − ! The operator R(λ) is called the resolvent of the Laplacian at λ. We write spec(∆) = C −R and call it the spectrum. Note that the projection valued measure of ∆is supported in R 0. Otherwise one can find a function in H2(M)where ∆ , is negative, but since can be≥ approximated in Sobolev norm by smooth functions, thish will contradicti ∆ , = g( , )Vol 0. (1) h i ˆ r r ≥ Note then the spectral theorem implies that the resolvent set contains C R 0 (use the Borel functional calculus). − ≥ Theorem 2 (Stone’s formula [1, VII.13]). Let P be the projection valued measure on R associated to the Laplacan by the spectral theorem. The following formula relates the resolvent to P b 1 1 lim(2⇡i)− [R(λ + i✏) R(λ i✏)] dλ = P[a,b] + P(a,b) .
    [Show full text]
  • Gsm025-Endmatter.Pdf
    http://dx.doi.org/10.1090/gsm/025 Selected Titles in This Series 25 Thomas Friedrich, Dirac operators in Riemannian geometry, 2000 24 Helmut Koch, Number theory: Algebraic numbers and functions, 2000 23 Alberto Candel and Lawrence Conlon, Foliations I, 2000 22 Giinter R. Krause and Thomas H. Lenagan, Growth of algebras and Gelfand-Kirillov dimension, 2000 21 John B. Conway, A course in operator theory, 2000 20 Robert E. Gompf and Andras I. Stipsicz, 4-manifolds and Kirby calculus, 1999 19 Lawrence C. Evans, Partial differential equations, 1998 18 Winfried Just and Martin Weese, Discovering modern set theory. II: Set-theoretic tools for every mathematician, 1997 17 Henryk Iwaniec, Topics in classical automorphic forms, 1997 16 Richard V. Kadison and John R. Ringrose, Fundamentals of the theory of operator algebras. Volume II: Advanced theory, 1997 15 Richard V. Kadison and John R. Ringrose, Fundamentals of the theory of operator algebras. Volume I: Elementary theory, 1997 14 Elliott H. Lieb and Michael Loss, Analysis, 1997 13 Paul C. Shields, The ergodic theory of discrete sample paths, 1996 12 N. V. Krylov, Lectures on elliptic and parabolic equations in Holder spaces, 1996 11 Jacques Dixmier, Enveloping algebras, 1996 Printing 10 Barry Simon, Representations of finite and compact groups, 1996 9 Dino Lorenzini, An invitation to arithmetic geometry, 1996 8 Winfried Just and Martin Weese, Discovering modern set theory. I: The basics, 1996 7 Gerald J. Janusz, Algebraic number fields, second edition, 1996 6 Jens Carsten Jantzen, Lectures on quantum groups, 1996 5 Rick Miranda, Algebraic curves and Riemann surfaces, 1995 4 Russell A.
    [Show full text]
  • Â-Genus and Collapsing
    The Journal of Geometric Analysis Volume 10, Number 3, 2000 A A-Genus and Collapsing By John Lott ABSTRACT. If M is a compact spin manifold, we give relationships between the vanishing of A( M) and the possibility that M can collapse with curvature bounded below. 1. Introduction The purpose of this paper is to extend the following simple lemma. Lemma 1.I. If M is a connectedA closed Riemannian spin manifold of nonnegative sectional curvature with dim(M) > 0, then A(M) = O. Proof Let K denote the sectional curvature of M and let R denote its scalar curvature. Suppose that A(M) (: O. Let D denote the Dirac operator on M. From the Atiyah-Singer index theorem, there is a nonzero spinor field 7t on M such that D~p = 0. From Lichnerowicz's theorem, 0 = IDOl 2 dvol = IV~Pl 2 dvol + ~- I•12 dvol. (1.1) From our assumptions, R > 0. Hence V~p = 0. This implies that I~k F2 is a nonzero constant function on M and so we must also have R = 0. Then as K > 0, we must have K = 0. This implies, from the integral formula for A'(M) [14, p. 231], that A"(M) = O. [] The spin condition is necessary in Lemma 1.l, as can be seen in the case of M = CP 2k. The Ricci-analog of Lemma 1.1 is false, as can be seen in the case of M = K3. Definition 1.2. A connected closed manifold M is almost-nonnegatively-curved if for every E > 0, there is a Riemannian metric g on M such that K(M, g) diam(M, g)2 > -E.
    [Show full text]
  • NON-EXISTENCE of METRIC on Tn with POSITIVE SCALAR
    NON-EXISTENCE OF METRIC ON T n WITH POSITIVE SCALAR CURVATURE CHAO LI Abstract. In this note we present Gromov-Lawson's result on the non-existence of metric on T n with positive scalar curvature. Historical results Scalar curvature is one of the simplest invariants of a Riemannian manifold. In general dimensions, this function (the average of all sectional curvatures at a point) is a weak measure of the local geometry, hence it's suspicious that it has no relation to the global topology of the manifold. In fact, a result of Kazdan-Warner in 1975 states that on a compact manifold of dimension ≥ 3, every smooth function which is negative somewhere, is the scalar curvature of some Riemannian metric. However people know that there are manifolds which carry no metric whose scalar scalar curvature is everywhere positive. The first examples of such manifolds were given in 1962 by Lichnerowicz. It is known that if X is a compact spin manifold and A^ 6= 0 then by Lichnerowicz formula (which will be discussed later) then X doesn't carry any metric with everywhere positive scalar curvature. Note that spin assumption is essential here, since the complex projective plane has positive sectional curvature and non-zero A^-genus. Despite these impressive results, one simple question remained open: Can the torus T n, n ≥ 3, carry a metric of positive scalar curvature? This question was settled for n ≤ 7 by R. Schoen and S. T. Yau. Their method involves the existence of smooth solution of Plateau problem, so the dimension restriction n ≤ 7 is essential.
    [Show full text]
  • What Is the Dirac Equation?
    What is the Dirac equation? M. Burak Erdo˘gan ∗ William R. Green y Ebru Toprak z July 15, 2021 at all times, and hence the model needs to be first or- der in time, [Tha92]. In addition, it should conserve In the early part of the 20th century huge advances the L2 norm of solutions. Dirac combined the quan- were made in theoretical physics that have led to tum mechanical notions of energy and momentum vast mathematical developments and exciting open operators E = i~@t, p = −i~rx with the relativis- 2 2 2 problems. Einstein's development of relativistic the- tic Pythagorean energy relation E = (cp) + (E0) 2 ory in the first decade was followed by Schr¨odinger's where E0 = mc is the rest energy. quantum mechanical theory in 1925. Einstein's the- Inserting the energy and momentum operators into ory could be used to describe bodies moving at great the energy relation leads to a Klein{Gordon equation speeds, while Schr¨odinger'stheory described the evo- 2 2 2 4 lution of very small particles. Both models break −~ tt = (−~ ∆x + m c ) : down when attempting to describe the evolution of The Klein{Gordon equation is second order, and does small particles moving at great speeds. In 1927, Paul not have an L2-conservation law. To remedy these Dirac sought to reconcile these theories and intro- shortcomings, Dirac sought to develop an operator1 duced the Dirac equation to describe relativitistic quantum mechanics. 2 Dm = −ic~α1@x1 − ic~α2@x2 − ic~α3@x3 + mc β Dirac's formulation of a hyperbolic system of par- tial differential equations has provided fundamental which could formally act as a square root of the Klein- 2 2 2 models and insights in a variety of fields from parti- Gordon operator, that is, satisfy Dm = −c ~ ∆ + 2 4 cle physics and quantum field theory to more recent m c .
    [Show full text]
  • Gsm038-Endmatter.Pdf
    http://dx.doi.org/10.1090/gsm/038 Selected Titles in This Series 38 Elton P. Hsu, Stochastic analysis on manifolds, 2002 37 Hershel M. Farkas and Irwin Kra, Theta constants, Riemann surfaces and the modular group, 2001 36 Martin Schechter, Principles of functional analysis, second edition, 2002 35 James F. Davis and Paul Kirk, Lecture notes in algebraic topology, 2001 34 Sigurdur Helgason, Differential geometry, Lie groups, and symmetric spaces, 2001 33 Dmitri Burago, Yuri Burago, and Sergei Ivanov, A course in metric geometry, 2001 32 Robert G. Bartle, A modern theory of integration, 2001 31 Ralf Korn and Elke Korn, Option pricing and portfolio optimization: Modern methods of financial mathematics, 2001 30 J. C. McConnell and J. C. Robson, Noncommutative Noetherian rings, 2001 29 Javier Duoandikoetxea, Fourier analysis, 2001 28 Liviu I. Nicolaescu, Notes on Seiberg-Witten theory, 2000 27 Thierry Aubin, A course in differential geometry, 2001 26 Rolf Berndt, An introduction to symplectic geometry, 2001 25 Thomas Friedrich, Dirac operators in Riemannian geometry, 2000 24 Helmut Koch, Number theory: Algebraic numbers and functions, 2000 23 Alberto Candel and Lawrence Conlon, Foliations I, 2000 22 Giinter R. Krause and Thomas H. Lenagan, Growth of algebras and Gelfand-Kirillov dimension, 2000 21 John B. Conway, A course in operator theory, 2000 20 Robert E. Gompf and Andras I. Stipsicz, 4-manifolds and Kirby calculus, 1999 19 Lawrence C. Evans, Partial differential equations, 1998 18 Winfried Just and Martin Weese, Discovering modern set theory. II: Set-theoretic tools for every mathematician, 1997 17 Henryk Iwaniec, Topics in classical automorphic forms, 1997 16 Richard V.
    [Show full text]
  • Dirac Equation - Wikipedia
    Dirac equation - Wikipedia https://en.wikipedia.org/wiki/Dirac_equation Dirac equation From Wikipedia, the free encyclopedia In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it 1 describes all spin-2 massive particles such as electrons and quarks for which parity is a symmetry. It is consistent with both the principles of quantum mechanics and the theory of special relativity,[1] and was the first theory to account fully for special relativity in the context of quantum mechanics. It was validated by accounting for the fine details of the hydrogen spectrum in a completely rigorous way. The equation also implied the existence of a new form of matter, antimatter, previously unsuspected and unobserved and which was experimentally confirmed several years later. It also provided a theoretical justification for the introduction of several component wave functions in Pauli's phenomenological theory of spin; the wave functions in the Dirac theory are vectors of four complex numbers (known as bispinors), two of which resemble the Pauli wavefunction in the non-relativistic limit, in contrast to the Schrödinger equation which described wave functions of only one complex value. Moreover, in the limit of zero mass, the Dirac equation reduces to the Weyl equation. Although Dirac did not at first fully appreciate the importance of his results, the entailed explanation of spin as a consequence of the union of quantum mechanics and relativity—and the eventual discovery of the positron—represents one of the great triumphs of theoretical physics.
    [Show full text]
  • THE DIRAC OPERATOR 1. First Properties 1.1. Definition. Let X Be A
    THE DIRAC OPERATOR AKHIL MATHEW 1. First properties 1.1. Definition. Let X be a Riemannian manifold. Then the tangent bundle TX is a bundle of real inner product spaces, and we can form the corresponding Clifford bundle Cliff(TX). By definition, the bundle Cliff(TX) is a vector bundle of Z=2-graded R-algebras such that the fiber Cliff(TX)x is just the Clifford algebra Cliff(TxX) (for the inner product structure on TxX). Definition 1. A Clifford module on X is a vector bundle V over X together with an action Cliff(TX) ⊗ V ! V which makes each fiber Vx into a module over the Clifford algebra Cliff(TxX). Suppose now that V is given a connection r. Definition 2. The Dirac operator D on V is defined in local coordinates by sending a section s of V to X Ds = ei:rei s; for feig a local orthonormal frame for TX and the multiplication being Clifford multiplication. It is easy to check that this definition is independent of the coordinate system. A more invariant way of defining it is to consider the composite of differential operators (1) V !r T ∗X ⊗ V ' TX ⊗ V,! Cliff(TX) ⊗ V ! V; where the first map is the connection, the second map is the isomorphism T ∗X ' TX determined by the Riemannian structure, the third map is the natural inclusion, and the fourth map is Clifford multiplication. The Dirac operator is clearly a first-order differential operator. We can work out its symbol fairly easily. The symbol1 of the connection r is ∗ Sym(r)(v; t) = iv ⊗ t; v 2 Vx; t 2 Tx X: All the other differential operators in (1) are just morphisms of vector bundles.
    [Show full text]
  • Spectral Geometry for Structural Pattern Recognition
    Spectral Geometry for Structural Pattern Recognition HEWAYDA EL GHAWALBY Ph.D. Thesis This thesis is submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy. Department of Computer Science United Kingdom May 2011 Abstract Graphs are used pervasively in computer science as representations of data with a network or relational structure, where the graph structure provides a flexible representation such that there is no fixed dimensionality for objects. However, the analysis of data in this form has proved an elusive problem; for instance, it suffers from the robustness to structural noise. One way to circumvent this problem is to embed the nodes of a graph in a vector space and to study the properties of the point distribution that results from the embedding. This is a problem that arises in a number of areas including manifold learning theory and graph-drawing. In this thesis, our first contribution is to investigate the heat kernel embed- ding as a route to computing geometric characterisations of graphs. The reason for turning to the heat kernel is that it encapsulates information concerning the distribution of path lengths and hence node affinities on the graph. The heat ker- nel of the graph is found by exponentiating the Laplacian eigensystem over time. The matrix of embedding co-ordinates for the nodes of the graph is obtained by performing a Young-Householder decomposition on the heat kernel. Once the embedding of its nodes is to hand we proceed to characterise a graph in a geometric manner. With the embeddings to hand, we establish a graph character- ization based on differential geometry by computing sets of curvatures associated ii Abstract iii with the graph nodes, edges and triangular faces.
    [Show full text]
  • P-Dirac Operators Craig A. Nolder Department of Mathematics, Florida State University, Tallahassee, Florida 32306-4510, USA
    p-Dirac Operators Craig A. Nolder Department of Mathematics, Florida State University, Tallahassee, Florida 32306-4510, USA and John Ryan Department of Mathematics, University of Arkansas, Fayetteville, AR 72701, USA Abstract We introduce non-linear Dirac operators in Rn associated to the p-harmonic equation and we extend to other contexts including spin manifolds and the sphere. 1 Introduction Associated to each type of Laplacian one usually sees a first order lineariza- tion, to a Dirac operator. For instance associated to the Laplacian in Rn is the euclidean Dirac operator arising in Clifford analysis. For the Laplace- Beltrami operator associated to a Riemannian manifold there is the Hodge- Dirac operator d + d!, where d is the exterior derivative and d! is the Hodge codifferential which is the formal adjoint to d. Further, in reverse order, to the Atiyah-Singer-Dirac operator on a spin manifold there is the spinorial Laplacian. Also on Sn one has a conformal Dirac operator and the conformal Laplacian. See for instance [3, 5, 9, 11] for details. Besides the Laplacian in Rn there are also the non-linear operators re- ferred to as p-Laplacians. See for instance [7, 8, 10]. Despite being non-linear these second order operators posses properties very similar to the usual Lapla- cian in euclidean space. Further when p = 2 this operator corresponds to the usual Laplacian in euclidean space. Here we shall introduce a first order nonlinear differential operator which in the case p = 2 coincides with the euclidean Dirac operator. The confor- mal covariance of these operators are established.
    [Show full text]
  • Solvable Two-Body Dirac Equation As a Potential Model of Light Mesons?
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 4 (2008), 048, 19 pages Solvable Two-Body Dirac Equation as a Potential Model of Light Mesons? Askold DUVIRYAK Institute for Condensed Matter Physics of National Academy of Sciences of Ukraine, 1 Svientsitskii Str., UA–79011 Lviv, Ukraine E-mail: [email protected] Received October 29, 2007, in final form May 07, 2008; Published online May 30, 2008 Original article is available at http://www.emis.de/journals/SIGMA/2008/048/ Abstract. The two-body Dirac equation with general local potential is reduced to the pair of ordinary second-order differential equations for radial components of a wave function. The class of linear + Coulomb potentials with complicated spin-angular structure is found, for which the equation is exactly solvable. On this ground a relativistic potential model of light mesons is constructed and the mass spectrum is calculated. It is compared with experimental data. Key words: two body Dirac equation; Dirac oscillator; solvable model; Regge trajectories 2000 Mathematics Subject Classification: 81Q05; 34A05 1 Introduction It is well known that light meson spectra are structured into Regge trajectories which are approximately linear and degenerated due to a weak dependence of masses of resonances on their spin state. These features are reproduced well within the exactly solvable simple relativistic oscillator model (SROM) [1, 2, 3] describing two Klein–Gordon particles harmonically bound. Actually, mesons consist of quarks, i.e., spin-1/2 constituents. Thus potential models based on the Dirac equation are expected to be more appropriate for mesons spectroscopy. In recent years the two body Dirac equations (2BDE) in different formulations1 with various confining potentials are used as a relativistic constituent quark models [16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26].
    [Show full text]
  • Dirac Operator in Matrix Geometry
    New Mexico Tech (January 2005) Dirac Operator in Matrix Geometry Ivan G. Avramidi Department of Mathematics New Mexico Institute of Mining and Technology Socorro, NM 87801, USA E-mail: [email protected] Dedicated to the Memory of Vladimir Fock and Dmitri Ivanenko We review the construction of the Dirac operator and its proper- ties in Riemannian geometry and show how the asymptotic expansion of the trace of the heat kernel determines the spectral invariants of the Dirac operator and its index. We also point out that the Einstein- Hilbert functional can be obtained as a linear combination of the first two spectral invariants of the Dirac operator. Next, we report on arXiv:math-ph/0502001v1 31 Jan 2005 our previous attempts to generalize the notion of the Dirac opera- tor to the case of Matrix Geometry, when instead of a Riemannian metric there is a matrix valued self-adjoint symmetric two-tensor that plays a role of a “non-commutative” metric. We construct invariant first-order and second-order self-adjoint elliptic partial differential op- erators, that can be called “non-commutative” Dirac operator and non-commutative Laplace operator. We construct the corresponding heat kernel for the non-commutative Laplace type operator and com- pute its first two spectral invariants. A linear combination of these two spectral invariants gives a functional that can be considered as a non-commutative generalization of the Einstein-Hilbert action. 1 1 Introduction Dirac operator was discovered by Dirac in 1928 as a “square root” of the D’Alambert operator in a flat Minkowskian space in an attempt to develop a relativistic theory of the electron.
    [Show full text]