Field Theory on Curved Noncommutative Spacetimes

We study classical scalar field theories on noncommutative curved spacetimes. Following the approach of Wess et al. [Classical Quantum Gravity 22 (2005), 3511 and Classical Quantum Gravity 23 (2006), 1883], we describe noncommutative spacetimes by using (Abelian) Drinfel'd twists and the associ...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2010
Автори: Schenkel, A., Uhlemann, C.F.
Формат: Стаття
Мова:English
Опубліковано: Інститут математики НАН України 2010
Назва видання:Symmetry, Integrability and Geometry: Methods and Applications
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/146363
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Field Theory on Curved Noncommutative Spacetimes / A. Schenkel, C.F. Uhlemann // Symmetry, Integrability and Geometry: Methods and Applications. — 2010. — Т. 6. — Бібліогр.: 41 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-146363
record_format dspace
spelling irk-123456789-1463632019-02-10T01:23:05Z Field Theory on Curved Noncommutative Spacetimes Schenkel, A. Uhlemann, C.F. We study classical scalar field theories on noncommutative curved spacetimes. Following the approach of Wess et al. [Classical Quantum Gravity 22 (2005), 3511 and Classical Quantum Gravity 23 (2006), 1883], we describe noncommutative spacetimes by using (Abelian) Drinfel'd twists and the associated *-products and *-differential geometry. In particular, we allow for position dependent noncommutativity and do not restrict ourselves to the Moyal-Weyl deformation. We construct action functionals for real scalar fields on noncommutative curved spacetimes, and derive the corresponding deformed wave equations. We provide explicit examples of deformed Klein-Gordon operators for noncommutative Minkowski, de Sitter, Schwarzschild and Randall-Sundrum spacetimes, which solve the noncommutative Einstein equations. We study the construction of deformed Green's functions and provide a diagrammatic approach for their perturbative calculation. The leading noncommutative corrections to the Green's functions for our examples are derived. 2010 Article Field Theory on Curved Noncommutative Spacetimes / A. Schenkel, C.F. Uhlemann // Symmetry, Integrability and Geometry: Methods and Applications. — 2010. — Т. 6. — Бібліогр.: 41 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 81T75; 83C65; 53D55 DOI:10.3842/SIGMA.2010.061 http://dspace.nbuv.gov.ua/handle/123456789/146363 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 study classical scalar field theories on noncommutative curved spacetimes. Following the approach of Wess et al. [Classical Quantum Gravity 22 (2005), 3511 and Classical Quantum Gravity 23 (2006), 1883], we describe noncommutative spacetimes by using (Abelian) Drinfel'd twists and the associated *-products and *-differential geometry. In particular, we allow for position dependent noncommutativity and do not restrict ourselves to the Moyal-Weyl deformation. We construct action functionals for real scalar fields on noncommutative curved spacetimes, and derive the corresponding deformed wave equations. We provide explicit examples of deformed Klein-Gordon operators for noncommutative Minkowski, de Sitter, Schwarzschild and Randall-Sundrum spacetimes, which solve the noncommutative Einstein equations. We study the construction of deformed Green's functions and provide a diagrammatic approach for their perturbative calculation. The leading noncommutative corrections to the Green's functions for our examples are derived.
format Article
author Schenkel, A.
Uhlemann, C.F.
spellingShingle Schenkel, A.
Uhlemann, C.F.
Field Theory on Curved Noncommutative Spacetimes
Symmetry, Integrability and Geometry: Methods and Applications
author_facet Schenkel, A.
Uhlemann, C.F.
author_sort Schenkel, A.
title Field Theory on Curved Noncommutative Spacetimes
title_short Field Theory on Curved Noncommutative Spacetimes
title_full Field Theory on Curved Noncommutative Spacetimes
title_fullStr Field Theory on Curved Noncommutative Spacetimes
title_full_unstemmed Field Theory on Curved Noncommutative Spacetimes
title_sort field theory on curved noncommutative spacetimes
publisher Інститут математики НАН України
publishDate 2010
url http://dspace.nbuv.gov.ua/handle/123456789/146363
citation_txt Field Theory on Curved Noncommutative Spacetimes / A. Schenkel, C.F. Uhlemann // Symmetry, Integrability and Geometry: Methods and Applications. — 2010. — Т. 6. — Бібліогр.: 41 назв. — англ.
series Symmetry, Integrability and Geometry: Methods and Applications
work_keys_str_mv AT schenkela fieldtheoryoncurvednoncommutativespacetimes
AT uhlemanncf fieldtheoryoncurvednoncommutativespacetimes
first_indexed 2025-07-10T23:50:37Z
last_indexed 2025-07-10T23:50:37Z
_version_ 1837305904313139200
fulltext Symmetry, Integrability and Geometry: Methods and Applications SIGMA 6 (2010), 061, 19 pages Field Theory on Curved Noncommutative Spacetimes? Alexander SCHENKEL and Christoph F. UHLEMANN Institut für Theoretische Physik und Astrophysik, Universität Würzburg, Am Hubland, 97074 Würzburg, Germany E-mail: aschenkel@physik.uni-wuerzburg.de, uhlemann@physik.uni-wuerzburg.de Received March 17, 2010, in final form July 14, 2010; Published online August 03, 2010 doi:10.3842/SIGMA.2010.061 Abstract. We study classical scalar field theories on noncommutative curved spacetimes. Following the approach of Wess et al. [Classical Quantum Gravity 22 (2005), 3511 and Classical Quantum Gravity 23 (2006), 1883], we describe noncommutative spacetimes by using (Abelian) Drinfel’d twists and the associated ?-products and ?-differential geometry. In particular, we allow for position dependent noncommutativity and do not restrict our- selves to the Moyal–Weyl deformation. We construct action functionals for real scalar fields on noncommutative curved spacetimes, and derive the corresponding deformed wave equa- tions. We provide explicit examples of deformed Klein–Gordon operators for noncommuta- tive Minkowski, de Sitter, Schwarzschild and Randall–Sundrum spacetimes, which solve the noncommutative Einstein equations. We study the construction of deformed Green’s func- tions and provide a diagrammatic approach for their perturbative calculation. The leading noncommutative corrections to the Green’s functions for our examples are derived. Key words: noncommutative field theory; Drinfel’d twists; deformation quantization; field theory on curved spacetimes 2010 Mathematics Subject Classification: 81T75; 83C65; 53D55 1 Introduction Noncommutative (NC) geometry [1] is a very rich framework for modifying the kinematical structures of low-energy theories. In this approach the ingredients for a classical description of spacetime (manifolds, vector bundles, . . . ) are generalized to suitable quantum objects (al- gebras, projective modules, . . . ). For an introduction to NC geometry see also [2]. Replacing classical spacetime by NC spaces has been motivated from different perspectives. There are Gedanken experiments indicating that the precise localization of an event in spacetime can in- duce NC [3], as well as indications showing that NC geometry can emerge from string theory [4] and quantum gravity [5]. Another motivation for studying NC spacetimes is the hope that re- placing all classical spaces (including spacetime) by appropriate quantum spaces could improve the mathematical description of physics, e.g. concerning the UV divergences in quantum field theory or the curvature singularities in general relativity. A natural possibility to describe NC gravity is to employ a NC metric field [6, 7, 8], but there are also other well motivated approaches based on hermitian metrics [9, 10] or gauge formulations with or without Seiberg–Witten maps using different gauge groups [11, 12, 13, 14, 15]. See also [16] for a collection of approaches towards NC gravity. In addition to the formulations which are deformations of the classical framework using metrics (or similar ingredients), NC geometry also offers a natural mechanism for emergent gravity within NC gauge theory and matrix models [17, 18, 19]. ?This paper is a contribution to the Special Issue “Noncommutative Spaces and Fields”. The full collection is available at http://www.emis.de/journals/SIGMA/noncommutative.html mailto:aschenkel@physik.uni-wuerzburg.de mailto:uhlemann@physik.uni-wuerzburg.de http://dx.doi.org/10.3842/SIGMA.2010.061 http://www.emis.de/journals/SIGMA/noncommutative.html 2 A. Schenkel and C.F. Uhlemann In this work we follow the formulation proposed by Julius Wess and his group [6, 7] to describe NC gravity and field theories. As ingredients we use ?-products instead of abstract operator algebras. This approach is called deformation quantization [20] and has the advan- tage that the quantum theory is formulated in terms of the classical objects, thus allowing us to study deviations (perturbations) from the classical situation at every step. Obviously, for- mal deformation quantization has the disadvantage that we may miss interesting examples, where NC is very strong. An interesting feature of the formulation [6, 7] is that the NC spaces obey “quantum symmetry” properties, since the ?-products are constructed by Drin- fel’d twists [21]. This is an advantage compared to generic NC spaces, since symmetries are an important guiding principle for constructing field theories, in particular gravity theo- ries. Recently, there has been considerable progress towards applications of the NC gravity theory of Wess et al. to physical situations. Symmetry reduction, the basic tool for studying symmetric configurations in gravity, has been investigated in [22] in theories obeying quantum symmetries. Furthermore, pioneered by Schupp and Solodukhin [23], exact solutions of the NC Einstein equations have been found in [23, 24, 25, 26, 27], providing, in particular, explicit models for NC cosmology and NC black hole physics. For a collection of other approaches towards NC cosmology see [28], and for NC black holes see [29]. The natural next step is to consider (quantum) field theory on these recently obtained curved NC spacetimes in order to make contact to physics, like e.g. the cosmic microwave background or Hawking radiation. (Quantum) field theory on NC spacetimes is a very active subject, see [30] for a collection of different approaches. However, most of these studies are restricted to the Moyal–Weyl or κ-deformed Minkowski spacetime. In [31] we attempt to fill this gap and proposed a mathematical framework for quantum field theory (QFT) on curved NC spacetimes within the algebraic approach to QFT [32, 33]. We have shown that for a large class of Drinfel’d twist deformations one can construct deformed algebras of observables for a free real scalar field. However, the construction of suitable quantum states and the physical application of this formalism still have to be investigated. The purpose of this article is to review the formalism of [31] in a rather nontechnical language and apply it to study explicit examples of classical field theories on curved NC spacetimes. The outline of this paper is as follows: In Section 2 we review the NC geometry from Drinfel’d twists, restricting ourselves to the class of Abelian (also called RJS-type) twists. Using these methods we show in Section 3 how to construct deformed action functionals for scalar fields on NC curved spacetimes, also allowing for position dependent NC. Additionally to the abstract geometric formulation of [31] we also present the construction of deformed actions and equations of motion using a local basis, which is the language typically used in the physics literature. In Section 4 we study examples of the deformed Klein–Gordon operators derived in Section 3 using different NC Minkowski spaces, de Sitter universes, a Schwarzschild black hole and a Randall– Sundrum spacetime. We provide a convenient formalism to study NC corrections to the Green’s functions of the deformed equations of motion in Section 5 and apply it to examples in Section 6. We conclude in Section 7. 2 NC geometry from Drinfel’d twists In this section we provide the required background on ?-products and NC geometry from Drin- fel’d twists. We omit mathematical details as much as possible and use simple examples to explain the formalism. Mathematical details on NC geometry (and gravity) from Drinfel’d twists can be found in [6, 7]. Furthermore, we frequently write expressions in local coordinates and use local bases of vector fields and one-forms, as it is typically done in the physics literature. For a global and coordinate independent formulation see [7]. Field Theory on Curved Noncommutative Spacetimes 3 Instead of providing the abstract definition of a ?-product, let us study the simple example of the Moyal–Weyl product and emphasize the basic features. Assume spacetime to be M = RD. At this point we do not require a metric field on M. Let h, k ∈ C∞(M) be two smooth, complex-valued functions onM. We replace the classical point-wise multiplication of functions by the Moyal–Weyl product (h ? k)(x) := h(x) exp ( iλ 2 ←− ∂µΘµν−→∂ν ) k(x) = ∞∑ n=0 ( iλ 2 )n 1 n! Θµ1ν1 · · ·Θµnνn ( ∂µ1 · · · ∂µnh(x) )( ∂ν1 · · · ∂νnk(x) ) , (2.1) where Θµν is a constant and antisymmetric matrix, λ is the deformation parameter and ∂µ are the partial derivatives with respect to the coordinate directions xµ. It can be checked easily that the ?-product is associative, i.e. that h ? (k ? l) = (h ? k) ? l for all h, k, l ∈ C∞(M), but noncommutative h?k 6= k ?h. Applying the ?-product to the coordinate functions xµ we obtain the commutation relations [xµ ?, xν ] := xµ ? xν − xν ? xµ = iλΘµν . (2.2) Thus, using the Moyal–Weyl product, we obtain a NC space similar to the NC phasespace of quantum mechanics. However, in this case spacetime itself is NC. Before generalizing the ?-product (2.1) to include position dependent NC, i.e. position de- pendent commutation relations (2.2), we note that the ?-product can be written using the bi-differential operator F−1 MW := exp ( iλ 2 Θµν∂µ ⊗ ∂ν ) , (2.3) by first applying F−1 MW to h⊗ k and then multiplying the result using the point-wise multiplica- tion. The object FMW is a particular example of a Drinfel’d twist [21]. We now generalize the Moyal–Weyl product (2.1) to a class of (possibly position dependent) ?-products on a general manifold M. Consider a set of commuting (w.r.t. the Lie bracket) vector fields {Xα}, where α is a label, not a spacetime index. In local coordinates we have Xα = Xµ α(x)∂µ. The vector fields Xα are defined to act on functions as (Lie) derivatives, i.e. in local coordinates we have Xαh = Xµ α(x)∂µh(x). Using {Xα} and a constant and antisymmetric matrix Θαβ we can define the following ?-product (h ? k)(x) := h(x) exp ( iλ 2 ←− XαΘαβ−→Xβ ) k(x). (2.4) Associativity of this product is easily shown using [Xα, Xβ] = 0. Furthermore, we can analo- gously to (2.3) associate a Drinfel’d twist to the ?-product (2.4), namely F−1 := exp ( iλ 2 ΘαβXα ⊗Xβ ) . (2.5) These twists are called Abelian or of Reshetikhin–Jambor–Sykora (RJS) type [34, 35]. In the following we restrict ourselves to real vector fields Xα (i.e. unitary and real twists), leading to hermitian ?-products (h ? k)∗ = k∗ ? h∗. Furthermore, we can without loss of generality assume Θαβ to be of the canonical (Darboux) form Θαβ =  0 1 0 0 · · · −1 0 0 0 · · · 0 0 0 1 · · · 0 0 −1 0 · · · ... ... ... ... . . .  . 4 A. Schenkel and C.F. Uhlemann Let us briefly discuss two simple examples of non-Moyal–Weyl twists and ?-products. Let M = RD. Consider X1 = ∂t and X2 = xi∂i, where t, xi, i = 1, . . . , D− 1, are global coordinates on RD. It is easy to check that [X1, X2] = 0, thus we obtain a ?-product of RJS type. The commutation relations of the coordinate functions are given by [t ?, xi] = iλxi and [xi ?, xj ] = 0. These are the commutation relations of a κ-deformed spacetime [36]. For the second example consider M = R2 and X1 = x∂x, X2 = y∂y, where x, y are global coordinates. We obtain the commutation relation of the quantum plane x ? y = qy ? x, where q = eiλ. Since our aim is to describe field theory on the NC spacetimes (C∞(M), ?)1, we have to introduce a few more ingredients, such as derivatives, metrics and integrals, to the NC setting. The notion of a derivative is described by a differential calculus over the algebra (C∞(M), ?). In our particular example of deformations using Drinfel’d twists, the differential calculus is given by the differential forms on the manifold Ω•, the deformed wedge product ∧? and the undeformed exterior derivative d. The deformed wedge product is defined by ω ∧? ω ′ := ∧ ( F−1ω ⊗ ω′ ) , i.e. first acting with the inverse twist via the Lie derivative on ω ⊗ ω′ and then multiplying by the standard wedge product. We also give the explicit expression for ∧? in presence of an RJS twist (2.5) ω ∧? ω ′ = ∞∑ n=0 ( iλ 2 )n 1 n! Θα1β1 · · ·Θαnβn ( LXα1 · · · LXαn ω ) ∧ ( LXβ1 · · · LXβn ω′ ) , (2.6) where LX denotes the Lie derivative along the vector fieldX. Using that Lie derivatives commute with the exterior derivative d, one finds that d(ω ∧? ω ′) = (dω) ∧? ω ′ + (−1)deg(ω)ω ∧? (dω′), for all differential forms ω, ω′ ∈ Ω•. Having introduced vector fields Ξ and one-forms Ω (co-vector fields), we can consider the pairing (index contraction) in the NC setting. We define in the canonical way 〈ω, v〉? := 〈·, ·〉 ( F−1ω ⊗ v ) , where 〈·, ·〉 ( ω ⊗ v ) = 〈ω, v〉 is the commutative pairing, given in a local coor- dinate basis v = vµ∂µ, ω = dxµωµ by 〈ω, v〉 = ωµv µ. Again, we provide the explicit expression 〈ω, v〉? = ∞∑ n=0 ( iλ 2 )n 1 n! Θα1β1 · · ·Θαnβn〈LXα1 · · · LXαn ω,LXβ1 · · · LXβn v〉. The pairing 〈v, ω〉? with the vector field on the left is defined analogously. Another ingredient for formulating NC field theories is a background spacetime metric field g. To define it we introduce the ?-tensor product ⊗?, which can be constructed in the canonical way [7] by first acting with the twist (2.5) and then applying the usual tensor product. For the RJS-twist (2.5) we have the following explicit form τ ⊗? τ ′ := ∞∑ n=0 ( iλ 2 )n 1 n! Θα1β1 · · ·Θαnβn ( LXα1 · · · LXαn τ ) ⊗ ( LXβ1 · · · LXβn τ ′ ) , where τ , τ ′ are either vector fields or one-forms. The extension of ⊗? to higher tensor fields is straightforward and one obtains an associative tensor algebra (T ,⊗?) generated by Ξ and Ω [7]. We use a minor generalization of the formalism of [7] and define the metric g ∈ Ω ⊗? Ω to be a hermitian and nondegenerate tensor. Note that the case of real and symmetric metric fields g is included in our definition, thus every classical metric field is also a NC metric. The inverse metric field g−1 = g−1α⊗? g −1 α ∈ Ξ⊗? Ξ (sum over α understood) is also nondegenerate 1The mathematically precise definition of the algebra is (C∞(M)[[λ]], ?). We suppress the brackets [[λ]] indicating formal power series for better readability. Field Theory on Curved Noncommutative Spacetimes 5 and hermitian. We use the inverse metric field to contract two one-forms ω, ω′ ∈ Ω to obtain a scalar function. This contraction is used later to define a kinetic term in the action. The metric contraction is called hermitian structure and is defined by H?(ω, ω′) := 〈〈ω∗, g−1〉?, ω′〉? := 〈ω∗, g−1α〉? ? 〈g−1 α , ω′〉?, where ∗ denotes conjugation on one-forms. The hermitian structure is nondegenerate, hermitian and fulfils ?-sesquilinearity H?(ω, ω′) = 0 for all ω′ ⇐⇒ ω = 0, (2.7a) H?(ω, ω′)∗ = H?(ω′, ω), (2.7b) H?(ω ? h, ω′ ? k) = h∗ ? H?(ω, ω′) ? k, (2.7c) for all ω, ω′ ∈ Ω and h, k ∈ C∞(M). The last ingredient we require in the following is the integral ∫ over the manifold M. In a geometrical language, the integral over spacetime associates to a top-form, i.e. a differential form τ with deg(τ) = dim(M), a number ∫ τ ∈ C. The integral is evaluated locally using the coordinate charts. Note that, since NC and commutative differential forms are as vector spaces the same (up to the formal power series), we can use the commutative integral also in the NC case. Furthermore, one explicitly observes using (2.6) and integration by parts that∫ ω ∧? ω ′ = (−1)deg(ω)deg(ω′) ∫ ω′ ∧? ω = ∫ ω ∧ ω′, (2.8) for all ω, ω′ ∈ Ω• with deg(ω)+deg(ω′) = dim(M) and supp(ω)∩ supp(ω′) compact (in order to avoid boundary terms). This property, called graded cyclicity, simplifies the derivation of the equations of motion. Note that, although graded cyclicity is fulfilled for all RJS-twists (2.5), for the most general twists it is not. Whether graded cyclicity is necessary, or just convenient, for the construction of the NC scalar field theory presented in the next sections is an interesting question left for the future. 3 NC scalar field action and equation of motion The formulation of classical and quantum field theories on NC spacetimes has been a very ac- tive subject over the last few years, see e.g. [30]. Most of these approaches focus on free or interacting QFTs on the Moyal–Weyl deformed or κ-deformed Minkowski spacetime. In order to address physical applications like QFT in a NC early universe or on a NC black hole back- ground, a formulation which can be extended to curved spaces has to be developed. For globally hyperbolic spacetimes deformed by a large class of Drinfel’d twists (in particular including the RJS twists (2.5)) we gave a proposal [31] of how to construct the QFT of a free real scalar field using the algebraic approach to QFT [32, 33]. In our approach we have treated the deformation parameter λ as a formal parameter, thus obtaining a perturbative framework, which neverthe- less could be solved formally to all orders in the deformation parameter. The advantage of our approach is that we can apply it to study free quantum fields on curved spacetimes with an in general position dependent NC. The obvious disadvantage is that we treat the deformation parameter as a formal parameter, thus we might not be able to capture nonperturbative NC effects, such as a possible causality violation. In the first part of this section we use the formalism of [31] to define actions and derive equations of motion for a real scalar field on curved NC spacetimes using a geometric language. In the second part, we use local bases of vector fields and one-forms in order to rewrite the formalism using “indices”. This is important for constructing examples lateron, since, despite the elegance of the geometrical approach, practical calculations are performed in a local basis. 6 A. Schenkel and C.F. Uhlemann 3.1 Basis free formulation We start by showing how to construct an action for a real scalar field Φ on NC curved spacetimes. We are in particular interested in the deformation of the “canonical action” S = −1 2 ∫ ( ∂µΦgµν∂νΦ +m2Φ2 ) volg, where volg = √ |g|dDx is the metric volume element (a D-form) and D is the dimension of spacetime. Using the tools of Section 2 we can deform this action leading to the global expression S? := −1 2 ∫ ( H?(dΦ, dΦ) +m2Φ ? Φ ) ? vol?, (3.1) where vol? is a nondegenerate and real D-form2. The action (3.1) is real, as seen by the following small calculation S∗? = −1 2 ∫ vol∗? ? ( H?(dΦ, dΦ)∗ +m2Φ∗ ? Φ∗) vol∗?=vol?, Φ∗=Φ, (2.7b) = −1 2 ∫ vol? ? ( H?(dΦ, dΦ) +m2Φ ? Φ ) (2.8) = −1 2 ∫ ( H?(dΦ, dΦ) +m2Φ ? Φ ) ? vol? = S?. Interactions can be introduced to the free action (3.1) by defining S?int := − ∫ V?[Φ] ? vol?, V?[Φ]∗ = V?[Φ], where V?[Φ] is a ?-deformed potential, e.g. V?[Φ] = λ4 4! Φ ? Φ ? Φ ? Φ. We calculate the equation of motion by demanding that the variation of the action vanishes, i.e. δS? = 0. We define the d’Alembert operator �? by∫ ψ∗ ?�?[ϕ] ? vol? := − ∫ H?(dψ, dϕ) ? vol?, for all ψ,ϕ ∈ C∞(M) with supp(ψ) ∩ supp(ϕ) compact. The equation of motion obtained by δS? = 0 is top-form valued and given by P̃?[Φ] := 1 2 ( �?[Φ] ? vol? + vol? ? ( �?[Φ∗] )∗ −m2Φ ? vol? −m2vol? ? Φ ) = 0. (3.2) Note that the equation of motion operator P̃? is real. Resembling standard formulations, we might extract the volume form to the right and define the scalar-valued equation of motion operator P? by P̃?[Φ] =: P?[Φ] ? vol?. It can be shown that the map C∞(M)→ ΩD(M), ϕ 7→ ϕ?vol? is an isomorphism3. Its inverse is the right-extraction of vol?, which we have used to define the scalar-valued equation of motion operator P?. As an aside, the operator P? can be shown to be formally self-adjoint with respect to the deformed scalar product (ψ,ϕ)? := ∫ ψ∗ ? ϕ ? vol?, i.e. (ψ, P?[ϕ])? = (P?[ψ], ϕ) for all ψ,ϕ ∈ C∞(M) with compact overlap. This property is of particular importance for the construction of a QFT. 2For general twist deformations there is, to our knowledge, no ?-covariant construction principle for a metric volume form. One reasonable choice is vol? = √ |detgµν | 1 D! εµ1...µD dxµ1 ∧ · · · ∧ dxµD , constructed from the expression for g in the commutative basis g = gµνdxµ⊗dxν . It is nondegenerate, real and has the correct classical limit. In this section we keep vol? general, demanding only these three basic properties. 3The generalization to isomorphisms Ωn → ΩD−n, and thus the construction of a NC Hodge operator, is to our knowledge still an open problem, which, however, does not alter our construction of deformed scalar field theories. Field Theory on Curved Noncommutative Spacetimes 7 3.2 Formulation in the coordinate and nice basis Let us now do the same construction as before in two different “preferred” bases of vector fields. In physics, one typically uses a basis ∂µ of derivatives along some coordinates xµ. The inverse metric field in this basis reads g−1 = ∂∗µ ⊗? g µν ? ∂ν , (gµν)∗ = gνµ. Note that we used the conjugated basis vector field ∂∗µ = −∂µ in the left slot of the tensor product in order to avoid a minus sign in (3.3). We furthermore use the dual basis d̃x µ defined by 〈∂ν , d̃x µ 〉? = δµ ν . Note that, due to the deformed pairing, the commutative dual basis dxµ defined by 〈∂ν , dx µ〉 = δµ ν is not necessarily equal to the deformed dual basis d̃x µ . We express dΦ =: d̃x µ ? ∂?µΦ in terms of the NC basis. The deformed derivatives ∂?µ are in general higher derivative operators obtained order by order in the deformation parameter by solving dΦ = dxµ∂µΦ ≡ d̃x µ ? ∂?µΦ. The hermitian structure in indices reads H?(dΦ, dΦ) (2.7c) = (∂?µΦ)∗ ? H? ( d̃x µ , d̃x ν) ? ∂?νΦ = (∂?µΦ)∗ ? gµν ? ∂?νΦ. (3.3) We find for the action (3.1) S? = −1 2 ∫ ( (∂?µΦ)∗ ? gµν ? ∂?νΦ +m2Φ ? Φ ) ? vol?, (3.4) where we could also write vol? = γ ? dx0 ∧? dx 1 ∧? · · · ∧? dx D−1, with some function γ satisfying γ = √ |g|+O(λ) to have a good classical limit. Note that even though the action (3.4) looks quite familiar and simple, it contains firstly the metric in a nontrivial basis (including ?-products) and the deformed derivatives ∂?µ, which are higher differential operators. The equation of motion can be obtained using integration by parts order by order in the deformation parameter. We do not derive it in detail, since – as we show now – there is a more convenient choice of basis, leading to a simpler form of the action. As it was argued in [24] and proven in detail in [25], there is an almost everywhere defined basis of vector fields {ea} and one-forms {θa} satisfying [ea, eb] = 0, on which the RJS- twist (2.5) acts trivially. By acting trivially we mean that the Lie derivatives along all Xα vanish, i.e. LXαea = 0 and LXαθ a = 0. This basis is called the natural or nice basis. A sim- ilar notion of central bases, called “frames” or “Stehbeins”, has already occurred in [37]. For the nice basis NC duality is equal to commutative duality, since 〈ea, θb〉? = 〈ea, θb〉 = δb a. We express the metric field in the nice basis g−1 = e∗a ⊗? g ab ? eb = e∗a ⊗ gabeb and obtain that all ?-products drop out. Furthermore, we can write the derivative of Φ in this basis and obtain dΦ = θa?ea(Φ) = θaea(Φ), where ea(Φ) denotes the vector field action (Lie derivative) on Φ. We also use the nice basis to write the volume form as vol? = γ?θ1∧?θ 2∧?· · ·∧?θ D = γθ1∧θ2∧· · ·∧θD. Note that the differential form cnt := θ1 ∧ θ2 ∧ · · · ∧ θD is central, i.e. it ?-commutes with every function. Assuming the vector fields ea to be real (this is typically the case), the action (3.1) reads S? = −1 2 ∫ ( ea(Φ) ? gab ? eb(Φ) +m2Φ ? Φ ) ? γ ? cnt. The obvious advantage of the nice basis compared to (3.4) is that no higher differential ope- rators (such as ∂?µ above) occur. The equation of motion can be calculated by using graded cyclicity (2.8), integration by parts and that the vector fields ea act trivially on cnt. We obtain P̃?[Φ] = 1 2 ( ea(gab ? eb(Φ) ? γ) + ea(γ ? eb(Φ) ? gba)−m2(Φ ? γ + γ ? Φ) ) ? cnt = 0. 8 A. Schenkel and C.F. Uhlemann We again extract the volume form to the right and obtain the scalar-valued equation of motion P?[Φ] = 1 2 ( ea(gab ? eb(Φ) ? γ) + ea(γ ? eb(Φ) ? gba)−m2(Φ ? γ + γ ? Φ) ) ? γ−1? = 0, (3.5) where γ−1? is the ?-inverse of γ defined by γ ? γ−1? = γ−1? ? γ = 1. 4 Examples I: Deformed Klein–Gordon operators In this section we provide examples of deformed Klein–Gordon operators on NC spacetimes, which solve the NC Einstein equations. For details on solutions of the NC Einstein equations see [23, 24, 25] and also [26, 27] for related approaches. One of the main results of these papers is that the NC Einstein equations are solved by the classical metric field, if the twist obeys certain properties. A sufficient condition is given by ΘαβXα ⊗Xβ ∈ Ξ⊗ g + g⊗ Ξ, where g is the Lie algebra of Killing vector fields of the metric and Ξ are general vector fields. 4.1 Deformed Minkowski spacetime The simplest model we can consider is the Minkowski spacetime deformed by the Moyal–Weyl twist (2.3). In this case the nice basis defined above coincides with the coordinate basis in which the metric takes the form g−1 = ∂∗µ ⊗ ηµν∂ν , where ηµν = diag(−1, 1, 1, 1)µν . The volume form is given by vol? = dt∧ dx1 ∧ dx2 ∧ dx3 = cnt and is central. In the language above, the function relating the volume form to the central form is γ ≡ 1. Evaluating the equation of motion (3.5) using {ea} = {∂µ} we find P?[Φ] = ηµν∂µ∂νΦ−m2Φ = 0. This result agrees with other approaches and shows that the free field on the Moyal–Weyl deformed Minkowski spacetime is not affected by the deformation. Let us now consider a model leading to a deformed equation of motion. Consider the RJS twist (2.5) constructed from the vector fields X1 = ∂t and X2 = xi∂i, where t is time and xi are spatial coordinates. This is an example of a Lie algebraic deformation [t ?, xi] = iλxi. One possible choice of a nice basis is given by e1 = ∂t, e2 = r∂r, e3 = ∂ζ , e4 = ∂φ, (4.1) where we introduced spherical coordinates (r, ζ, φ). Note the additional r in e2 and that in spherical coordinates X2 = r∂r. We have [ea, eb] = 0 and LXαea = 0, thus {ea} indeed is a nice basis as defined in Section 3.2. The dual basis is given by θ1 = dt, θ2 = dr r , θ3 = dζ, θ4 = dφ, (4.2) and is nice, too, i.e. LXαθ a = 0. In this basis the inverse metric field is given by g−1 = e∗a⊗gabeb, where gab = diag ( −1, r−2, r−2, (r sin ζ)−2 )ab. We express the volume form as vol? = r2 sin ζ dt∧ dr ∧ dζ ∧ dφ = r3 sin ζ cnt, i.e. γ = r3 sin ζ. Note the additional r in γ arising due to the form of θ2. Evaluating all ?-products, the equation of motion (3.5) reads P?[Φ] = −1 2 ( 1 + e−i3λ∂t )( ∂2 t Φ +m2Φ ) + 1 2 ( eiλ∂t + e−i4λ∂t ) 4Φ = 0, (4.3) where 4 = ∂i∂i is the spatial Laplacian. For deriving this equation one uses that sin ζ is central and that for an arbitrary function h ∈ C∞(M) and n ∈ Z the following identities hold true (rn) ? h = rne− inλ 2 ∂th, h ? (rn) = rne inλ 2 ∂th. (4.4) We thus obtain a nontrivial scalar field propagation on this deformed Minkowski spacetime. Field Theory on Curved Noncommutative Spacetimes 9 4.2 Deformed FRW spacetime In [24] we have studied NC (spatially flat) FRW universes in presence of various twists. Here we take two simple examples for illustration. We again choose X1 = ∂t and X2 = xi∂i, leading to the same nice basis as above (4.1), (4.2). The inverse metric field in this basis is given by g−1 = e∗a ⊗ gabeb, where gab = diag ( −1, r−2a(t)−2, r−2a(t)−2, (r sin ζ)−2a(t)−2 )ab and a(t) is the scale factor of the universe. Note again the additional r−2 in the “radial” part of the metric, which arises due to the choice of basis. The volume form reads vol? = a(t)3r2 sin ζ dt ∧ dr ∧ dζ ∧ dφ = a(t)3r3 sin ζ cnt, i.e. γ = a(t)3r3 sin ζ. In the following we restrict ourselves to a universe which is a slice of de Sitter space, where a(t) = eHt and H is the Hubble constant. This drastically simplifies the computation of the ?-products and thus of the equation of motion. However, there are no obstructions in allowing a general scale factor a(t). After a straightforward calculation we obtain for the equation of motion (3.5) P?[Φ] = −1 2 ( 1 + e−i3λD)(∂2 t + 3H∂t +m2 ) Φ + 1 2 ( eiλD + e−i4λD)e−2Ht4Φ = 0, (4.5) where D := ∂t −Hr∂r. The following identities are used for deriving this expression h ? (ar)n = (ar)ne inλ 2 Dh, (ar)n ? h = (ar)ne− inλ 2 Dh, D(ar)n = 0 , which hold for all functions h ∈ C∞(M) and n ∈ Z in case a = eHt. Again, the free scalar field propagating on this spacetime is affected by the NC. Note that for λ = 0 we obtain the usual equation of motion of a scalar field on de Sitter space and in the limit H → 0 we obtain the equation of motion on the deformed Minkowski spacetime (4.3). Next, we consider a model with nontrivial angle-time commutation relations. We choose X1 = ∂t and X2 = L3 = ∂φ, where L3 denotes the angular momentum generator. As nice basis for this twist we can simply use the spherical coordinate basis e1 = ∂t, e2 = ∂r, e3 = ∂ζ , e4 = ∂φ, and its dual θ1 = dt, θ2 = dr, θ3 = dζ, θ4 = dφ. The inverse metric is g−1 =e∗a⊗gabeb, where gab =diag ( −1, a(t)−2, r−2a(t)−2, (r sin ζ)−2a(t)−2 )ab. The volume form is given by vol? = a(t)3r2 sin ζ dt ∧ dr ∧ dζ ∧ dφ = a(t)3r2 sin ζ cnt, i.e. γ = a(t)3r2 sin ζ. After a straightforward calculation we obtain for the equation of motion (3.5) P?[Φ] = −1 2 ( 1 + ei3λH∂φ )( ∂2 t + 3H∂t +m2 ) Φ + 1 2 ( e−iλH∂φ + ei4λH∂φ ) e−2Ht4Φ = 0. (4.6) Again, the free field propagation is deformed. The reason why these models lead to a deformed propagation, while the Moyal–Weyl deformation of the Minkowski spacetime does not, is the fact that not all vector fields occurring in the twist are Killing vector fields. 4.3 Deformed Schwarzschild black hole We briefly study the equation of motion (3.5) on one of the NC Schwarzschild solutions found in [24]. The choice of vector fields X1 = ∂t and X2 = xi∂i is particularly interesting for the black hole, since the corresponding twist (2.5) is then invariant under all classical symmetries, namely the spatial rotations and time translations. Furthermore, since X2 is not a Killing vector field, we expect a deformed wave equation. We again use the nice basis (4.1) and its dual (4.2), and find for the inverse metric field in this basis gab = diag ( −Q(r)−1, Q(r)r−2, r−2, (r sin ζ)−2 )ab, 10 A. Schenkel and C.F. Uhlemann where Q(r) = 1− rs r and rs is the Schwarzschild radius. The volume form is vol? = r2 sin ζ dt ∧ dr ∧ dζ ∧ dφ = r3 sin ζ cnt, i.e. γ = r3 sin ζ. Evaluating the equation of motion (3.5) using (4.4) we find 0 = P?[Φ] = −1 2 ( Q−1 ? ( ∂2 t Φ ) + ( e−i3λ∂t∂2 t Φ ) ? Q−1 ) − m2 2 ( 1 + e−i3λ∂t ) Φ + 1 2r2 ∂r [ r2 ( Q ? (∂re iλ∂tΦ ) + ( ∂re −i4λ∂tΦ ) ? Q )] + 1 2r2 ( eiλ∂t + e−i4λ∂t ) ∆S2Φ, (4.7) where ∆S2 = sin ζ−1∂ζ sin ζ∂ζ +sin ζ−2∂2 φ is the Laplacian on the unit two-sphere S2. In addition to the exponentials of time derivatives, which we also found in the previous examples, there are the ?-products involving either Q(r) or Q(r)−1. While the former are easily evaluated, since Q(r) is a sum of eigenfunctions of the dilation operator r∂r, this is not the case for the latter. Nevertheless, we can evaluate these products up to the desired order in the deformation parame- ter λ by using the explicit form of the ?-product (2.4) and calculating the scale derivatives r∂r of Q−1. 4.4 Deformed Randall–Sundrum spacetime We now consider a deformation of the Randall–Sundrum (RS) spacetime, which is a slice of five- dimensional Anti de Sitter space AdS5, and is obtained as a solution of the classical Einstein equations with topology R4 × S1/Z2 and two branes localized at the orbifold fixed points. For an attempt to model building utilizing a NC RS spacetime and a discussion of the orbifold symmetry in the deformed case, see [38]. We employ 5D-coordinates xM = (xµ, y), where xµ are global coordinates on R4 and y ∈ [0, π], in which the inverse metric is given by g−1 = ∂∗M ⊗ gMN∂N = ∂∗µ ⊗ e2kRyηµν∂ν + ∂∗y ⊗ 1 R2 ∂y. Here ηµν = diag(−1, 1, 1, 1)µν is the flat metric, R the radius of the extradimension and k is related to the curvature of the AdS space. The deformation we consider is given by 2N commuting vector fields Xα defined as follows X2j−1 = T µ 2j−1∂µ, X2j = ϑ(y)T µ 2j ∂µ, for j = 1, . . . , N, (4.8) where T µ α are constant and ϑ(y) is a general smooth function. Note that X2j−1 are Killing vector fields of the RS metric for all j, and therefore the NC Einstein equations are solved for this model. The RJS-twist (2.5) generated by the vector fields (4.8) leads to the commutation relations [xµ ?, xν ] = iϑ(y)ΘαβT µ α T ν β =: iϑ(y)ωµν , [xµ ?, y] = 0. By a suitable choice of T µ α we can realize the most general constant antisymmetric matrix ωµν . Let us now move on to field theory on that NC RS background. It turns out that, in contrast to previous examples, the calculation of the action and equation of motion in the coordinate basis (3.4) is very simple. Thus, we do not use the nice basis here. The reason is that the metric coefficients gMN are annihilated by all vector fields Xα, since gMN does not depend on xµ. This leads to g−1 = ∂∗M ⊗ gMN∂N = ∂∗M ⊗? g MN ? ∂N . Furthermore, for the volume form vol? = e−4kRyRdx0 ∧ dx1 ∧ dx2 ∧ dx3 ∧ dy we find LXαvol? = 0, for all α. Using this and graded cyclicity of the integral, we obtain for the NC action (3.4) S? = −1 2 ∫ ( (∂?µΦ)∗ e2kRyηµν ∂?νΦ + (∂?yΦ)∗ 1 R2 ∂?yΦ ) e−4kRyRd4x dy. (4.9) Field Theory on Curved Noncommutative Spacetimes 11 We have set the “bulk mass” m2 = 0 for simplicity, and obtain effective mass terms via Kaluza- Klein reduction later. The deformed derivatives are calculated by comparing both sides of dxM ∂MΦ = dxM ? ∂?MΦ and read ∂?µ = ∂µ, ∂?y = ∂y + iλ 2 ϑ′(y) N∑ j=1 ( T µ 2j−1T ν 2j ∂µ∂ν ) =: ∂y + iλ 2 ϑ′(y)T , (4.10) where ϑ′ denotes the derivative of ϑ. Note that this result is exact, i.e. it holds to all orders in λ. Inserting (4.10) into (4.9) we obtain S? = −1 2 ∫ ( ∂µΦ e2kRyηµν ∂νΦ + 1 R2 ∂yΦ∂yΦ + λ2 4R2 ϑ′(y)2 T Φ T Φ ) e−4kRyRd4x dy . We now turn to the Kaluza–Klein (KK) reduction of this action. We make the KK-ansatz Φ(xµ, y) = ∞∑ n=0 Φn(xµ) tn(y), where Φn are the effective four-dimensional fields and {tn} is a complete set of eigenfunctions of the mass operator Ô = −R−2 e2kRy∂ye −4kRy∂y satisfying Neumann or Dirichlet boundary conditions. The eigenfunctions {tn} are orthonormal with respect to the standard scalar product, i.e. ∫ π 0 dy R e−2kRy tntm = δnm. We obtain for the KK reduced action S? = −1 2 ∞∑ n=0 ∫ ( ∂µΦn η µν ∂νΦn +M2 n Φ2 n + λ2 ∞∑ m=0 Cnm T Φn T Φm ) d4x, (4.11) where the masses M2 n and the couplings Cnm are given by Ôtn = M2 ntn, Cnm = π∫ 0 dy ϑ′(y)2 4R e−4kRytn(y)tm(y). Thus, for the NC RS spacetime we find the standard effective 4D theory as obtained in the RS scenario, but with additional Lorentz violating operators. As an aside, note that in case ϑ(y) ∼ ekRy, which is one of the choices motivated in [38] from a different perspective, the Lorentz violating operators are diagonal in the KK number. The corresponding equations of motion for the Φn are derived easily from (4.11), so we do not provide them explicitly. An interesting observation [39] is that we can, as a special case of (4.8), obtain a deformation which yields a z = 2 anisotropic propagator (in the sense of [40]) for the scalar field and does not affect local potentials. To this end, we specialize (4.8) to N = 3 and T µ 2j−1 = δµ j , T µ 2j = δµ j , resulting in T = ∂i∂i = 4. Choosing ϑ(y) such that Cnm = Cnδnm is diagonal, we obtain propagator denominators of the form E2 − k2 − λ2Cnk4 −M2 n, (4.12) for all individual KK-modes. It is known that propagators of this kind improve the quantum behavior of interacting field theories, see e.g. [40, 39]. The problem of unitary ghosts, which typically arises in Lorentz invariant higher derivative theories, is not present in our model since there time derivatives remain quadratic and only higher spatial derivatives occur. 5 Perturbative approach to deformed Green’s functions In this section we provide an explicit formula for the retarded and advanced Green’s functions of the deformed equation of motion (3.2), see also (3.5) for an expression in terms of the nice 12 A. Schenkel and C.F. Uhlemann basis. We always assume the classical spacetime obtained by setting λ = 0 to be “well-behaved” (mathematically speaking this means globally hyperbolic, time oriented and connected). Green’s functions are not only of interest in classical field theory, but they also enter the definition of the canonical commutator function of QFT, which in commutative QFT reads [Φ(x),Φ(y)] = i ( ∆̃+(x, y)− ∆̃−(x, y) ) , where ∆̃±(x, y) denotes the retarded/advanced Green’s function. To introduce a convenient notation, we consider a classical equation of motion operator P , e.g. a d’Alembert or Klein–Gordon operator. In physics literature, the Green’s functions of P are typically defined as bi-distributions ∆̃±(x, y) satisfying Px∆̃±(x, y) = δ(x, y) and Py∆̃±(x, y) = δ(x, y), where the labels x and y denote the coordinates P acts on and δ(x, y) is the (co- variant) Dirac delta-function satisfying ∫ volyδ(x, y)h(y) = h(x), for all test-functions h ∈ C∞ 0 (M). Furthermore, causality is used to distinguish between advanced and retarded. The retarded/advanced solution ψ± of the inhomogeneous problem P [ψ±] = ϕ, where ϕ denotes a source of compact support, is then obtained as the convolution of the Green’s function and the source, i.e. ψ± = ∆±[ϕ] := ∫ voly∆̃±(x, y)ϕ(y). In NC geometry it is convenient to work with the Green’s operators ∆± defined above, instead of their integral kernels ∆̃±(x, y). The defining conditions Px∆̃±(x, y) = δ(x, y) and Py∆̃±(x, y) = δ(x, y) of the Green’s functions translate for the Green’s operators to P [∆±[ϕ]] = ϕ and ∆±[P [ϕ]] = ϕ, for all ϕ ∈ C∞ 0 (M). In the NC case, we demand the deformed Green’s operators ∆?± = ∞∑ n=0 λn∆(n)± to fulfil P?[∆?±[ϕ]] = ∆?±[P?[ϕ]] = ϕ, for all functions ϕ with compact support. We have proven in [31] that the deformed Green’s operators exist and also satisfy the following causality condition supp(∆(n)±[ϕ]) ⊆ J±(supp(ϕ)), (5.1) for all n and functions ϕ with compact support, where J±(A) is the causal future/past of a spacetime region A w.r.t. the classical metric g|λ=0. Note that (5.1) implies that the deformed propagation is compatible with classical causality as determined by g|λ=0. For mathematical details we refer to the original work. Additionally to the existence and uniqueness of the Green’s operators, we have provided an explicit formula for calculating the NC corrections ∆(n)± for n > 0 in terms of the classical Green’s operators ∆± := ∆(0)± and the deformed equation of motion operator P? = ∞∑ n=0 λnP(n). Similar to standard perturbation theory, the NC corrections are given by composing the classical Green’s operators with the NC corrections of the equation of motion, precisely: ∆(n)± = n∑ k=1 n∑ j1=1 · · · n∑ jk=1 (−1)kδj1+···+jk,n∆± ◦ P(j1) ◦∆± ◦ P(j2) ◦ · · · ◦ P(jk) ◦∆±, (5.2) where δn,m is the Kronecker-delta and ◦ denotes the composition of operators, i.e. (A ◦B)[ϕ] := A[B[ϕ]] for two operators A,B (maps from functions to functions). Note that the composition of operators (5.2) might require an infrared regularization in order to be mathematically well defined. This can be achieved for example by introducing cutoff functions c(n) ∈ C∞ 0 (M) of compact support and replacing P(n) by the regularized operators c(n) P(n), or by regularizing the twist (2.5) by choosing vector fields of compact support. This is very similar to standard perturbative QFT, where all “coupling constants” have to be introduced as functions of compact support in order to formulate a well defined perturbation theory. After the calculation of physical observables, one has to prove that the adiabatic limit c(n) → 1 exists, at least for all physical quantities. The expression (5.2) for the NC corrections to the Green’s operators can be reformulated in a diagrammatic language as follows: Field Theory on Curved Noncommutative Spacetimes 13 • to the classical retarded/advanced Green’s operator there corresponds a line • to each NC correction of the equation of motion operator P(n), n > 0, there corresponds a vertex labeled by n The NC retarded/advanced Green’s operator can then be represented graphically as shown in Fig. 1. = − λ 1 − λ 2 ( 2 − 1 1 ) − λ 3 ( 3 − 1 2 − 2 1 + 1 1 1 ) +O(λ4) Figure 1. Diagrammatic representation of the NC retarded/advanced Green’s operator (double line) in terms of the commutative retarded/advanced Green’s operator (single line) and the NC corrections to the equation of motion P(n) (vertices labeled by n). 6 Examples II: Deformed Green’s functions In this section we derive the leading NC corrections to the Green’s operators of the NC Klein– Gordon operators studied in Section 4. For the deformed Randall–Sundrum spacetime, the derivation of the Green’s functions from (4.11) is straightforward, see (4.12) for a particular choice of deformation. We study the remaining examples in this section. The focus is on the illustration of the formalism, but the results of this section can also be useful for phenomeno- logical studies of (quantum) field theories on curved NC spacetimes, e.g. for NC cosmology or black hole physics. 6.1 Deformed Minkowski spacetime We start with the simplest nontrivial example given by the equation of motion operator (4.3) on the κ-type deformed Minkowski spacetime. Even though this equation of motion operator can be diagonalized using plane waves, we use the perturbative expansion (see Fig. 1) in order to illustrate the formalism. The leading NC corrections of the equation of motion operator (4.3) are given by P(1) = 3i 2 ∂t ( ∂2 t −4+m2 ) = −3i 2 ∂t ◦ P(0), P(2) = −9 4 ∂2 t ◦ P(0) − 2 ∂2 t ◦ 4. Note that the order λ1 correction is imaginary. This does not violate the reality of our field theory since the equation of motion operator resulting from the action P̃?[Φ] = P?[Φ] ? vol? is indeed real, but regarded as a top-form. It has been shown in [31] how to construct the space of real solutions of such deformed wave operators. We calculate the corrections to the Green’s operators using Fig. 1, and find ∆(1)± = −∆± ◦ P(1) ◦∆± = 3i 2 ∆± ◦ ∂t ◦ P(0) ◦∆± = 3i 2 ∆± ◦ ∂t, (6.1a) ∆(2)± = 2∆± ◦ ∂2 t ◦ 4 ◦∆±, (6.1b) where we have used P(0)◦∆± = id, which results from the very definition of the Green’s operator. 14 A. Schenkel and C.F. Uhlemann Next, we extract the NC Green’s functions ∆̃?±(x, y), i.e. the integral kernels of the operators ∆?± defined by ∆?±[ϕ](x) =: ∫ ∆̃?±(x, y)ϕ(y)voly, for all functions ϕ of compact support. Using (6.1) and integration by parts we find ∆̃?±(x, y) = ∆̃±(x, y)− 3iλ 2 ∂ty∆̃±(x, y) + 2λ2 ∫ ∆̃±(x, z)∂2 tz4z∆̃±(z, y)d4z +O(λ3). (6.2) The integral in the order-λ2 part, ∆̃(2)±, can be evaluated explicitly using the momentum space representation of the classical Green’s functions4. It turns out that this integral does not require an infrared regularization and we obtain ∆̃(2)±(x, y) = ∓Θ(±tz) ∫ d3p (2π)3 e−ipzp2 ( tz cos(Eptz) + sin(Eptz) Ep ) , where Ep = √ p2 +m2, tz = tx − ty, z = x − y and Θ is the Heaviside step-function. For a massless field the remaining Fourier transformation is easily performed and one finds that the support of the correction ∆̃(2)± is, as expected, on the forward/backward lightcone. Since the explicit formula is not very instructive we do not include it here. Note that the deformed Green’s functions ∆̃?±(x, y) are not real. This can be understood from the fact that the scalar-valued wave operator is not real, thus leading to complex Green’s functions. The sources to be considered physical are those leading to real solutions of the inhomogeneous problem P?[ψ] = ϕ. Multiplying both sides with the volume form vol? from the right we find P̃?[ψ] = P?[ψ] ? vol? = ϕ ? vol?. Thus, the physical sources ϕ have to obey the top-form reality condition (ϕ ? vol?)∗ = ϕ ? vol?, which in general implies ϕ∗ 6= ϕ if the volume form is not central. Applying the Green’s operators to physical sources we find no nontrivial corrections at or- der λ1. This is because a physical source ϕ = ∑ λnϕ(n) has to fulfil (ϕ?vol?)∗ = ϕ?vol?, which implies in our particular model ϕ∗(0) = ϕ(0) and Im(ϕ(1)) = −3 2∂tϕ(0). Thus, we obtain ∆?±[ϕ] = ∆± [ ϕ(0) + λϕ(1) + 3iλ 2 ∂tϕ(0) ] +O(λ2) = ∆±[ϕ(0) + λRe(ϕ(1))] +O(λ2). 6.2 Deformed FRW spacetime We derive the second-order corrections to the Green’s operators for the NC de Sitter universes discussed in Section 4.2. Since the wave operators of both models are quite similar in their structure, see (4.5) and (4.6), we derive the corrections for the first model and can obtain the corrections for the second model by replacing D → −H∂φ. Similar to the Minkowski model discussed before, the first nontrivial NC correction to the Green’s operators acting on physical sources is of order λ2. The leading NC corrections of the wave operator (4.5) read P(1) = −3i 2 D ◦ P(0), P(2) = −9 4 D2 ◦ P(0) − 2D2 ◦ ( e−2Ht4 ) . Via Fig. 1 this leads to the following NC corrections to the Green’s operators ∆(1)± = 3i 2 ∆± ◦ D, ∆(2)± = 2∆± ◦ D2 ◦ ( e−2Ht4 ) ◦∆±. 4We use the standard convention ∆̃±(x, y) = lim ε→0+ ∫ d4p (2π)4 e−ip(x−y) ( (p0 ± iε)2 − p2 −m2 )−1 . Field Theory on Curved Noncommutative Spacetimes 15 The NC integral kernel ∆̃?±(x, y) can be obtained by integration by parts and reads ∆̃?±(x, y) = ∆̃±(x, y)− 3iλ 2 Dy∆̃±(x, y) + 2λ2 ∫ ∆̃±(x, z)D2 z e −2Htz4z∆̃±(z, y)volz +O(λ3). This shows that the corrections have a similar structure to the Minkowski case (6.2). The explicit evaluation of the integral in the order-λ2 part and the investigation of its IR regulator (in)dependence is beyond the scope of this work. 6.3 Deformed Schwarzschild black hole We derive for completeness the second-order corrections to the Green’s operators for the NC Schwarzschild spacetime discussed in Section 4.3. The leading NC corrections of the equation of motion operator (4.7) read P(1) = −3i 2 ∂t ◦ P(0), P(2) = −9 4 ∂2 t ◦ P(0) − 2∂2 t ◦ 4bh + B1 + B2 =: −9 4 ∂2 t ◦ P(0) + P̂(2), where the spatial Laplacian 4bh and the differential operators B1 and B2 are defined by 4bh[ϕ] := 1 r2 ∂r ( r2Q(r)∂rϕ ) + 1 r2 4S2ϕ, B1[ϕ] := 1 8Q(r)3 rs r ( 7− 5 rs r ) ∂4 t ϕ, B2[ϕ] := 11rs 8r2 ∂r ( r∂r∂ 2 t ϕ ) . Via Fig. 1 this leads to the following NC corrections to the Green’s operators ∆(1)± = 3i 2 ∆± ◦ ∂t, ∆(2)± = ∆± ◦ ( 2∂2 t ◦ 4bh −B1 −B2 ) ◦∆± = −∆± ◦ P̂(2) ◦∆±. The NC integral kernel ∆̃?±(x, y) can be obtained by integration by parts and reads ∆̃?±(x, y) = ∆̃±(x, y)− 3iλ 2 ∂ty∆̃±(x, y)− λ2 ∫ ∆̃±(x, z)P̂(2)z∆̃±(z, y)volz +O(λ3). Again, we do not evaluate the integral in the order-λ2 part explicitly. The calculation might be simplified drastically if one considers a two-dimensional reduction of the black hole by only taking into account the isotropic modes (with spherical harmonic Y00(ζ, φ)). 7 Conclusions and outlook In this article we have investigated classical scalar field theories on curved NC spacetimes, with the NC deformations given by a large class of Drinfel’d twists. Our models in partic- ular include position dependent NC. We have shown how to construct a deformed action for a real scalar field and how to derive the corresponding equation of motion in both, a geomet- ric (global) and a coordinate-based (local) approach. Subsequently, we have provided explicit examples of deformed Klein–Gordon operators on NC Minkowski, de Sitter, Schwarzschild and 16 A. Schenkel and C.F. Uhlemann Randall–Sundrum spacetimes. Our deformed background spacetimes are chosen such that the NC Einstein equations of Wess et al. [6, 7] are solved exactly. We have then discussed the construction of the deformed Green’s operators corresponding to the deformed wave operators and provided a diagrammatic formalism for their perturbative calculation. The formalism has been applied to field theory on NC Minkowski, de Sitter and Schwarzschild spacetimes in order to study the second-order correction to the advanced and retarded Green’s functions. This work is restricted to the level of classical field theory, since the construction of physical quantum states in the formalism [31] has not been achieved yet. Nevertheless, the perturbative construction of Green’s functions discussed in the present paper can be used to construct the algebras of the corresponding QFT, since the canonical commutation relations are determined by the Green’s functions [31]. Once the construction of quantum states in our NC QFT is understood, the results obtained here can be applied in order to study NC effects in primordial power-spectra of scalar fields and NC effects in the vicinity of Schwarzschild black holes. For the construction of quantum states the approach of [41] might prove to be helpful. Acknowledgements We thank Thorsten Ohl for comments and discussions on this work. AS also thanks the Alessand- ria Mathematical Physics Group, in particular Paolo Aschieri, and the Vienna Mathematical Physics Group, in particular Claudio Dappiaggi and Gandalf Lechner, for discussions and com- ments. CFU is supported by the German National Academic Foundation (Studienstiftung des deutschen Volkes). AS and CFU are supported by Deutsche Forschungsgemeinschaft through the Research Training Group GRK 1147 Theoretical Astrophysics and Particle Physics. References [1] Connes A., Noncommutative geometry, Academic Press, Inc., San Diego, CA, 1994. [2] Landi G., An introduction to noncommutative spaces and their geometry, hep-th/9701078. [3] Doplicher S., Fredenhagen K., Roberts J.E., Spacetime quantization induced by classical gravity, Phys. Lett. B 331 (1994), 39–44. Doplicher S., Fredenhagen K., Roberts J.E., The quantum structure of spacetime at the Planck scale and quantum fields, Comm. Math. Phys. 172 (1995), 187–220, hep-th/0303037. [4] Seiberg N., Witten E., String theory and noncommutative geometry, J. High Energy Phys. 1999 (1999), no. 9, 032, 93 pages, hep-th/9908142. [5] Amelino-Camelia G., Smolin L., Starodubtsev A., Quantum symmetry, the cosmological constant and Planck-scale phenomenology, Classical Quantum Gravity 21 (2004), 3095–3110, hep-th/0306134. Freidel L., Kowalski-Glikman J., Smolin L., 2+1 gravity and doubly special relativity, Phys. Rev. D 69 (2004), 044001, 7 pages, hep-th/0307085. [6] Aschieri P., Blohmann C., Dimitrijević M., Meyer F., Schupp P., Wess J., A gravity theory on noncommu- tative spaces, Classical Quantum Gravity 22 (2005), 3511–3532, hep-th/0504183. [7] Aschieri P., Dimitrijević M., Meyer F., Wess J., Noncommutative geometry and gravity, Classical Quantum Gravity 23 (2006), 1883–1911, hep-th/0510059. [8] Kürkçüoǧlu S., Sämann C., Drinfeld twist and general relativity with fuzzy spaces, Classical Quantum Gravity 24 (2007), 291–311, hep-th/0606197. [9] Chamseddine A.H., Felder G., Fröhlich J., Gravity in noncommutative geometry, Comm. Math. Phys. 155 (1993), 205–217, hep-th/9209044. [10] Chamseddine A.H., Complexified gravity in noncommutative spaces, Comm. Math. Phys. 218 (2001), 283– 292, hep-th/0005222. [11] Chamseddine A.H., Deforming Einstein’s gravity, Phys. Lett. B 504 (2001), 33–37, hep-th/0009153. [12] Cardella M.A., Zanon D., Noncommutative deformation of four-dimensional Einstein gravity, Classical Quantum Gravity 20 (2003), L95–L103, hep-th/0212071. http://www.arxiv.org/abs/hep-th/9701078 http://dx.doi.org/10.1016/0370-2693(94)90940-7 http://dx.doi.org/10.1016/0370-2693(94)90940-7 http://dx.doi.org/10.1007/BF02104515 http://www.arxiv.org/abs/hep-th/0303037 http://dx.doi.org/10.1088/1126-6708/1999/09/032 http://www.arxiv.org/abs/hep-th/9908142 http://dx.doi.org/10.1088/0264-9381/21/13/002 http://www.arxiv.org/abs/hep-th/0306134 http://dx.doi.org/10.1103/PhysRevD.69.044001 http://www.arxiv.org/abs/hep-th/0307085 http://dx.doi.org/10.1088/0264-9381/22/17/011 http://www.arxiv.org/abs/hep-th/0504183 http://dx.doi.org/10.1088/0264-9381/23/6/005 http://dx.doi.org/10.1088/0264-9381/23/6/005 http://www.arxiv.org/abs/hep-th/0510059 http://dx.doi.org/10.1088/0264-9381/24/2/003 http://dx.doi.org/10.1088/0264-9381/24/2/003 http://www.arxiv.org/abs/hep-th/0606197 http://dx.doi.org/10.1007/BF02100059 http://www.arxiv.org/abs/hep-th/9209044 http://dx.doi.org/10.1007/s002200100393 http://www.arxiv.org/abs/hep-th/0005222 http://dx.doi.org/10.1016/S0370-2693(01)00272-6 http://www.arxiv.org/abs/hep-th/0009153 http://dx.doi.org/10.1088/0264-9381/20/8/101 http://dx.doi.org/10.1088/0264-9381/20/8/101 http://www.arxiv.org/abs/hep-th/0212071 Field Theory on Curved Noncommutative Spacetimes 17 [13] Chamseddine A.H., SL(2, C) gravity with complex vierbein and its noncommutative extension, Phys. Rev. D 69 (2004), 024015, 8 pages, hep-th/0309166. [14] Banerjee R., Mukherjee P., Samanta S., Lie algebraic noncommutative gravity, Phys. Rev. D 75 (2007), 125020, 7 pages, hep-th/0703128. [15] Aschieri P., Castellani L., Noncommutative D = 4 gravity coupled to fermions, J. High Energy Phys. 2009 (2009), no. 6, 086, 18 pages, arXiv:0902.3817. Aschieri P., Castellani L., Noncommutative supergravity in D = 3 and D = 4, J. High Energy Phys. 2009 (2009), no. 6, 087, 22 pages, arXiv:0902.3823. [16] Madore J., Mourad J., Quantum space-time and classical gravity, J. Math. Phys. 39 (1998), 423–442, gr- qc/9607060. Madore J., An introduction to noncommutative differential geometry and its physical applications, 2nd ed., London Mathematical Society Lecture Note Series, Vol. 257, Cambridge University Press, Cambridge, 1999. Langmann E., Szabo R.J., Teleparallel gravity and dimensional reductions of noncommutative gauge theory, Phys. Rev. D 64 (2001), 104019, 15 pages, hep-th/0105094. Chamseddine A.H., An invariant action for noncommutative gravity in four dimensions, J. Math. Phys. 44 (2003), 2534–2541, hep-th/0202137. Garćıa-Compeán H., Obregón O., Ramı́rez C., Sabido M., Noncommutative self-dual gravity, Phys. Rev. D 68 (2003), 044015, 8 pages, hep-th/0302180. Vassilevich D.V., Quantum noncommutative gravity in two dimensions, Nuclear Phys. B 715 (2005), 695– 712, hep-th/0406163. Calmet X., Kobakhidze A., Noncommutative general relativity, Phys. Rev. D 72 (2005), 045010, 5 pages, hep-th/0506157. Burić M., Grammatikopoulos T., Madore J., Zoupanos G., Gravity and the structure of noncommutative algebras, J. High Energy Phys. 2006 (2006), no. 4, 054, 16 pages, hep-th/0603044. Majid S., Algebraic approach to quantum gravity. II. Noncommutative spacetime, hep-th/0604130. Majid S., Algebraic approach to quantum gravity. III. Noncommmutative Riemannian geometry, hep-th/0604132. Szabo R.J., Symmetry, gravity and noncommutativity, Classical Quantum Gravity 23 (2006), R199–R242, hep-th/0606233. Balachandran A.P., Pinzul A., Qureshi B.A., Vaidya S., Twisted gauge and gravity theories on the Groenewold–Moyal plane, Phys. Rev. D 76 (2007), 105025, 10 pages, arXiv:0708.0069. Müller-Hoissen F., Noncommutative geometries and gravity, in Recent Developments in Gravitation and Cosmology, AIP Conf. Proc., Vol. 977, Amer. Inst. Phys., Melville, NY, 2008, 12–29, arXiv:0710.4418. Vassilevich D.V., Diffeomorphism covariant star products and noncommutative gravity, Classical Quantum Gravity 26 (2009), 145010, 8 pages, arXiv:0904.3079. Vassilevich D.V., Tensor calculus on noncommutative spaces, Classical Quantum Gravity 27 (2010), 095020, 16 pages, arXiv:1001.0766. [17] Rivelles V.O., Noncommutative field theories and gravity, Phys. Lett. B 558 (2003), 191–196, hep-th/0212262. [18] Yang H.S., Emergent gravity from noncommutative space-time, Internat. J. Modern Phys. A 24 (2009), 4473–4517, hep-th/0611174. Yang H.S., On the correspondence between noncommuative field theory and gravity, Modern Phys. Lett. A 22 (2007), 1119–1132, hep-th/0612231. [19] Steinacker H., Emergent gravity from noncommutative gauge theory, J. High Energy Phys. 2007 (2007), no. 12, 049, 36 pages, arXiv:0708.2426. Steinacker H., Emergent gravity and noncommutative branes from Yang–Mills matrix models, Nuclear Phys. B 810 (2009), 1–39, arXiv:0806.2032. [20] Dito G., Sternheimer D., Deformation quantization: genesis, developments and metamorphoses, in Defor- mation Quantization (Strasbourg, 2001), IRMA Lect. Math. Theor. Phys., Vol. 1, de Gruyter, Berlin, 2002, 9–54, math.QA/0201168. [21] Drinfel’d V.G., On constant quasiclassical solutions of the Yang–Baxter equations, Soviet Math. Dokl. 28 (1983), 667–671. [22] Ohl T., Schenkel A., Symmetry reduction in twisted noncommutative gravity with applications to cosmology and black holes, J. High Energy Phys. 2009 (2009), no. 1, 084, 22 pages, arXiv:0810.4885. [23] Schupp P., Solodukhin S., Exact black hole solutions in noncommutative gravity, arXiv:0906.2724. [24] Ohl T., Schenkel A., Cosmological and black hole spacetimes in twisted noncommutative gravity, J. High Energy Phys. 2009 (2009), no. 10, 052, 12 pages, arXiv:0906.2730. http://dx.doi.org/10.1103/PhysRevD.69.024015 http://www.arxiv.org/abs/hep-th/0309166 http://dx.doi.org/10.1103/PhysRevD.75.125020 http://www.arxiv.org/abs/hep-th/0703128 http://dx.doi.org/10.1088/1126-6708/2009/06/086 http://www.arxiv.org/abs/0902.3817 http://dx.doi.org/10.1088/1126-6708/2009/06/087 http://www.arxiv.org/abs/0902.3823 http://dx.doi.org/10.1063/1.532328 http://www.arxiv.org/abs/gr-qc/9607060 http://www.arxiv.org/abs/gr-qc/9607060 http://dx.doi.org/10.1103/PhysRevD.64.104019 http://www.arxiv.org/abs/hep-th/0105094 http://dx.doi.org/10.1063/1.1572199 http://www.arxiv.org/abs/hep-th/0202137 http://dx.doi.org/10.1103/PhysRevD.68.044015 http://www.arxiv.org/abs/hep-th/0302180 http://dx.doi.org/10.1016/j.nuclphysb.2005.02.003 http://www.arxiv.org/abs/hep-th/0406163 http://dx.doi.org/10.1103/PhysRevD.72.045010 http://www.arxiv.org/abs/hep-th/0506157 http://dx.doi.org/10.1088/1126-6708/2006/04/054 http://www.arxiv.org/abs/hep-th/0603044 http://www.arxiv.org/abs/hep-th/0604130 http://www.arxiv.org/abs/hep-th/0604132 http://dx.doi.org/10.1088/0264-9381/23/22/R01 http://www.arxiv.org/abs/hep-th/0606233 http://dx.doi.org/10.1103/PhysRevD.76.105025 http://www.arxiv.org/abs/0708.0069 http://www.arxiv.org/abs/0710.4418 http://dx.doi.org/10.1088/0264-9381/26/14/145010 http://dx.doi.org/10.1088/0264-9381/26/14/145010 http://www.arxiv.org/abs/0904.3079 http://dx.doi.org/10.1088/0264-9381/27/9/095020 http://www.arxiv.org/abs/1001.0766 http://dx.doi.org/10.1016/S0370-2693(03)00271-5 http://www.arxiv.org/abs/hep-th/0212262 http://dx.doi.org/10.1142/S0217751X0904587X http://www.arxiv.org/abs/hep-th/0611174 http://dx.doi.org/10.1142/S0217732307023675 http://www.arxiv.org/abs/hep-th/0612231 http://dx.doi.org/10.1088/1126-6708/2007/12/049 http://www.arxiv.org/abs/0708.2426 http://dx.doi.org/10.1016/j.nuclphysb.2008.10.014 http://dx.doi.org/10.1016/j.nuclphysb.2008.10.014 http://www.arxiv.org/abs/0806.2032 http://www.arxiv.org/abs/math.QA/0201168 http://dx.doi.org/10.1088/1126-6708/2009/01/084 http://www.arxiv.org/abs/0810.4885 http://www.arxiv.org/abs/0906.2724 http://dx.doi.org/10.1088/1126-6708/2009/10/052 http://dx.doi.org/10.1088/1126-6708/2009/10/052 http://www.arxiv.org/abs/0906.2730 18 A. Schenkel and C.F. Uhlemann [25] Aschieri P, Castellani L., Noncommutative gravity solutions, J. Geom. Phys. 60 (2010), 375–393, arXiv:0906.2774. [26] Asakawa T., Kobayashi S., Noncommutative solitons of gravity, Classical Quantum Gravity 27 (2010), 105014, 20 pages, arXiv:0911.2136. [27] Stern A., Emergent Abelian gauge fields from noncommutative gravity, SIGMA 6 (2010), 019, 15 pages, arXiv:0912.3021. [28] Chu C.S., Greene B.R., Shiu G., Remarks on inflation and noncommutative geometry, Modern Phys. Lett. A 16 (2001), 2231–2240, hep-th/0011241. Lizzi F., Mangano G., Miele G., Peloso M., Cosmological perturbations and short distance physics from noncommutative geometry, J. High Energy Phys. 2002 (2002), no. 6, 049, 16 pages, hep-th/0203099. Brandenberger R., Ho P.-M., Noncommutative spacetime, stringy spacetime uncertainty principle, and density fluctuations, Phys. Rev. D 66 (2002), 023517, 10 pages, hep-th/0203119. Huang Q.-G., Li M., CMB power spectrum from noncommutative spacetime, J. High Energy Phys. 2003 (2003), no. 6, 014, 7 pages, hep-th/0304203. Huang Q.G., Li M., Noncommutative inflation and the CMB multipoles, J. Cosmol. Astropart. Phys. 0311 (2003), 001, 9 pages, astro-ph/0308458. Tsujikawa S., Maartens R., Brandenberger R., Non-commutative inflation and the CMB, Phys. Lett. B 574 (2003), 141–148, astro-ph/0308169. Kim H.-C., Yee J.H., Rim C., Density fluctuations in kappa-deformed inflationary universe, Phys. Rev. D 72 (2005), 103523, 13 pages, gr-qc/0506122. Fatollahi A.H., Hajirahimi M., Noncommutative black-body radiation: implications on cosmic microwave background, Europhys. Lett. 75 (2006), 542–547, astro-ph/0607257. Akofor E., Balachandran A.P., Jo S.G., Joseph A., Qureshi B.A., Direction-dependent CMB power spectrum and statistical anisotropy from noncommutative geometry, J. High Energy Phys. 2008 (2008), no. 5, 092, 21 pages, arXiv:0710.5897. Akofor E., Balachandran A.P., Joseph A., Pekowsky L., Qureshi B.A., Constraints from CMB on spacetime noncommutativity and causality violation, Phys. Rev. D 79 (2009), 063004, 5 pages, arXiv:0806.2458. Fabi S., Harms B., Stern A., Noncommutative corrections to the Robertson–Walker metric, Phys. Rev. D 78 (2008), 065037, 7 pages, arXiv:0808.0943. [29] Dolan B.P., Gupta K.S., Stern A., Noncommutative BTZ black hole and discrete time, Classical Quantum Gravity 24 (2007), 1647–1655, hep-th/0611233. Chaichian M., Tureanu A., Zet G., Corrections to Schwarzschild solution in noncommutative gauge theory of gravity, Phys. Lett. B 660 (2008), 573–578, arXiv:0710.2075. Mukherjee P., Saha A., Reissner–Nordstrom solutions in noncommutative gravity, Phys. Rev. D 77 (2008), 064014, 7 pages, arXiv:0710.5847. Burić M., Madore J., Spherically symmetric non-commutative space: d = 4, Eur. Phys. J. C 58 (2008), 347–353, arXiv:0807.0960. Nicolini P., Noncommutative black holes, the final appeal to quantum gravity: a review, Internat. J. Modern Phys. A 24 (2009), 1229–1308, arXiv:0807.1939. Wang D., Zhang R.B., Zhang X., Quantum deformations of Schwarzschild and Schwarzschild–de Sitter spacetimes, Classical Quantum Gravity 26 (2009), 085014, 14 pages, arXiv:0809.0614. Di Grezia E., Esposito G., Non-commutative Kerr black hole, arXiv:0906.2303. Banerjee R., Chakraborty B., Ghosh S., Mukherjee P., Samanta S., Topics in noncommutative geometry inspired physics, Found. Phys. 39 (2009), 1297–1345, arXiv:0909.1000. [30] Oeckl R., Untwisting noncommutative Rd and the equivalence of quantum field theories, Nuclear Phys. B 581 (2000), 559–574, hep-th/0003018. Bahns D., Doplicher S., Fredenhagen K., Piacitelli G., Ultraviolet finite quantum field theory on quantum spacetime, Comm. Math. Phys. 237 (2003), 221–241, hep-th/0301100. Chaichian M., Mnatsakanova M.N., Nishijima K., Tureanu A., Vernov Yu.S., Towards an axiomatic formu- lation of noncommutative quantum field theory, hep-th/0402212. Paschke M., Verch R., Local covariant quantum field theory over spectral geometries, Classical Quantum Gravity 21 (2004), 5299–5316, gr-qc/0405057. Zahn J., Remarks on twisted noncommutative quantum field theory, Phys. Rev. D 73 (2006), 105005, 6 pages, hep-th/0603231. Bu J.-G., Kim H.-C., Lee Y., Vac C.H., Yee J.H., Noncommutative field theory from twisted Fock space, Phys. Rev. D 73 (2006), 125001, 10 pages, hep-th/0603251. Gayral V., Jureit J.H., Krajewski T., Wulkenhaar R., Quantum field theory on projective modules, hep-th/0612048. Fiore G., Wess J., Full twisted Poincaré symmetry and quantum field theory on Moyal–Weyl spaces, Phys. Rev. D 75 (2007), 105022, 13 pages, hep-th/0701078. http://dx.doi.org/10.1016/j.geomphys.2009.11.009 http://www.arxiv.org/abs/0906.2774 http://dx.doi.org/10.1088/0264-9381/27/10/105014 http://www.arxiv.org/abs/0911.2136 http://dx.doi.org/10.3842/SIGMA.2010.019 http://www.arxiv.org/abs/0912.3021 http://dx.doi.org/10.1142/S0217732301005680 http://www.arxiv.org/abs/hep-th/0011241 http://dx.doi.org/10.1088/1126-6708/2002/06/049 http://www.arxiv.org/abs/hep-th/0203099 http://dx.doi.org/10.1103/PhysRevD.66.023517 http://www.arxiv.org/abs/hep-th/0203119 http://dx.doi.org/10.1088/1126-6708/2003/06/014 http://www.arxiv.org/abs/hep-th/0304203 http://dx.doi.org/10.1088/1475-7516/2003/11/001 http://www.arxiv.org/abs/astro-ph/0308458 http://dx.doi.org/10.1016/j.physletb.2003.09.022 http://www.arxiv.org/abs/astro-ph/0308169 http://dx.doi.org/10.1103/PhysRevD.72.103523 http://www.arxiv.org/abs/gr-qc/0506122 http://dx.doi.org/10.1209/epl/i2006-10149-x http://www.arxiv.org/abs/astro-ph/0607257 http://dx.doi.org/10.1088/1126-6708/2008/05/092 http://www.arxiv.org/abs/0710.5897 http://dx.doi.org/10.1103/PhysRevD.79.063004 http://www.arxiv.org/abs/0806.2458 http://dx.doi.org/10.1103/PhysRevD.78.065037 http://www.arxiv.org/abs/0808.0943 http://dx.doi.org/10.1088/0264-9381/24/6/017 http://dx.doi.org/10.1088/0264-9381/24/6/017 http://www.arxiv.org/abs/hep-th/0611233 http://dx.doi.org/10.1016/j.physletb.2008.01.029 http://www.arxiv.org/abs/0710.2075 http://dx.doi.org/10.1103/PhysRevD.77.064014 http://www.arxiv.org/abs/0710.5847 http://dx.doi.org/10.1140/epjc/s10052-008-0748-6 http://www.arxiv.org/abs/0807.0960 http://dx.doi.org/10.1142/S0217751X09043353 http://dx.doi.org/10.1142/S0217751X09043353 http://www.arxiv.org/abs/0807.1939 http://dx.doi.org/10.1088/0264-9381/26/8/085014 http://www.arxiv.org/abs/0809.0614 http://www.arxiv.org/abs/0906.2303 http://dx.doi.org/10.1007/s10701-009-9349-y http://www.arxiv.org/abs/0909.1000 http://dx.doi.org/10.1016/S0550-3213(00)00281-9 http://www.arxiv.org/abs/hep-th/0003018 http://dx.doi.org/10.1007/s00220-003-0857-x http://www.arxiv.org/abs/hep-th/0301100 http://www.arxiv.org/abs/hep-th/0402212 http://dx.doi.org/10.1088/0264-9381/21/23/001 http://dx.doi.org/10.1088/0264-9381/21/23/001 http://www.arxiv.org/abs/gr-qc/0405057 http://dx.doi.org/10.1103/PhysRevD.73.105005 http://www.arxiv.org/abs/hep-th/0603231 http://dx.doi.org/10.1103/PhysRevD.73.125001 http://www.arxiv.org/abs/hep-th/0603251 http://www.arxiv.org/abs/hep-th/0612048 http://dx.doi.org/10.1103/PhysRevD.75.105022 http://dx.doi.org/10.1103/PhysRevD.75.105022 http://www.arxiv.org/abs/hep-th/0701078 Field Theory on Curved Noncommutative Spacetimes 19 Freidel L., Kowalski-Glikman J., Nowak S., Field theory on κ-Minkowski space revisited: Noether charges and breaking of Lorentz symmetry, Internat. J. Modern Phys. A 23 (2008), 2687–2718, arXiv:0706.3658. Grosse H., Lechner G., Wedge-local quantum fields and noncommutative Minkowski space, J. High Energy Phys. 2007 (2007), no. 11, 012, 26 pages, arXiv:0706.3992. Arzano M., Marciano A., Fock space, quantum fields and kappa-Poincaré symmetries, Phys. Rev. D 76 (2007), 125005, 14 pages, arXiv:0707.1329. Daszkiewicz M., Lukierski J., Woronowicz M., Towards quantum noncommutative κ-deformed field theory, Phys. Rev. D 77 (2008), 105007, 10 pages, arXiv:0708.1561. Balachandran A.P., Pinzul A., Qureshi B.A., Twisted Poincaré invariant quantum field theories, Phys. Rev. D 77 (2008), 025021, 9 pages, arXiv:0708.1779. Aschieri P., Lizzi F., Vitale P., Twisting all the way: from classical mechanics to quantum fields, Phys. Rev. D 77 (2008), 025037, 16 pages, arXiv:0708.3002. Arzano M., Quantum fields, non-locality and quantum group symmetries, Phys. Rev. D 77 (2008), 025013, 5 pages, arXiv:0710.1083. Daszkiewicz M., Lukierski J., Woronowicz M., κ-deformed oscillators, the choice of star product and free κ-deformed quantum fields, J. Phys. A: Math. Theor. 42 (2009), 355201, 18 pages, arXiv:0807.1992. Grosse H., Lechner G., Noncommutative deformations of Wightman quantum field theories, J. High Energy Phys. 2008 (2008), no. 9, 131, 29 pages, arXiv:0808.3459. Fiore G., On second quantization on noncommutative spaces with twisted symmetries, J. Phys. A: Math. Theor. 43 (2010), 155401, 39 pages, arXiv:0811.0773. Borris M., Verch R., Dirac field on Moyal–Minkowski spacetime and non-commutative potential scattering, Comm. Math. Phys. 293 (2010), 399–448, arXiv:0812.0786. Aschieri P., Star product geometries, Russ. J. Math. Phys. 16 (2009), 371–383, arXiv:0903.2457. [31] Ohl T., Schenkel A., Algebraic approach to quantum field theory on a class of noncommutative curved spacetimes, arXiv:0912.2252. [32] Wald R.M., Quantum field theory in curved spacetime and black hole thermodynamics, Chicago Lectures in Physics, University of Chicago Press, Chicago, IL, 1994. [33] Bär C., Ginoux N., Pfäffle F., Wave equations on Lorentzian manifolds and quantization, ESI Lectures in Mathematics and Physics, European Mathematical Society (EMS), Zürich, 2007, arXiv:0806.1036. [34] Reshetikhin N., Multiparameter quantum groups and twisted quasitriangular Hopf algebras, Lett. Math. Phys. 20 (1990), 331–335. [35] Jambor C., Sykora A., Realization of algebras with the help of ∗-products, hep-th/0405268. [36] Bu J.-G., Kim H.-C., Lee Y., Vac C.H., Yee J.H., κ-deformed spacetime from twist, Phys. Lett. B 665 (2008), 95–99, hep-th/0611175. Borowiec A., Pachol A., κ-Minkowski spacetime as the result of Jordanian twist deformation, Phys. Rev. D 79 (2009), 045012, 11 pages, arXiv:0812.0576. [37] Dimakis A., Madore J., Differential calculi and linear connections, J. Math. Phys. 37 (1996), 4647–4661, q-alg/9601023. Cerchiai L., Fiore G., Madore J., Frame formalism for the N -dimensional quantum Euclidean spaces, Inter- nat. J. Modern Phys. B 14 (2000), 2305–2314, math.QA/0007044. [38] Ohl T., Schenkel A., Uhlemann C.F., Spacetime noncommutativity in models with warped extradimensions, J. High Energy Phys. 2010 (2010), no. 7, 029, 16 pages, arXiv:1002.2884. [39] Schenkel A., Uhlemann C.F., High energy improved scalar quantum field theory from noncommutative geometry without UV/IR-mixing, arXiv:1002.4191. [40] Hořava P., Quantum gravity at a Lifshitz point, Phys. Rev. D 79 (2009), 084008, 15 pages, arXiv:0901.3775. [41] Dappiaggi C., Moretti V., Pinamonti N., Cosmological horizons and reconstruction of quantum field theories, Comm. Math. Phys. 285 (2009), 1129–1163, arXiv:0712.1770. Dappiaggi C., Moretti V., Pinamonti N., Distinguished quantum states in a class of cosmological spacetimes and their Hadamard property, J. Math. Phys. 50 (2009), 062304, 38 pages, arXiv:0812.4033. Dappiaggi C., Moretti V., Pinamonti N., Rigorous construction and Hadamard property of the Unruh state in Schwarzschild spacetime, arXiv:0907.1034. http://dx.doi.org/10.1142/S0217751X08040421 http://www.arxiv.org/abs/0706.3658 http://dx.doi.org/10.1088/1126-6708/2007/11/012 http://dx.doi.org/10.1088/1126-6708/2007/11/012 http://www.arxiv.org/abs/0706.3992 http://dx.doi.org/10.1103/PhysRevD.76.125005 http://www.arxiv.org/abs/0707.1329 http://dx.doi.org/10.1103/PhysRevD.77.105007 http://www.arxiv.org/abs/0708.1561 http://dx.doi.org/10.1103/PhysRevD.77.025021 http://dx.doi.org/10.1103/PhysRevD.77.025021 http://www.arxiv.org/abs/0708.1779 http://dx.doi.org/10.1103/PhysRevD.77.025037 http://dx.doi.org/10.1103/PhysRevD.77.025037 http://www.arxiv.org/abs/0708.3002 http://dx.doi.org/10.1103/PhysRevD.77.025013 http://www.arxiv.org/abs/0710.1083 http://dx.doi.org/10.1088/1751-8113/42/35/355201 http://www.arxiv.org/abs/0807.1992 http://dx.doi.org/10.1088/1126-6708/2008/09/131 http://dx.doi.org/10.1088/1126-6708/2008/09/131 http://www.arxiv.org/abs/0808.3459 http://dx.doi.org/10.1088/1751-8113/43/15/155401 http://dx.doi.org/10.1088/1751-8113/43/15/155401 http://www.arxiv.org/abs/0811.0773 http://dx.doi.org/10.1007/s00220-009-0905-2 http://www.arxiv.org/abs/0812.0786 http://dx.doi.org/10.1134/S1061920809030054 http://www.arxiv.org/abs/0903.2457 http://www.arxiv.org/abs/0912.2252 http://www.arxiv.org/abs/0806.1036 http://dx.doi.org/10.1007/BF00626530 http://dx.doi.org/10.1007/BF00626530 http://www.arxiv.org/abs/hep-th/0405268 http://dx.doi.org/10.1016/j.physletb.2008.03.058 http://www.arxiv.org/abs/hep-th/0611175 http://dx.doi.org/10.1103/PhysRevD.79.045012 http://www.arxiv.org/abs/0812.0576 http://dx.doi.org/10.1063/1.531645 http://www.arxiv.org/abs/q-alg/9601023 http://dx.doi.org/10.1142/S0217979200001849 http://dx.doi.org/10.1142/S0217979200001849 http://www.arxiv.org/abs/math.QA/0007044 http://dx.doi.org/10.1007/JHEP07(2010)029 http://www.arxiv.org/abs/1002.2884 http://www.arxiv.org/abs/1002.4191 http://dx.doi.org/10.1103/PhysRevD.79.084008 http://www.arxiv.org/abs/0901.3775 http://dx.doi.org/10.1007/s00220-008-0653-8 http://www.arxiv.org/abs/0712.1770 http://dx.doi.org/10.1063/1.3122770 http://www.arxiv.org/abs/0812.4033 http://www.arxiv.org/abs/0907.1034 1 Introduction 2 NC geometry from Drinfel'd twists 3 NC scalar field action and equation of motion 3.1 Basis free formulation 3.2 Formulation in the coordinate and nice basis 4 Examples I: Deformed Klein-Gordon operators 4.1 Deformed Minkowski spacetime 4.2 Deformed FRW spacetime 4.3 Deformed Schwarzschild black hole 4.4 Deformed Randall-Sundrum spacetime 5 Perturbative approach to deformed Green's functions 6 Examples II: Deformed Green's functions 6.1 Deformed Minkowski spacetime 6.2 Deformed FRW spacetime 6.3 Deformed Schwarzschild black hole 7 Conclusions and outlook References