Toward the Determination of R^3F^2 Terms in M-theory

TL;DR

This paper investigates higher derivative terms in M-theory, using the Noether method and computer-aided calculations, to determine R^4 and some R^3F^2 terms, aligning with string theory results.

Contribution

It uniquely determines the structure of R^4 terms and partially determines R^3F^2 terms in M-theory, matching string theory predictions.

Findings

R^4 terms structure matches one-loop string theory results

Partial determination of R^3F^2 terms

Use of Noether method and computer algebra for supersymmetry variations

Abstract

Higher derivative terms in M-theory are investigated by applying the Noether method. Cancellation of variations under the local supersymmetry is examined to the order linear in F by a computer program. Structure of R^4 terms is uniquely determined and exactly matches with one-loop effective terms in type IIA superstring theory. A part of R^3F^2 terms is also determined.