# The Canonical of a priori and a posteriori Variational Calculus as Phenomenologically Driven. Note Quote.

The expression variational calculus usually identifies two different but related branches in Mathematics. The first aimed to produce theorems on the existence of solutions of (partial or ordinary) differential equations generated by a variational principle and it is a branch of local analysis (usually in Rn); the second uses techniques of differential geometry to deal with the so-called variational calculus on manifolds.

The local-analytic paradigm is often aimed to deal with particular situations, when it is necessary to pay attention to the exact definition of the functional space which needs to be considered. That functional space is very sensitive to boundary conditions. Moreover, minimal requirements on data are investigated in order to allow the existence of (weak) solutions of the equations.

On the contrary, the global-geometric paradigm investigates the minimal structures which allow to pose the variational problems on manifolds, extending what is done in Rn but usually being quite generous about regularity hypotheses (e.g. hardly ever one considers less than C-objects). Since, even on manifolds, the search for solutions starts with a local problem (for which one can use local analysis) the global-geometric paradigm hardly ever deals with exact solutions, unless the global geometric structure of the manifold strongly constrains the existence of solutions.

A further a priori different approach is the one of Physics. In Physics one usually has field equations which are locally given on a portion of an unknown manifold. One thence starts to solve field equations locally in order to find a local solution and only afterwards one tries to find the maximal analytical extension (if any) of that local solution. The maximal extension can be regarded as a global solution on a suitable manifold M, in the sense that the extension defines M as well. In fact, one first proceeds to solve field equations in a coordinate neighbourhood; afterwards, one changes coordinates and tries to extend the found solution out of the patches as long as it is possible. The coordinate changes are the cocycle of transition functions with respect to the atlas and they define the base manifold M. This approach is essential to physical applications when the base manifold is a priori unknown, as in General Relativity, and it has to be determined by physical inputs.

Luckily enough, that approach does not disagree with the standard variational calculus approach in which the base manifold M is instead fixed from the very beginning. One can regard the variational problem as the search for a solution on that particular base manifold. Global solutions on other manifolds may be found using other variational principles on different base manifolds. Even for this reason, the variational principle should be universal, i.e. one defines a family of variational principles: one for each base manifold, or at least one for any base manifold in a “reasonably” wide class of manifolds. The strong requirement, which is physically motivated by the belief that Physics should work more or less in the same way regardless of the particular spacetime which is actually realized in Nature. Of course, a scenario would be conceivable in which everything works because of the particular (topological, differentiable, etc.) structure of the spacetime. This position, however, is not desirable from a physical viewpoint since, in this case, one has to explain why that particular spacetime is realized (a priori or a posteriori).

In spite of the aforementioned strong regularity requirements, the spectrum of situations one can encounter is unexpectedly wide, covering the whole of fundamental physics. Moreover, it is surprising how the geometric formalism is effectual for what concerns identifications of basic structures of field theories. In fact, just requiring the theory to be globally well-defined and to depend on physical data only, it often constrains very strongly the choice of the local theories to be globalized. These constraints are one of the strongest motivations in choosing a variational approach in physical applications. Another motivation is a well formulated framework for conserved quantities. A global- geometric framework is a priori necessary to deal with conserved quantities being non-local.

In the modem perspective of Quantum Field Theory (QFT) the basic object encoding the properties of any quantum system is the action functional. From a quantum viewpoint the action functional is more fundamental than field equations which are obtained in the classical limit. The geometric framework provides drastic simplifications of some key issues, such as the definition of the variation operator. The variation is deeply geometric though, in practice, it coincides with the definition given in the local-analytic paradigm. In the latter case, the functional derivative is usually the directional derivative of the action functional which is a function on the infinite-dimensional space of fields defined on a region D together with some boundary conditions on the boundary ∂D. To be able to define it one should first define the functional space, then define some notion of deformation which preserves the boundary conditions (or equivalently topologize the functional space), define a variation operator on the chosen space, and, finally, prove the most commonly used properties of derivatives. Once one has done it, one finds in principle the same results that would be found when using the geometric definition of variation (for which no infinite dimensional space is needed). In fact, in any case of interest for fundamental physics, the functional derivative is simply defined by means of the derivative of a real function of one real variable. The Lagrangian formalism is a shortcut which translates the variation of (infinite dimensional) action functionals into the variation of the (finite dimensional) Lagrangian structure.

Another feature of the geometric framework is the possibility of dealing with non-local properties of field theories. There are, in fact, phenomena, such as monopoles or instantons, which are described by means of non-trivial bundles. Their properties are tightly related to the non-triviality of the configuration bundle; and they are relatively obscure when regarded by any local paradigm. In some sense, a local paradigm hides global properties in the boundary conditions and in the symmetries of the field equations, which are in turn reflected in the functional space we choose and about which, it being infinite dimensional, we do not know almost anything a priori. We could say that the existence of these phenomena is a further hint that field theories have to be stated on bundles rather than on Cartesian products. This statement, if anything, is phenomenologically driven.

When a non-trivial bundle is involved in a field theory, from a physical viewpoint it has to be regarded as an unknown object. As for the base manifold, it has then to be constructed out of physical inputs. One can do that in (at least) two ways which are both actually used in applications. First of all, one can assume the bundle to be a natural bundle which is thence canonically constructed out of its base manifold. Since the base manifold is identified by the (maximal) extension of the local solutions, then the bundle itself is identified too. This approach is the one used in General Relativity. In these applications, bundles are gauge natural and they are therefore constructed out of a structure bundle P, which, usually, contains extra information which is not directly encoded into the spacetime manifolds. In physical applications the structure bundle P has also to be constructed out of physical observables. This can be achieved by using gauge invariance of field equations. In fact, two local solutions differing by a (pure) gauge transformation describe the same physical system. Then while extending from one patch to another we feel free both to change coordinates on M and to perform a (pure) gauge transformation before glueing two local solutions. Then coordinate changes define the base manifold M, while the (pure) gauge transformations form a cocycle (valued in the gauge group) which defines, in fact, the structure bundle P. Once again solutions with different structure bundles can be found in different variational principles. Accordingly, the variational principle should be universal with respect to the structure bundle.

Local results are by no means less important. They are often the foundations on which the geometric framework is based on. More explicitly, Variational Calculus is perhaps the branch of mathematics that possibilizes the strongest interaction between Analysis and Geometry.

