The \texttt{Invar} tensor package: differential invariants of Riemann

DOI10.1016/J.CPC.2008.04.018zbMATH Open1197.15001arXiv0802.1274OpenAlexW2072638007MaRDI QIDQ711099FDOQ711099

Authors: D. Kharzeev 

Publication date: 25 October 2010

Published in: Computer Physics Communications (Search for Journal in Brave)

Abstract: The long standing problem of the relations among the scalar invariants of the Riemann tensor is computationally solved for all 6x10^23 objects with up to 12 derivatives of the metric. This covers cases ranging from products of up to 6 undifferentiated Riemann tensors to cases with up to 10 covariant derivatives of a single Riemann. We extend our computer algebra system Invar to produce within seconds a canonical form for any of those objects in terms of a basis. The process is as follows: (1) an invariant is converted in real time into a canonical form with respect to the permutation symmetries of the Riemann tensor; (2) Invar reads a database of more than 6x10^5 relations and applies those coming from the cyclic symmetry of the Riemann tensor; (3) then applies the relations coming from the Bianchi identity, (4) the relations coming from commutations of covariant derivatives, (5) the dimensionally-dependent identities for dimension 4, and finally (6) simplifies invariants that can be expressed as product of dual invariants. Invar runs on top of the tensor computer algebra systems xTensor (for Mathematica) and Canon (for Maple).

Full work available at URL: https://arxiv.org/abs/0802.1274

Recommendations

• The Invar tensor package
• A complete set of Riemann invariants
• The identities of the algebraic invariants of the four-dimensional Riemann tensor
• Normal forms for tensor polynomials. I. The Riemann tensor
• The identities of the algebraic invariants of the four-dimensional Riemann tensor. II

zbMATH Keywords

computer algebraRiemann tensortensor calculus\texttt{Maple}\texttt{Mathematica}

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to linear algebra (15-04)

Cites Work

• The Canon package: a fast kernel for tensor manipulators
• The Invar tensor package
• General Relativity
• Normal forms for tensor polynomials. I. The Riemann tensor
• Dimensionally dependent tensor identities by double antisymmetrization
• Title not available (Why is that?)
• GROUP-THEORETIC APPROACH FOR SYMBOLIC TENSOR MANIPULATION
• The identities of the algebraic invariants of the four-dimensional Riemann tensor. III
• Differential invariants and regularity

Cited In (32)

• Distance invariant method for normalization of indexed differentials
• Yang-Mills Casimir wormholes in D = 2 + 1
• Are there ALPs in the asymptotically safe landscape?
• Lorentz symmetry is relevant
• \textit{xTras}: a field-theory inspired \textit{xAct} package for Mathematica
• Enumeration of the order-14 invariants formed from the Riemann tensor
• Normalization in Riemann tensor polynomial ring
• Light charged fermions in quantum gravity
• Rigid supersymmetry from conformal supergravity in five dimensions
• Quantum corrections to unimodular gravity
• Infinite order quantum-gravitational correlations
• Lessons from conformally reduced quantum gravity
• xTensor
• Faster tensor canonicalization
• From a locality-principle for new physics to image features of regular spinning black holes with disks
• Extremal black holes in dynamical Chern–Simons gravity
• The Invar tensor package
• Superconformal indices and M2-branes
• \textit{Spinors}: a Mathematica package for doing spinor calculus in general relativity
• Shift-symmetric Horndeski gravity in the asymptotic-safety paradigm
• The gravitational wave stress–energy (pseudo)-tensor in modified gravity
• \(xPert\): Computer algebra for metric perturbation theory
• E6Tensors: a Mathematica package for \(E_6\) tensors
• Quasi-normal mode of a regular Schwarzschild black hole
• Supertranslations and holographic stress tensor
• The weak-gravity bound and the need for spin in asymptotically safe matter-gravity models
• An effective formalism for testing extensions to general relativity with gravitational waves
• Irrelevant operators and their holographic anomalies
• An example of non-Weyl preserving complex transformation
• Elucidation of covariant proofs in general relativity: example of the use of algebraic software in the shear-free conjecture in MAPLE
• Effective field theory of gravity to all orders
• Normal forms for tensor polynomials. I. The Riemann tensor

Uses Software

• Canon
• Invar
• Maple
• Mathematica

This page was built for publication: The \texttt{Invar} tensor package: differential invariants of Riemann

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q711099)