Specialized Orthonormal Frames and Embedding

We discuss some specializations of the frames of flat orthonormal frame bundles over geometries of indefinite signature, and the resulting symmetries of families of embedded Riemannian or pseudo-Riemannian geometries. The specializations are closed sets of linear constraints on the connection 1-form...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2013
1. Verfasser: Estabrook, F.B.
Format: Artikel
Sprache:English
Veröffentlicht: Інститут математики НАН України 2013
Schriftenreihe:Symmetry, Integrability and Geometry: Methods and Applications
Online Zugang:http://dspace.nbuv.gov.ua/handle/123456789/149215
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Specialized Orthonormal Frames and Embedding / F.B. Estabrook // Symmetry, Integrability and Geometry: Methods and Applications. — 2013. — Т. 9. — Бібліогр.: 6 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-149215
record_format dspace
spelling irk-123456789-1492152019-02-20T01:29:08Z Specialized Orthonormal Frames and Embedding Estabrook, F.B. We discuss some specializations of the frames of flat orthonormal frame bundles over geometries of indefinite signature, and the resulting symmetries of families of embedded Riemannian or pseudo-Riemannian geometries. The specializations are closed sets of linear constraints on the connection 1-forms of the framing. The embeddings can be isometric, as in minimal surfaces or Regge-Teitelboim gravity, or torsion-free, as in Einstein vacuum gravity. Involutive exterior differential systems are given, and their Cartan character tables calculated to express the well-posedness of the underlying partial differential embedding and specialization equations. 2013 Article Specialized Orthonormal Frames and Embedding / F.B. Estabrook // Symmetry, Integrability and Geometry: Methods and Applications. — 2013. — Т. 9. — Бібліогр.: 6 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 83C20; 57R40; 58A15 DOI: http://dx.doi.org/10.3842/SIGMA.2013.012 http://dspace.nbuv.gov.ua/handle/123456789/149215 en Symmetry, Integrability and Geometry: Methods and Applications Інститут математики НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language English
description We discuss some specializations of the frames of flat orthonormal frame bundles over geometries of indefinite signature, and the resulting symmetries of families of embedded Riemannian or pseudo-Riemannian geometries. The specializations are closed sets of linear constraints on the connection 1-forms of the framing. The embeddings can be isometric, as in minimal surfaces or Regge-Teitelboim gravity, or torsion-free, as in Einstein vacuum gravity. Involutive exterior differential systems are given, and their Cartan character tables calculated to express the well-posedness of the underlying partial differential embedding and specialization equations.
format Article
author Estabrook, F.B.
spellingShingle Estabrook, F.B.
Specialized Orthonormal Frames and Embedding
Symmetry, Integrability and Geometry: Methods and Applications
author_facet Estabrook, F.B.
author_sort Estabrook, F.B.
title Specialized Orthonormal Frames and Embedding
title_short Specialized Orthonormal Frames and Embedding
title_full Specialized Orthonormal Frames and Embedding
title_fullStr Specialized Orthonormal Frames and Embedding
title_full_unstemmed Specialized Orthonormal Frames and Embedding
title_sort specialized orthonormal frames and embedding
publisher Інститут математики НАН України
publishDate 2013
url http://dspace.nbuv.gov.ua/handle/123456789/149215
citation_txt Specialized Orthonormal Frames and Embedding / F.B. Estabrook // Symmetry, Integrability and Geometry: Methods and Applications. — 2013. — Т. 9. — Бібліогр.: 6 назв. — англ.
series Symmetry, Integrability and Geometry: Methods and Applications
work_keys_str_mv AT estabrookfb specializedorthonormalframesandembedding
first_indexed 2025-07-12T21:06:05Z
last_indexed 2025-07-12T21:06:05Z
_version_ 1837476738950496256
fulltext Symmetry, Integrability and Geometry: Methods and Applications SIGMA 9 (2013), 012, 5 pages Specialized Orthonormal Frames and Embedding? Frank B. ESTABROOK Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Drive, Pasadena, CA 91109 USA E-mail: frank.b.estabrook@jpl.nasa.gov Received October 09, 2012, in final form February 12, 2013; Published online February 15, 2013 http://dx.doi.org/10.3842/SIGMA.2013.012 Abstract. We discuss some specializations of the frames of flat orthonormal frame bundles over geometries of indefinite signature, and the resulting symmetries of families of embedded Riemannian or pseudo-Riemannian geometries. The specializations are closed sets of linear constraints on the connection 1-forms of the framing. The embeddings can be isometric, as in minimal surfaces or Regge–Teitelboim gravity, or torsion-free, as in Einstein vacuum gravity. Involutive exterior differential systems are given, and their Cartan character tables calculated to express the well-posedness of the underlying partial differential embedding and specialization equations. Key words: embedding; orthonormal frames; Cartan theory 2010 Mathematics Subject Classification: 83C20; 57R40; 58A15 1 Introduction The class C of a Riemannian space is the minimum number of extra dimensions required for it to be locally embeddable in a flat space (various signatures possible, which we ignore for the moment; often we write repeated indices as “covariant”, but proper signs must be inserted in such summations). Also our discussions are all local, with no global existence implied for solutions of the equivalent partial differential equation. So class C 4-metrics are those embeddable in 4+C flat dimensions, C ≤ 6, and the embedding of their associated orthonormal frame bundles (Cartan moving frame formalism, basis forms θi, connection forms ωij = −ωji, i = 1, . . . , 4) brings in C + 4C + C(C − 1)/2 additional orthonormal basis forms θA and connection forms ωiA = −ωAi and ωAB = −ωBA, A = 1, . . . , C. Taking µ, ν, etc. to span the combined range of indices 1, . . . , 4 + C of the embedding space, the 1-forms θµ and ωµν = −ωνµ satisfy the Cartan–Maurer structure equations of a flat orthonormal frame bundle ASO(4 + C).1 Isometric embedding requires the θA to vanish upon pullback, and together with their exterior derivatives the 2-forms ωAi ∧ θi, and dynamic 4-forms derived from the Hilbert Lagrangian, ωiA ∧ Rjk ∧ θlεijkl, they generate well posed exterior differential systems (EDS) (Rij are the induced Riemann 2-forms dωij + ωik ∧ ωkj ) [4]. These isometric EDS’s for solutions of Regge– Teitelboim (RT) gravity, of various classes, have been expounded in a recent paper [2]. ?This paper is a contribution to the Special Issue “Symmetries of Differential Equations: Frames, Invariants and Applications”. The full collection is available at http://www.emis.de/journals/SIGMA/SDE2012.html 1Thus Einstein vacuum general relativity can be set as an exterior differential system on the group space ASO(10), of dimension 55. This is arguably an elegant improvement over the more customary setting of this field theory in terms of coordinate components, which means for a first order set of PDE’s setting the EDS on the second frame bundle over a four dimensional base, of dimensionality 4 + 16 + 40 = 60. The first EDS has 21 Cauchy characteristic vectors so in principle 21 variables can be eliminated, leaving a system of partial differential equations in 34 variables, 4 in involution, independent, and 30 dependent. The second setting, when using orthonormal tetrad frames, as in the dyadic and Newman–Penrose formalisms, only reduces to 44 variables but has 10 degrees of gauge freedom together with 10 conservation laws [1]. mailto:frank.b.estabrook@jpl.nasa.gov http://dx.doi.org/10.3842/SIGMA.2013.012 http://www.emis.de/journals/SIGMA/SDE2012.html 2 F.B. Estabrook Among the solutions of RT theory are those that additionally annul the compatible Ricci 3-forms ωiA ∧ ωAj ∧ θkεijkl. This more restricted vacuum Einstein theory can conveniently be directly set as a (not strictly isometric) embedding EDS on the orthonormal frame bundle over 10 space, requiring only the four torsion 2-forms ωiA ∧ θA to pull back to vanish, together with their exterior derivatives and the dynamic Ricci 3-forms. A number of vacuum solutions, as well as other physically interesting non-vacuum metrics, have been classified both by embedding class and motion group, or metric symmetry [6]. Here we treat both EDS’s for embedded families of solutions of RT theory with special symmetry and class ≤6, and new EDS for families of solutions of Einstein theory with special symmetry in class 6. In [2] an explicit six dimensional framing for embedding static spherically symmetric (SSS) metrics was found, and solutions of Regge–Teitelboim theory reduced to quadrature, using a co- ordinate imbedding due to Ikeda (other types of class 2 SSS coordinate embeddings exist; with two new ones, all possible have since been given by Paston and Sheykin [5]). The Schwarzschild vacuum solution of orthodox general relativity was a particular one of these. The connection forms there derived were not explicitly given; we write them below in Section 2. We extract the algebraic specialization of the O(6) frame fibers they imply. The specialization is a set of self closed linear relations between the ωµν . A closely related specialization is also presented and Cartan characters of embedding RT EDS’s using these specialized frames are calculated, showing only the second of them to be well posed. We take it to be the prototype for a new method of frame specialization that can be used for formulating EDS’s for families of solutions having specialized metric symmetries. In Section 3 we outline this technique for specializing the fibers of ASO(4+C) frame bundles, and present calculated Cartan character tables of EDS’s for isometric embedding of RT theory in them, showing them to be well posed and involutory. Section 4 briefly expounds an illus- trative toy problem, isometrically embedding a two dimensional variational problem in a frame specialized flat 3-space. In Section 5 we give results for four specializations of the fibers of ASO(6, 4), the orthonormal frame bundle over flat ten-dimensional space. With torsion 2-forms and Ricci 3-forms, we find EDS’s for families of Einstein vacuum solutions that are well posed and involutory. To summarize, we have calculated the Cartan characters, and well posedness, of a number of EDS for embedded 4-spaces in specialized higher dimension flat orthonormal frame bundles, and we conjecture that their solutions have intrinsic symmetry properties such as Riemannian submersions, isometries and Killing tensors. The specializations we consider are sets of self closed linear relations between the ωµν . Families of metrics with symmetries have heretofore been difficult to treat with Cartan moving frame or tetrad formalism [3]. 2 A static spherically symmetric embedding In [2], treating class 2 static spherically symmetrical spacetimes, which all have four isome- tries, they were imbedded in a flat 6-space coordinatized by r, θ, φ, t, z5, z6, signature (−1,−1,−1, 1, 1,−1); The 6-space was framed with a family of orthonormal hexad bases adapted to the (already known) metrics of the embedded space-times: This framing could have been even more general, and its connection forms were not there written out, but they allow us to induce the specialization of connection forms that succinctly expresses the desired symmetry; the fra- ming is θ1 = ( dr + ( dz5 + dz6 ) c′[r]− 2c′[r]t(2c′[r]tdr + 2c[r]dt) − ( dz5 − dz6 )( g′[r] + c′[r]t2 ))/√ 1 + 4c′[r]g′[r], θ2 = rdθ, θ3 = r sin[θ]dφ, θ4 = tdz5 − tdz6 + 2c[r]dt+ 2c′[r]tdr, Specialized Orthonormal Frames and Embedding 3 θ5 = ( dr + dz5 ( g′[r]− c′[r]t2 + c′[r] + 1/(2c′[r]) ) − 2tc′[r](2c′[r]tdr + 2c[r]dt) −dz6 ( g′[r]− c′[r]t2 − c′[r] + 1/(2c′[r]) ))/√ 1 + 4c′[r]g′[r], θ6 = dr + dz5/(2c′[r])− dz6/(2c′[r]), c[r] and g′[r] are arbitrary functions. The flat metric is −θ1θ1 − θ2θ2 − θ3θ3 + θ4θ4 + θ5θ5 − θ6θ6, and the embedding is isometric, θ5 = 0, θ6 = 0. The exterior derivatives of the above, expanded on them, give an explicit set of specialized the 15 connection 1-forms ωµν ω12 = θ2 r √ 1 + 4c′[r]g′[r] , ω13 = θ3 r √ 1 + 4c′[r]g′[r] , ω14 = c′[r] (θ4 − 2tθ6c ′[r]) c[r] √ 1 + 4c′[r]g′[r] , ω15 = ( θ1 − θ5 + θ6 √ 1 + 4c′[r]g′[r] )( − ( 1 + 2c′[r]g′[r] ) c′′[r] + 2c′[r]2g′′[r] )/( c′[r] ( 1 + 4c′[r]g′[r] )3/2) , ω16 = − (( θ1 − θ5 )√ 1 + 4c′[r]g′[r] + θ6 ( 1 + 4c′[r]g′[r] )) c′′[r] /( c′[r] ( 1 + 4c′[r]g′[r] )3/2) , ω23 = Cot[θ]θ3 r , ω24 = 0, ω25 = − θ2 r √ 1 + 4c′[r]g′[r] , ω26 = −θ2 r , ω34 = 0, ω35 = − θ3 r √ 1 + 4c′[r]g′[r] , ω36 = −θ3 r , ω45 = c′[r] (−θ4 + 2tθ6c ′[r]) c[r] √ 1 + 4c′[r]g′[r] , ω46 = 0, ω56 = − (( θ1 − θ5 )√ 1 + 4c′[r]g′[r] + θ6 ( 1 + 4c′[r]g′[r] )) c′′[r] /( c′[r] ( 1 + 4c′[r]g′[r] )3/2) . To generalize from this coordinate presentation, we note from it that the algebraic frame fiber specialization for this SSS embedding is apparently generated by the annulling of seven 1-forms ω12 +ω25, ω13 +ω35, ω14 +ω45, ω16 +ω65, ω24, ω34, ω64. It can be checked that: exterior derivatives of these connection 1-forms all vanish by virtue of the 1-forms themselves. Otherwise said, they are self-closed, or a completely integral Pfaffian system (c.i.p.s.). Let us call them a set of symmetry forms. We might consider an isometric embedding EDS with this frame specialization, set on the 21 dimensional orthonormal frame bundle over six dimensions θi, i = 1, . . . , 4 and θA, A = 5, 6. The EDS is generated by the nine 1-forms (θA, symmetry forms), together with their closure 2-forms. Taking the signature −1,−1,−1, 1, 1,−1 we calculate the EDS to have Cartan character table 21(9, 2, 2, 2)4 and to be in involution with respect to the θi. Since ω23 does not appear in the generators there is one Cauchy Characteristic vector. There is one degree of gauge freedom: s4 = 1. If we further add to this EDS the two dynamic 4-forms of Regge–Teitelboim gravity, however, we no longer have a well posed system: all four θi are then not in involution. So this isometric embedding EDS is apparently not exactly equivalent to the coordinate presentation of [2]. The coordinate presentation has of course further specialized the framing (only two arbitrary functions of one metric variable come in), and we are in this present work concerned with finding well posed involutory families of symmetric solutions. A possible resolution discussed in Section 3 is to consider an EDS generated by the closely related c.i.p.s. ω12 + ω25, ω13 + ω35, ω14 + ω45, ω16 + ω65, ω42 + ω26, ω43 + ω36. This set of six symmetry forms leads to a well posed class 2 EDS for RT theory, with character table 21(8, 2, 2, 4)4, in involution with respect to the θi and has one degree of gauge freedom s4 = 1. 4 F.B. Estabrook 3 A systematic specialization of frames in embedding spaces The first four of the symmetry forms for Schwarzschild embedding found above are a c.i.p.s. in their own right: ω12 +ω25, ω13 +ω35, ω14 +ω45, ω16 +ω65. The exterior derivative of any of these pulls back to vanish modulo the set. This is also true if all four are written with minus signs between the two terms. The index 1, or in general i, is from the set of imbedded forms, and the index 5 or in general A is from the coset of embedding dimensions. The pulled back form ω15, or in general ωiA, is exact modulo the set. Remarkably, this construction of a c.i.p.s. works for all di- mensions and signatures, so long as the signatures of i and A are of opposite sign! We remember the Codazzi equation dωiA+ωiµ∧ωµA = 0 and notice that all the quadratic terms vanish modulo these c.i.p.s. This is the most basic construction of specializing symmetry forms we have found. Further systematic addition of these specializing sets of symmetry forms can go on as long as more pairs, say j, B, etc., of opposite signature are available (omitting previous i, A, etc. pairs from each successive summation), and a number of Cartan characteristic table calculations have shown that well posed RT (isometric) EDS’s are always found. Moreover, we find this again in the class 6 case for Einstein vacuum (torsion-free embedding). In Section 5 we explicitly write these four c.i.p.s., having numbers of generators 8, 8+6 = 14, 8+6+4 = 18 and 8+6+4+2 = 20 respectively. Our systematic construction of these c.i.p.s. for specializing frame curvature forms, in ASO(n,m), appears to be new, but a number of other c.i.p.s. for specialized frames are of course well known and important. When a c.i.p.s. is imposed on the fiber algebra O(n,m) the remaining moving frame forms are those of a subbundle, which can be labeled by its fiber algebra and base dimension. For example the case of a subbundle ASU(m) of ASO(m,m), and further isometric embedding of ASO(m) in that, is explicitly treated as an EDS for special Lagrangian calibration in [4, p. 201] (the Cartan character table given there should read s2 = n − 1). Various other interesting manifolds discussed there similarly can be understood as discovery of c.i.p.s. for subbundles of orthonormal frame bundles ASO(m,n); taken together with isometric embedding derived from minimizing calibration forms, EDS are found for associative, coasso- ciative and Cayley geometries. We should also stress that, in distinction to previous such work (e.g., Calabi–Yau manifolds), our new specializations have so far only been been treated locally, through calculation of Cartan characters of the various embedding EDS. 4 The simplest case: a specialized embedding of minimal 2-spaces in flat 2+1-space With moving frame bases θi, i = 1, 2, and θA, A = 3, signature (1, 1,−1) we begin with an EDS generated by θ3, its exterior derivative ω13 ∧ θ1 + ω23 ∧ θ2, and the new specialization which in three dimensions is just the single form ω12−ω13. The character table is 6(2, 1)2 with one degree of gauge freedom, well posed and involutory on θ1 and θ2. As RT theory does not exist in this low dimension we then consider extremal surfaces, with Lagrangian Λ = θ1∧θ2, whose variation generates the EDS to be the isometric embedding form θ3 together with the dynamic 2-form ω13 ∧ θ2 − ω23 ∧ θ1. This EDS for specialized minimal surfaces remains well posed, involutory on θ1 and θ2, with table 6(2, 2)2. Integration, introduction of scalar variables to explicitly find the PDE’s, begins with the closed 1-form ω23, leading to a coordinate we call u. Sequentially from the structure (moving frame) equations and 2-forms in the EDS we find further closed 1-forms, and can introduce variables v, x and y. The result is ω23 = −u−1du, ω13 = u−1dv, θ2 = udx, θ1 = udy, and the two 2-forms require ux − vy = uy + vx = 0. Specialized Orthonormal Frames and Embedding 5 The induced intrinsic 2-metric on any of the family of solutions is then seen to be ds2 = θ1θ1 + θ2θ2 = u2 ( dx2 + dy2 ) , where u(x, y) satisfies Laplace’s equation. The Gaussian curvature is (u2x+u2y)/u 4. We have not yet been able to characterize a common geometric property of this family of embedded minimal surfaces, resulting from various solutions of Laplace’s equation; but it may be relevant that at least the plane, point particle and dipole solutions all lead to metrics that support a Killing vector field. 5 Application to Einstein gravity Not surprisingly the symmetry specializations we have found to work with Regge–Teitelboim gravity of various classes appear to work also with Einstein gravity, but only in the class 6 case, embedding in flat 10-dimensional space with the required signature. Then indeed we find specialized frame bundles for setting EDS’s for families of solutions of vacuum general relativity. This means we drop the strict isometric embedding 1-forms and return to the EDS (equally generated from the Hilbert Lagrangian) of four torsion 2-forms and four Ricci 3-forms. Let us number bases i = 1, 2, 3, 4 and A = 5, 6, 7, 8, 9, 0, use signature (−1,−1,−1, 1, 1, 1, 1, −1, 1, 1) and base our first specialization on indices 1 and 5. Take the symmetry forms to be the c.i.p.s. (ω12 +ω25, ω13 +ω35, ω14 +ω45, ω16−ω56, ω17−ω57, ω18−ω58, ω19−ω59, ω10−ω50). The EDS is generated by these eight 1-forms, four torsion 2-forms ωiA∧θA, their exterior derivatives, and the dynamic Ricci 3-forms ωiA ∧ωAj ∧ θkεijkl. Explicit calculation of the Cartan characters of this EDS shows it to be well posed and involutory on the θi: 55(8, 4, 12, 14)4 with three degrees of gauge freedom. There are 10 Cauchy characteristic vectors (ω67, ω68, ω69, ω60, ω78, ω79, ω70, ω89, ω80, ω90 do not appear in the generators of the EDS). The second specialization adds the additional six symmetry forms based on indices 2 and 6: (ω23+ω36, ω24+ω46, ω27−ω67, ω28−ω68, ω29−ω69, ω20−ω60). Again well posed; 55(14, 4, 12, 14)4, one degrees of gauge freedom and six CC vectors (ω78, ω79, ω70, ω89, ω80, ω90 do not appear). The third specialization adds four symmetry forms based on 3 and 7, 55(18, 4, 12, 14) with 2 CC’s. The fourth specialization adds yet two more, based on 4 and 8, so 20 in all. This results in 55(20, 4, 12, 14)4, with one remaining gauge freedom. Acknowledgements. I thank the JPL Office of the Chief Scientist for a visiting appoint- ment during which this research was carried out, and the Science Division for hospitality. My colleagues John W. Armstrong, Curt Cutler, Massimo Tinto and Michele Vallisneri gave constant stimulus and support. References [1] Estabrook F.B., Mathematical structure of tetrad equations for vacuum relativity, Phys. Rev. D 71 (2005), 044004, 5 pages, gr-qc/0411029. [2] Estabrook F.B., The Hilbert Lagrangian and isometric embedding: tetrad formulation of Regge–Teitelboim gravity, J. Math. Phys. 51 (2010), 042502, 10 pages, arXiv:0908.0365. [3] Estabrook F.B., Wahlquist H.D., Moving frame formulations of 4-geometries having isometries, Classical Quantum Gravity 13 (1996), 1333–1338. [4] Ivey T.A., Landsberg J.M., Cartan for beginners: differential geometry via moving frames and exterior differential systems, Graduate Studies in Mathematics, Vol. 61, Amer. Math. Soc., Providence, RI, 2003. [5] Paston S.A., Sheykin A.A., Embeddings for the Schwarzschild metric: classification and new results, Clas- sical Quantum Gravity 29 (2012), 095022, 17 pages, arXiv:1202.1204. [6] Stephani H., Kramer D., MacCallum M., Hoenselaers C., Herlt E., Exact solutions of Einstein’s field equa- tions, 2nd ed., Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, 2003. http://dx.doi.org/10.1103/PhysRevD.71.044004 http://arxiv.org/abs/gr-qc/0411029 http://dx.doi.org/10.1063/1.3352557 http://arxiv.org/abs/0908.0365 http://dx.doi.org/10.1088/0264-9381/13/6/008 http://dx.doi.org/10.1088/0264-9381/13/6/008 http://dx.doi.org/10.1088/0264-9381/29/9/095022 http://dx.doi.org/10.1088/0264-9381/29/9/095022 http://arxiv.org/abs/1202.1204 http://dx.doi.org/10.1017/CBO9780511535185 1 Introduction 2 A static spherically symmetric embedding 3 A systematic specialization of frames in embedding spaces 4 The simplest case: a specialized embedding of minimal 2-spaces in flat 2+1-space 5 Application to Einstein gravity References