# Embedding Branes in Minkowski Space-Time Dimensions To Decipher Them As Particles Or Otherwise

The physics treatment of Dirichlet branes in terms of boundary conditions is very analogous to that of the “bulk” quantum field theory, and the next step is again to study the renormalization group. This leads to equations of motion for the fields which arise from the open string, namely the data (M, E, ∇). In the supergravity limit, these equations are solved by taking the submanifold M to be volume minimizing in the metric on X, and the connection ∇ to satisfy the Yang-Mills equations.

Like the Einstein equations, the equations governing a submanifold of minimal volume are highly nonlinear, and their general theory is difficult. This is one motivation to look for special classes of solutions; the physical arguments favoring supersymmetry are another. Just as supersymmetric compactification manifolds correspond to a special class of Ricci-flat manifolds, those admitting a covariantly constant spinor, supersymmetry for a Dirichlet brane will correspond to embedding it into a special class of minimal volume submanifolds. Since the physical analysis is based on a covariantly constant spinor, this special class should be defined using the spinor, or else the covariantly constant forms which are bilinear in the spinor.

The standard physical arguments leading to this class are based on the kappa symmetry of the Green-Schwarz world-volume action, in which one finds that the subset of supersymmetry parameters ε which preserve supersymmetry, both of the metric and of the brane, must satisfy

φ ≡ Re εt Γε|M = Vol|M —– (1)

In words, the real part of one of the covariantly constant forms on M must equal the volume form when restricted to the brane.

Clearly dφ = 0, since it is covariantly constant. Thus,

Z(M) ≡ ∫φ —– (2)

depends only on the homology class of M. Thus, it is what physicists would call a “topological charge”, or a “central charge”.

If in addition the p-form φ is dominated by the volume form Vol upon restriction to any p-dimensional subspace V ⊂ Tx X, i.e.,

φ|V ≤ Vol|V —– (3)

then φ will be a calibration in the sense of implying the global statement

φ ≤ ∫Vol —– (4)

for any submanifold M . Thus, the central charge |Z (M)| is an absolute lower bound for Vol(M).

A calibrated submanifold M is now one satisfying (1), thereby attaining the lower bound and thus of minimal volume. Physically these are usually called “BPS branes,” after a prototypical argument of this type due, for magnetic monopole solutions in nonabelian gauge theory.

For a Calabi-Yau X, all of the forms ωp can be calibrations, and the corresponding calibrated submanifolds are p-dimensional holomorphic submanifolds. Furthermore, the n-form Re eΩ for any choice of real parameter θ is a calibration, and the corresponding calibrated submanifolds are called special Lagrangian.

This generalizes to the presence of a general connection on M, and leads to the following two types of BPS branes for a Calabi-Yau X. Let n = dimR M, and let F be the (End(E)-valued) curvature two-form of ∇.

The first kind of BPS D-brane, based on the ωp calibrations, is (for historical reasons) called a “B-type brane”. Here the BPS constraint is equivalent to the following three requirements:

1. M is a p-dimensional complex submanifold of X.
2. The 2-form F is of type (1, 1), i.e., (E, ∇) is a holomorphic vector bundle on M.
3. In the supergravity limit, F satisfies the Hermitian Yang-Mills equation:ω|p−1M ∧ F = c · ω|pMfor some real constant c.
4. F satisfies Im e(ω|M + ils2F)p = 0 for some real constant φ, where ls is the correction.

The second kind of BPS D-brane, based on the Re eΩ calibration, is called an “A-type” brane. The simplest examples of A-branes are the so-called special Lagrangian submanifolds (SLAGs), satisfying

(1) M is a Lagrangian submanifold of X with respect to ω.

(2) F = 0, i.e., the vector bundle E is flat.

(3) Im e Ω|M = 0 for some real constant α.

More generally, one also has the “coisotropic branes”. In the case when E is a line bundle, such A-branes satisfy the following four requirements:

(1)  M is a coisotropic submanifold of X with respect to ω, i.e., for any x ∈ M the skew-orthogonal complement of TxM ⊂ TxX is contained in TxM. Equivalently, one requires ker ωM to be an integrable distribution on M.

(2)  The 2-form F annihilates ker ωM.

(3)  Let F M be the vector bundle T M/ ker ωM. It follows from the first two conditions that ωM and F descend to a pair of skew-symmetric forms on FM, denoted by σ and f. Clearly, σ is nondegenerate. One requires the endomorphism σ−1f : FM → FM to be a complex structure on FM.

(4)  Let r be the complex dimension of FM. r is even and that r + n = dimR M. Let Ω be the holomorphic trivialization of KX. One requires that Im eΩ|M ∧ Fr/2 = 0 for some real constant α.

Coisotropic A-branes carrying vector bundles of higher rank are still not fully understood. Physically, one must also specify the embedding of the Dirichlet brane in the remaining (Minkowski) dimensions of space-time. The simplest possibility is to take this to be a time-like geodesic, so that the brane appears as a particle in the visible four dimensions. This is possible only for a subset of the branes, which depends on which string theory one is considering. Somewhat confusingly, in the type IIA theory, the B-branes are BPS particles, while in IIB theory, the A-branes are BPS particles.

# Intuitive Algebra (Groupoid/Categorical Structure) of Open Strings As Morphisms

A geometric Dirichlet brane is a triple (L, E, ∇E) – a submanifold L ⊂ M, carrying a vector bundle E, with connection ∇E.

The real dimension of L is also often brought into the nomenclature, so that one speaks of a Dirichlet p-brane if p = dimRL.

An open string which stretches from a Dirichlet brane (L, E, ∇E) to a Dirichlet brane (K, F, ∇F), is a map X from an interval I ≅ [0,1] to M, such that X(0) ∈ L and X(1) ∈ K. An “open string history” is a map from R into open strings, or equivalently a map from a two-dimensional surface with boundary, say Σ ≡ I × R, to M , such that the two boundaries embed into L and K.

The quantum theory of these open strings is defined by a functional integral over these histories, with a weight which depends on the connections ∇E and ∇F. It describes the time evolution of an open string state which is a wave function in a Hilbert space HB,B′ labelled by the two choices of brane B = (L, E, ∇E) and B′ = (K, F, ∇F).

