Quasi Riemann surfaces Daniel Friedan New High Energy Theory Center, Rutgers University and Natural Science Institute, The University of Iceland dfriedan@gmail.com September 2, 2017 Abstract A quasi Riemann surface is defined to be a metric abelian group Q along with an epimorphism Q Z such that the integral currents in Q have properties analogous to the integral currents in a Riemann surface, sufficient for expressing Cauchy-Riemann equations on Q. The prototype is the metric abelian group D0 int (Σ) of integral 0- currents in a Riemann surface Σ. There is a bundle Q(M) of quasi Riemann surfaces naturally associated to each oriented conformal 2n-manifold M, formed from the bundle Dn 1(M) int Dn 1(M) int of integral (n 1)-currents in M fibered over the integral (n 2)- boundaries in M. I suggest that complex analysis on quasi Rieman surfaces might be developed by analogy with classical complex analysis on Riemann surfaces. I hope that complex analysis on quasi Rieman surfaces can be used in constructing a new class of quantum field theories in spacetimes M as quantum field theories on the quasi Riemann surfaces Q(M) by analogy with the construction of 2d conformal field theories on Riemann surfaces. The quasi Rieman surfaces Q(M) might also be useful for studying the manifolds M. Contents 1 Introduction 2 2 Integral currents in an oriented conformal 2n-manifold M 4 3 Integral currents in spaces of integral currents 6 4 Modify conformal Hodge- and the intersection form to be independent of n 7 5 Cauchy-Riemann equations 8 6 Construct forms and tangent vectors from the integral currents 9 7 The real examples Q(M) for n odd 13 8 The complex examples Q(M) for n even or odd 16 9 Definition of quasi Riemann surface 17 References 19
1 Introduction A quasi Riemann surface is defined to be a metric abelian group Q along with an epimorphism Q Z such that the integral currents in Q have properties analogous to the integral currents in a Riemann surface, sufficient for expressing Cauchy-Riemann equations on Q. This note is based on an earlier paper [1] where the proposed definition of quasi Riemann surface was motivated by considerations from quantum field theory. Here the notion of quasi Riemann surface is presented without the quantum field theory motivation. The presentation is entirely naive and formal; there is no attempt at rigor; there is no attempt to be precise about topologies or domains of definition. A summary of the quantum field theory project is given in [2]. The goal of the project is to construct quantum field theories on quasi Riemann surfaces by imitating the construction of 2d conformal field theories on Riemann surfaces. The latter is based on conformal tensor analysis on Riemann surfaces, especially the Laurent expansions of meromorphic conformal tensors and the Cauchy integral formula. An analogous technology is needed on quasi Riemann surfaces. The basic objects are the integral currents in manifolds and in metric spaces provided by Geometric Measure Theory [3 5]. The metric abelian group D int (X) of integral -currents in a manifold or metric space X is a certain metric completion of the abelian group of singular -chains in X. Part of the initial impetus to consider this mathematical material came from Gromov s comments on spaces of cycles in section 5 of [6] which referred to [4]. The main elements of the proposal are: 1. For M an oriented 2n-dimensional conformal manifold and Σ a Riemann surface, there is an analogy Dj+n 1(M) int Dj int (Σ) j = 0, 1, 2 (1.1) On each side there is a bilinear form, the intersection form, which gives the intersection number of two currents with j 1 + j 2 = 2, and there is a conformally invariant Hodge -operator in the middle dimension, j = 1, acting on the vector space of differential forms dual to the currents. 2. The Cauchy-Riemann equations on a Riemann surface Σ can be expressed in terms of the integral currents in Σ, the boundary operator, the intersection form, and the conformal Hodge -operator acting in the middle dimension. 3. There are natural morphisms of metric abelian groups Π j, : D int j (D int (M)) D int j+(m) (1.2) (Their construction is a basic point where mathematical rigor is wanted.) 4. D int n 1(M) is regarded as a fiber bundle over the integral (n 2)-boundaries D int n 1(M) n 1(M) D int n 1(M) ξ0 = { ξ D int n 1(M): ξ = ξ 0 } The examples Q(M) of real quasi Riemann surfaces are the metric abelian groups (1.3) for n odd Q Zξ0 = Dn 1(M) int Zξ0 = D int n 1(M) mξ0 Q Zξ0 Zξ 0 (1.4) m Z 2
The examples of complex quasi Riemann surfaces are for n even or odd Q Zξ0 = D int n 1(M) Zξ0 id int n (M) Q Zξ0 Zξ 0 (1.5) In both cases there is a chain complex of metric abelian groups 0 Z Q 0 = Q Zξ0 Q 2 Q 1 Q 0 Z 0 Q 1 =D int n (M) or D int n (M) id int n (M) with a nondegenerate intersection form and with an operator (1.6) J = ɛ n ɛ 2 n = ( 1) n 1 J 2 = 1 (1.7) acting on forms in the middle dimension, dual to Q 1. This is the same structure as found in the augmented chain complex of integral currents in a Riemann surface Σ 0 Z 2 (Σ) 1 (Σ) 0 (Σ) Z 0 (1.8) The complexification (1.5) is needed when n is even because ɛ n is then imaginary. 5. A version of tensor analysis on a metric abelian group Q is based on the integral currents Dj int (Q). The space of j-forms on Q is defined as Ω j (Q) = Hom(Dj int (Q), R). The tangent space T ξ Q at ξ Q is defined as the vector space of infinitesimal 1- simplices at ξ. The cotangent space is the dual vector space Tξ Q = T ξq. 6. The intersection form and the conformal Hodge -operator of M are pulled bac to Q = Q Zξ0 using morphisms Π j : Dj int (Q) Q j derived from the morphisms Π j,n 1 : Dj int (Dn 1(M)) int Dj+n 1(M) int j = 0, 1, 2 (1.9) The resulting structures on the Dj int (Q), j = 0, 1, 2 are analogous to the structures on the integral currents Dj int (Σ) in a Riemann surface Σ that are sufficient for expressing the Cauchy-Riemann equations. 7. A quasi Riemann surface is defined to be a metric abelian group Q, along with a morphism Q Z, such that the integral currents Dj int (Q) have these structures. The set of morphisms Zξ 0 (1.10) Q Zξ0 form a bundle of quasi Riemann surfaces Q(M) B(M) naturally associated to the oriented conformal 2n-manifold M. (More precisely, the base B(M) is the space of maximal infinite cyclic subgroups Zξ 0 D int n 1(M).) 8. A quantum field theory on M is to be constructed by putting a 2d conformal field theory on each of the quasi Riemann surfaces Q Zξ0. There is to be one such quantum field theory on M for every ordinary 2d conformal field theory on Riemann surfaces. This note consists of technical preliminaries (sections 2 5), the proposed version of tensor analysis on metric abelian groups (section 6), the examples Q(M) (sections 7 and 8), and the proposed definition of quasi Riemann surface (section 9). A companion note [7] collects some questions, comments, and speculations and some remars on complications that are glossed over here. 3
2 Integral currents in an oriented conformal 2n-manifold M 2.1 The manifold M Let M be an oriented conformal manifold of even dimension 2n 2. For simplicity, let M be compact and without boundary. The Hodge -operator acting on smooth n-forms depends only on the conformal structure : Ω smooth n (M) Ω smooth n (M) ω µ1...µ n (x) = 1 n! ɛ ν 1...ν n µ 1...µ n (x) ω ν1...ν n (x) (2.1) 2 = ( 1) n The conformal Hodge -operator acting on n-forms is all that we use of the conformal structure of M. 2.2 Currents and boundaries A -current ξ in M is a distribution on the smooth -forms ω ξ : ω ω = d d x 1! ξµ 1 µ (x) ω µ1 µ (x) deg(ξ) = (2.2) ξ M D distr (M) is the real vector space of -currents in M. The boundary operator on currents is the dual of the exterior derivative on forms : D distr (M) D 1 distr (M) ω = dω (ξ) µ 2 µ (x) = µ1 ξ µ 1 µ (x) ξ ξ (2.3) 2 = 0 The Hodge -operator acts on the distributional n-currents by ω = ω ξ Dn distr (M) ω Ω smooth n (M) (2.4) ξ 2.3 Singular currents ξ A -simplex σ in M is represented by a -current [σ] σ : M ω = [σ] σ ω (2.5) The space D sing (M) of singular -currents in M is the abelian group of currents generated by the -simplices in M, i.e., the currents representing the singular -chains in M σ = m i σ i, m i Z [σ] = m i [σ i ] ω = m i σi i i [σ] i ω. (2.6) The boundary operators on singular chains and on singular currents are compatible [σ] = [σ], D sing (M) D sing 1 (M) (2.7) 4
2.4 Integral currents The metric abelian group D int (M) of integral -currents in M is the metric completion of D sing (M) (M) D int (M) D distr (M) (2.8) D sing with respect to the flat metric induced from the flat norm dist(ξ 1, ξ 2 ) flat = ξ 1 ξ 2 flat { } ξ flat = inf mass(ξ ξ ) + mass(ξ ), ξ D sing +1 (M) (2.9) mass(ξ) = volume(ξ) ξ D sing (M) The flat metric distance between ξ 1 and ξ 2 measures the effort needed to deform ξ 1 to ξ 2 or, equivalently, to deform ξ 1 ξ 2 to 0. The -volume of a -current depends on a particular choice of Riemannian metric on M, but the resulting metric completion D int(m) is independent of the choice. The boundary of an integral current is an integral current 2.5 The fiber bundle of integral -currents Regard as a fiber bundle with fibers D int (M) D 1(M) int (2.10) D int (M) D int (M) (2.11) D int (M) ξ0 = { } ξ D int (M): ξ = ξ 0 (2.12) D int(m) 0 = Ker is the metric abelian group of integral -cycles. For ξ 0 0, the fiber D int(m) ξ 0 is the space of relative integral -cycles, i.e., relative to ξ 0. 2.6 The intersection form The bilinear intersection form is defined almost everywhere on pairs of currents in M, vanishing unless the degrees of the two currents add up to the dimension of M I M (ξ 1, ξ 2 ) = d d 1 x M 1! 2! ɛ µ 1 µ 1 ν 1 ν 2 (x) ξ µ 1 µ 1 1 (x) ξ ν 1 ν 2 2 (x) 1 + 2 = 2n (2.13) I M (ξ 1, ξ 2 ) = 0 1 + 2 2n The intersection form is independent of the conformal structure; it depends only on the orientation of M. The intersection form on integral currents gives the integer intersection number I M (ξ 1, ξ 2 ) Z (where defined) ξ 1 D int 1 (M) ξ 2 D int 2 (M) (2.14) The intersection form on the integral cycles is defined everywhere and depends only on the homology classes of the cycles. 5
2.7 The chain complex of integral currents For n 2 we use only a portion of the middle of the chain complex of integral currents D int n+2(m) n+1(m) n (M) n 1(M) n 2(M) (2.15) When n = 1, M is a two-dimensional conformal manifold, i.e., a Riemann surface, which we write Σ instead of M. We augment its integral chain complex at both ends where we set In particular 0 3 (Σ) 2 (Σ) D int 1(Σ) = Z 1 (Σ) η D int 0 (Σ) D int 3 (Σ) = Z 1 D int 3 (Σ) 0 (Σ) η 1(Σ) 1 D int 1(Σ) Σ D int 2 (Σ) 0 (2.16) (2.17) δ z = 1 (2.18) where δ z D0 int (Σ) represents the point z Σ, i.e., δ z is the Dirac delta-function at z. In order to maintain a uniform terminology over all n, we call D0 int (Σ) the space of integral 0-currents and we call Ker = D0 int (Σ) 0 the space of integral 0-cycles. It is perhaps more usual to write the chain complex without augmentation 0 2 (Σ) 1 (Σ) 0 (Σ) 0 (2.19) Then D int 0 (Σ) is called the space of integral 0-cycles and, for η D int 0 (Σ), the integer η defined in (2.17) is called the degree of η. 3 Integral currents in spaces of integral currents The integral currents in a complete metric space were constructed in [5]. So we tae as given the metric abelian group Dj int (D int (M)) of integral j-currents in the complete metric space (M). D int 3.1 The morphisms Π j, : D int j (D int (M)) Dint j+ (M) (M) for the space of singular -chains in M and C sing j (C sing (M)) for the space of singular j-chains in C sing (M). The product j of the j-simplex with the -simplex is a singular (j+)-chain so there is a natural morphism Following comments in section 5 of [6] which refer to [4], we write C sing We suppose that Π sing j, groups In particular where δ ξ D int 0 (D int Π sing j, : Csing j (C sing (M)) C sing j+ (M) (3.1) respects the flat metrics so gives a natural morphism of metric abelian Π j, : D int j (D int (M)) D int j+(m) (3.2) Π 0, δ ξ = ξ (3.3) (M)) is the 0-current representing the point ξ Dint (M). 6
3.2 Π j, and From it follows that where ( j ) = j + ( 1) j j (3.4) Π j, = Π j 1, + ( 1) j Π j, 1 j, (3.5) j, : D int j (D int is the push-forward of the boundary map : D int 3.3 Translation invariance (M)) Dj int (D 1(M)) int (3.6) (M) Dint 1 (M). Let T ξ be translation by ξ in the abelian group D int(m) T ξ : D int (M) D int (M) T ξ : ξ ξ + ξ (3.7) T ξ acts on currents in D int (M) by pushing forward T ξ : D int j (D int (M)) D int j (D int (M)) (3.8) From Π 0, δ ξ = ξ it follows that Π 0, is translation-invariant in the sense that The Π j, for j 1 are translation-invariant in the sense that Π 0, T ξ = T ξ Π 0, (3.9) Π j, T ξ = Π j, j 1 (3.10) This follows from the fact that a map from j to M which is constant on is represented by 0 as a (j+)-current in M if j 1. 4 Modify conformal Hodge- and the intersection form to be independent of n Some trivial modifications can be made to the conformal Hodge -operator and to the intersection form I M (ξ 1, ξ 2 ) so that their properties on (j+n 1)-currents become the same for all n. When pulled bac to Dj int (Dn 1(M)) int along Π j,n 1 their properties on j-currents in Dn 1(M) int will then be the same for all n. To accomplish this for both even and odd values of n requires using the complex currents Choose a root ɛ n of the equation D distr (M, C) = D distr (M) C (4.1) ɛ 2 n = ( 1) n 1 ɛ 1 = 1 (4.2) 7
then define deg (ξ) = deg(ξ) (n 1) = n + 1 ξ D distr (M, C) (4.3) J = ɛ n acting on D distr n (M, C) (4.4) I M ξ 1, ξ 2 = ɛ 1 n ( 1) 1 2 (deg (ξ 2 ) 1)(deg (ξ 2 )+2n) I M ( ξ 1, ξ 2 ) (4.5) where ξ is the complex conjugate of the current ξ. These satisfy (wherever defined) a set of properties that mae no mention of n I M ξ 1, ξ 2 0 only if deg (ξ 1 ) + deg (ξ 2 ) = 2 (4.6) I M ξ 1, ξ 2 = I M ξ 2, ξ 1 (4.7) I M ξ 1, ξ 2 = I M ξ 1, ξ 2 (4.8) J acts on the deg (ξ) = 1 subspace (4.9) J 2 = 1 (4.10) I M Jξ 1, Jξ 2 = I M ξ 1, ξ 2 deg (ξ 1 ) = deg (ξ 2 ) = 1 (4.11) I M ξ, Jξ > 0 deg (ξ) = 1, ξ 0 (4.12) We call I M ξ 2, ξ 1 the sew-hermitian intersection form because of property (4.7). The number ɛ n is real when n is odd so we can restrict to real currents. Then we call I M ξ 1, ξ 2 the sew intersection form. When n = 1, when M is a Riemann surface Σ, the sew intersection form extends uniquely to D3 int (Σ) D 1(Σ) int = Z Z by I Σ 1, 1 = I Σ 1, δ z = I Σ 1, δ z = I Σ Σ, δ z = I Σ δ z, Σ = ɛ 1 1 I Σ (δ z, Σ) = 1 (4.13) 5 Cauchy-Riemann equations Let Σ be a Riemann surface with local real coordinates x = (x 1, x 2 ) and local complex coordinate z = x 1 + ix 2. J = acts on 1-forms by A fundamental solution of the Cauchy-Riemann equations Jdz = idz Jd z = id z (5.1) F (x 0, x) µ dx µ = F (z 0, z)dz = is a 1-form in z and a function of z 0 which satisfies F (J i) = 0 dz z z 0 + (5.2) z F (z 0, z) = πδ 2 (z z 0 ) (5.3) 8
Regard F as a complex form (defined almost everywhere) F : D0 int (Σ) D1 int (Σ) C (5.4) F ( ξ 0, ξ 1 ) = d 2 x 0 d 2 x ξ 0 (x 0 ) F (x 0 ; x) µ ξ µ 1 (x) (5.5) Σ Σ (The integral currents in Σ are real so complex conjugation acts trivially and is only written for the sae of later generalization.) Write F ( ξ 0, ξ 1 ) also for the linear extension to a form on the complex currents (defined almost everywhere) F : D distr 0 (Σ, C) D distr 1 (Σ, C) C Dj distr The Cauchy-Riemann equations (5.3) become (Σ, C) = D distr j (Σ) C (5.6) F ( ξ 0, ξ 2 ) = 2πiI Σ ξ 0, ξ 2 F ( ξ 0, (J i)ξ 1 ) = 0 ξ 0 D int 0 (Σ) ξ 2 D int 2 (Σ) (5.7) ξ 0 D distr 0 (Σ, C) ξ 1 D distr 1 (Σ, C) (5.8) The Cauchy-Riemann equations are thus expressed in terms of the integral currents, the sew-hermitian intersection form, and the J operator acting on complex currents. (The Cauchy-Riemann equations should be written locally on neighborhoods U Σ, substituting U for Σ in the above.) 6 Construct forms and tangent vectors from the integral currents The aim is to develop conformal tensor analysis on a metric abelian group Q such as the Q Zξ0 of equations (1.4) and (1.5), in analogy with conformal tensor analysis on Riemann surfaces. We want to lift the sew-hermitian intersection form I M ξ 1, ξ 2 and the operator J from the manifold M to the metric space Q = Q Zξ0 via the maps Π j,n 1 : Dj int (Q) Dj+n 1(M) int (6.1) To do this we need a construction of forms on Q. But there is no smooth manifold structure available on Q in which to construct forms. What is available are the currents in Q constructed in [5]. The j-currents in a complete metric space such as Q are constructed in [5] not as distributions on j-forms but rather as linear functionals on (j+1)-tuplets of Lipschitz functions. Only the metric structure of Q is used; there is no need of a smooth structure. We want to pull bac forms from M to Q via the maps Π j,n 1 between spaces of integral currents, so we construct the forms from the integral currents. We tae the integral currents Dj int (Q) as the foundation for tensor analysis on Q. Essential use is made of the abelian group structure of Q. This construction of tensor analysis wors as well for any space that loos locally lie a metric abelian group. For a manifold M it reproduces the usual forms and the usual tensor analysis. 9
6.1 Forms on Q Define a j-form on Q to be a homomorphism of abelian groups ω : D int j (Q) R ω(η 1 + η 2 ) = ω(η 1 ) + ω(η 2 ) (6.2) satisfying some topological or metric regularity condition. The regularity condition will presumably depend on the application. Here we proceed formally, hoping that the formal structure will in the end provide criteria for precise definitions. Dj int (Q) is generated as a metric abelian group by the arbitrarily small j-simplices in Q, so a j-form on Q is determined by its values on the infinitesimal j-simplices in Q, i.e., by local data on Q. The space of j-forms Ω j (Q) = Hom(D int j (Q), R) (6.3) is a real vector space. The exterior derivative is the dual of the boundary operator 6.2 Currents in Q d: Ω j (Q) Ω j+1 (Q) dω(ξ) = ω(ξ) d 2 = 0 (6.4) Define the j-currents in Q to be the real linear functions on j-forms D j (Q) = Ω j (Q) ξ : ω (ω, ξ) : D j (Q) D j 1 (Q) = d (6.5) Again this is a formal definition. We expect D j (Q) to be a linear subspace of the distributional j-currents in Q constructed in [5] D j (Q) D distr j (Q) (6.6) Dj int (Q) is generated by the arbitrarily small integral j-currents so we can identify D j (Q) with the space of infinitesimal integral j-currents, something ain to or even equal to the Gromov-Hausdorff tangent space 6.3 The tangent and cotangent bundles of Q D j (Q) = T G-H 0 (D int j (Q)) (6.7) The infinitesimal j-simplices at a point ξ Q form a vector space T j,ξ Q because Q is an abelian group. Call this the space of tangent j-vectors at ξ. The vector spaces T j,ξ Q are the fibers of a vector bundle T j Q Q. The dual vector spaces T j,ξ Q = T j,ξq are the fibers of a vector bundle T j Q Q. The tangent bundle is T Q = T 1 Q. The cotangent bundle is T Q = T 1 Q. All of these vector bundles are product bundles because Q is an abelian group T j,ξ Q = T j,0 Q T j Q = Q T j,0 Q T j,ξq = T j,0q T j Q = Q T j,0q (6.8) The j-forms on Q are the sections of T j Q Ω j (Q) = Γ(T j Q) (6.9) 10
The rest of this subsection goes into these points in a bit more detail. Let t = (t 1,..., t j ) be coordinates for R j. Let R a be the dilation For j = 0 define R a (t) = (at 1, at 2,..., at j ) a > 0 (6.10) T 0,ξ Q = Rδ ξ D 0 (Q) (6.11) For j 1 parametrize the j-simplex j as the j-cube [0, 1] j R j. Define a j-simplex at ξ to be a map σ : [0, 1] j Q with σ(0) = ξ. The tangent j-vector to σ at t = 0 is the j-current Dσ(0) given by (ω, Dσ(0)) = lim ɛ 0 ɛ j ω([σr ɛ ]) ω Ω j (Q) = Hom(D int j (Q), R) (6.12) Dσ(0) should be the same as the distributional j-current Dσ(0) D j (Q) = Ω j (Q) (6.13) Dσ(0) = lim ɛ 0 ɛ j [σr ɛ ] D distr j (Q) (6.14) Define the space of tangent j-vectors at ξ to be T j,ξ Q is a vector space because T j,ξ Q = {Dσ(0): σ a j-simplex at ξ} D j (Q) (6.15) D(σR a )(0) = a j Dσ(0) D(σ 1 + σ 2 )(0) = Dσ 1 (0) + Dσ 2 (0) (6.16) where the abelian group structure of Q is used to add j-simplices (σ 1 + σ 2 )(t) = σ 1 (t) + σ 2 (t) (6.17) T j,ξ Q might be characterized as the distributional j-currents in Q supported strictly on ξ. Define the space of cotangent j-vectors at ξ to be the dual vector space which is the space of equivalence classes T j,ξq = T j,ξ Q (6.18) T j,ξq = Ω j (Q)/N j,ξ (Q) (6.19) of j-forms modulo the null subspace under the pairing with the tangent j-vectors at ξ N j,ξ (Q) = {ω Ω j (Q): (ω, Dσ(0)) = 0, Dσ(0) T j,ξ Q} (6.20) The projections on the quotients are the evaluation maps Ω j (Q) T j,ξq ω ω(ξ) (6.21) 11
representing the j-forms as the sections of the bundle of cotangent j-vectors Ω j (Q) = Γ(T j Q) (6.22) in the appropriate sense of section. The translation operators T ξ identify all the j-tangent vector spaces and all the j- cotangent vector spaces T j,ξ Q = T ξ (T j,0 Q) T j,ξq = T ξ (T j,0q) (6.23) so the vector bundles can be written as product bundles T j Q = Q T j,0 Q T j Q = Q T j,0q (6.24) The j-cotangent space can be identified with the translation-invariant j-forms 6.4 dπ j,n 1 : T j Q D j+n 1 (M) The morphism T j,0q = Ω j (Q) inv = { ω Ω j (Q): T ξ ω = ω ξ Q } (6.25) Π j,n 1 : Dj int (Q) Dj+n 1(M) int (6.26) acts on the infinitesimal j-simplices in Q as a translation-invariant linear map dπ j,n 1 : T j Q D j+n 1 (M) (6.27) dπ 1,n 1 identifies each tangent space T ξ Q with the linear space D n (M) dπ 1,n 1 : T ξ Q D n (M) D distr n (M) (6.28) where D n (M) is the space of infinitesimal integral n-currents in M as in section 6.2 above. D n (M) is a dense linear subspace of Dn distr (M) consisting (at least roughly) of the n-currents in M that are strictly supported on an integral (n 1)-current. The crucial point is that D n (M) is closed under the conformal Hodge -operator D n (M) = D n (M) (6.29) The germ of a proof of this is given in Appendix 1 of [1]. The argument maes essential use of fractal integral n-currents which are the limits of Cauchy sequences of singular n- currents with respect to the flat metric. This is one of the two main motivations for using the integral currents. The other is the (presumed) existence of the maps Π j,. Assuming (6.29), the conformal Hodge -operator acts on the tangent spaces of Q : T ξ Q T ξ Q (6.30) 12
7 The real examples Q(M) for n odd Assume n odd. Let Q be one of the metric abelian groups Q = Dn 1(M) int Zξ0 = { } ξ Dn 1(M): int ξ Zξ 0 ξ 0 D int n 1(M) (7.1) with Zξ 0 a maximal cyclic subgroup of D int n 1(M). That is, ξ 0 = Nξ 0, N Z, only if N = ±1. 7.1 A chain complex j Q j analogous to j Dj int (Σ) For each Q construct a chain complex of metric abelian groups analogous to the augmented chain complex (2.16) of integral currents Dj int (Σ) in a Riemann surface Σ where Q 0 0 Q 3 Q 0 = Q D int n 1(M) Q 1 = Zξ 0 D int n 2(M) Q 2 Q 1 Q 1 = D int n (M) Q 0 Q 1 Q 2 = D int n+1(m)/q 0 0 (7.2) Q 3 = D int n+2(m)/q 1 Q 1 = Z Q3 = Z (7.3) and Q 1 are the orthogonal complements in the sew intersection form of M Q 0 = { ξ Dn+1(M) int : I M ξ, ξ = 0 } ξ Q 0 (7.4) Q 1 = { ξ Dn+2(M) int : I M ξ, ξ = 0 } ξ Q 1 (7.5) The Q j form a chain complex because Q 1 = Q 0 so Q 1 = Q 0 property (4.8) of the sew intersection form I M ξ 1, ξ 2. by the integration by parts 7.2 The sew form I ξ 1, ξ 2 on j Q j By construction, I M ξ 1, ξ 2 defines (almost everywhere) an integer-valued form I ξ 1, ξ 2 Hom( j Q j j Q j, Z) (7.6) satisfying (where defined) I ξ 1, ξ 2 = 0 unless deg (ξ 1 ) + deg (ξ 2 ) = 2 (7.7) where deg (ξ) = j for ξ Q j I ξ 1, ξ 2 = I ξ 2, ξ 1 (7.8) I ξ 1, ξ 2 = I ξ 1, ξ 2 (7.9) I ξ 1, ξ 2 is nondegenerate (7.10) 13
7.3 The J operator Define real vector spaces Ω j = Hom(Q j, R) D j = Ω j (7.11) analogous to the vector spaces Ω j (Σ) and D j (Σ) of forms and currents on a Riemann surface constructed from its integral currents as in section 6 above. In particular Ω 1 = Hom(D int n (M), R) D 1 = D n (M) D distr n (M) (7.12) Recall the definition J = ɛ n with ɛ 2 n = ( 1) n 1 and the assumption that D n (M) = D n (M). Now we have the final elements of the analogy: J 2 = 1 on D 1 (7.13) I Jξ 1, Jξ 2 = I ξ 1, ξ 2 ξ 1, ξ 2 D 1 (7.14) I ξ, Jξ > 0 ξ 0 D 1 (7.15) where I ξ 1, ξ 2 is extended from Q 1 to D 1 by linearity. Note that the positivity condition (7.15) cannot be literally true. The vector space D 1 = D n (M) needs to be extended in some natural way to become large enough to include a dense set of L 2 vectors. 7.4 A morphism of chain complexes Π: j Dj int (Q) j Q j There is a morphism of chain complexes of metric abelian groups, D int 4 (Q) > D int 3 (Q) > D int 2 (Q) > D int 1 (Q) > D int 0 (Q) > D int 1(Q) > 0 Π 4 0 Π 3 > Q 3 Π 2 > Q 2 Π 1 > Q 1 Π 0 > Q 0 Π 1 > Q 1 > 0 (7.16) where the top complex is augmented on the right by D int 1(Q) = Q 1 = Zξ 0 : δ ξ D int 0 (Q) ξ Zξ 0 (7.17) The morphism maps are Π j = 0 j 4 Π j = { Πj,n 1 j = 0, 1 π j Π j,n 1 j = 2, 3 Π 1 = 1 (7.18) where π j is the projection on the quotient space π j : D int j+n 1(M) Q j = D int j+n 1(M)/Q 2 j j = 2, 3 (7.19) In particular Π 0 : D int 0 (Q) Q δ ξ ξ (7.20) 14
To see that Π is a morphism of chain complexes first verify explicitly Then note that Π 0 = Π 1 (7.21) Π j = Π j 1 j 1 (7.22) because the operator j,n 1 in equation (3.5) vanishes on Dj int (Q) for j 1 because taes Q to the discrete set Zξ 0 and there are no nonzero j-currents in a discrete set if j 1. 7.5 Translation invariance of Π Translations in Q act as automorphisms of the two chain complexes T ξ : Dj int (Q) Dj int (Q) T ξ : Q j Q j ξ Q (7.23) where T ξ acts as translation on Q 0 = Q and acts trivially on the Q j for j 1. On D 1(Q) int = Q 1 T ξ = T ξ : ξ 0 ξ 0 + ξ (7.24) The morphism Π is translation-invariant Π j T ξ = T ξ Π j ξ Q (7.25) 7.6 Pull bac the sew form I ξ 1, ξ 2 to a sew form I Q η 1, η 2 on j Dj int (Q) Pull bac the sew form I ξ 1, ξ 2 from j Q j along the morphism Π to get a sew form I Q η 1, η 2 on D int (Q) = j Dj int (Q) defined almost everywhere I Q η 1, η 2 = Π I η 1, η 2 = I Π j1 η 1, Π j2 η 2 η 1, η 2 j Dj int (Q) I Q Hom( j Dj int (Q) j Dj int (Q), Z) (defined almost everywhere) (7.26) satisfying (wherever defined) I Q η 1, η 2 0 only if deg(η 1 ) + deg(η 2 ) = 2 (7.27) I Q η 1, η 2 = I Q η 2, η 1 (7.28) I Q η 1, η 2 = I Q η 1, η 2 (7.29) I Q η 1, T ξ η 2 = I Q η 1, η 2 deg(η 2 ) 1 ξ Q (7.30) 7.7 Pull bac J along dπ 1 The morphism map Π 1 is Π 1,n 1 : D int 1 (Q) D int n (M). Its derivative identifies the tangent spaces T ξ Q with D 1 = D n (M) so J acts on the T ξ Q and on the dual cotangent spaces T ξ Q dπ 1 : T ξ Q D 1 JdΠ 1 = dπ 1 J JdΠ 1 = dπ 1J (7.31) 15
The J operator thereby acts on Ω 1 (Q), the space of 1-forms on Q, and on the 1-currents D 1 (Q) J : Ω 1 (Q) Ω 1 (Q) J : D 1 (Q) D 1 (Q) (7.32) inheriting the properties (7.13 7.15) J 2 = 1 on D 1 (Q) (7.33) I Q Jη 1, Jη 2 = I η 1, η 2 η 1, η 2 D 1 (Q) (7.34) I Q η, Jη 0 η 0 (7.35) where again the last property maes sense on an appropriate extension of D 1 (Q). 7.8 Cauchy-Riemann equations on Q Now we have the ingredients to write Cauchy-Riemann equations on Q analogous to the Cauchy-Riemann equations on a Riemann surface Σ in the form of equations (5.7-5.8). A fundamental solution F Q (η 0, η 1 ) is a complex bilinear form (almost everywhere defined) F Q Hom(D int 0 (Q) D int 1 (Q), C) (7.36) F Q (η 0, η 2 ) = 2πiI Q η 0, η 2 η 0 D int 0 (Q) η 2 D int 2 (Q) (7.37) F Q (η 0, (J i)η 1 ) = 0 η 0 D 0 (Q, C) η 2 D 2 (Q, C) (7.38) where in the last equation F Q (η 0, η 1 ) is extended by linearity to the complex currents D j (Q, C) = D j (Q) C. There is the possibility of imposing the additional condition that the fundamental solution F Q (η 0, η 1 ) is the pullbac of a form F (ξ 0, ξ 1 ) on Q 0 Q 1 (which amounts to a translationinvariance condition) F Hom(Q 0 Q 1, C), F Q = Π F, F Q (η 0, η 1 ) = F (Π 0 η 0, Π 1 η 1 ) (7.39) F (ξ 0, ξ 2 ) = 2πiI ξ 0, ξ 2 (7.40) F (ξ 0, (J i)ξ 1 ) = 0 (7.41) 8 The complex examples Q(M) for n even or odd Now let n be even or odd. The operator J = ɛ n is imaginary when n is even so the tangent spaces T ξ Q will have to be complex in order for J to act. Let Q be one of the metric abelian groups Q = D int n 1(M) Zξ0 id int n (M) ξ 0 D int n 1(M) (8.1) When n is odd complex conjugation will be an automorphism, which will allow restricting to the real part of Q, recovering the real examples described in the previous section. Now let the chain complex j Q j be 0 Q 3 Q 2 Q 1 16 Q 0 Q 1 0 (8.2)
Q 0 = Q Q 1 = Zξ 0 Q 1 = D int n (M) id int n (M) Q 3 = [ D int n+2(m) id int n+2(m) ] /Q 1 Q 2 = [ D int n+1(m) id int n+1(m) ] /Q 0 Q 1 = Z Q3 = Z iz (8.3) where Q 0 and Q 1 are the orthogonal complements now in the sew-hermitian intersection form I M ξ 1, ξ 2 defined in equation (4.5) Q 0 = { ξ Dn+1(M) int idn+1(m) int : I M ξ, ξ = 0 } ξ Q 0 (8.4) Q 1 = { ξ Dn+2(M) int idn+2(m) int : I M ξ, ξ = 0 } ξ Q 1 (8.5) The vector space D 1 of infinitesimal elements of Q 1 is now the complex vector space D 1 = Hom(Q 1, R) = D int n (M) id int n (M) (8.6) so J = ɛ n acts on D 1 for n even or odd. By construction, I M ξ 1, ξ 2 gives an almost everywhere defined nondegenerate sew-hermitian form I ξ 1, ξ 2 on j Q j with values in Z iz I Hom( j1 Q j1 j2 Q j2, Z iz) (8.7) satisfying properties inherited from properties (4.6-4.12) of I M ξ 1, ξ 2. Again there is a morphism of chain complexes of metric abelian groups D int 4 (Q) Π 4 0 > D int 3 (Q) Π 3 > Q 3 > D int 2 (Q) Π 2 > Q 2 > D int 1 (Q) Π 1 > Q 1 > D int 0 (Q) Π 0 > Q 0 > D int 1(Q) > 0 Π 1 > Q 1 > 0 (8.8) as in equations (7.16-7.22) for the real case. Again Π 1 induces isomorphisms of vector spaces dπ 1 : T ξ Q D 1, dπ 1 : Ω 1 T ξ Q (8.9) so J acts on T ξ Q and on Tξ Q and on Ω 1(Q). Again the sew-hermitian form I ξ 1, ξ 2 pulls bac to a sew-hermitian form I Q η 1, η 2 on j Dj int (Q). Again the properties (4.6-4.12) are inherited from M. Again Cauchy-Riemann equations on Q can be expressed in terms of J and I Q η 1, η 2. For every complex quasi Riemann surface there is an underlying real quasi Riemann surface which has the same morphism (8.8) of chain complexes, the same J operator, and the real part Re I ξ 1, ξ 2 as the sew form on j Q j. The complex quasi Riemann surfaces are the real quasi Riemann surfaces with additional structure: multiplication by i and complex conjugation. 9 Definition of quasi Riemann surface Finally we try to define quasi Riemann surface. The definition should encompass all the examples Q(M) as narrowly as possible, providing structure sufficient to express Cauchy- Riemann equations. A complex quasi Riemann surface is a metric abelian group Q along with a morphism Q Z and an automorphism ξ ξ (called complex conjugation) with ξ = ξ. A real quasi Riemann surface is one where complex conjugation acts trivially ξ = ξ. 17
Let the augmented integral chain complex of Q be > D int 3 (Q) D int (Q) = > D int 2 (Q) > D int 1 (Q) > D int 0 (Q) > D int 1(Q) > 0 (9.1) Dj int (Q) D 1(Q) int = Z δ ξ = ξ ξ Q (9.2) j= 1 Complex conjugation acts on D int (Q) as the push-forward of complex conjugation on Q. There is a sew-hermitian form I Q Hom(D int (Q) D int (Q), A) A = Z iz (complex case) or Z (real case) (9.3) defined almost everywhere, satisfying I Q η 1, η 2 0 only if deg(η 1 ) + deg(η 2 ) = 2 (9.4) I Q η 1, η 2 = I Q η 2, η 1 (9.5) I Q η 1, η 2 = I Q η 1, η 2 (9.6) I Q η 1, T ξ η 2 = I Q η 1, η 2 deg(η 2 ) 1 ξ Q. (9.7) There is a linear operator J equivalently described as satisfying on the tangent spaces T ξ (Q) J : T ξ Q T ξ Q J : T ξ Q T ξ Q ξ Q (9.8) J : D 1 (Q) D 1 (Q) J : Ω 1 (Q) Ω 1 (Q) (9.9) Given this structure we define metric abelian groups so there is a morphism of chain complexes J 2 = 1 (9.10) I Q Jη 1, Jη 2 = I Q η 1, η 2 (9.11) I Q η, Jη > 0 η 0 (9.12) JT ξ = T ξ J (9.13) Q j = Dj int (Q)/D2 j(q) int j = 1, 0, 1, 2, 3 (9.14) D int 4 (Q) > D int 3 (Q) > D int 2 (Q) > D int 1 (Q) > D int 0 (Q) > D int 1(Q) > 0 Π 4 0 Π 3 > Q 3 Π 2 > Q 2 Π 1 > Q 1 Π 0 > Q 0 Π 1 > Q 1 > 0 (9.15) with Π j = 0, j 4. Impose as additional condition on I Q η 1, η 2 Q 0 = Q Π 0 δ ξ = ξ ξ Q (9.16) 18
I Q η 1, η 2 descends to a nondegenerate sew-hermitian form I ξ 1, ξ 2 on j Q j and J acts on the vector space D 1 of infinitesimal elements of Q 1. Finally, the morphisms should descend to morphisms Π j, : D int j (D int Q)) : Dj+(Q) int (9.17) Π Q j, : Dint j (Q ) Q j+ Π Q j,0 = Π j (9.18) References [1] D. Friedan, Quantum field theories of extended objects, arxiv:1605.03279 [hep-th]. [2] D. Friedan, A new ind of quantum field theory of (n-1)-dimensional defects in 2n dimensions, September, 2017. http://www.physics.rutgers.edu/~friedan/#res. (slides of a tal at Chicheley Hall, England). [3] H. Federer and W. H. Fleming, Normal and integral currents, Ann. of Math. (2) 72 (1960) 458 520. [4] F. J. Almgren, Jr., The homotopy groups of the integral cycle groups, Topology 1 (1962) 257 299. [5] L. Ambrosio and B. Kirchheim, Currents in metric spaces, Acta Math. 185 no. 1, (2000) 1 80. [6] M. Gromov, Morse Spectra, Homology Measures, Spaces of Cycles and Parametric Pacing Problems, 2015. http://www.ihes.fr/~gromov/pdf/morse-spectra-april16-2015-.pdf. [7] D. Friedan, Quasi Riemann surfaces II. Questions, comments, and speculations. in preparation. 19