Noncommutative minimal embeddings and morphisms of pseudo-Riemannian calculi

In analogy with classical submanifold theory, we introduce morphisms of real metric calculi together with noncommutative embeddings. We show that basic concepts, such as the second fundamental form and the Weingarten map, translate into the noncommutative setting and, in particular, we prove a noncommutative analogue of Gauss equations for the curvature of a submanifold. Moreover, the mean curvature of an embedding is readily introduced, giving a natural definition of a noncommutative minimal embedding, and we illustrate the novel concepts by considering the noncommutative torus as a minimal surface in the noncommutative 3-sphere.


Introduction
In recent years, a lot of progress has been made in understanding the Riemannian aspects of noncommutative geometry.The Levi-Civita connection of a metric plays a crucial role in classical Riemannian geometry and it is important to understand to what extent a corresponding noncommutative theory exists.Several impressive results exist, which computes the curvature of the noncommutative torus from the heat kernel expansion and consider analogues of the classical Gauss-Bonnet theorem [CT11, FK12, FK13, CM14].However, starting from a spectral triple, with the metric implicitly given via the Dirac operator, it is far from obvious if there exists a module together with a bilinear form, representing the metric corresponding to the Dirac operator, not to mention the existence of a Levi-Civita connection.In order to better understand what kind of results one can expect, it is interesting to take a more naive approach, where one starts with a module together with a metric, and tries to understand under what conditions one may discuss metric compatibility, as well as torsion and uniqueness, of a general connection.
In [AW17a,AW17b], psuedo-Riemannian calculi were introduced as a framework to discuss the existence of a metric and torsion free connection as well as properties of its curvature.In fact, the theory is somewhat similar to that of Lie-Rinehart algebras, where a real calculus (as introduced in [AW17b]) might be considered as a "noncommutative Lie-Rinehart algebra".Lie-Rinehart algebras have been discussed from many points of view (see e.g.[Rin63,Hue90] and [AAS19] for an overview of metric aspects).Although the existence of a Levi-Civita connection is not always guaranteed in the context of pseudo-Rimannian calculi, it was shown that the connection is unique if it exists.The theory has concrete similarities with classical differential geometry, and several ideas, such as Koszul's formula, have direct analogues in the noncommutative setting.Apart from the noncommutative torus, noncommutative spheres were considered, and a Chern-Gauss-Bonnet type theorem was proven for the noncommutative 4-sphere [AW17a].Note that there are several approaches to metric aspects of noncommutative geometry, and Levi-Civita connections, which are different but similar in spirit (see e.g.[LM87,FGR99,BM11,Ros13,MW18]).
In this paper, we introduce morphisms of real (metric) calculi and define noncommutative (isometric) embeddings.We show that several basic concepts of submanifold theory extends to noncommutative submanifolds and we prove an analogue of Gauss' equations for the curvature of a submanifold.Moreover, the mean curvature of an embedding is defined, immediately giving a natural definition of a (noncommutative) minimal embedding.As an illustration of the above concepts, the noncommutative torus is considered as a minimal submanifold of the noncommutative 3-sphere.

Pseudo-Riemannian calculi
Let us briefly recall the basic definitions leading to the concept of a pseudo-Riemannian calculus and the uniqueness of the Levi-Civita connection.For more details, we refer to [AW17b].
Definition 2.1 (Real calculus).Let A be a unital * -algebra, let g ⊆ Der(A) be a finitedimensional (real) Lie algebra over A and let M be a (right) A-module.Moreover, let ϕ : g → M be a R-linear map whose image generates M as an A-module.Then C A = (A, g, M, ϕ) is called a real calculus over A.
The motivation for the above definition comes from the analogous structures in differential geometry, as seen in the following example.
Example 2.2.Let Σ be a smooth manifold.Then Σ can be represented by the real calculus C A = (A, g, M, ϕ) with A = C ∞ (Σ), g = Der(C ∞ (Σ)), M = Vect(M ) (the module of vector fields on Σ) and choosing ϕ to be the natural isomorphism between the set of derivations of C ∞ (Σ) and smooth vector fields on Σ.
Next, since we are interested in Riemannian geometry, one introduces a metric structure on the module M .Definition 2.3.Suppose that A is a * -algebra and let M be a right A-module.A hermitian form on M is a map h : M × M → A with the following properties: 0 for all m 2 ∈ M implies that m 1 = 0 then h is said to be nondegenerate, and in this case we say that h is a metric on M .The pair (M, h) is called a (right) hermitian A-module, and if h is a metric on M we say that (M, h) is a (right) metric A-module.