Distinct Dirichlet branes can embed into the same submanifold L. One way to represent this would be to specify the configurations of Dirichlet branes as a set of submanifolds with multiplicity. However, we can also represent this choice by using the choice of bundle E. Thus, a set of N identical branes will be represented by tensoring the bundle E with CN. The connection is also obtained by tensor product. An N-fold copy of the Dirichlet brane (L, E, ∇E) is thus a triple (L, E ⊗CN, ∇E ⊗ idN).

In physics, one visualizes this choice by labelling each open string boundary with a basis vector of CN, which specifies a choice among the N identical branes. These labels are called Chan-Paton factors. One then uses them to constrain the interactions between open strings. If we picture such an interaction as the joining of two open strings to one, the end of the first to the beginning of the second, we require not only the positions of the two ends to agree, but also the Chan-Paton factors. This operation is the intuitive algebra of open strings.

Mathematically, an algebra of open strings can always be tensored with a matrix algebra, in general producing a noncommutative algebra. More generally, if there is more than one possible boundary condition, then, rather than an algebra, it is better to think of this as a groupoid or categorical structure on the boundary conditions and the corresponding open strings. In the language of groupoids, particular open strings are elements of the groupoid, and the composition law is defined only for pairs of open strings with a common boundary. In the categorical language, boundary conditions are objects, and open strings are morphisms. The simplest intuitive argument that a non-trivial choice can be made here is to call upon the general principle that any local deformation of the world-sheet action should be a physically valid choice. In particular, particles in physics can be charged under a gauge field, for example the Maxwell field for an electron, the color Yang-Mills field for a quark, and so on. The wave function for a charged particle is then not complex-valued, but takes values in a bundle E.

Now, the effect of a general connection ∇E is to modify the functional integral by modifying the weight associated to a given history of the particle. Suppose the trajectory of a particle is defined by a map φ : R → M; then a natural functional on trajectories associated with a connection ∇ on M is simply its holonomy along the trajectory, a linear map from E|φ(t1) to E|φ(t2). The functional integral is now defined physically as a sum over trajectories with this holonomy included in the weight.

The simplest way to generalize this to a string is to consider the ls → 0 limit. Now the constraint of finiteness of energy is satisfied only by a string of vanishingly small length, effectively a particle. In this limit, both ends of the string map to the same point, which must therefore lie on L ∩ K.

The upshot is that, in this limit, the wave function of an open string between Dirichlet branes (L, E, ∇) and (K, F, ∇F) transforms as a section of E ⊠ F over L ∩ K, with the natural connection on the direct product. In the special case of (L, E, ∇E) ≅ (K, F, ∇F), this reduces to the statement that an open string state is a section of EndE. Open string states are sections of a graded vector bundle End E ⊗ Λ•T∗L, the degree-1 part of which corresponds to infinitesimal deformations of ∇E. In fact, these open string states are the infinitesimal deformations of ∇E, in the standard sense of quantum field theory, i.e., a single open string is a localized excitation of the field obtained by quantizing the connection ∇E. Similarly, other open string states are sections of the normal bundle of L within X, and are related in the same way to infinitesimal deformations of the submanifold. These relations, and their generalizations to open strings stretched between Dirichlet branes, define the physical sense in which the particular set of Dirichlet branes associated to a specified background X can be deduced from string theory.

# 10 or 11 Dimensions? Phenomenological Conundrum. Drunken Risibility.

It is not the fact that we are living in a ten-dimensional world which forces string theory to a ten-dimensional description. It is that perturbative string theories are only anomaly-free in ten dimensions; and they contain gravitons only in a ten-dimensional formulation. The resulting question, how the four-dimensional spacetime of phenomenology comes off from ten-dimensional perturbative string theories (or its eleven-dimensional non-perturbative extension: the mysterious M theory), led to the compactification idea and to the braneworld scenarios.

It is not the fact that empirical indications for supersymmetry were found, that forces consistent string theories to include supersymmetry. Without supersymmetry, string theory has no fermions and no chirality, but there are tachyons which make the vacuum instable; and supersymmetry has certain conceptual advantages: it leads very probably to the finiteness of the perturbation series, thereby avoiding the problem of non-renormalizability which haunted all former attempts at a quantization of gravity; and there is a close relation between supersymmetry and Poincaré invariance which seems reasonable for quantum gravity. But it is clear that not all conceptual advantages are necessarily part of nature – as the example of the elegant, but unsuccessful Grand Unified Theories demonstrates.

Apart from its ten (or eleven) dimensions and the inclusion of supersymmetry – both have more or less the character of only conceptually, but not empirically motivated ad-hoc assumptions – string theory consists of a rather careful adaptation of the mathematical and model-theoretical apparatus of perturbative quantum field theory to the quantized, one-dimensionally extended, oscillating string (and, finally, of a minimal extension of its methods into the non-perturbative regime for which the declarations of intent exceed by far the conceptual successes). Without any empirical data transcending the context of our established theories, there remains for string theory only the minimal conceptual integration of basic parts of the phenomenology already reproduced by these established theories. And a significant component of this phenomenology, namely the phenomenology of gravitation, was already used up in the selection of string theory as an interesting approach to quantum gravity. Only, because string theory – containing gravitons as string states – reproduces in a certain way the phenomenology of gravitation, it is taken seriously.

But consistency requirements, the minimal inclusion of basic phenomenological constraints, and the careful extension of the model-theoretical basis of quantum field theory are not sufficient to establish an adequate theory of quantum gravity. Shouldn’t the landscape scenario of string theory be understood as a clear indication, not only of fundamental problems with the reproduction of the gauge invariances of the standard model of quantum field theory (and the corresponding phenomenology), but of much more severe conceptual problems? Almost all attempts at a solution of the immanent and transcendental problems of string theory seem to end in the ambiguity and contingency of the multitude of scenarios of the string landscape. That no physically motivated basic principle is known for string theory and its model-theoretical procedures might be seen as a problem which possibly could be overcome in future developments. But, what about the use of a static background spacetime in string theory which falls short of the fundamental insights of general relativity and which therefore seems to be completely unacceptable for a theory of quantum gravity?

At least since the change of context (and strategy) from hadron physics to quantum gravity, the development of string theory was dominated by immanent problems which led with their attempted solutions deeper. The result of this successively increasing self- referentiality is a more and more enhanced decoupling from phenomenological boundary conditions and necessities. The contact with the empirical does not increase, but gets weaker and weaker. The result of this process is a labyrinthic mathematical structure with a completely unclear physical relevance

# Geometry and Localization: An Unholy Alliance? Thought of the Day 95.0

