DOCSLIB.ORG

The Language of Differential Forms

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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. A.1–A.3 we will assume that the space–time manifold has an arbitrary number D of dimensions, with signature (+, −, −, −,...). A.1 Elements of Exterior Calculus Let us start with the observation that the infinitesimal (oriented) surface-element dx1dx2 of a two-dimensional differentiable manifold is antisymmetric with respect → = → to the transformation which exchanges the two coordinates, x1 x1 x2 and x2 = | / |=− x2 x1, since the Jacobian determinant of such a transformation is ∂x ∂x 1. © Springer International Publishing AG 2017 303 M. Gasperini, Theory of Gravitational Interactions, UNITEXT for Physics, DOI 10.1007/978-3-319-49682-5 304 Appendix A: The Language of Differential Forms Hence: dx1dx2 =− dx2dx1. (A.1) With reference to a generic volume element dx1dx2 ···dxD of a higher-dimensional manifold let us then introduce the composition of differentials called exterior prod- uct and denoted by the wedge symbol, dxμ ∧ dxν , which is associative and anti- symmetric, dxμ ∧ dxν =−dxν ∧ dxμ. Let us define, in this context, an “exterior” differential form of degree p—or, more synthetically, a p-form—as an element of the linear vector space Λp spanned by the external composition of p differentials. Any p-form can thus be represented as a homogeneous polynomial with a degree of p in the exterior product of differentials, ∈ Λp =⇒ = μ1 ∧···∧ μp , A A A[μ1···μp ]dx dx (A.2) μi ∧ μ j =− μ j ∧ μi where dx dx dx dx for any pair of indices, and where A[μ1···μp ] (the so-called “components” of the p form) correspond to the components of a totally antisymmetric tensor of rank p. A scalar φ, for instance, can be represented as a μ 0-form, a covariant vector Aμ as a 1-form A, with A = Aμdx , an antisymmetric μ ν tensor Fμν as a 2-form F, with F = Fμν dx ∧ dx , and so on. In a D-dimensional manifold, the direct sum of the vector spaces Λp from 0 to D defines the so-called Cartan algebra Λ, D Λ = Λp. (A.3) p=0 In a given linear vector space Λ the exterior product is a map Λ × Λ → Λ, whose properties can be represented in the coordinate differential base dxμ1 ∧ dxμ2 ··· by a composition law which satisfies the properties of (1) bilinearity: (α dxμ1 ∧···dxμp + β dxμ1 ∧···dxμp ) ∧ dxμp+1 ∧···∧dxμp+q = (α + β)dxμ1 ∧···∧dxμp ∧ dxμp+1 ∧···∧dxμp+q (A.4) (α and β are arbitrary numerical coefficients); (2) associativity: (dxμ1 ∧···dxμp ) ∧ (dxμp+1 ∧···dxμp+q ) = dxμ1 ∧···∧dxμp+q ; (A.5) (3) skewness: [ ] dxμ1 ∧···∧dxμp = dx μ1 ∧···∧dxμp . (A.6) This last property implies that the exterior product of a number of differentials μp > D is identically vanishing. Appendix A: The Language of Differential Forms 305 Starting with the above definitions, we can now introduce some important operations concerning the exterior forms. A.1.1 Exterior Product The exterior product between a p-form A ∈ Λp and a q-form B ∈ Λq is a bilinear and associative mapping ∧:Λp × Λq → Λp+q , which defines the (p + q)-form C such that = ∧ = μ1 ∧···∧ μp+q . C A B Aμ1···μp Bμp+1···μp+q dx dx (A.7) The commutation properties of this product depend on the degrees of the forms we are considering (i.e. on the number of the components we have to switch), and in general we have the rule: A ∧ B = (−1)pq B ∧ A. (A.8) A.1.2 Exterior Derivative The exterior derivative of a p form A ∈ Λp can be interpreted (for what concerns μ the product rules) as the exterior product between the gradient 1-form dx ∂μ and the p-form A. It is thus represented by the mapping d : Λp → Λp+1, which defines the (p + 1)-form dAsuch that = μ1 ∧···∧ μp+1 . dA ∂[μ1 Aμ2···μp+1]dx dx (A.9) For a scalar φ, for instance, the exterior derivative is represented by the 1-form μ dφ = ∂μφdx . (A.10) The exterior derivative of the 1-form A is represented by the 2-form μ ν dA= ∂[μ Aν]dx ∧ dx , (A.11) and so on for higher degrees. An immediate consequence of the definition (A.9) is that the second exterior derivative is always vanishing, d2 A = d ∧ dA≡ 0, (A.12) regardless of the degree of the form A. We can also recall that a p-form A is called closed if dA= 0, and exact if it satisfies the property A = dφ, where φ is a (p − 1)- form. If a form is exact then it is (obviously) closed. However, if a form is closed then 306 Appendix A: The Language of Differential Forms it is not necessarily exact (it depends on the topological properties of the manifold where the form is defined). Another consequence of the definition (A.9) is that, in a space–time with a α α symmetric connection (Γμν = Γνμ ), the gradient ∂μ appearing in the exterior- derivative operator can be always replaced by the covariant gradient ∇μ. In fact, ∇ = − Γ α − Γ α −··· , μ1 Aμ2μ3... ∂μ1 Aμ2μ3... μ1μ2 Aαμ3... μ1μ3 Aμ2α... (A.13) so that all connection terms disappear after antisymmetrization, and =∇ ≡∇ μ1 ∧···∧ μp+1 . dA A [μ1 Aμ2···μp+1]dx dx (A.14) Finally, again from the definition (A.9) and from the commutation rule (A.8), we can obtain a generalized Leibnitz rule for the exterior derivative of a product. Consider, for instance, the exterior product of a p-form A and a q-form B.By recalling that d is a 1-form operator we have d(A ∧ B) = dA∧ B + (−1)p A ∧ dB, d(B ∧ A) = dB ∧ A + (−1)q B ∧ dA. (A.15) And so on for multiple products. A.1.3 Duality Conjugation and Co-differential Operator Another crucial ingredient for the application of this formalism to physical models is the so-called Hodge-duality operation, which associates to each p-form its (D − p)- dimensional “complement”. The dual of a p-form A ∈ Λp is a mapping : Λp → ΛD−p, defining the (D − p)-form A such that 1 μ ···μ μ + μ A = A 1 p η ··· ··· dx p 1 ∧···∧dx D . (A.16) (D − p)! μ1 μpμp+1 μD We should recall that the fully antisymmetric tensor η is related to the Levi-Civita antisymmetric density by the relation = | | ημ1···μD g μ1···μD (A.17) √ √ (see Sect. 3.2, Eq. (3.34)). We should also note that the use of |g| instead of −g is due to the fact that the sign of det gμν , in an arbitrary number of D space–time dimensions and with the signature (+, −, −, −,...), depends on the number (even or odd) of the D − 1 spacelike components. Appendix A: The Language of Differential Forms 307 It may be useful to point out that the square of the duality operator does not coincides with the identity, in general. By applying the definition (A.16), in fact, we obtain 1 μ ···μ ν ν A = A ··· η 1 D η ··· ··· dx 1 ∧···∧dx p p!(D − p)! μ1 μp μp+1 μD ν1 νp ··· p(D−p) D−1 1 μ1 μp ν ν = (−1) (−1) δ ··· A ··· dx 1 ∧···∧dx p p! ν1 νp μ1 μp = (−1)p(D−p)+D−1 A. (A.18) The factor (−1)D−1 comes from the product rules of the totally antisymmetric tensors since, in D − 1 spatial dimensions (and with our conventions), we have D−1 012···D−1 D−1 012···D−1 = (−1) = (−1) . (A.19) The product rules thus become, in general, ··· − μ ···μ μ1 μD = (− )D 1( − )! 1 p , ην1···νp μp+1···μD η 1 D p δν1···νp (A.20) μ1···μp where δν1···νp is the determinant defined in Eq. (3.35). The additional factor (−1)p(D−p), appearing in Eq. (A.18), comes from the switching of the p indices of A with the D − p indices of its dual (such a switching is needed to arrange the indices of η in a way to match the sequence of the product rule (A.20)).
Load more