Definition 2.4 (Real metric calculus). Suppose that C
Definition 2.9.Let (C A , h, ∇) be a real connection calculus.We say that (C A , h, ∇) for all ∂ ∈ g and m, n ∈ M , and torsion-free if A metric and torsion-free real connection calculus is called a pseudo-Riemannian calculus.
A connection fulfilling the requirements of a pseudo-Riemannian calculus is called a Levi-Civita connection.In the quite general setup of real metric calculi, where there are few assumptions on the structure of the algebra A and the module M , the existence of a Levi-Civita connection can not be guaranteed.However, if it exists, it is unique.
Theorem 2.10.([AW17b]) Let (C A , h) be a real metric calculus.Then there exists at most one affine connection ∇ such that (C A , h, ∇) is a pseudo-Riemannian calculus.
The next result provides us a noncommutative analogue of Koszul's formula, which is a useful tool for constructing the Levi-Civita connection in several examples. where As in Riemannian geometry, a connection satisfying Koszul's formula is torsion-free and compatible with the metric.
Proposition 2.12.([AW17b]) Let (C A , h) be a real metric calculus, and suppose that ∇ is an affine connection on (M, g) such that Koszul's formula (2.1) holds.Then A particularly simple case, which is also relevant to our applications, is when M is a free module.The following result then gives a way of constructing the Levi-Civita connection from Koszul's formula.
for a, b, c = 1, ..., n, then there exists an affine connection ∇, given by ∇ ∂a E b = m ab , such that (C A , h, ∇) is a pseudo-Riemannian calculus.