There are many misleading metaphors obtained from naively identifying geometry with localization. One which is very close to that of String Theory is the idea that one can embed a lower dimensional Quantum Field Theory (QFT) into a higher dimensional one. This is not possible, but what one can do is restrict a QFT on a spacetime manifold to a submanifold. However if the submanifold contains the time axis (a ”brane”), the restricted theory has too many degrees of freedom in order to merit the name ”physical”, namely it contains as many as the unrestricted; the naive idea that by using a subspace one only gets a fraction of phase space degrees of freedom is a delusion, this can only happen if the subspace does not contain a timelike line as for a null-surface (holographic projection onto a horizon).

The geometric picture of a string in terms of a multi-component conformal field theory is that of an embedding of an n-component chiral theory into its n-dimensional component space (referred to as a target space), which is certainly a string. But this is not what modular localization reveals, rather those oscillatory degrees of freedom of the multicomponent chiral current go into an infinite dimensional Hilbert space over one localization point and do not arrange themselves according according to the geometric source-target idea. A theory of this kind is of course consistent but String Theory is certainly a very misleading terminology for this state of affairs. Any attempt to imitate Feynman rules by replacing word lines by word sheets (of strings) may produce prescriptions for cooking up some mathematically interesting functions, but those results can not be brought into the only form which counts in a quantum theory, namely a perturbative approach in terms of operators and states.

String Theory is by no means the only area in particle theory where geometry and modular localization are at loggerheads. Closely related is the interpretation of the Riemann surfaces, which result from the analytic continuation of chiral theories on the lightray/circle, as the ”living space” in the sense of localization. The mathematical theory of Riemann surfaces does not specify how it should be realized; if its refers to surfaces in an ambient space, a distinguished subgroup of Fuchsian group or any other of the many possible realizations is of no concern for a mathematician. But in the context of chiral models it is important not to confuse the living space of a QFT with its analytic continuation.

Whereas geometry as a mathematical discipline does not care about how it is concretely realized the geometrical aspects of modular localization in spacetime has a very specific geometric content namely that which can be encoded in subspaces (Reeh-Schlieder spaces) generated by operator subalgebras acting onto the vacuum reference state. In other words the physically relevant spacetime geometry and the symmetry group of the vacuum is contained in the abstract positioning of certain subalgebras in a common Hilbert space and not that which comes with classical theories.

# Superstrings as Grand Unifier. Thought of the Day 86.0

The first step of deriving General Relativity and particle physics from a common fundamental source may lie within the quantization of the classical string action. At a given momentum, quantized strings exist only at discrete energy levels, each level containing a finite number of string states, or particle types. There are huge energy gaps between each level, which means that the directly observable particles belong to a small subset of string vibrations. In principle, a string has harmonic frequency modes ad infinitum. However, the masses of the corresponding particles get larger, and decay to lighter particles all the quicker.

Most importantly, the ground energy state of the string contains a massless, spin-two particle. There are no higher spin particles, which is fortunate since their presence would ruin the consistency of the theory. The presence of a massless spin-two particle is undesirable if string theory has the limited goal of explaining hadronic interactions. This had been the initial intention. However, attempts at a quantum field theoretic description of gravity had shown that the force-carrier of gravity, known as the graviton, had to be a massless spin-two particle. Thus, in string theory’s comeback as a potential “theory of everything,” a curse turns into a blessing.

Once again, as with the case of supersymmetry and supergravity, we have the astonishing result that quantum considerations require the existence of gravity! From this vantage point, right from the start the quantum divergences of gravity are swept away by the extended string. Rather than being mutually exclusive, as it seems at first sight, quantum physics and gravitation have a symbiotic relationship. This reinforces the idea that quantum gravity may be a mandatory step towards the unification of all forces.

Unfortunately, the ground state energy level also includes negative-mass particles, known as tachyons. Such particles have light speed as their limiting minimum speed, thus violating causality. Tachyonic particles generally suggest an instability, or possibly even an inconsistency, in a theory. Since tachyons have negative mass, an interaction involving finite input energy could result in particles of arbitrarily high energies together with arbitrarily many tachyons. There is no limit to the number of such processes, thus preventing a perturbative understanding of the theory.

An additional problem is that the string states only include bosonic particles. However, it is known that nature certainly contains fermions, such as electrons and quarks. Since supersymmetry is the invariance of a theory under the interchange of bosons and fermions, it may come as no surprise, post priori, that this is the key to resolving the second issue. As it turns out, the bosonic sector of the theory corresponds to the spacetime coordinates of a string, from the point of view of the conformal field theory living on the string worldvolume. This means that the additional fields are fermionic, so that the particle spectrum can potentially include all observable particles. In addition, the lowest energy level of a supersymmetric string is naturally massless, which eliminates the unwanted tachyons from the theory.

The inclusion of supersymmetry has some additional bonuses. Firstly, supersymmetry enforces the cancellation of zero-point energies between the bosonic and fermionic sectors. Since gravity couples to all energy, if these zero-point energies were not canceled, as in the case of non-supersymmetric particle physics, then they would have an enormous contribution to the cosmological constant. This would disagree with the observed cosmological constant being very close to zero, on the positive side, relative to the energy scales of particle physics.

Also, the weak, strong and electromagnetic couplings of the Standard Model differ by several orders of magnitude at low energies. However, at high energies, the couplings take on almost the same value, almost but not quite. It turns out that a supersymmetric extension of the Standard Model appears to render the values of the couplings identical at approximately 1016 GeV. This may be the manifestation of the fundamental unity of forces. It would appear that the “bottom-up” approach to unification is winning. That is, gravitation arises from the quantization of strings. To put it another way, supergravity is the low-energy limit of string theory, and has General Relativity as its own low-energy limit.

# The Locus of Renormalization. Note Quote.

