DOCSLIB.ORG

The Hodge Operator Revisited Arxiv:1511.05105V2 [Hep-Th]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Hodge Operator Revisited Arxiv:1511.05105V2 [Hep-Th] The Hodge Operator Revisited L. Castellani a;b;∗, R. Catenacci a;c;y, and P.A. Grassi a;b;z (a) Dipartimento di Scienze e Innovazione Tecnologica, Universit`adel Piemonte Orientale Viale T. Michel, 11, 15121 Alessandria, Italy (b) INFN, Sezione di Torino, via P. Giuria 1, 10125 Torino (c) Gruppo Nazionale di Fisica Matematica, INdAM, P.le Aldo Moro 5, 00185 Roma Abstract We present a new construction for the Hodge operator for differential manifolds based on a Fourier (Berezin)-integral representation. We find a simple formula for the Hodge dual of the wedge product of differential forms, using the (Berezin)-convolution. The present analysis is easily extended to supergeometry and to non-commutative geometry. arXiv:1511.05105v2 [hep-th] 19 Nov 2015 ∗[email protected] [email protected] [email protected] 1 Introduction Pursuing the construction of supersymmetric Lagrangians based in the framework of super- manifold geometry, we proposed in [1] a new Hodge operator ? acting on (super)differential forms. For that aim, we have developed a complete formalism (integral-, pseudo- e super- forms, their complexes and the integration theory) in a series of papers [2, 1, 3] together with a suitable Hodge operator. As a byproduct, this new mathematical tool sheds also a new light on the Hodge operator in conventional differential geometry. The present work illustrates this new point of view. The Hodge operator plays an essential role in differential geometry, yielding a fundamental relation between the exterior bundle Ω•(M) of differential forms and the scalar product (•; •) on the manifold. The construction requires the existence of a metric g on the the manifold M and is an involutive operation ? which satisfies the linearity condition ?(f!) = f ? ! with ! a given p-form of Ω•(M). In the case of supermanifolds (we refer for ex. to [1] for the basic ingredients of super- geometry; see also [4] and for a recent extensive review see [5]), the definition of the Hodge dual turns out to be harder than expected since one has to deal with the infinite-dimensional complexes of superforms. The integral forms and pseudo-forms are crucial to establish the correct matching of elements between the different spaces of forms. This new type of differ- ential forms requires the enlargement of the conventional space spanned by the fundamental 1-forms, admitting distribution-like expressions (essentially, Dirac delta functions and Heav- iside step functions). This has triggered us to consider the Fourier analysis for differential forms (this was also considered in [6]), and leads to an integral Fourier representation of the Hodge operator as explained in [1, 3]. Such a representation can first be established in the case of a conventional manifold M without any reference to supermanifolds, except for the notion of Berezin integral. A new set of anticommuting variables playing the role of dual variables to fundamental 1-forms dxi are introduced and the Hodge operator is defined by a suitable Berezin integration on the new variables. The result is proven to coincide with the usual Hodge operator. When extended to supermanifolds, our construction yields a \good" 1 definition of Hodge operator, satisfying all desired properties. As is well known, in conventional Fourier analysis, the Fourier transform of a product of two functions is the convolution integral of the Fourier transform of the two functions. In a reciprocal way, the Fourier transform of the convolution integral of two functions can be expressed as the product of the Fourier transforms of the latter. This simple formula can be imported in our framework where the Fourier transform represents the Hodge operator and the convolution integral is a suitable Berezin integral of two differential forms. With this observation we are able to express the Hodge dual of the wedge product of two differential forms as the (Berezin)-convolution of the Hodge duals of the differential forms. In the present paper, we show the consistency of these definitions, derive their properties and make contact with the conventional results. Finally, our Fourier (Berezin) integral representation of the Hodge dual operator can be extended to noncommutative spaces. A very recent work on this appeared in [7]. The letter is organized as follows: in Sec. 2, we review the integration theory of differential forms as Berezin integration. In Sec. 3 we give the integral Fourier representation of the Hodge dual. In Sec. 4, we present the Berezin-convolution and the Hodge dual of the product of differential forms. 2 Forms and Integration The usual integration theory of differential forms for bosonic manifolds can be conveniently rephrased to uncover its relation with Berezin integration. We start with a simple example: consider in R the integrable 1-form ! = g(x)dx (with g(x) an integrable function in R ). We have: Z Z +1 ! = g(x)dx : R −∞ Observing that dx is an anticommuting quantity, and denoting it by , we could think of ! as a function on the superspace R1j1: ! = g(x)dx = f(x; ) = g(x) (2.1) 2 This function can be integrated `ala Berezin reproducing the usual definition: Z Z +1 Z f(x; )[dxd ] = g(x)dx = ! R1j1 −∞ R Note that the symbol of the formal measure [dxd ] is written just to emphasize that we are integrating on the two variables x and , hence the dx inside [dxd ] is not identified with . Denoting by M a bosonic orientable differentiable manifold of dimension n, its exte- • Pn Vp Vp rior bundle Ω (M) = p=0 (M) is the direct sum of (M) (sometimes denoted also by Ωp(M)). A section ! of Ωp(M) can be written locally as X i1 ip ! = !i1:::ip (x)dx ^ · · · ^ dx (2.2) where the coefficients !i1:::ip (x) are functions on M and i1 < ::: < ip. The integral of ! 2 Ωn(M) is defined as: Z Z n I[!] = ! = !i1:::in (x) d x ; (2.3) M M This opens the way to relating the integration theory of forms and the Berezin integral, by substituting every 1-form dxi with a corresponding abstract Grassmann variable denoted again with dxi: A section ! of Ω•(M) is viewed locally as a function on a supermanifold M =T ∗(M) with coordinates (xi; dxi): X i1 ip !(x; dx) = !i1:::ip (x)dx : : : dx ; (2.4) such functions are polynomials in dx's. Supposing now that the form ! is integrable, its Berezin integral gives: Z Z !(x; dx)[dnxdn(dx)] = ! (2.5) M=T ∗(M)) M 3 The Integral Representation of the Hodge Star i n In the following, for a given set fξ gi=1 of Grassmann variables, our definition of the Berezin n(n−1) integral is R ξ1...ξn [dnξ] = 1 and not R ξ1...ξn [dnξ] = (−1) 2 : Moreover, if α is a R0jn R0jn monomial expression of some anticommuting variables αk not depending on the ξi; we define: R 1 n n i 0jn αξ ...ξ [d ξ] = α; where the product between α and the ξ is the usual 2 graded R Z 3 wedge product in the superalgebra generated by the tensor product of the Grassmann algebra i k generated by the ξ and that generated by the α : if A and B are two Z2-graded algebras with products ·Aand ·B, the Z2-graded tensor product A ⊗ B is a Z2-graded algebra with the product (for homogeneous elements) given by : 0 0 ja0jjbj 0 0 (a ⊗ b) ·A⊗B (a ⊗ b ) = (−1) a ·A a ⊗ b ·B b In our case the algebras are Grassmann algebras and the products · are wedge products. The symbols ⊗ and ^ will be, in general, omitted. As observed in [1] one can obtain the usual Hodge dual in Rn (for a metric given by a matrix A with entries gij ) by means of the Fourier (Berezin)-integral transform T . For !(x; dx) 2 Ωk(Rn) we have: p p 2 2 jgj 2 2 jgj Z 0 ?! = i(k −n ) T (!) = i(k −n ) !(x; η0)eidxAη [dnη0] (3.1) g g R0jn idxAη0 where g = detA and the exponential series defining e is written using the Z2 graded wedge product quoted above. The Grassmann variables η0 are defined as η0 = A−1η where the η are the (parity changed) variables dual to the dx. In this way the covariance properties of !(x; η0) are exactly those of a differential form. For example, in R2 we can compute: idxAη0 1 01 2 01 1 02 2 02 1 2 01 02 e = 1 + ig11dx η + ig21dx η + ig12dx η + ig22dx η + gdx dx η η (3.2) and the definition (3.1) gives the usual results: p 2 2 jgj Z 0 ?1 = i(0 −2 )T (1) = eidxAη [d2η0] = pjgjdx1dx2 g R0j2 p p 2 2 jgj Z jgj ?dx1dx2 = i(2 −2 )T (η01η02) = η01η02eidxAη[d2η0] = g R0j2 g p 2 2 2 2 jgj Z 0 ?dx1 = i(1 −2 )T (η01) = i(1 −2 ) η01eidxAη [d2η0] = −g12pjgjdx1 + g11pjgjdx2 g R0j2 p 2 2 2 2 jgj Z 0 ?dx2 = i(1 −2 )T (η02) = i(1 −2 ) η02eidxAη [d2η0] = −g22pjgjdx1 + g21pjgjdx2 g R0j2 4 2 2 The factor i(k −n ) can be obtained by computing the transformation of the monomial form dx1dx2:::dxk in the simple case A = I: Noting that in the Berezin integral only the higher degree term in the η variables is involved, and that the monomials dxiηi are even objects, we find: Z T dx1:::dxk = η1...ηkeidxη[dnη] = 0jn ZR i Pk dxiηi+Pn dxiηi = η1...ηke ( i=1 i=k+1 )[dnη] = 0jn ZR 1 k i Pk dxiηi i Pn dxiηi n = η ...η e i=1 e i=k+1 [d η] = 0jn ZR 1 k i Pn dxiηi n = η ...η e i=k+1 [d η] = R0jn n !n−k Z in−k X = η1...ηk dxiηi [dnη] 0jn (n − k)! R i=k+1 Rearranging the monomials dxiηi one obtains: n !n−k X dxiηi = (n − k)! dxk+1ηk+1)(dxk+2ηk+2):::(dxnηn = i=k+1 1 (n−k)(n−k−1) k+1 k+2 n k+1 k+2 n = (n − k)!(−1) 2 dx dx :::dx )(η η ...η and finally: T dx1:::dxk = Z n−k i 1 k 1 (n−k)(n−k−1) k+1 k+2 n k+1 k+2 n n = η ...η (n − k)!(−1) 2 dx dx :::dx )(η η ...η [d η] = R0jn (n − k)! Z n−k 1 (n−k)(n−k−1) k(n−k) k+1 k+2 n 1 k k+1 k+2 n n = i (−1) 2 (−1) dx dx :::dx )(η ...η )(η η ...η [d η] = R0jn 2 2 = i(n −k )(dxk+1dxk+2:::dxn) The computation above gives immediately: 2 2 i(k −n )T dx1:::dxk = ? dx1:::dxk (3.3) 5 and 2 2 2 T 2 (!) = i(n −k )i(k ) (!) = in2 (!) (3.4) yielding the usual relation: 2 2 2 2 ? ?! = i((n−k) −n )i(k −n )in2 (!) = (−1)k(k−n)(!) (3.5) 4 Convolution Product of Forms As for functions, one can define a convolution product between differential forms on an ordi- nary manifold.
Load more

