## About deformations of known extremals of Kähler actionI have done a considerable amount of speculative guesswork to identify what I have used to call preferred extremals of Kähler action. The problem is that the mathematical problem at hand is extremely non-linear and that there is no existing mathematical literature. One must proceed by trying to guess the general constraints on the preferred extremals which look physically and mathematically plausible. The hope is that this net of constraints could eventually chrystallize to Eureka! Certainly the recent speculative picture involves also wrong guesses. The need to find explicit ansatz for the deformations of known extremals based on some common principles has become pressing. The following considerations represent an attempt to combine the existing information to achieve this.
The dream is to discover the deformations of all known extremals by guessing what is common to all of them. One might hope that the following list summarizes at least some common features.
- Holography realized as effective 3-dimensionality also at the level of action requires that it reduces to 3-dimensional effective boundary terms. This is achieved if the contraction j
^{α}A_{α}vanishes. This is true if j^{α}vanishes or is light-like, or if it is proportional to instanton current in which case current conservation requires that CP_{2}projection of the space-time surface is 3-dimensional. The first two options for j have a realization for known extremals. The status of the third option - proportionality to instanton current - has remained unclear. - As I started to work again with the problem, I realized that instanton current could be replaced with a more general current j=*B∧J or concretely: j
^{α}= ε^{αβγδ}B_{β}J_{γδ}, where B is vector field and CP_{2}projection is 3-dimensional, which it must be in any case. The contractions of j appearing in field equations vanish automatically with this ansatz. - Almost topological QFT property in turn requires the reduction of effective boundary terms to Chern-Simons terms: this is achieved by boundary conditions expressing weak form of electric magnetic duality. If one generalizes the weak form of electric magnetic duality to J=Φ *J one has B=dΦ and j has a vanishing divergence for 3-D CP
_{2}projection. This is clearly a more general solution ansatz than the one based on proportionality of j with instanton current and would reduce the field equations in concise notation to Tr(TH^{k})=0. - Any of the alternative properties of the Kähler current implies that the field equations reduce to Tr(TH
^{k})=0, where T and H^{k}are shorthands for Maxwellian energy momentum tensor and second fundamental form and the product of tensors is obvious generalization of matrix product involving index contraction.
For j - This raises the question about dynamical generation of small cosmological constant Λ: T= Λ g would reduce equations to those for minimal surfaces. For T=Λ g modified gamma matrices would reduce to induced gamma matrices and the modified Dirac operator would be proportional to ordinary Dirac operator defined by the induced gamma matrices. One can also consider weak form for T=Λ g obtained by restricting the consideration to sub-space of tangent space so that space-time surface is only "partially" minimal surface but this option is not so elegant although necessary for other than CP
_{2}type vacuum extremals. - What is remarkable is that T= Λ g implies that the divergence of T which in the general case equals to j
^{β}J_{β}^{α}vanishes. This is guaranteed by one of the conditions for the Kähler current. Since also Einstein tensor has a vanishing divergence, one can ask whether the condition to T= κ G+Λ g could the general condition. This would give Einstein's equations with cosmological term besides the generalization of the minimal surface equations. GRT would emerge dynamically from the non-linear Maxwell's theory although in slightly different sense as conjectured (see this)! Note that the expression for G involves also second derivatives of the imbedding space coordinates so that actually a partial differential equation is in question. If field equations reduce to purely algebraic ones, as the basic conjecture states, it is possible to have Tr(GH^{k})=0 and Tr(gH^{k})=0 separately so that also minimal surface equations would hold true.What is amusing that the first guess for the action of TGD was curvature scalar. It gave analogs of Einstein's equations as a definition of conserved four-momentum currents. The recent proposal would give the analog of ordinary Einstein equations as a dynamical constraint relating Maxwellian energy momentum tensor to Einstein tensor and metric. - Minimal surface property is physically extremely nice since field equations can be interpreted as a non-linear generalization of massless wave equation: something very natural for non-linear variant of Maxwell action. The theory would be also very "stringy" although the fundamental action would not be space-time volume. This can however hold true only for Euclidian signature. Note that for CP
_{2}type vacuum extremals Einstein tensor is proportional to metric so that for them the two options are equivalent. For their small deformations situation changes and it might happen that the presence of G is necessary. The GRT limit of TGD discussed in kenociteallb/tgdgrt kenocitebtart/egtgd indeed suggests that CP_{2}type solutions satisfy Einstein's equations with large cosmological constant and that the small observed value of the cosmological constant is due to averaging and small volume fraction of regions of Euclidian signature (lines of generalized Feynman diagrams). - For massless extremals and their deformations T= Λ g cannot hold true. The reason is that for massless extremals energy momentum tensor has component T
^{vv}which actually quite essential for field equations since one has H^{k}_{vv}=0. Hence for massless extremals and their deformations T=Λ g cannot hold true if the induced metric has Hamilton-Jacobi structure meaning that g^{uu}and g^{vv}vanish. A more general relationship of form T=κ G+Λ G can however be consistent with non-vanishing T^{vv}but require that deformation has at most 3-D CP_{2}projection (CP_{2}coordinates do not depend on v). - The non-determinism of vacuum extremals suggest for their non-vacuum deformations a conflict with the conservation laws. In, also massless extremals are characterized by a non-determinism with respect to the light-like coordinate but like-likeness saves the situation. This suggests that the transformation of a properly chosen time coordinate of vacuum extremal to a light-like coordinate in the induced metric combined with Einstein's equations in the induced metric of the deformation could allow to handle the non-determinism.
The complex structure of CP - There are reasons to believe that the Hermitian structure of the induced metric ((1,1) structure in complex coordinates) for the deformations of CP
_{2}type vacuum extremals could be crucial property of the preferred extremals. Also the presence of light-like direction is also an essential elements and 3-dimensionality of M^{4}projection could be essential. Hence a good guess is that allowed deformations of CP_{2}type vacuum extremals are such that (2,0) and (0,2) components the induced metric and/or of the energy momentum tensor vanish. This gives rise to the conditions implying Virasoro conditions in string models in quantization:g _{ξiξj}=0 , g_{ξ*iξ*j}=0 , i,j=1,2 .Holomorphisms of CP _{2}preserve the complex structure and Virasoro conditions are expected to generalize to 4-dimensional conditions involving two complex coordinates. This means that the generators have two integer valued indices but otherwise obey an algebra very similar to the Virasoro algebra. Also the super-conformal variant of this algebra is expected to make sense.These Virasoro conditions apply in the coordinate space for CP _{2}type vacuum extremals. One expects similar conditions hold true also in field space, that is for M^{4}coordinates. - The integrable decomposition M
^{4}(m)=M^{2}(m)+E^{2}(m) of M^{4}tangent space to longitudinal and transversal parts (non-physical and physical polarizations) - Hamilton-Jacobi structure- could be a very general property of preferred extremals and very natural since non-linear Maxwellian electrodynamics is in question. This decomposition led rather early to the introduction of the analog of complex structure in terms of what I called Hamilton-Jacobi coordinates (u,v,w,w*) for M^{4}. (u,v) defines a pair of light-like coordinates for the local longitudinal space M^{2}(m) and (w,w*) complex coordinates for E^{2}(m). The metric would not contain any cross terms between M^{2}(m) and E^{2}(m): g_{uw}=g_{vw}= g_{uw*}=g_{vw*}=0.A good guess is that the deformations of massless extremals respect this structure. This condition gives rise to the analog of the constraints leading to Virasoro conditions stating the vanishing of the non-allowed components of the induced metric. g _{uu}= g_{vv}= g_{ww}=g_{w*w*}=g_{uw}=g_{vw}= g_{uw*}=g_{vw*}=0. Again the generators of the algebra would involve two integers and the structure is that of Virasoro algebra and also generalization to super algebra is expected to make sense. The moduli space of Hamilton-Jacobi structures would be part of the moduli space of the preferred extremals and analogous to the space of all possible choices of complex coordinates. The analogs of infinitesimal holomorphic transformations would preserve the modular parameters and give rise to a 4-dimensional Minkowskian analog of Virasoro algebra. The conformal algebra acting on CP_{2}coordinates acts in field degrees of freedom for Minkowskian signature.
If the proposed picture is correct, field equations would reduce basically to purely algebraically conditions stating that the Maxwellian energy momentum tensor has no common index pairs with the second fundamental form. For the deformations of CP For background see the chapter Basic Extremals of Kähler action. See also the article About deformations of known extremals of Kähler action. |