Since symmetries and the related conservation properties have a major role in physics, it is interesting to consider the paradigmatic case where symmetry changes are at the core of the analysis: critical transitions. In these state transitions, “something is not preserved”. In general, this is expressed by the fact that some symmetries are broken or new ones are obtained after the transition (symmetry changes, corresponding to state changes). At the transition, typically, there is the passage to a new “coherence structure” (a non-trivial scale symmetry); mathematically, this is described by the non-analyticity of the pertinent formal development. Consider the classical para-ferromagnetic transition: the system goes from a disordered state to sudden common orientation of spins, up to the complete ordered state of a unique orientation. Or percolation, often based on the formation of fractal structures, that is the iteration of a statistically invariant motif. Similarly for the formation of a snow flake . . . . In all these circumstances, a “new physical object of observation” is formed. Most of the current analyses deal with transitions at equilibrium; the less studied and more challenging case of far form equilibrium critical transitions may require new mathematical tools, or variants of the powerful renormalization methods. These methods change the pertinent object, yet they are based on symmetries and conservation properties such as energy or other invariants. That is, one obtains a new object, yet not necessarily new observables for the theoretical analysis. Another key mathematical aspect of renormalization is that it analyzes point-wise transitions, that is, mathematically, the physical transition is seen as happening in an isolated mathematical point (isolated with respect to the interval topology, or the topology induced by the usual measurement and the associated metrics).

One can say in full generality that a mathematical frame completely handles the determination of the object it describes as long as no strong enough singularity (i.e. relevant infinity or divergences) shows up to break this very mathematical determination. In classical statistical fields (at criticality) and in quantum field theories this leads to the necessity of using renormalization methods. The point of these methods is that when it is impossible to handle mathematically all the interaction of the system in a direct manner (because they lead to infinite quantities and therefore to no relevant account of the situation), one can still analyze parts of the interactions in a systematic manner, typically within arbitrary scale intervals. This allows us to exhibit a symmetry between partial sets of “interactions”, when the arbitrary scales are taken as a parameter.

In this situation, the intelligibility still has an “upward” flavor since renormalization is based on the stability of the equational determination when one considers a part of the interactions occurring in the system. Now, the “locus of the objectivity” is not in the description of the parts but in the stability of the equational determination when taking more and more interactions into account. This is true for critical phenomena, where the parts, atoms for example, can be objectivized outside the system and have a characteristic scale. In general, though, only scale invariance matters and the contingent choice of a fundamental (atomic) scale is irrelevant. Even worse, in quantum fields theories, the parts are not really separable from the whole (this would mean to separate an electron from the field it generates) and there is no relevant elementary scale which would allow ONE to get rid of the infinities (and again this would be quite arbitrary, since the objectivity needs the inter-scale relationship).

In short, even in physics there are situations where the whole is not the sum of the parts because the parts cannot be summed on (this is not specific to quantum fields and is also relevant for classical fields, in principle). In these situations, the intelligibility is obtained by the scale symmetry which is why fundamental scale choices are arbitrary with respect to this phenomena. This choice of the object of quantitative and objective analysis is at the core of the scientific enterprise: looking only at molecules as the only pertinent observable of life is worse than reductionist, it is against the history of physics and its audacious unifications and invention of new observables, scale invariances and even conceptual frames.

As for criticality in biology, there exists substantial empirical evidence that living organisms undergo critical transitions. These are mostly analyzed as limit situations, either never really reached by an organism or as occasional point-wise transitions. Or also, as researchers nicely claim in specific analysis: a biological system, a cell genetic regulatory networks, brain and brain slices …are “poised at criticality”. In other words, critical state transitions happen continually.

Thus, as for the pertinent observables, the phenotypes, we propose to understand evolutionary trajectories as cascades of critical transitions, thus of symmetry changes. In this perspective, one cannot pre-give, nor formally pre-define, the phase space for the biological dynamics, in contrast to what has been done for the profound mathematical frame for physics. This does not forbid a scientific analysis of life. This may just be given in different terms.

As for evolution, there is no possible equational entailment nor a causal structure of determination derived from such entailment, as in physics. The point is that these are better understood and correlated, since the work of Noether and Weyl in the last century, as symmetries in the intended equations, where they express the underlying invariants and invariant preserving transformations. No theoretical symmetries, no equations, thus no laws and no entailed causes allow the mathematical deduction of biological trajectories in pre-given phase spaces – at least not in the deep and strong sense established by the physico-mathematical theories. Observe that the robust, clear, powerful physico-mathematical sense of entailing law has been permeating all sciences, including societal ones, economics among others. If we are correct, this permeating physico-mathematical sense of entailing law must be given up for unentailed diachronic evolution in biology, in economic evolution, and cultural evolution.

As a fundamental example of symmetry change, observe that mitosis yields different proteome distributions, differences in DNA or DNA expressions, in membranes or organelles: the symmetries are not preserved. In a multi-cellular organism, each mitosis asymmetrically reconstructs a new coherent “Kantian whole”, in the sense of the physics of critical transitions: a new tissue matrix, new collagen structure, new cell-to-cell connections . . . . And we undergo millions of mitosis each minute. More, this is not “noise”: this is variability, which yields diversity, which is at the core of evolution and even of stability of an organism or an ecosystem. Organisms and ecosystems are structurally stable, also because they are Kantian wholes that permanently and non-identically reconstruct themselves: they do it in an always different, thus adaptive, way. They change the coherence structure, thus its symmetries. This reconstruction is thus random, but also not random, as it heavily depends on constraints, such as the proteins types imposed by the DNA, the relative geometric distribution of cells in embryogenesis, interactions in an organism, in a niche, but also on the opposite of constraints, the autonomy of Kantian wholes.

In the interaction with the ecosystem, the evolutionary trajectory of an organism is characterized by the co-constitution of new interfaces, i.e. new functions and organs that are the proper observables for the Darwinian analysis. And the change of a (major) function induces a change in the global Kantian whole as a coherence structure, that is it changes the internal symmetries: the fish with the new bladder will swim differently, its heart-vascular system will relevantly change ….

Organisms transform the ecosystem while transforming themselves and they can stand/do it because they have an internal preserved universe. Its stability is maintained also by slightly, yet constantly changing internal symmetries. The notion of extended criticality in biology focuses on the dynamics of symmetry changes and provides an insight into the permanent, ontogenetic and evolutionary adaptability, as long as these changes are compatible with the co-constituted Kantian whole and the ecosystem. As we said, autonomy is integrated in and regulated by constraints, with an organism itself and of an organism within an ecosystem. Autonomy makes no sense without constraints and constraints apply to an autonomous Kantian whole. So constraints shape autonomy, which in turn modifies constraints, within the margin of viability, i.e. within the limits of the interval of extended criticality. The extended critical transition proper to the biological dynamics does not allow one to prestate the symmetries and the correlated phase space.