Real calculus homomorphisms
In order to understand the algebraic structure of real calculi, a first step is to consider morphisms.Via a concept of morphism of real calculi, one can understand when two calculi are considered to be equal (isomorphic) and, from a geometric point of view, it opens up for noncommutative embeddings.In this section we introduce homomorphisms of real (metric) calculi and prove several results which, in different ways, shed light on the new concept.
) for all δ ∈ g ′ , a ∈ A, then ψ is said to be compatible with φ.If ψ is compatible with φ we define Ψ as Ψ = ϕ • ψ, and M Ψ is defined to be the submodule of M generated by Ψ(g ′ ).
Furthermore, if there is a map ψ : then ψ is said to be compatible with φ and ψ, and (φ, ψ, ψ) is called a real calculus homomorphism from C A to C A ′ (see Figure 1 for an illustration of a real calculus homomorphism).If φ is a * -algebra isomorphism, ψ a Lie algebra isomorphism and ψ is a bijective map then (φ, ψ, ψ) is called a real calculus isomorphism.
Let us try to understand Definition 3.1 in the context of embeddings, where the analogy with classical geometry is rather clear.Thus, let φ 0 : Σ ′ → Σ be an embedding of Σ ′ into Σ and let φ : C ∞ (Σ) → C ∞ (Σ ′ ) be the corresponding homomorphism of the algebras of smooth functions.In the notation of Definition 3.1 we have First of all, there is no natural map from Vect(Σ) to Vect(Σ ′ ) since a vector field X ∈ Vect(Σ) at a point p ∈ φ 0 (Σ ′ ) might not lie in T p Σ ′ (regarded as a subspace of T p Σ).However, vector fields which are tangent to Σ ′ in this sense may be restricted to Σ ′ .On the other hand, any vector field X ′ ∈ Vect(Σ ′ ) (assuming Σ ′ to be closed) can be extended to a smooth vector field X ∈ Vect(Σ) such that X| Σ ′ = X ′ .In light of the isomorphism between vector fields and derivations, it is therefore more natural to have a map ψ : Der(A ′ ) → Der(A), corresponding to a choice of extension of vector fields on Σ ′ .The map ψ then corresponds to the restriction of vector fields on Σ which are tangent to Σ ′ .Consequently, we consider vector fields in M Ψ as extensions of vector fields on the embedded manifold.
In noncommutative geometry (in contrast to the classical case) g is no longer a Amodule, a difference which is captured by the concept of a real calculus.The definition of homomorphism reflects this fact by assuming that every derivation of A ′ can be "extended" to a derivation of A and, furthermore, that every vector field on Σ which is tangent to Σ ′ (that is, in the image of ϕ • ψ) can be "restricted" to Σ ′ .
Next, one can easily check that the composition of two homomorphisms is again a homomorphism.
Proposition 3.2.Let C A , C A ′ and C A ′′ be real calculi and assume that First of all, it is clear that Φ is a * -algebra homomorphism and ψ is a Lie algebra homomorphism.For a ∈ A and δ ∈ g ′′ we get that showing that Φ and ψ are compatible, with M Ψ being the submodule of M generated by ψ(g ′′ ).Checking that Ψ(m + n) = Ψ(m) + Ψ(n) and Ψ(ma) = Ψ(m)Φ(a) for all m, n ∈ M Ψ and a ∈ A is trivial, and for δ ∈ g ′′ we get Thus Ψ is compatible with Φ and ψ, and it follows that (Φ, ψ, Ψ) is a real calculus homomorphism from C A to C A ′′ .
A homomorphism of real calculi (φ, ψ, ψ) consists of three maps, and a natural question is what kind of freedom one has in choosing these maps?Let us start by showing that, given φ and ψ, there is at most one ψ such that (φ, ψ, ψ) is a real calculus homomorphism.
Proposition 3.3.If (φ, ψ, ψ) and (φ, ψ, ψ) are real calculus homomorphisms from Furthermore, if φ is an isomorphism, then the next result shows that ψ is determined uniquely by φ.Thus, combined with the previous result we conclude that if (φ, ψ, ψ) is an isomorphism of real caluli, then ψ and ψ are uniquely determined by φ.
Proof.The formula for ψ follows directly from the fact that δ(φ(a)) = φ(ψ(δ)(a)) together with φ being an isomorphism.To prove that ψ is an isomorphism, let ψ : g → g ′ be given by ψ Thus ψ is a bijection with inverse ψ −1 = ψ.Furthermore, ψ −1 preserves the Lie bracket: proving that ψ is indeed a Lie algebra isomorphism.
Proof.Since ψ is an isomorphism it follows that g = ψ(g ′ ).From this it immediately follows that M = M Ψ , since M Ψ is defined to be the submodule of M generated by Considering M ′ as a right A-module, ψ is an A-module homomorphism, and since ψ is assumed to be bijective, we conclude that M Ψ ≃ M ′ .
Recalling our previous discussions of real calculus homomorphisms in relation to embeddings, one may consider vector fields in M Ψ as extensions of vector fields in M .Let us therefore make the following definition.
The set of extensions of m ′ will be denoted by Ext Ψ (m ′ ).
3.1.Homomorphisms of real metric calculi.Having introduced the concept of homomorphisms for real calculi, it is natural to proceed to real metric calculi.From the geometric point of view, in the case of embeddings, one would like a homomorphism of real metric calculi to correspond to an isometric embedding.The following definition is straight-forward.
Definition 3.7.Let (C A , h) and (C A ′ , h ′ ) be real metric calculi and assume that (φ, ψ, ψ) : ) is a homomorphism of real metric calculi, in which case we would call h ′ the induced metric.As it turns out, one can not guarantee the existence of h ′ , but whenever it exists, it is unique; we state this as follows.
Proposition 3.8.Let C A be a real calculus, (C A , h) a real metric calculus, and let (φ, ψ, ψ) : (C A , h) → C A ′ be a real calculus homomorphism.Then there exists at most one hermitian form h ′ on M ′ satisfying Proof.Suppose that h ′ 1 and h ′ 2 both fulfill the given conditions for h ′ .By definition of real calculus homomorphism it is immediately obvious that h ′ 1 and h ′ 2 agree on ϕ ′ (g ′ ).If we take two arbitrary elements m, n ∈ M ′ it follows from the fact that C A ′ is a real calculus over A ′ that m and n can be written as