Recommended publications
  • Topology and Physics 2019 - Lecture 2
    Topology and Physics 2019 - lecture 2 Marcel Vonk February 12, 2019 2.1 Maxwell theory in differential form notation Maxwell's theory of electrodynamics is a great example of the usefulness of differential forms. A nice reference on this topic, though somewhat outdated when it comes to notation, is [1]. For notational simplicity, we will work in units where the speed of light, the vacuum permittivity and the vacuum permeability are all equal to 1: c = 0 = µ0 = 1. 2.1.1 The dual field strength In three dimensional space, Maxwell's electrodynamics describes the physics of the electric and magnetic fields E~ and B~ . These are three-dimensional vector fields, but the beauty of the theory becomes much more obvious if we (a) use a four-dimensional relativistic formulation, and (b) write it in terms of differential forms. For example, let us look at Maxwells two source-free, homogeneous equations: r · B = 0;@tB + r × E = 0: (2.1) That these equations have a relativistic flavor becomes clear if we write them out in com- ponents and organize the terms somewhat suggestively: x y z 0 + @xB + @yB + @zB = 0 x z y −@tB + 0 − @yE + @zE = 0 (2.2) y z x −@tB + @xE + 0 − @zE = 0 z y x −@tB − @xE + @yE + 0 = 0 Note that we also multiplied the last three equations by −1 to clarify the structure. All in all, we see that we have four equations (one for each space-time coordinate) which each contain terms in which the four coordinate derivatives act. Therefore, we may be tempted to write our set of equations in more \relativistic" notation as ^µν @µF = 0 (2.3) 1 with F^µν the coordinates of an antisymmetric two-tensor (i.
    [Show full text]
  • LP THEORY of DIFFERENTIAL FORMS on MANIFOLDS This
    TRANSACTIONSOF THE AMERICAN MATHEMATICALSOCIETY Volume 347, Number 6, June 1995 LP THEORY OF DIFFERENTIAL FORMS ON MANIFOLDS CHAD SCOTT Abstract. In this paper, we establish a Hodge-type decomposition for the LP space of differential forms on closed (i.e., compact, oriented, smooth) Rieman- nian manifolds. Critical to the proof of this result is establishing an LP es- timate which contains, as a special case, the L2 result referred to by Morrey as Gaffney's inequality. This inequality helps us show the equivalence of the usual definition of Sobolev space with a more geometric formulation which we provide in the case of differential forms on manifolds. We also prove the LP boundedness of Green's operator which we use in developing the LP theory of the Hodge decomposition. For the calculus of variations, we rigorously verify that the spaces of exact and coexact forms are closed in the LP norm. For nonlinear analysis, we demonstrate the existence and uniqueness of a solution to the /1-harmonic equation. 1. Introduction This paper contributes primarily to the development of the LP theory of dif- ferential forms on manifolds. The reader should be aware that for the duration of this paper, manifold will refer only to those which are Riemannian, compact, oriented, C°° smooth and without boundary. For p = 2, the LP theory is well understood and the L2-Hodge decomposition can be found in [M]. However, in the case p ^ 2, the LP theory has yet to be fully developed. Recent appli- cations of the LP theory of differential forms on W to both quasiconformal mappings and nonlinear elasticity continue to motivate interest in this subject.
    [Show full text]
  • NOTES on DIFFERENTIAL FORMS. PART 3: TENSORS 1. What Is A
    NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS 1. What is a tensor? 1 n Let V be a finite-dimensional vector space. It could be R , it could be the tangent space to a manifold at a point, or it could just be an abstract vector space. A k-tensor is a map T : V × · · · × V ! R 2 (where there are k factors of V ) that is linear in each factor. That is, for fixed ~v2; : : : ;~vk, T (~v1;~v2; : : : ;~vk−1;~vk) is a linear function of ~v1, and for fixed ~v1;~v3; : : : ;~vk, T (~v1; : : : ;~vk) is a k ∗ linear function of ~v2, and so on. The space of k-tensors on V is denoted T (V ). Examples: n • If V = R , then the inner product P (~v; ~w) = ~v · ~w is a 2-tensor. For fixed ~v it's linear in ~w, and for fixed ~w it's linear in ~v. n • If V = R , D(~v1; : : : ;~vn) = det ~v1 ··· ~vn is an n-tensor. n • If V = R , T hree(~v) = \the 3rd entry of ~v" is a 1-tensor. • A 0-tensor is just a number. It requires no inputs at all to generate an output. Note that the definition of tensor says nothing about how things behave when you rotate vectors or permute their order. The inner product P stays the same when you swap the two vectors, but the determinant D changes sign when you swap two vectors. Both are tensors. For a 1-tensor like T hree, permuting the order of entries doesn't even make sense! ~ ~ Let fb1;:::; bng be a basis for V .
    [Show full text]
  • Killing Spinor-Valued Forms and the Cone Construction
    ARCHIVUM MATHEMATICUM (BRNO) Tomus 52 (2016), 341–355 KILLING SPINOR-VALUED FORMS AND THE CONE CONSTRUCTION Petr Somberg and Petr Zima Abstract. On a pseudo-Riemannian manifold M we introduce a system of partial differential Killing type equations for spinor-valued differential forms, and study their basic properties. We discuss the relationship between solutions of Killing equations on M and parallel fields on the metric cone over M for spinor-valued forms. 1. Introduction The subject of the present article are the systems of over-determined partial differential equations for spinor-valued differential forms, classified as atypeof Killing equations. The solution spaces of these systems of PDE’s are termed Killing spinor-valued differential forms. A central question in geometry asks for pseudo-Riemannian manifolds admitting non-trivial solutions of Killing type equa- tions, namely how the properties of Killing spinor-valued forms relate to the underlying geometric structure for which they can occur. Killing spinor-valued forms are closely related to Killing spinors and Killing forms with Killing vectors as a special example. Killing spinors are both twistor spinors and eigenspinors for the Dirac operator, and real Killing spinors realize the limit case in the eigenvalue estimates for the Dirac operator on compact Riemannian spin manifolds of positive scalar curvature. There is a classification of complete simply connected Riemannian manifolds equipped with real Killing spinors, leading to the construction of manifolds with the exceptional holonomy groups G2 and Spin(7), see [8], [1]. Killing vector fields on a pseudo-Riemannian manifold are the infinitesimal generators of isometries, hence they influence its geometrical properties.
    [Show full text]
  • Tensor Products
    Tensor products Joel Kamnitzer April 5, 2011 1 The definition Let V, W, X be three vector spaces. A bilinear map from V × W to X is a function H : V × W → X such that H(av1 + v2, w) = aH(v1, w) + H(v2, w) for v1,v2 ∈ V, w ∈ W, a ∈ F H(v, aw1 + w2) = aH(v, w1) + H(v, w2) for v ∈ V, w1, w2 ∈ W, a ∈ F Let V and W be vector spaces. A tensor product of V and W is a vector space V ⊗ W along with a bilinear map φ : V × W → V ⊗ W , such that for every vector space X and every bilinear map H : V × W → X, there exists a unique linear map T : V ⊗ W → X such that H = T ◦ φ. In other words, giving a linear map from V ⊗ W to X is the same thing as giving a bilinear map from V × W to X. If V ⊗ W is a tensor product, then we write v ⊗ w := φ(v ⊗ w). Note that there are two pieces of data in a tensor product: a vector space V ⊗ W and a bilinear map φ : V × W → V ⊗ W . Here are the main results about tensor products summarized in one theorem. Theorem 1.1. (i) Any two tensor products of V, W are isomorphic. (ii) V, W has a tensor product. (iii) If v1,...,vn is a basis for V and w1,...,wm is a basis for W , then {vi ⊗ wj }1≤i≤n,1≤j≤m is a basis for V ⊗ W .
    [Show full text]
  • On Manifolds of Tensors of Fixed Tt-Rank
    ON MANIFOLDS OF TENSORS OF FIXED TT-RANK SEBASTIAN HOLTZ, THORSTEN ROHWEDDER, AND REINHOLD SCHNEIDER Abstract. Recently, the format of TT tensors [19, 38, 34, 39] has turned out to be a promising new format for the approximation of solutions of high dimensional problems. In this paper, we prove some new results for the TT representation of a tensor U ∈ Rn1×...×nd and for the manifold of tensors of TT-rank r. As a first result, we prove that the TT (or compression) ranks ri of a tensor U are unique and equal to the respective seperation ranks of U if the components of the TT decomposition are required to fulfil a certain maximal rank condition. We then show that d the set T of TT tensors of fixed rank r forms an embedded manifold in Rn , therefore preserving the essential theoretical properties of the Tucker format, but often showing an improved scaling behaviour. Extending a similar approach for matrices [7], we introduce certain gauge conditions to obtain a unique representation of the tangent space TU T of T and deduce a local parametrization of the TT manifold. The parametrisation of TU T is often crucial for an algorithmic treatment of high-dimensional time-dependent PDEs and minimisation problems [33]. We conclude with remarks on those applications and present some numerical examples. 1. Introduction The treatment of high-dimensional problems, typically of problems involving quantities from Rd for larger dimensions d, is still a challenging task for numerical approxima- tion. This is owed to the principal problem that classical approaches for their treatment normally scale exponentially in the dimension d in both needed storage and computa- tional time and thus quickly become computationally infeasable for sensible discretiza- tions of problems of interest.
    [Show full text]
  • A Some Basic Rules of Tensor Calculus
    A Some Basic Rules of Tensor Calculus The tensor calculus is a powerful tool for the description of the fundamentals in con- tinuum mechanics and the derivation of the governing equations for applied prob- lems. In general, there are two possibilities for the representation of the tensors and the tensorial equations: – the direct (symbolic) notation and – the index (component) notation The direct notation operates with scalars, vectors and tensors as physical objects defined in the three dimensional space. A vector (first rank tensor) a is considered as a directed line segment rather than a triple of numbers (coordinates). A second rank tensor A is any finite sum of ordered vector pairs A = a b + ... +c d. The scalars, vectors and tensors are handled as invariant (independent⊗ from the choice⊗ of the coordinate system) objects. This is the reason for the use of the direct notation in the modern literature of mechanics and rheology, e.g. [29, 32, 49, 123, 131, 199, 246, 313, 334] among others. The index notation deals with components or coordinates of vectors and tensors. For a selected basis, e.g. gi, i = 1, 2, 3 one can write a = aig , A = aibj + ... + cidj g g i i ⊗ j Here the Einstein’s summation convention is used: in one expression the twice re- peated indices are summed up from 1 to 3, e.g. 3 3 k k ik ik a gk ∑ a gk, A bk ∑ A bk ≡ k=1 ≡ k=1 In the above examples k is a so-called dummy index. Within the index notation the basic operations with tensors are defined with respect to their coordinates, e.
    [Show full text]
  • The Tensor Product and Induced Modules
    The Tensor Product and Induced Modules Nayab Khalid The Tensor Product The Tensor Product A Construction (via the Universal Property) Properties Examples References Nayab Khalid PPS Talk University of St. Andrews October 16, 2015 The Tensor Product and Induced Modules Overview of the Presentation Nayab Khalid The Tensor Product A 1 The Tensor Product Construction Properties Examples 2 A Construction References 3 Properties 4 Examples 5 References The Tensor Product and Induced Modules The Tensor Product Nayab Khalid The Tensor Product A Construction Properties The tensor product of modules is a construction that allows Examples multilinear maps to be carried out in terms of linear maps. References The tensor product can be constructed in many ways, such as using the basis of free modules. However, the standard, more comprehensive, definition of the tensor product stems from category theory and the universal property. The Tensor Product and Induced Modules The Tensor Product (via the Nayab Khalid Universal Property) The Tensor Product A Construction Properties Examples Definition References Let R be a commutative ring. Let E1; E2 and F be modules over R. Consider bilinear maps of the form f : E1 × E2 ! F : The Tensor Product and Induced Modules The Tensor Product (via the Nayab Khalid Universal Property) The Tensor Product Definition A Construction The tensor product E1 ⊗ E2 is the module with a bilinear map Properties Examples λ: E1 × E2 ! E1 ⊗ E2 References such that there exists a unique homomorphism which makes the following diagram commute. The Tensor Product and Induced Modules A Construction of the Nayab Khalid Tensor Product The Tensor Product Here is a more constructive definition of the tensor product.
    [Show full text]
  • Math 865, Topics in Riemannian Geometry
    Math 865, Topics in Riemannian Geometry Jeff A. Viaclovsky Fall 2007 Contents 1 Introduction 3 2 Lecture 1: September 4, 2007 4 2.1 Metrics, vectors, and one-forms . 4 2.2 The musical isomorphisms . 4 2.3 Inner product on tensor bundles . 5 2.4 Connections on vector bundles . 6 2.5 Covariant derivatives of tensor fields . 7 2.6 Gradient and Hessian . 9 3 Lecture 2: September 6, 2007 9 3.1 Curvature in vector bundles . 9 3.2 Curvature in the tangent bundle . 10 3.3 Sectional curvature, Ricci tensor, and scalar curvature . 13 4 Lecture 3: September 11, 2007 14 4.1 Differential Bianchi Identity . 14 4.2 Algebraic study of the curvature tensor . 15 5 Lecture 4: September 13, 2007 19 5.1 Orthogonal decomposition of the curvature tensor . 19 5.2 The curvature operator . 20 5.3 Curvature in dimension three . 21 6 Lecture 5: September 18, 2007 22 6.1 Covariant derivatives redux . 22 6.2 Commuting covariant derivatives . 24 6.3 Rough Laplacian and gradient . 25 7 Lecture 6: September 20, 2007 26 7.1 Commuting Laplacian and Hessian . 26 7.2 An application to PDE . 28 1 8 Lecture 7: Tuesday, September 25. 29 8.1 Integration and adjoints . 29 9 Lecture 8: September 23, 2007 34 9.1 Bochner and Weitzenb¨ock formulas . 34 10 Lecture 9: October 2, 2007 38 10.1 Manifolds with positive curvature operator . 38 11 Lecture 10: October 4, 2007 41 11.1 Killing vector fields . 41 11.2 Isometries . 44 12 Lecture 11: October 9, 2007 45 12.1 Linearization of Ricci tensor .
    [Show full text]
  • The Language of Differential Forms
    Appendix A The Language of Differential Forms This appendix—with the only exception of Sect.A.4.2—does not contain any new physical notions with respect to the previous chapters, but has the purpose of deriving and rewriting some of the previous results using a different language: the language of the so-called differential (or exterior) forms. Thanks to this language we can rewrite all equations in a more compact form, where all tensor indices referred to the diffeomorphisms of the curved space–time are “hidden” inside the variables, with great formal simplifications and benefits (especially in the context of the variational computations). The matter of this appendix is not intended to provide a complete nor a rigorous introduction to this formalism: it should be regarded only as a first, intuitive and oper- ational approach to the calculus of differential forms (also called exterior calculus, or “Cartan calculus”). The main purpose is to quickly put the reader in the position of understanding, and also independently performing, various computations typical of a geometric model of gravity. The readers interested in a more rigorous discussion of differential forms are referred, for instance, to the book [22] of the bibliography. Let us finally notice that in this appendix we will follow the conventions introduced in Chap. 12, Sect. 12.1: latin letters a, b, c,...will denote Lorentz indices in the flat tangent space, Greek letters μ, ν, α,... tensor indices in the curved manifold. For the matter fields we will always use natural units = c = 1. Also, unless otherwise stated, in the first three Sects.
    [Show full text]
  • Math 395. Tensor Products and Bases Let V and V Be Finite-Dimensional
    Math 395. Tensor products and bases Let V and V 0 be finite-dimensional vector spaces over a field F . Recall that a tensor product of V and V 0 is a pait (T, t) consisting of a vector space T over F and a bilinear pairing t : V × V 0 → T with the following universal property: for any bilinear pairing B : V × V 0 → W to any vector space W over F , there exists a unique linear map L : T → W such that B = L ◦ t. Roughly speaking, t “uniquely linearizes” all bilinear pairings of V and V 0 into arbitrary F -vector spaces. In class it was proved that if (T, t) and (T 0, t0) are two tensor products of V and V 0, then there exists a unique linear isomorphism T ' T 0 carrying t and t0 (and vice-versa). In this sense, the tensor product of V and V 0 (equipped with its “universal” bilinear pairing from V × V 0!) is unique up to unique isomorphism, and so we may speak of “the” tensor product of V and V 0. You must never forget to think about the data of t when you contemplate the tensor product of V and V 0: it is the pair (T, t) and not merely the underlying vector space T that is the focus of interest. In this handout, we review a method of construction of tensor products (there is another method that involved no choices, but is horribly “big”-looking and is needed when considering modules over commutative rings) and we work out some examples related to the construction.
    [Show full text]
  • Low-Level Image Processing with the Structure Multivector
    Low-Level Image Processing with the Structure Multivector Michael Felsberg Bericht Nr. 0202 Institut f¨ur Informatik und Praktische Mathematik der Christian-Albrechts-Universitat¨ zu Kiel Olshausenstr. 40 D – 24098 Kiel e-mail: [email protected] 12. Marz¨ 2002 Dieser Bericht enthalt¨ die Dissertation des Verfassers 1. Gutachter Prof. G. Sommer (Kiel) 2. Gutachter Prof. U. Heute (Kiel) 3. Gutachter Prof. J. J. Koenderink (Utrecht) Datum der mundlichen¨ Prufung:¨ 12.2.2002 To Regina ABSTRACT The present thesis deals with two-dimensional signal processing for computer vi- sion. The main topic is the development of a sophisticated generalization of the one-dimensional analytic signal to two dimensions. Motivated by the fundamental property of the latter, the invariance – equivariance constraint, and by its relation to complex analysis and potential theory, a two-dimensional approach is derived. This method is called the monogenic signal and it is based on the Riesz transform instead of the Hilbert transform. By means of this linear approach it is possible to estimate the local orientation and the local phase of signals which are projections of one-dimensional functions to two dimensions. For general two-dimensional signals, however, the monogenic signal has to be further extended, yielding the structure multivector. The latter approach combines the ideas of the structure tensor and the quaternionic analytic signal. A rich feature set can be extracted from the structure multivector, which contains measures for local amplitudes, the local anisotropy, the local orientation, and two local phases. Both, the monogenic signal and the struc- ture multivector are combined with an appropriate scale-space approach, resulting in generalized quadrature filters.
    [Show full text]