Consider, say, a microbial ecosystem in a human. It has some 150 different microbial species in the intestinal tract. Each person’s ecosystem is unique, and tends largely to be restored following antibiotic treatment. Each of these microbes is a Kantian whole, and in ways we do not understand yet, the “community” in the intestines co-creates their worlds together, co-creating the niches by which each and all achieve, with the surrounding human tissue, a task closure that is “always” sustained even if it may change by immigration of new microbial species into the community and extinction of old species in the community. With such community membership turnover, or community assembly, the phase space of the system is undergoing continual and open ended changes. Moreover, given the rate of mutation in microbial populations, it is very likely that these microbial communities are also co-evolving with one another on a rapid time scale. Again, the phase space is continually changing as are the symmetries.

Can one have a complete description of actual and potential biological niches? If so, the description seems to be incompressible, in the sense that any linguistic description may require new names and meanings for the new unprestable functions, where functions and their names make only sense in the newly co-constructed biological and historical (linguistic) environment. Even for existing niches, short descriptions are given from a specific perspective (they are very epistemic), looking at a purpose, say. One finds out a feature in a niche, because you observe that if it goes away the intended organisms dies. In other terms, niches are compared by differences: one may not be able to prove that two niches are identical or equivalent (in supporting life), but one may show that two niches are different. Once more, there are no symmetries organizing over time these spaces and their internal relations. Mathematically, no symmetry (groups) nor (partial-) order (semigroups) organize the phase spaces of phenotypes, in contrast to physical phase spaces.

Finally, here is one of the many logical challenges posed by evolution: the circularity of the definition of niches is more than the circularity in the definitions. The “in the definitions” circularity concerns the quantities (or quantitative distributions) of given observables. Typically, a numerical function defined by recursion or by impredicative tools yields a circularity in the definition and poses no mathematical nor logical problems, in contemporary logic (this is so also for recursive definitions of metabolic cycles in biology). Similarly, a river flow, which shapes its own border, presents technical difficulties for a careful equational description of its dynamics, but no mathematical nor logical impossibility: one has to optimize a highly non linear and large action/reaction system, yielding a dynamically constructed geodetic, the river path, in perfectly known phase spaces (momentum and space or energy and time, say, as pertinent observables and variables).

The circularity “of the definitions” applies, instead, when it is impossible to prestate the phase space, so the very novel interaction (including the “boundary conditions” in the niche and the biological dynamics) co-defines new observables. The circularity then radically differs from the one in the definition, since it is at the meta-theoretical (meta-linguistic) level: which are the observables and variables to put in the equations? It is not just within prestatable yet circular equations within the theory (ordinary recursion and extended non – linear dynamics), but in the ever changing observables, the phenotypes and the biological functions in a circularly co-specified niche. Mathematically and logically, no law entails the evolution of the biosphere.

# Duality’s Anti-Realism or Poisoning Ontological Realism: The Case of Vanishing Ontology. Note Quote.

If the intuitive quality of the external ontological object is diminished piece by piece during the evolutionary progress of physical theory (which must be acknowledged also in a hidden parameter framework), is there any core of the notion of an ontological object at all that can be trusted to be immune against scientific decomposition?

Quantum mechanics cannot answer this question. Contemporary physics is in a quite different position. The full dissolution of ontology is a characteristic process of particle physics whose unfolding starts with quantum mechanics and gains momentum in gauge field theory until, in string theory, the ontological object has simply vanished.

The concept to be considered is string duality, with the remarkable phenomenon of T-duality according to which a string wrapped around a small compact dimension can as well be understood as a string that is not wrapped but moves freely along a large compact dimension. The phenomenon is rooted in the quantum principles but clearly transcends what one is used to in the quantum world. It is not a mere case of quantum indeterminacy concerning two states of the system. We rather face two theoretical formulations which are undistinguishable in principle so that they cannot be interpreted as referring to two different states at all. Nevertheless the two formulations differ in characteristics which lie at the core of any meaningful ontology of an external world. They differ in the shape of space-time and they differ in form and topological position of the elementary objects. The fact that those characteristics are reduced to technical parameters whose values depend on the choice of the theoretical formulation contradicts ontological scientific realism in the most straightforward way. If a situation can be described by two different sets of elementary objects depending on the choice of the theoretical framework, how can it make sense to assert that these ontological objects actually exist in an external world?

The question gets even more virulent as T-duality by no means remains the only duality relation that surfaces in string theory. It turns out that the existence of dualities is one of string theory’s most characteristic features. They seem to pop up wherever one looks for them. Probably the most important role played by duality relations today is to connect all different superstring theories. Before 1995 physicists knew 5 different types of superstring theory. Then it turned out that these 5 theories and a 6th by then unknown theory named ‘M-theory’ are interconnected by duality relations. Two types of duality are involved. Some theories can be transformed into each other through inversion of a compactification radius, which is the phenomenon we know already under the name of T-duality. Others can be transformed into each other by inversion of the string coupling constant. This duality is called S-duality. Then there is M-theory, where the string coupling constant is transformed into an additional 11th dimension whose size is proportional to the coupling strength of the dual theory. The described web of dualities connects theories whose elementary objects have different symmetry structure and different dimensionality. M-theory even has a different number of spatial dimensions than its co-theories. Duality nevertheless implies that M-theory and the 5 possible superstring theories only represent different formulations of one single actual theory. This statement constitutes the basis for string theory’s uniqueness claims and shows the pivotal role played by the duality principle.

An evaluation of the philosophical implications of duality in modern string theory must first acknowledge that the problems to identify uniquely the ontological basis of a scientific theory are as old as the concept of invisible scientific objects itself. Complex theories tend to allow the insertion of ontology at more than one level of their structure. It is not a priori clear in classical electromagnetism whether the field or the potential should be understood as the fundamental physical object and one may wonder similarly in quantum field theory whether that concept’s basic object is the particle or the field. Questions of this type clearly pose a serious philosophical problem. Some philosophers like Quine have drawn the conclusion to deny any objective basis for the imputation of ontologies. Philosophers with a stronger affinity for realism however often stress that there do exist arguments which are able to select a preferable ontological set after all. It might also be suggested that ontological alternatives at different levels of the theoretical structure do not pose a threat to realism but should be interpreted merely as different parameterisations of ontological reality. The problem is created at a philosophical level by imputing an ontology to a physical theory whose structure neither depends on nor predetermines uniquely that imputation. The physicist puts one compact theoretical structure into space-time and the philosopher struggles with the question at which level ontological claims should be inserted.