Furthermore, one obtains
. This is to be compared with the geometrical situation where the inner product of vector fields restricted to the isometrically embedded manifolds equals the inner product of the restricted vector fields.

Embeddings of real caluli
In the previous section, we highlighted the analogy with embedded manifolds in order to motivate and understand the different concepts introduced for noncommutative algebras.However, we did not make the distinction between general homomorphisms and embeddings precise.In this section we shall define noncommutative embeddings and introduce a theory of submanifolds, much in analogy with the classical situation.It turns out that one can readily introduce the second fundamental form, and find a noncommutative analogue of Gauss' equation, giving the curvature of the submanifold.
A necessary condition for a map φ 0 : Σ ′ → Σ to be an embedding, is that φ 0 is injective; dually, this corresponds to φ : C ∞ (Σ) → C ∞ (Σ ′ ) being surjective.To formulate the next definition, we recall the orthogonal complement of a module.Namely, let (C A , h) be a real metric calculus.Given any subset N ⊆ M , we define The surjectivity of φ has immediate implications for the maps ψ and ψ.
Proposition 4.2.Assume that (φ, ψ, ψ) : C A → C A ′ is a real calculus homomorphism such that that φ is surjective.Then ψ is injective and ψ is surjective.
Proof.For the first statement, suppose δ ∈ ker(ψ).Then for any a ∈ A it follows that ψ(δ)(a) = 0. Thus, by (ψ2) it follows that for any a ∈ A, and since φ is surjective it follows that δ(a ′ ) = 0 for every a ′ ∈ A ′ .For the second statement, let m ′ ∈ M ′ .Then m ′ can be written on the form m ′ = ϕ ′ (δ i )b i for some δ i ∈ g ′ and b i ∈ A ′ , and since φ is surjective there are Note that Proposition 4.2 gives further motivation for Definition 4.1 since it shows that ψ is injective, in analogy with the injectivity of the tangent map of an embedding.Moreover, it follows from Proposition 4.2 that if (φ, ψ, ψ) : C A → C A ′ is an embedding, then every element m ′ ∈ M ′ has at least one extension corresponding to the geometric situation where a vector field on the embedded manifold can be extended to a vector field in the ambient space.
Furthermore, given an embedding (φ, ψ, ψ) : C A → C A ′ , we define the A-linear projection P : M → M Ψ as with respect to the decomposition M = M Ψ ⊕ M .The complementary projection will be denoted by Π = 1 − P .(Note that for an embedding of real metric calculi, the projections P and Π are orthogonal with respect to the metric on M .) In analogy with classical Riemannian submanifold theory (see e.g.[KN96]), one decomposes the Levi-Civita connection in its tangential and normal parts.Let (C A , h, ∇) and (C A ′ , h ′ , ∇ ′ ) be psuedo-Riemannian calculi and assume that (φ, ψ, ψ) : (C A , h) → (C A ′ , h ′ ) is an isometric embedding and write In differential geometry, (4.1) is called Gauss' forumla and (4.2) is called Weingarten's formula.Furthermore, α : Proof.For the sake of readability, let us first establish some notation.Let δ i ∈ g ′ and let for all δ i , δ j , δ k ∈ g ′ , and since h ′ is induced from h it follows that and we get which equals h ′ ( ψ(L(δ j , m)), ψ(n)).Thus, and since h ′ is nondegenerate and In view of the above result, we introduce the notation L(δ, m) = ∇′ δ m and conclude that ).With this notation in place one may use the fact that ∇ is torsion-free to get: and since the projection P is linear, together with the fact that For the second and third statements we use the linearity of the connection: Using that P is an orthogonal projection, it follows that Having considered properties of L, α and A ξ , let us now show that D X has the properties of an affine connection; in differential geometry, D X is usually identified with a connection on the normal bundle of the submanifold.
Proof.Note that (1) and (2) follows immediately from the linearity of ∇.To prove (3), one computes the left-hand side directly: giving the desired result.
A classical formula in Riemannian geometry is Gauss' equation, which relates the curvature of the ambient space to the curvature of the submanifold.The next result provides a noncommutative analogue.
Proof.Using the result from Proposition 4.3 one gets that , and from this it follows immediately that