Recommended publications
  • Combinatorial Laplacian and Rank Aggregation
    Combinatorial Laplacian and Rank Aggregation Combinatorial Laplacian and Rank Aggregation Yuan Yao Stanford University ICIAM, Z¨urich,July 16–20, 2007 Joint work with Lek-Heng Lim Combinatorial Laplacian and Rank Aggregation Outline 1 Two Motivating Examples 2 Reflections on Ranking Ordinal vs. Cardinal Global, Local, vs. Pairwise 3 Discrete Exterior Calculus and Combinatorial Laplacian Discrete Exterior Calculus Combinatorial Laplacian Operator 4 Hodge Theory Cyclicity of Pairwise Rankings Consistency of Pairwise Rankings 5 Conclusions and Future Work Combinatorial Laplacian and Rank Aggregation Two Motivating Examples Example I: Customer-Product Rating Example (Customer-Product Rating) m×n m-by-n customer-product rating matrix X ∈ R X typically contains lots of missing values (say ≥ 90%). The first-order statistics, mean score for each product, might suffer from most customers just rate a very small portion of the products different products might have different raters, whence mean scores involve noise due to arbitrary individual rating scales Combinatorial Laplacian and Rank Aggregation Two Motivating Examples From 1st Order to 2nd Order: Pairwise Rankings The arithmetic mean of score difference between product i and j over all customers who have rated both of them, P k (Xkj − Xki ) gij = , #{k : Xki , Xkj exist} is translation invariant. If all the scores are positive, the geometric mean of score ratio over all customers who have rated both i and j, !1/#{k:Xki ,Xkj exist} Y Xkj gij = , Xki k is scale invariant. Combinatorial Laplacian and Rank Aggregation Two Motivating Examples More invariant Define the pairwise ranking gij as the probability that product j is preferred to i in excess of a purely random choice, 1 g = Pr{k : X > X } − .
    [Show full text]
  • 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]
  • Jhep01(2020)007
    Published for SISSA by Springer Received: March 27, 2019 Revised: November 15, 2019 Accepted: December 9, 2019 Published: January 2, 2020 Deformed graded Poisson structures, generalized geometry and supergravity JHEP01(2020)007 Eugenia Boffo and Peter Schupp Jacobs University Bremen, Campus Ring 1, 28759 Bremen, Germany E-mail: [email protected], [email protected] Abstract: In recent years, a close connection between supergravity, string effective ac- tions and generalized geometry has been discovered that typically involves a doubling of geometric structures. We investigate this relation from the point of view of graded ge- ometry, introducing an approach based on deformations of graded Poisson structures and derive the corresponding gravity actions. We consider in particular natural deformations of the 2-graded symplectic manifold T ∗[2]T [1]M that are based on a metric g, a closed Neveu-Schwarz 3-form H (locally expressed in terms of a Kalb-Ramond 2-form B) and a scalar dilaton φ. The derived bracket formalism relates this structure to the generalized differential geometry of a Courant algebroid, which has the appropriate stringy symme- tries, and yields a connection with non-trivial curvature and torsion on the generalized “doubled” tangent bundle E =∼ TM ⊕ T ∗M. Projecting onto TM with the help of a natural non-isotropic splitting of E, we obtain a connection and curvature invariants that reproduce the NS-NS sector of supergravity in 10 dimensions. Further results include a fully generalized Dorfman bracket, a generalized Lie bracket and new formulas for torsion and curvature tensors associated to generalized tangent bundles.
    [Show full text]
  • Connections on Bundles Md
    Dhaka Univ. J. Sci. 60(2): 191-195, 2012 (July) Connections on Bundles Md. Showkat Ali, Md. Mirazul Islam, Farzana Nasrin, Md. Abu Hanif Sarkar and Tanzia Zerin Khan Department of Mathematics, University of Dhaka, Dhaka 1000, Bangladesh, Email: [email protected] Received on 25. 05. 2011.Accepted for Publication on 15. 12. 2011 Abstract This paper is a survey of the basic theory of connection on bundles. A connection on tangent bundle , is called an affine connection on an -dimensional smooth manifold . By the general discussion of affine connection on vector bundles that necessarily exists on which is compatible with tensors. I. Introduction = < , > (2) In order to differentiate sections of a vector bundle [5] or where <, > represents the pairing between and ∗. vector fields on a manifold we need to introduce a Then is a section of , called the absolute differential structure called the connection on a vector bundle. For quotient or the covariant derivative of the section along . example, an affine connection is a structure attached to a differentiable manifold so that we can differentiate its Theorem 1. A connection always exists on a vector bundle. tensor fields. We first introduce the general theorem of Proof. Choose a coordinate covering { }∈ of . Since connections on vector bundles. Then we study the tangent vector bundles are trivial locally, we may assume that there is bundle. is a -dimensional vector bundle determine local frame field for any . By the local structure of intrinsically by the differentiable structure [8] of an - connections, we need only construct a × matrix on dimensional smooth manifold . each such that the matrices satisfy II.
    [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]
  • Arxiv:0911.0334V2 [Gr-Qc] 4 Jul 2020
    Classical Physics: Spacetime and Fields Nikodem Poplawski Department of Mathematics and Physics, University of New Haven, CT, USA Preface We present a self-contained introduction to the classical theory of spacetime and fields. This expo- sition is based on the most general principles: the principle of general covariance (relativity) and the principle of least action. The order of the exposition is: 1. Spacetime (principle of general covariance and tensors, affine connection, curvature, metric, tetrad and spin connection, Lorentz group, spinors); 2. Fields (principle of least action, action for gravitational field, matter, symmetries and conservation laws, gravitational field equations, spinor fields, electromagnetic field, action for particles). In this order, a particle is a special case of a field existing in spacetime, and classical mechanics can be derived from field theory. I dedicate this book to my Parents: Bo_zennaPop lawska and Janusz Pop lawski. I am also grateful to Chris Cox for inspiring this book. The Laws of Physics are simple, beautiful, and universal. arXiv:0911.0334v2 [gr-qc] 4 Jul 2020 1 Contents 1 Spacetime 5 1.1 Principle of general covariance and tensors . 5 1.1.1 Vectors . 5 1.1.2 Tensors . 6 1.1.3 Densities . 7 1.1.4 Contraction . 7 1.1.5 Kronecker and Levi-Civita symbols . 8 1.1.6 Dual densities . 8 1.1.7 Covariant integrals . 9 1.1.8 Antisymmetric derivatives . 9 1.2 Affine connection . 10 1.2.1 Covariant differentiation of tensors . 10 1.2.2 Parallel transport . 11 1.2.3 Torsion tensor . 11 1.2.4 Covariant differentiation of densities .
    [Show full text]
  • 1.2 Topological Tensor Calculus
    PH211 Physical Mathematics Fall 2019 1.2 Topological tensor calculus 1.2.1 Tensor fields Finite displacements in Euclidean space can be represented by arrows and have a natural vector space structure, but finite displacements in more general curved spaces, such as on the surface of a sphere, do not. However, an infinitesimal neighborhood of a point in a smooth curved space1 looks like an infinitesimal neighborhood of Euclidean space, and infinitesimal displacements dx~ retain the vector space structure of displacements in Euclidean space. An infinitesimal neighborhood of a point can be infinitely rescaled to generate a finite vector space, called the tangent space, at the point. A vector lives in the tangent space of a point. Note that vectors do not stretch from one point to vector tangent space at p p space Figure 1.2.1: A vector in the tangent space of a point. another, and vectors at different points live in different tangent spaces and so cannot be added. For example, rescaling the infinitesimal displacement dx~ by dividing it by the in- finitesimal scalar dt gives the velocity dx~ ~v = (1.2.1) dt which is a vector. Similarly, we can picture the covector rφ as the infinitesimal contours of φ in a neighborhood of a point, infinitely rescaled to generate a finite covector in the point's cotangent space. More generally, infinitely rescaling the neighborhood of a point generates the tensor space and its algebra at the point. The tensor space contains the tangent and cotangent spaces as a vector subspaces. A tensor field is something that takes tensor values at every point in a space.
    [Show full text]
  • Tensor Manipulation in GPL Maxima
    Tensor Manipulation in GPL Maxima Viktor Toth http://www.vttoth.com/ February 1, 2008 Abstract GPL Maxima is an open-source computer algebra system based on DOE-MACSYMA. GPL Maxima included two tensor manipulation packages from DOE-MACSYMA, but these were in various states of disrepair. One of the two packages, CTENSOR, implemented component-based tensor manipulation; the other, ITENSOR, treated tensor symbols as opaque, manipulating them based on their index properties. The present paper describes the state in which these packages were found, the steps that were needed to make the packages fully functional again, and the new functionality that was implemented to make them more versatile. A third package, ATENSOR, was also implemented; fully compatible with the identically named package in the commercial version of MACSYMA, ATENSOR implements abstract tensor algebras. 1 Introduction GPL Maxima (GPL stands for the GNU Public License, the most widely used open source license construct) is the descendant of one of the world’s first comprehensive computer algebra systems (CAS), DOE-MACSYMA, developed by the United States Department of Energy in the 1960s and the 1970s. It is currently maintained by 18 volunteer developers, and can be obtained in source or object code form from http://maxima.sourceforge.net/. Like other computer algebra systems, Maxima has tensor manipulation capability. This capability was developed in the late 1970s. Documentation is scarce regarding these packages’ origins, but a select collection of e-mail messages by various authors survives, dating back to 1979-1982, when these packages were actively maintained at M.I.T. When this author first came across GPL Maxima, the tensor packages were effectively non-functional.
    [Show full text]
  • Curvature Tensors in a 4D Riemann–Cartan Space: Irreducible Decompositions and Superenergy
    Curvature tensors in a 4D Riemann–Cartan space: Irreducible decompositions and superenergy Jens Boos and Friedrich W. Hehl [email protected] [email protected]"oeln.de University of Alberta University of Cologne & University of Missouri (uesday, %ugust 29, 17:0. Geometric Foundations of /ravity in (artu Institute of 0hysics, University of (artu) Estonia Geometric Foundations of /ravity Geometric Foundations of /auge Theory Geometric Foundations of /auge Theory ↔ Gravity The ingredients o$ gauge theory: the e2ample o$ electrodynamics ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: redundancy conserved e2ternal current 5 ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: Complex spinor 6eld: redundancy invariance conserved e2ternal current 5 conserved #7,8 current ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: Complex spinor 6eld: redundancy invariance conserved e2ternal current 5 conserved #7,8 current Complete, gauge-theoretical description: 9 local #7,) invariance ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: iers Complex spinor 6eld: rce carr ry of fo mic theo rrent rosco rnal cu m pic en exte att desc gredundancyiv er; N ript oet ion o conserved e2ternal current 5 invariance her f curr conserved #7,8 current e n t s Complete, gauge-theoretical description: gauge theory = complete description of matter and 9 local #7,) invariance how it interacts via gauge bosons ,3,. Curvature tensors electrodynamics :ang–Mills theory /eneral Relativity 0oincaré gauge theory *3,. Curvature tensors electrodynamics :ang–Mills theory /eneral Relativity 0oincaré gauge theory *3,. Curvature tensors electrodynamics :ang–Mills theory /eneral Relativity 0oincar; gauge theory *3,.
    [Show full text]
  • On the Representation of Symmetric and Antisymmetric Tensors
    Max-Planck-Institut fur¨ Mathematik in den Naturwissenschaften Leipzig On the Representation of Symmetric and Antisymmetric Tensors (revised version: April 2017) by Wolfgang Hackbusch Preprint no.: 72 2016 On the Representation of Symmetric and Antisymmetric Tensors Wolfgang Hackbusch Max-Planck-Institut Mathematik in den Naturwissenschaften Inselstr. 22–26, D-04103 Leipzig, Germany [email protected] Abstract Various tensor formats are used for the data-sparse representation of large-scale tensors. Here we investigate how symmetric or antiymmetric tensors can be represented. The analysis leads to several open questions. Mathematics Subject Classi…cation: 15A69, 65F99 Keywords: tensor representation, symmetric tensors, antisymmetric tensors, hierarchical tensor format 1 Introduction We consider tensor spaces of huge dimension exceeding the capacity of computers. Therefore the numerical treatment of such tensors requires a special representation technique which characterises the tensor by data of moderate size. These representations (or formats) should also support operations with tensors. Examples of operations are the addition, the scalar product, the componentwise product (Hadamard product), and the matrix-vector multiplication. In the latter case, the ‘matrix’belongs to the tensor space of Kronecker matrices, while the ‘vector’is a usual tensor. In certain applications the subspaces of symmetric or antisymmetric tensors are of interest. For instance, fermionic states in quantum chemistry require antisymmetry, whereas bosonic systems are described by symmetric tensors. The appropriate representation of (anti)symmetric tensors is seldom discussed in the literature. Of course, all formats are able to represent these tensors since they are particular examples of general tensors. However, the special (anti)symmetric format should exclusively produce (anti)symmetric tensors.
    [Show full text]
  • Matrices and Tensors
    APPENDIX MATRICES AND TENSORS A.1. INTRODUCTION AND RATIONALE The purpose of this appendix is to present the notation and most of the mathematical tech- niques that are used in the body of the text. The audience is assumed to have been through sev- eral years of college-level mathematics, which included the differential and integral calculus, differential equations, functions of several variables, partial derivatives, and an introduction to linear algebra. Matrices are reviewed briefly, and determinants, vectors, and tensors of order two are described. The application of this linear algebra to material that appears in under- graduate engineering courses on mechanics is illustrated by discussions of concepts like the area and mass moments of inertia, Mohr’s circles, and the vector cross and triple scalar prod- ucts. The notation, as far as possible, will be a matrix notation that is easily entered into exist- ing symbolic computational programs like Maple, Mathematica, Matlab, and Mathcad. The desire to represent the components of three-dimensional fourth-order tensors that appear in anisotropic elasticity as the components of six-dimensional second-order tensors and thus rep- resent these components in matrices of tensor components in six dimensions leads to the non- traditional part of this appendix. This is also one of the nontraditional aspects in the text of the book, but a minor one. This is described in §A.11, along with the rationale for this approach. A.2. DEFINITION OF SQUARE, COLUMN, AND ROW MATRICES An r-by-c matrix, M, is a rectangular array of numbers consisting of r rows and c columns: ¯MM..
    [Show full text]