The implications of string-duality have an entirely different quality. String duality really posits different ‘parallel’ empirically indistinguishable versions of structure in spacetime which are based on different sets of elementary objects. This statement is placed at the physical level independently of any philosophical interpretation. Thus it transfers the problem of the lack of ontological uniqueness from a philosophical to a physical level and makes it much more difficult to cure. If theories with different sets of elementary objects give the same physical world (i. e. show the same pattern of observables), the elementary object cannot be seen as the unique foundation of the physical world any more. There seems to be no way to avoid this conclusion. There exists an additional aspect of duality that underlines its anti-ontological character. Duality does not just spell destruction for the notion of the ontological scientific object but in a sense offers a replacement as well.

Do there remain any loop-holes in duality’s anti-realist implications which could be used by the die-hard realist? A natural objection to the asserted crucial philosophical importance of duality can be based on the fact, that duality was not invented in the context of string theory. It is known since the times of P. M. Dirac that quantum electrodynamics with magnetic monopoles would be dual to a theory with inverted coupling constant and exchanged electric and magnetic charges. The question arises, if duality is poison to ontological realism, why didn’t it have its effect already at the level of quantum electrodynamics. The answer gives a nice survey of possible measures to save ontological realism. As it will turn out, they all fail in string theory.

In the case of quantum-electrodynamics the realist has several arguments to counter the duality threat. First, duality looks more like an accidental oddity that appears in an unrealistic scenario than like a characteristic feature of the world. No one has observed magnetic monopoles, which renders the problem hypothetical. And even if there were magnetic monopoles, an embedding of electromagnetism into a fuller description of the natural forces would destroy the dual structure anyway.

In string theory the situation is very different. Duality is no ‘lucky strike’ any more, which just by chance arises in a certain scenario that is not the real one anyway. As we have seen, it rather represents a core feature of the emerging theoretical structure and cannot be ignored. A second option open to the realist at the level of quantum electrodynamics is to shift the ontological posit. Some philosophers of quantum physics argue that the natural elementary object of quantum field theory is the quantum field, which represents something like the potentiality to produce elementary particles. One quantum field covers the full sum over all variations of particle exchange which have to be accounted for in a quantum process. The philosopher who posits the quantum field to be the fundamental real object discovered by quantum field theory understands the single elementary particles as mere mathematical entities introduced to calculate the behaviour of the quantum field. Dual theories from his perspective can be taken as different technical procedures to calculate the behaviour of the univocal ontological object, the electromagnetic quantum field. The phenomenon of duality then does not appear as a threat to the ontological concept per se but merely as an indication in favour of an ontologisation of the field instead of the particle.

The field theoretical approach to interpret the quantum field as the ontological object does not have any pendent in string theory. String theory only exists as a perturbative theory. There seems to be no way to introduce anything like a quantum field that would cover the full expansion of string exchanges. In the light of duality this lack of a unique ontological object arguably appears rather natural. The reason is related to another point that makes string dualities more dramatic than its field theoretical predecessor. String theory includes gravitation. Therefore object (the string geometry) and space-time are not independent. Actually it turns out that the string geometry in a way carries all information about space-time as well. This dependence of space-time on string-geometry makes it difficult already to imagine how it should be possible to put into this very spacetime some kind of overall field whose coverage of all string realisations actually implies coverage of variations of spacetime itself. The duality context makes the paradoxical quality of such an attempt more transparent. If two dual theories with different radii of a compactified dimension shall be covered by the same ontological object in analogy to the quantum field in field theory, this object obviously cannot live in space and time. If it would, it had to choose one of the two spacetime versions endorsed by the dual theories, thereby discriminating the other one. This theory however should not be expected to be a theory of objects in spacetime and therefore does not rise any hopes to redeem the external ontological perspective.

A third strategy to save ontological realism is based on the following argument: In quantum electrodynamics the difference between the dual theories boils down to a mere replacement of a weak coupling constant which allows perturbative calculation by a strong one which does not. Therefore the choice is open between a natural formulation and a clumsy untreatable one which maybe should just be discarded as an artificial construction.

Today string theory cannot tell whether its final solution will put its parameters comfortably into the low-coupling-constant-and-large-compact-dimension-regime of one of the 5 superstring theories or M-theory. This might be the case but it might as well happen, that the solution lies in a region of parameter space where no theory clearly stands out in this sense. However, even if there was one preferred theory, the simple discarding of the others could not save realism as in the case of field theory. First, the argument of natural choice is not really applicable to T-duality. A small compactification radius does not render a theory intractable like a large coupling constant. The choice of the dual version with a large radius thus looks more like a convention than anything else. Second, the choice of both compactification radii and string coupling constants in string theory is the consequence of a dynamical process that has to be calculated itself. Calculation thus stands before the selection of a certain point in parameter space and consequently also before a possible selection of the ontological objects. The ontological objects therefore, even if one wanted to hang on to their meaningfulness in the final scenario, would appear as a mere product of prior dynamics and not as a priori actors in the game.

Summing up, the phenomenon of duality is admittedly a bit irritating for the ontological realist in field theory but he can live with it. In string theory however, the field theoretical strategies to save realism all fail. The position assumed by the duality principle in string theory clearly renders obsolete the traditional realist understanding of scientific objects as smaller cousins of visible ones. The theoretical posits of string theory get their meaning only relative to their theoretical framework and must be understood as mathematical concepts without any claim to ‘corporal’ existence in an external world. The world of string theory has cut all ties with classical theories about physical bodies. To stick to ontological realism in this altered context, would be inadequate to the elementary changes which characterize the new situation. The demise of ontology in string theory opens new perspectives on the positions where the stress is on the discontinuity of ontological claims throughout the history of scientific theories.

# Black Holes. Thought of the Day 23.0

The formation of black holes can be understood, at least partially, within the context of general relativity. According to general relativity the gravitational collapse leads to a spacetime singularity. But this spacetime singularity can not be adequately described within general relativity, because the equivalence principle of general relativity is not valid for spacetime singularities; therefore, general relativity does not give a complete description of black holes. The same problem exists with regard to the postulated initial singularity of the expanding cosmos. In these cases, quantum mechanics and quantum field theory also reach their limit; they are not applicable for highly curved spacetimes. For a certain curving parameter (the famous Planck scale), gravity has the same strength as the other interactions; then it is not possible to ignore gravity in the context of a quantum field theoretical description. So, there exists no theory which would be able to describe gravitational collapses or which could explain, why (although they are predicted by general relativity) they don’t happen, or why there is no spacetime singularity. And the real problems start, if one brings general relativity and quantum field theory together to describe black holes. Then it comes to rather strange forms of contradictions, and the mutual conceptual incompatibility of general relativity and quantum field theory becomes very clear:

Black holes are according to general relativity surrounded by an event horizon. Material objects and radiation can enter the black hole, but nothing inside its event horizon can leave this region, because the gravitational pull is strong enough to hold back even radiation; the escape velocity is greater than the speed of light. Not even photons can leave a black hole. Black holes have a mass; in the case of the Schwarzschild metrics, they have exclusively a mass. In the case of the Reissner-Nordström metrics, they have a mass and an electric charge; in case of the Kerr metrics, they have a mass and an angular momentum; and in case of the Kerr-Newman metrics, they have mass, electric charge and angular momentum. These are, according to the no-hair theorem, all the characteristics a black hole has at its disposal. Let’s restrict the argument in the following to the Reissner-Nordström metrics in which a black hole has only mass and electric charge. In the classical picture, the electric charge of a black hole becomes noticeable in form of a force exerted on an electrically charged probe outside its event horizon. In the quantum field theoretical picture, interactions are the result of the exchange of virtual interaction bosons, in case of an electric charge: virtual photons. But how can photons be exchanged between an electrically charged black hole and an electrically charged probe outside its event horizon, if no photon can leave a black hole – which can be considered a definition of a black hole? One could think, that virtual photons, mediating electrical interaction, are possibly able (in contrast to real photons, representing radiation) to leave the black hole. But why? There is no good reason and no good answer for that within our present theoretical framework. The same problem exists for the gravitational interaction, for the gravitational pull of the black hole exerted on massive objects outside its event horizon, if the gravitational force is understood as an exchange of gravitons between massive objects, as the quantum field theoretical picture in its extrapolation to gravity suggests. How could (virtual) gravitons leave a black hole at all?

There are three possible scenarios resulting from the incompatibility of our assumptions about the characteristics of a black hole, based on general relativity, and on the picture quantum field theory draws with regard to interactions:

(i) Black holes don’t exist in nature. They are a theoretical artifact, demonstrating the asymptotic inadequacy of Einstein’s general theory of relativity. Only a quantum theory of gravity will explain where the general relativistic predictions fail, and why.

(ii) Black holes exist, as predicted by general relativity, and they have a mass and, in some cases, an electric charge, both leading to physical effects outside the event horizon. Then, we would have to explain, how these effects are realized physically. The quantum field theoretical picture of interactions is either fundamentally wrong, or we would have to explain, why virtual photons behave completely different, with regard to black holes, from real radiation photons. Or the features of a black hole – mass, electric charge and angular momentum – would be features imprinted during its formation onto the spacetime surrounding the black hole or onto its event horizon. Then, interactions between a black hole and its environment would rather be interactions between the environment and the event horizon or even interactions within the environmental spacetime.

(iii) Black holes exist as the product of gravitational collapses, but they do not exert any effects on their environment. This is the craziest of all scenarios. For this scenario, general relativity would have to be fundamentally wrong. In contrast to the picture given by general relativity, black holes would have no physically effective features at all: no mass, no electric charge, no angular momentum, nothing. And after the formation of a black hole, there would be no spacetime curvature, because there remains no mass. (Or, the spacetime curvature has to result from other effects.) The mass and the electric charge of objects falling (casually) into a black hole would be irretrievably lost. They would simply disappear from the universe, when they pass the event horizon. Black holes would not exert any forces on massive or electrically charged objects in their environment. They would not pull any massive objects into their event horizon and increase thereby their mass. Moreover, their event horizon would mark a region causally disconnected with our universe: a region outside of our universe. Everything falling casually into the black hole, or thrown intentionally into this region, would disappear from the universe.

# Time, Phenomenologically.

Phenomenological philosophy claims that time is not the place, the scene, the container or the medium for events (changes), nor a dimension along which everything flows. According to Jean-Toussaint Desanti, a French scholar of Husserl, we should forget “the ordinary meaning of the preposition “in” we spontaneously use when we talk about our experience of time. It is even this use, so ancient that should be the subject of our review. Really it would be strange that what we have learned to call “time” can contain anything. And yet we say without anxiety: “It is time that everything goes.”

But what is happening “in” time does not remain as a place. In fact, this is the major objection of Bergson against Einstein’s Special Relativity, that he has dimensioned time, something immeasurable in the same way as space, which is, of course (in everyday life), measurable. This kind of reasoning in phenomenology is not that far from the one in modern physics.

As Smolin says,

There is a deeper problem, perhaps going back to the origin of physics… time is frozen as if it were another dimension of space. Motion is frozen, and a whole history of constant motion and change is presented to us as something static and unchanging… We have to find a way to unfreeze time — to represent time without turning it into space.

In the words of Carlos Rovelli,

Today, the novelty that comes from quantum gravity is that space does not exist. … But combining this idea with relativity, one must conclude that the non-existence of space also implies the non-existence of time. Indeed, this is exactly what happens in quantum gravity: the variable t does not appear in the Wheeler-DeWitt equation, or elsewhere in the basic structure of the theory. … Time does not exist.

The claim about the imaginary, surreal, even exotic nature of time is not new in philosophy and physics. Of course, there have always been, too, physicists defending the real existence of time, even so real to define such a quantum variable as the chronon with the idea in mind to reconcile special and general relativity with quantum field theory. This “atom” of time was supposed to be the duration for light to travel the distance of the classical (non-quantum) radius of an electron. This model implies a lowest level of actuality, as asserted in the Planck scale.

In his book “Time Reborn” Smolin argues that physicists have inappropriately banned the reality of time because they confuse their timeless mathematical models with reality. His claim was that time is both real (which means external to him) and fundamental, hypothesizing that the very laws of physics are not fixed, but evolve over time. This stance is not really a new one. But it means again an absolute external reference axis and a direction for placing events in a sequence, which phenomenologists decline as the only option. Some of them, partly inspired by the late works of Heidegger and Merleau-Ponty, approach time neither from the standpoint of simultaneity alone, nor from that of succession. For instance, the dualism of these two concepts is surpassed in favor of a temporal dialectic in which simultaneity and succession are entwined, without denying their separate meanings. Heidegger’s concept of “true time” speaks to this approach to phenomenology.