Free real calculi and noncommutative mean curvature
In the examples we shall consider (the noncommutative torus and the noncommutative 3-sphere), M will be a free module with a basis given by the image of a basis of the Lie algebra g.Needless to say, the fact that M is a free module implies several simplifications.Although it happens for the torus and the 3-sphere that their modules of vector fields are free (i.e they are parallelizable manifolds), one expects a projective module in general.However, as originally shown in the case of the noncommutative 4-sphere [AW17a], real calculi can provide a way of performing local computations, in which case the (localized) module of vector fields is free.
An immediate consequence of having an invertible metric, is the existence of a Levi-Civita connection.
Proposition 5.3.Let (C A , h) be a free real metric calculus.Then there exists a unique affine connection ∇ such that (C A , h, ∇) is a pseudo-Riemannian calculus.
Proof.Let {∂ i } be a basis of g.Since C A is free it follows that E i = ϕ(∂ i ) provide a basis of M .In this basis one gets the components h ij = h(E i , E j ) of the metric h, and for notational convenience we set h i,[j,k] := h(E i , ϕ[∂ j , ∂ k ]) and define K ijk ∈ A as Since the metric h is invertible, m ij = ĥ−1 ( Kij ) ∈ M is well-defined, and From Corollary 2.13 it now follows that there exists a connection ∇ such that (C A , h, ∇) is pseudo-Riemannian, and from Theorem 2.10 it follows that ∇ is unique.
Given a free real metric calculus (C A , h) and a basis ∂ 1 , . . ., ∂ m of g, we write The fact that ĥ is invertible and {E a } m a=1 is a basis of M , implies that there exists h ab ∈ A such that ĥ−1 ( Êa ) = E b h ba ⇒ h ab = Êa ĥ−1 ( Êb ) = h ĥ−1 ( Êa ), ĥ−1 ( Êb ) where { Êa } m a=1 is the basis of M * dual to {E a } m a=1 .It follows that (h ab ) * = h ba and h ab h bc = h cb h ba = δ a c 1.For a free real metric calculus,we introduce the Christoffel symbols Γ a bc ∈ A as the (unique) coefficients Let us now derive an explicit formula for the Christoffel symbols in terms of the components of the metric.Indeed, by Koszul's formula it follows that and since the right hand side is hermitian, one obtains Multiplying from the left by h pd gives and, in particular, if [∂ a , ∂ b ] = 0 for all a, b = 1, . . ., m then in correspondence with the classical formula.Let (C A , h) and (C A ′ , h ′ ) be free real metric calculi and let (φ, ψ, ψ) i=1 is a basis of M Ψ , implying that M Ψ is a free module of rank m ′ .Let us now proceed to the define mean curvature, as well as minimality, of an embedding of free real metric calculi.Since we are working with extensions of vector fields on the embedded manifold Σ ′ , rather than tangent vectors at points on Σ ′ , it is more natural to consider the restriction (to Σ ′ ) of the inner product of the mean curvature vector with an arbitrary vector, rather than the mean curvature vector itself.
Definition 5.4.Let (C A , h) and (C A ′ , h ′ ) be free real metric calculi and let (φ, ψ, ψ) : (C A , h) → (C A ′ , h ′ ) be an isometric embedding.Given a basis {δ i } m ′ i=1 of g ′ , the mean curvature H A ′ : M → A ′ of the embedding is defined as Remark 5.5.Note that the ordering in (5.3) is natural in the following sense.Considering the restriction of the metric h to M Ψ , given by h ij = h(Ψ(δ i )), Ψ(δ j )) and its inverse h ij , the fact that M is a right module gives a natural definition of the mean curvature as reproducing the formula in Definition 5.4.
Although defined with respect to a basis of g ′ , the mean curvature is independent of the choice of basis.Indeed, if we let h ′ ij and h′ ij denote the components of the metric h ′ with respect to different bases {δ i } and { δi } of g ′ , then there exists a (real) invertible matrix A such that h′ = Ah ′ A T , or equivalently h′ and it follows that the mean curvature calculated using the basis { δi } is showing that the definition of H A ′ is indeed basis independent.
Let us end this section by noting that it is straight-forward to define the gradient, divergence and Laplace operator for free real metric calculi.
Definition 5.6.Let (C A , h) be a free real metric calculus and let ∇ denote the Levi-Civita connection.Moreover, let {∂ a } m a=1 be a basis of g and set E a = ϕ(∂ a ).The gradient grad : A → M is defined as Note that it is easy to check that the above definitions are independent of the choice of basis of g.

Minimal tori in the 3-sphere
The 3-sphere has a rich flora of minimal surfaces, and the fact that minimal surfaces of arbitrary genus exist in S 3 is a famous result by Lawson [Law70].As an illustration of the concepts we have developed, as well as being our motivating example, we shall consider the noncommutative torus minimally embedded in the noncommutative 3sphere.However, rather than the round metric on S 3 , we will consider more general metrics.Therefore, let us start by recalling the classical situation.

The noncommutative minimal torus
Let us now apply the framework for noncommutative embeddings to the case of the noncommutative torus and the noncommutative 3-sphere.We shall start by recalling their definitions, as well as their corresponding real metric calculi.For more details, we refer to [AW17b] (however, where only the standard metric on the 3-sphere was considered).
As a first illustration of a real calculus homomorphism, let us construct a family of automorphisms of T 2 θ as follows.Let a, b, c, d ∈ Z be given such that ad − bc = 1, and let α : T 2 θ → T 2 θ be the automorphism given by α Once the automorphism α is established, it is a simple task to find a real calculus automorphism from C T 2 θ to itself by using Proposition 3.4 to find the required Lie algebra homomorphism.Indeed, Proposition 3.4 implies that From the compatibility conditions ψ(Ψ(δ i )) = ϕ ′ (δ i ): 7.2.The noncommutative 3-sphere.The noncommutative 3-sphere S 3 θ is the unital * -algebra generated by Z, Z * , W, W * satisfying with q = e 2πiθ for θ ∈ R. Similar to the case of T 2 θ , we introduce giving |Z| 2 = (X 1 ) 2 + (X 2 ) 2 and |W | 2 = (X 3 ) 2 + (X 4 ) 2 ; recall that |Z| 2 and |W | 2 are in the center of S 3 θ and, furthermore, neither of them is a zero divisor (cf.[AW17b]).Let us now construct a real metric calculus for S 3 θ , closely related to the Hopf fibration of the 3-sphere.
Recall from Section 6 that S 3 can be given in terms of the coordinates (ξ 1 , ξ 2 , η), and we noted that the tangent plane at a given point is spanned by the three vectors For the noncommutative analogue, it is apparent how to choose E 1 and E 2 , but the analogue of E η is less clear.Therefore, instead of ∂ η , one considers the derivation ∂ 3 = |z||w|∂ η , giving which can be used together with E 1 and E 2 to span the tangent space.
Returning to the complex embedding coordinates z and w in C 2 , one finds and with respect to the basis {E 1 , E 2 , E 3 } of the tangent space of S 3 , the induced standard metric becomes Motivated by the above considerations, let M the submodule of the free (right) module In [AW17b] it was shown that M is a free module with a basis {E 1 , E 2 , E 3 } and that there exist hermitian derivations Let g be the (real) Lie algebra generated by ∂ 1 , ∂ 2 and ∂ 3 , and define ϕ : g → M as the linear map (over R) given by ϕ(∂ a ) = E a for a = 1, 2, 3. From the above considerations, it follows that C S 3 θ = (S 3 θ , g, M, ϕ) is a real calculus over S 3 θ .Now, let us proceed to construct a real metric calculus over S 3 θ , in which we shall minimally embed the noncommutative torus.In analogy with Section 6, we choose the hermitian form h : where H ∈ S 3 θ is chosen such that HH * is invertible.Since neither |Z| 2 nor |W | 2 is a zero divisor, the metric is clearly nondegenerate; furthermore, h ab is hermitian for a, b = 1, 2, 3. We conclude that (C S 3 θ , h) is a real metric calculus.Next, let us construct a metric and torsion-free connection on (C S 3 θ , h).In order achieve this, we will localize the algebra at |Z| 2 and |W | 2 .That is, one extends the algebra of the noncommutative 3-sphere by the inverses of |Z| 2 and |W | 2 .(In principle, for a well-behaved noncommutative localization, one has to check the so called Ore conditions, but since |Z| 2 and |W | 2 are central, these are trivially fulfilled.)The resulting algebra is denoted by S 3 θ,loc .It is straight-forward to extend the real metric calculus (C S 3 θ , h) to a real metric calculus (C S 3 θ,loc , h) (cf.[AW17a] where a similar construction was carried out for the 4-sphere).

7.
3. An embedding of the noncommutative torus.Finally, we will now construct an embedding (φ, ψ, ψ) : C S 3 θ,loc → C T 2 θ .To this end, we set φ(Z) = λU φ(W ) = µV, where λ and µ are complex nonzero constants such that |λ| 2 + |µ| 2 = 1.It is easy to verify that with these conditions φ is a * -algebra homomorphism.Moreover, since λ and µ are chosen to be nonzero it means that φ is surjective as well.With this choice of φ it follows that a Lie algebra homomorphism ψ : g ′ → g compatible with φ is given by ψ(δ 1 ) = ∂ 1 and ψ(δ 2 ) = ∂ 2 , and M Ψ is the submodule of M generated by E 1 and E 2 .Furthermore, with ψ(E 1 ) = e 1 and ψ(E 2 ) = e 2 (φ, ψ, ψ) is a real calculus homomorphism.This choice of (φ, ψ, ψ) gives an embedding of C T 2 θ into C S 3 θ,loc , since by choosing M to be the submodule of M generated by E 3 one gets that M = M Ψ ⊕ M .
Let us now find the induced metric h ′ such that (φ, ψ, ψ) : (C T 2 θ , h ′ ) → (C S 3 θ,loc , h) is an embedding of real metric calculi.Since M ′ has a basis {e 1 , e 2 } it suffices to calculate h ′ (e i , e j ) for i, j = 1, 2: giving a convenient way of retrieving the Levi-Civita connection ∇ ′ from ∇. Next, let us show that the second fundamental form shares the properties of its classical counterpart.