The God has created a man in order that he creates that the God fails to do



Saturday, 24 December 2011

“Antropomorphic” mathematics and the crisis of science

Created by humans, our science is anthropomorphic, but not universal. Even in the basics of mathematical logic and axioms of set theory, it emanates from the everyday experience of people. This science meets fundamental challenges when trying to describe, for example, quantum systems,

One of the main achievements of mathematics of XX century are Godel’s incompleteness theorems which state that any formal system in mathematical logic, capable of expressing elementary arithmetic, can not be both consistent and complete. Namely, there are statements expressible in its language that are unprovable. Godel’s theorems developed an axiomatic theory of natural numbers of R. Dedekind and G. Peano. Published in 1931, they showed the failure of Hilbert's program to formalize mathematics. At present, Godel’s incompleteness theorems provide the main principle of methodology of modern science.

Indeed, contemporary theoretical physics forces us to conclude that any complicated physical system is not described by a unique theoretical model, but one needs several models, each of them has its own area of application and describes only a part or a certain aspect of a physical system. Moreover, these models at the intersection of their application areas fail to be consistent in principal.

In particular, until recently, theoreticians followed famous Dirac’s thesis: "A physical law should have mathematical beauty", written by him on the wall of D.D. Ivanenko’s office in Moscow State University. However, almost none of existent realistic theories satisfy this thesis. For example, the unified Standard Model of electroweak interaction is far from to be mathematically elegant. At present, only classical field theory admits the comprehensive mathematical formulation in terms of fibre bundles. Fundamental problems remain in classical mechanics: for instance, there is no intrinsic definition of inertial reference frames. In quantum mechanics, we have different non-consistent quantization techniques, e.g., algebraic quantization (the GNS construction) and canonical quantization.

However, the main "headache" of contemporary theoretical physics is quantum field theory. Some its parts (algebraic quantum theory, perturbative quantum theory, quantum electrodynamics) themselves look rather satisfactory. However, an integrated mathematical formulation of quantum field theory fails to exist yet. Moreover, there are doubts whether such a formulation within the existent mathematics is possible at all.

This mathematic is based on the mathematical logic which formalizes the logic of human thinking. It results from evolution of mental processes of a human mind, and it is the logic of statements in a language of words. This logic is not universal, it is "anthropomorphic". For example, an intelligent ocean in "Solaris" of Stanislaw Lem exemplifies a different logic, not the logic of statements.

In addition to the mathematical logic, the foundation of contemporary mathematics also contains the axiomatic set theory. In the initial period of its development at the fall XIX century (e.g., by G. Cantor), set theory was based on the intuitive notion of a set. However, soon it turned out that the uncertainty of this notion led to contradictions. The most famous of them are antinomies of Russell (1902) and Cantor (1899). Unfolded around antinomies debate has stimulated the development of axiomatic set theory, although its axioms are based on intuitive ideas, too. First axioms of set theory were suggested by Zermelo in 1908. At the present, there are several axiomatic systems of set theory, which are divided into four groups. Let us mention the Zermelo - Fraenkel system and the Von Neumann – Bernays – Godel one. The latter mainly is used in mathematical physics since it is a base of theory of categories. In the framework of this axiomatics, in addition to sets, another basic concept of the class is introduced in order not to consider too "big" sets that leads to contradictions. For example, all of the sets form a class, but not a set. Classes, unlike sets, can not be elements of classes and sets. With all the variety of axiomatic systems of set theory, all of them include some basic concepts and axioms, e.g., the notions of that a set consists of elements, the subset, the complement of a subset, the empty set, and axioms of the existence of the union and intersection of sets. All of these concepts came from the everyday experience of people dealing with classical macroscopic objects. However, they are not so evident, for example, in a quantum world. In particular, a quantum system may not consist of elements, or not admit a subsystem, or a subsystem has no a complement, etc.

Thus, our mathematics based on the logic of statements and set theory fails to be adequate in order to study the inanimate nature, where there are no “statements” and "words”. Therefore, our science fails to be universal, and it is both limited in its subject and incomplete in the image.

About twenty years ago, the idea was put forward to develop a new "quantum" logic and new "quantum" mathematics. However, the problem is not in that a new system of axioms must be offered, but in the fact that such a system could lead to “rich” mathematical theory. It is not possible yet. At the same time, the existent mathematics is meaningful because it simply follows an observable reality. Figuratively speaking, it solves a problem which has a solution a posteriori, and this solution needs to be recorded only. Developing one or another "quantum" mathematics, we do not know whether the problem has a solution in principle. Unfortunately, we can not put ourselves in the place of quarks and, therefore, we do not understand something important in a quantum world.

References:

Sardanashvily's blog post  Archive

Saturday, 17 December 2011

What is a reference frame in field theory and mechanics

Non-relativistic mechanics as like as classical field theory is formulated in terms of fibre bundles.

In classical field theory on a fibre bundle Y->X, a reference frame is defined as an atlas of this fibre bundle, i.e. a system of its local trivializations.

If it is a gauge theory, Y->X is a fibre bundle with a structure Lie group G, and a reference frame equivalently defined as a system of local sections of an associated principal bundle P->X.

In particular, in gravitation theory on a world manifold X, a reference frame is a system of local frame fields, i.e. local sections of a fibre bundle P->X of linear frames in the tangent bundle TX of X.  This also is the case of relativistic mechanics. Therefore, one can treat the components of a tangent reference frame as relativistic velocities of some observers.

There are some reasons to assume that a world manifold X is parallelizable, i.e. its tangent bundle is trivial, and there exists a global section of a frame bundle P->X, i.e. a global reference frame. In this case, by virtue of the well-known theorem, there exists a flat connection K on a world manifold X which is trivial (K=0) with respect to this reference frame, and vice versa. Consequently, a reference frame on a parallelizable world manifold can be defined as a flat connection. The corresponding covariant differential provides relative velocities with respect to this reference frame.

Lagrangian and Hamiltonian non-relativistic mechanics is formulated as Lagrangian and Hamiltonian theory on fibre bundles Q->R over the time axis R. Such fibre bundle is always trivial. Therefore, a reference frame in non-relativistic mechanics can be defined both as a trivialization of a fibre bundle Q->R and a connection K on this fibre bundle. Absolute velocities are represented by elements v of the jet bundle JQ of Q, and their covariant differential v-K are relative velocities with respect to a reference frame K.

This description of a reference frame as a connection enables us to formulate non-relativistic mechanics with respect to any reference frame and arbitrary reference frame transformations.

References:
G.Giachetta, L.Mangiarotti, G.Sardanashvily, Advanced Classical field Theory (WS, 2009)
G.Giachetta, L.Mangiarotti, G.Sardanashvily,  Geometric Formulation of Classical and Quantum Mechanics (WS, 2010)
Sardanashvily's blog post Archive
 

Sunday, 11 December 2011

Covariant (polysymplectic) Hamiltonian field theory (from my Scientific Biography)

Classical field theory is formulated as Lagrangian theory. All fundamental field equations are Euler – Lagrange equations derived from some Lagrangian. At the same time, classical autonomous (conservative) mechanics admits both Lagrangian and Hamiltonian formulations, which, however, are not equivalent. A Hamiltonian formulation of mechanics is based on symplectic geometry which a phase space is provided with. Naturally, a long time ago there arose a question about a Hamiltonian formulation of field theory. However, a straightforward application of symplectic Hamiltonian formalism to field theory, when canonical momenta are correspondent to derivatives of field functions only with respect to time, leads to an infinite-dimensional phase space, where  canonical variables are functions in any given instant. The Hamilton equations on such a phase space are not familiar differential equations and, in no way, comparable to the Euler - Lagrange equations of field theory. Such a symplectic Hamiltonian construction is utilized exclusively in quantum field theory to obtain the commutation relations of quantum field operators.

At the same time, a finite-dimensional phase space can be obtained if one considers canonical momenta correspondent to derivatives of field functions relative to all space-time coordinates. Such an approach is called the covariant Hamiltonian field theory. Its different variants are considered. These are polysymplectic, multisymplectic, k-symplectic Hamiltonian theories in accordance with a choice of a phase space and entered structure on it, generalizing symplectic geometry. In 1990, this question attracted attention of my student and collaborator Oleg Zakharov, who, in 1992, published an article in Journal of Mathematical Physics. However, he met a problem of constructing Hamilton equations of fields similar to the Euler – Lagrange ones. I built these equations, and then close interested in this topic.

We restricted our consideration to first order field theory, and developed polysymplectic Hamiltonian formalism on fibre bundles which, in the case of fibre bundles over the temporal axis X=R, led to non-autonomous Hamiltonian mechanics with the usual canonical variables. We constructed a globally defined polysymplectic form on a phase space, developed polysymplectic Hamiltonian formalism and, given a Lagrangian, built the associated Hamiltonians. The main results were presented in [65,66] in 1992 and, in 1993, we published already quite detailed theory [67]. The main problem was that Lagrangian and Hamiltonian formalisms on fibre bundles are not equivalent, unless only a Lagrangian is hyperregular, i.e., when the Legendre map of a configuration space to a phase space is a diffeomorphism. In a general case, one and the same Lagrangian is associated to different Hamiltonians, or no one. The comprehensive relationship between Lagrangian and polysymplectic Hamiltonian formalisms can be given in the case of the so-called semiregular and almost regular Lagrangians. The basic theorems are presented in papers [67,69] and books [10,11], and the final theory was published in the book [12] in 1997 and in the  article [88] in 1999.

Polysymplectic Hamiltonian formalism was considered in application to the basic field models, all of which are almost regular. We studied a possibility of quantization of fields in covariant canonical variables [70,114]. However, a question remains still open because additional gauge symmetries, arising in field models in covariant canonical variables, are not studied till now.

Reference:

G.Sardanashvily, My Scientific Biography 

Blog post Archive


Sunday, 4 December 2011

Why a classical system admits different non-equivalent quantization

A classical mechanical system admits equivalent description in different variables whose transformation law need not be linear.

In particular, a Hamiltonian classical system is equivalently described by variables related by arbitrary canonical transformations. 

If we have a completely integrable Hamiltonian system, its descriptions in original variables and the action-angle ones also are equivalent, though the transformation law between these variables is neither linear nor canonical in general.

In contrast with classical variables, quantum operators are linear operators in Hilbert spaces of quantum states and, therefore, they admit only linear transformations.  For instance, let a classical system be described in an equivalent way with respect to different variables (q,p) and (q’,p’) which possess some non-linear transformation law q’=Q(q,p), p’=P(q,p). Let (q, p) and (q’,p’) be quantization of these variables by operators in Hilbert spaces E and E’, respectively. Then the quantum systems characterized by quantum operators (q, p) and (q’,p’)  fail to be equivalent because there is no Hilbert space morphism E->E’ which transform (q, p)->(q’,p’).

In particular, there is no quantum partner of classical canonical transformations ubless they are linear.

Quantization of a completely integrable Hamiltonian system with respect to original variables and the action-angle ones is not equivalent and leads to different energy spectrums. For instance, this is the case of a Kepler system, whose familiar Schrodinger quantization provides the well-known energy spectrum of a hydrogen atom, but its quantization with respect to action-angle variables leads to a different energy spectrum.

Thus, a classical system can admit non-equivalent quantization. A problem is that nobody generally knows what its quantization is true.

References:

G.Giachetta, L.Mangiarotti, G.Sardanashvily, Geometric and Algebraic Topological Methods in Quantum Mechanics (WS, 2005)

G.Giachetta, L.Mangiarotti, G.Sardanashvily, Geometric quantization of completely integrable Hamiltonian systems in the action-angle variables, Phys. Lett. A 301 (2002) 53-57; arXiv: quant-ph/0112083

Sunday, 27 November 2011

Five fundamental problems of contemporary physics

Classical mechanics: There is no intrinsic definition of an inertial reference frame.

Relativistic mechanics: What is a physical origin of a Minkowski space-time?

Quantum mechanics: Why are quantum operators represented by the differential ones?

Classical field theory: Why is classical field theory the Lagrangian one?

Quantum field theory: What are quantum fields?

Tuesday, 22 November 2011

Integrable Hamiltonian systems: generalization to a case of non-compact invariant submanifolds (from my Scientific Biography)

The study of integrable Hamiltonian systems in conservative mechanics did not lay in the mainstream of my research, and they were in my field of vision by accident. Moreover, it was difficult to imagine a possibility of generalization of the fundamental Liouville - Arnold theorem on "action-angle" coordinates in a neighborhood of an invariant submanifolds of a completely integrable Hamiltonian system.

This theorem was proved for a case of compact invariant submanifolds. First, it is proved that a compact invariant submanifold is a multi-dimensional torus, and then, this fact is used in a simple way  that every function on a torus is cyclic.

It seemed to me that this condition can be avoided. Not assuming initially a compactness of an invariant submanifold of an integrable Hamiltonian system, we proved that it is a multi-dimensional cylinder, and then managed to build generalized  "action-angle" coordinates in its neighborhood [102,103]. It all took less than a month. Bring the chronology of events related to that.

It was further naturally to go to partially integrable Hamiltonian systems and, in 2003, we generalized the Nekhoroshev theorem to the case of noncompact  invariant submanifolds [106,108]. In connection with them, we considered bi-Hamiltonian systems, and described a class of Poisson structures with respect to which a Hamiltonian system is partially integrable [108].

As integrable Hamiltonian systems are still, not my subject, at that time I did not suspect about existence of superintegrable Hamiltonian systems. They caught me in the eyes in 2006, and we have generalized the Mishchenko - Fomenko theorem to the case of non-compact invariant submanifolds [123]. We used the fact that such a submanifold in fact is an invariant submanifold of a partially integrable Hamiltonian system, and referred  to our generalization of the Nekhoroshev theorem.

Our results touched generalized "action-angle" coordinates in some neighborhood of non-compact invariant submanifolds. There were known topological obstructions to the existence of global "action-angle" coordinates for completely integrable Hamiltonian systems with compact invariant submanifolds. We generalized these results to a non-compact case [125]. Moreover, it turned out that, in a general case, a phase space of a superintegrable system system is decomposed into open areas, where a system is different, i.e., its integrals of motion form different Lie algebra [135]. An example is the Kepler system whose phase space is split into two areas. In one of them, invariant submanifolds are ellipses, and integrals of motion form the Lie algebra so(3), but in the other, they are hyperboles, and the Lie algebra of integrals of motion is so(2,1).

An example of integrable Hamiltonian systems with non-compact invariant submanifolds are non-autonomous integrable Hamiltonian systems whose invariant submanifolds obviously contain the time axis R. The theory of such integrable Hamiltonian systems has been developed [17,103].

Using the method of geometrical quantization, we have implemented quantization of completely integrable and superintegrable Hamiltonian systems in "action-angle" variables [104,124], including non-autonomous completely integrable systems [102]. It should be noted that, since transformations between original variables and "action-angle" variables are non-linear, quantization in those and other variables are not equivalent. However, as already noted, in "action-angle" variables, we can build non-adiabatic classical and quantum holonomy operators for completely integrable Hamiltonian system [15,17,112].

Reference:
G.Sardanashvily, My Scientific Biography

Thursday, 17 November 2011

On a mathematical hypothesis of quantum space-time

A space-time in field theory, except noncommutative field theory, is traditionally described as a finite-dimensional smooth manifold, locally homeomorphic to an Euclidean topological space E. The following fact enables us to think that a space-time might be a wider space of Schwartz distributions on E.

Let E be an Euclidean topological space. Let D(E) be a space of smooth complex functions F of compact support on E. The space of continuous forms on D(E)  is the space D'(E) of Schwartz distributions on E, which includes the subspace T(E) of Dirac’s delta-functions dl_x such that, for any function F on E, we have dl_x(F)=F(x).

A key point is that there exists a homeomorphism x->dl_x of E onto the subset T(E) of delta-functions of D'(E). Moreover, the injection E-> T(E)-> D'(E) is smooth. Therefore, we can identify E with a topological subspace E=T(E) of the space of Schwartz distributions. Herewith, any smooth function F of compact support on E= T(E) is extended to a continuous form
F’(dl_x+w)=F(x) + F’(w)
on the space of Schwartz distributions D'(E). One can think of this extension F’ as being a quantum deformation of F.

In quantum models, one therefore should replace integration of functions over E with that over D'(E).

Reference:
G.Sardanashvily, On the mathematical origin of quantum space-time, arXiv: 0709.3475

Friday, 11 November 2011

Review on our book "Geometric Formulation of Classical and Quantum Mechanics" in Mathematical Reviews

MR2761736
G.Giachetta, L.Mangiarotti, G.Sardanashvily
Geometric formulation of classical and quantum mechanics. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2011. xii+392 pp. ISBN: 978-981-4313-72-8; 981-4313-72-6

Whereas most textbooks on the differential geometrical approach to classical and quantum mechanics are concerned with the case of autonomous (i.e., time-independent) systems, the present book addresses the case of time-dependent mechanical systems. Except for chapter 10, which explicitly deals with the relativistic case, the treatment is confined to non-relativistic mechanics. The extended configuration space of a time-dependent system is taken to be a fibre bundle Q over R, the time axis, and the corresponding velocity space is the first jet bundle JQ. The resulting description of non-relativistic mechanics becomes covariant, but not invariant under bundle transformations, i.e., time-dependent coordinate and reference frame transformations.
   The first chapter starts with some general preliminaries about fibre bundles, jet bundles, connections and the notions of first- and second-order dynamic equations. After the definition of a reference frame in terms of a connection on the configuration bundle, attention is paid, among other things, to the Newtonian formulation of time-dependent mechanics. Chapters 2 and 3 then deal with the Lagrangian and Hamiltonian description of a time-dependent non-relativistic system, respectively. The Lagrangian formulation is based on the variational bicomplex and the first variational formula and, besides the classical Lagrange equations of motion, the Cartan equations and the Hamilton-De Donder equations are also considered within this framework. A further topic that is discussed is the connection between the conservation laws of Lagrangian systems and variational symmetries, according to Noether's theorem. The Hamiltonian formulation of non-relativistic mechanics is developed on the vertical cotangent bundle V*Q of the configuration bundle Q->R, and it is shown that to any Hamiltonian system on V*Q there corresponds an equivalent autonomous symplectic Hamiltonian system on T*Q. The connections between the Lagrangian and Hamiltonian formulations of time-dependent mechanics are also investigated.
   Chapters 4 to 6 are devoted to the quantization of time-dependent mechanical systems. In chapter 4, a geometric framework for non-relativistic quantum mechanics is presented in terms of Banach and Hilbert manifolds and locally trivial Hilbert and C*-algebra bundles. A quantization scheme in the spirit of geometric quantization is then developed in chapter 5. Chapter 6 studies the geometric quantization of Hamiltonian systems with time-dependent constraints.
   In chapter 7, completely integrable, partially integrable and superintegrable Hamiltonian systems are treated in a general setting of invariant submanifolds which need not be compact. Using appropriate action-angle coordinates, the geometric quantization of completely integrable and superintegrable Hamiltonian systems is discussed. In chapter 8, the vertical extension of a mechanical system is considered from the configuration bundle Q->R to the vertical tangent bundle VQ->R, and the Jacobi fields of the Lagrange and the Hamilton equations of the system are investigated. It is shown, for instance, that the Jacobi fields of a completely integrable Hamiltonian system make up a completely integrable system in twice the number of degrees of freedom, whereby the additional first integrals characterize the relative motion. Chapter 9 deals with mechanical systems with time-dependent parameters. The Lagrangian and Hamiltonian description is analysed, treating the parameters at the same level of the dynamical variables. Next, the geometric quantization of these systems is studied.
   Leaving the non-relativistic setting, chapter 10 is concerned with the description of relativistic mechanics, both Lagrangian and Hamiltonian, and the geometric quantization of a relativistic mechanical system is discussed. Finally, chapter 11 contains several appendices, devoted to various mathematical topics which complement the main treatment, making it somewhat more self-contained (e.g., commutative algebras, geometry of fiber bundles, jet manifolds, connections, differential operators on modules, etc.).
   Although this book is addressed to a wide audience of mathematicians and theoretical physicists, even at an (advanced) undergraduate level, in my opinion it will primarily be appreciated by more experienced researchers who already have some acquaintance with the geometric approach to classical and quantum mechanics.


Reference:
G.Giachetta, L.Mangiarotti, G.Sardanashvily, Geometric Formulation of Classical and Quantum Mechanics (WS 2010)

Sunday, 6 November 2011

II. How we developed gauge gravitation theory (from my Scientific Biography)

Proposed by D.Ivanenko and me in the early 80-ies, gauge gravitation theory, where a metric gravity has been described as a Higgs field, had the disadvantage that it is not defined gauge transformations of gravitation theory. This question was discussed [52]. Since gauge gravitation evidently should include Einstein’s General Relativity, its  gauge tsymmetries are general covariant transformations. However, there was no clarity in the definition of general covariant transformations. The answer was found in the framework of fibre bundle formalism, too. These transformations characterize the so-called natural bundles.

Let us restrict ourselves to one-parameter groups of transformations and their infinitesimal generators, which are vector fields. Let Y->X be a fibre bundle. Generators of one-parameter groups of diffeomorphisms of its base X are vector fields on X. Such a vector field can give rise to a vector field on Y in a different way, e.g., by means of connection on Y->X. However, such a lift u->u’, in general, is not functorial, i.e., it is not a homomorphism of a Lie algebra T(X) of vector fields on X to a Lie algebra T(Y) of vector fields on Y since the commutator [u',v'] need not be equal a lift [u,v]' of the commutator of vector felds u and v on X. However, there are fibre bundles which allow a functorial lift Fu of vector fields u on a base X, so that the above-mentioned homomorphism of a Lie algebra T(X) to T(Y) holds. These bundles are called natural. These include tangent TX and cotangent T*X bundles over X, their tensor  products, a linear frame bundle LX and all associated bundles, but not only. A functorial lift Fu on a natural bundle Y of vector fields on its base X, by definition, are generators of one-parameter groups of general covariant transformations of Y. Thus, gravitation theory must be built as classical field theory on natural bundles [73,77,80,98]. In particular, this implies the following.

A group of general covariant transformations is a subgroup of the group of automorphisms Aut(LX) of a linear frame bundle LX. However, Lagrangians of gravitation theory, in particular, a Lagrangian of General Relativity are invariant only under general covariant transformations, but not general frame transformation from Aut(LX). Therefore, a gravitational field (pseudo-Riemannian metric), in contrast to  Higgs fields in gauge theory of internal symmetries, is not brought to the Minkowski metric by gauge transformations and, therefore, it is a dynamic variable.

An energy-momentum current in gravitation theory is a current symmetry along a functorial lift Fu of vector fields u on X. It leads to a generalized Komar energy-momentum superpotential [73,77].

Spinor bundles are not natural, and they do not admit general covariant transformations. Therefore, a question arises about description of Dirac fermion fields in gravitation theory. Because these fields admit only Lorentz transformations, there is a situation of spontaneous symmetry breaking. In this case, a spinor field is described only in a pair with a certain gravitation field g, namely, by sections of a spinor bundle S^g associated with a reduced subbundle L^gX of a linear frame bundle LX. Then, in accordance with a general scheme of description of spontaneous symmetry breaking in classical field theory, all the spinor and gravitational fields are represented by sections of a composite bundle S->LX/SO(1,3)->X, where S->LX/SO(1,3) is a spinor bundle associated with LX->LX/SO(1,3) [80,81]. In particular, a fibre bundle S->X  is natural, and  energy-momentum current of spinor fields can be defined.

The Higgs nature of a gravitational field is clarified by the fact that, for different gravitational fields g and g', spinor bundles S^g and S^g’ are not equivalent, because the representation of tangent covectors by Dirac matrices and, consequently, the Dirac operators are not equivalent.

Reference:
G.Sardanashvily My Scientific Biography

Wednesday, 2 November 2011

I. How we developed gauge gravitation theory (from my Scientific Biography)

… Enrolling in a graduate school in 1973, I among other things addressed to gauge gravitation theory. This direction was developed in Ivanenko’s group in the early 1960s, but then subsided with the departure of G. Sokolik, though continued to be discussed at the seminar of Ivanenko because it led to theory of gravity with torsion that Ivanenko engaged in.

By that time it became clear that gauge theory was adequately formulated in the formalism of fibre bundles, although a comprehensive formulation appeared later in the two articles: M. Daniel and C. Viallet in Reviews of Modern Physics and T. Eguchi, P. Gilkey and A. Hanson in Physics Reports in 1980. I therefore actively engaged in the study of differential geometry with the help of the translation of the book R.Sulanke and P.Wintgen, "Differential geometry and Fibre Bundles" which was released in 1975. The well-known two volumes of S.Kobayashi and K.Nomizu in the Russian translation appeared only in 1981. Simultaneously, I learned general topology on the books of Bourbaki and K.Kuratowski.

My first article on gauge gravitation theory [18] was released in September 1974. It was the author of I, but D.Ivanenko, to be sure, brought in as my co-author B.Frolov, who previously was engaged in gauge theory of gravity. In the article already mentions fibre bundles. After three months, it was published my second article [19], where I was a sole author.

By the time, when I turned to gauge gravitation theory, the problem was already almost 20 years. In 1954, C. Yang and R. Mills proposed first gauge model for a symmetry group SU(2). And already in 1956, R. Utiyama generalized this theory for an arbitrary Lie groups of internal symmetries G, including theory of gravity as a gauge theory of the Lorentz group. It is natural to assume that gauge gravitation theory should contain Einstein’s General Relativity. In General Relativity, a gravitational field is identified with a pseudo-Riemannian metric, and its symmetries are general covariant transformations. However, the difficulty was with the status of pseudo-Riemannian metrics and general covariant transformations, which have no analogue in the Yang – Mills gauge scheme because gauge fields are connections on a fibre bundle Y->X with a structure group G, and gauge transformations are vertical automorphisms of Y projected onto the identity map of X. General covariant transformations are not so. To overcome these difficulties in the work of Utiyama, in the beginning of 60-s T. Kibbl, D. Sciama et al. have proposed to treat gravity, represented by a tetrad field, as a gauge field for a translation group. All the same, it is beyond the scope of Yang - Mills – Utiyama gauge theory for internal symmetries, as evidenced not identical morphism of a base X of tensor bundles. I, too, began with this model, but soon withdrew from it, because it did not fit into fibre bundle formalism. Almost four years I was ineffectual, fiddling with the other options, until I came to interpretation of gravitation as a Higgs field, which was first described in my article [22] in 1978 .

In the 70-s, in field theory, it has already been folklore that spontaneous symmetry breaking is accompanied by Higgs and Goldstone fields, that follows from the theorem of Goldstone in quantum theory, the method of nonlinear realizations of groups (particular case of induced representations), and that provides the Higgs mechanism of generation of masses of particles in united gauge model of fundamental interactions. Spontaneous symmetry breaking is a quantum effect, when a vacuum (or a background state) fails to be invariant under a whole group of transformations, but only a subgroup of exact symmetries. A problem is how to describe spontaneous symmetry breaking in classical gauge theory. This is necessary because a generating functional for Green functions of quantum fields is expressed through a Lagrangian of classical fields, and it contains classical Higgs fields. Classical gauge theory was described in terms on fibre bundles, and it naturally raised a question what is Higgs field in this formalism.

One of sections of the above mentioned book "Differential geometry and Fibre Bundles" by R.Sulanke and P.Wintgen was devoted to the so-called G-structures, when a structure group of a principal frame bundle LX over a manifold X is reduced to its closed subgroup H. In a general case of an arbitrary principal bundles P with a structure group Lie G, a construction of the structure group reduction was described in the book "The Topology of Fibre Bundles" by N.Steenrod in 1953, which I found in the library of the Mathematical Faculty. The well-known theorem states that such reduction takes place if and only if there is a global section h of a factor bundle P/H->X. Since this section takes values in a factor-space G/H, one can treat it as a classical Higgs (or Goldstone) field. If P=LX and H is the Lorentz group SO(1,3), then h is a global section of  LX/SO(1,3) which is a pseudo-Riemannian metric on a manifold X. Therefore, I concluded that a pseudo-Riemannian metric, i.e., a gravitational field has the status of a Higgs field in gauge gravitation theory. This result was published in my report on the 8-th International gravitational conference in Canada in 1977, and the article [26].

D.Ivanenko liked such interpretation of gravity because even in the middle of the 60's he supposed that a gravitational field can be the Goldstone one by its physical nature due to breakdown of space-time symmetries caused by a curvature. However, such a symmetry breaking (and, consequently, the Higgs nature of a gravitational field) did not result from the gauge principle, and it should be lead from a principled basis. And I found such a principle. It is the equivalence principle, but reformulated in geometric terms.

In the above mentioned book by R.Sulanke and P.Wintgen, the G-structures were considered as a type of the Klein - Chern geometry of invariants, namely: if a structure group G is reduced to its subgroup H, then there is a bundle atlas of this fibre bundle with H-valued transition functions and, therefore, H-invariants on this fibre bundle are defined. At that time, the equivalence principle in gravitation theory, its different variants (weakest, weak, middle-strong, strong, etc.) were not once discussed o the seminar of Ivanenko. All of these variants were too physical for its language, to become as a basis for mathematical formulation of gauge gravitation theory. They characterize the possibility of transition to Special Relativity with respect to some reference frame. Describing Special Relativity as geometry of invariants of the Lorentz group, I came to an idea to formulate the equivalence principle in the spirit of geometry of invariants as a requirement of the existence of Lorentz invariants in some reference frame. This in turn implies a reduction of a structure group of the frame bundle LX over a manifold X to the Lorentz group, and, consequently, the existence of a gravitational field on X [28,29,31]. This geometric equivalence principle has summed up the foundation under our interpretation of gravity as a Higgs field in gauge gravitation theory. Gauge theory of gravitation was as a whole formed. It was a affine-metric theory whose dynamic variables were a pseudo-Riemannian metric as a Higgs field and general linear connections as a gauge field. D.Ivanenko and I published the review [35] in Physics Reports in 1983, which is traditionally quoted among the fundamental works on gauge gravitation theory. Our proposed gauge model of gravity also was present in the books [2,8].

Our version of the gauge theory of gravity was seen, nobody denied it, but it did not became widely recognized. Theoreticians do not hurry to refuse the treatment of a gravitational field as a gauge field of translations. Although still in 1982, I published an article [34] which specifically argued in bundle formalism that identification of tetrad fields with the so-called soldering form (a translational part of a general affine connection) is a mathematical mistake.

Therefore, I began investigating a possible physical interpretation of translation components of an affine connection. I knew the book “A Gauge Theory of Dislocations and Disclinations” by A. Kadic and D. Edelen published in 1983 (its Russian translation appeared in 1987), where gauge fields of translations on a 3-dimensional manifold described dislocations in continuum medium theory. Based on this result, I developed a model where a translational part of an affine connection on a 4-dimensional manifold described a new hypothetical structure: a kind of deformations of a world manifold [45,47]. In particular, they could be responsible for an additional Yukawa term to the Newton gravitation potential: the so-called "fifth force" [58]. At that time, such an amendment was actively investigated, but as a result, at least at laboratory distances nothing was found.

Geometric equivalence principle determines not only the existence of a gravitational field on a manifold, but a space-time structure on it. The point is that, if a structure group of a frame bundle LX is reduced to a Lorentz group (let g be the corresponding gravitational field), it is always reduced to its maximal compact subgroup SO(3). The associated Higgs field is a 3-dimensional space-like subbundle F of the tangent bundle TX of a manifold X, which defines a space-time decomposition of TX, i.e. a space-time structure on X. If a subbundle F is involutive, we have a space-time foliation of X associated with a gravitational field g. Hence, I had an idea to describe gravitational singularities as those of space-time foliations because the most recognized criterion of gravitational singularities by the so-called b-incompleteness of geodetics had a number of disadvantages [32,33]. It was given a classification of the singularities of space-time foliations, including a violation of causality, topological transitions through critical points, caustics of foliations [39,43,48]. However, this way of describing gravitational singularities also is not ideal. For example, caustic of space-time foliation can take place in the case of a regular gravitational field.
One of the most actively developed generalizations of gravitation theory of gravity is supergravitation. However, it largely built as a generalization of gauge theory of the Poincare group by extending its Lie algebra to some superalgebra. Obtained in this approach, Higgs superfields treated as a supergravity field do not have a geometrical nature. Therefore, I suggested that on should develop theory of supergravity as a supermetric on a supermanifold, introducing it from the condition of reduction of a structure supergroup of an appropriate superbundle. This was done in the framework of existed then formalism of supermanifolds [41,42]. I returned to this subject almost ten years later, already on the other mathematical level.

And, after all, gauge gravitation theory was not completed. Firstly, it remained unclear physical background of the geometric equivalence principle which looked formal. Secondly, it was unclear what are gauge transformations in gauge gravitation theory. In Einstein's General Relativity, which gauge gravitation theory should include, they are general covariant transformations. However, what are these transformations in fibre bundle formalism?

It took almost another 10 years and more advanced mathematical apparatus to all fell into place.

Reference:
G.Sardanashvily, My Scientific Biography

Monday, 24 October 2011

On a mathematical hypothesis of the quark confinement

In quantum field theory, the Wick rotation provides the standard technique of computing Feynman diagrams by means of Euclidean propagators.

Let us suppose that quantum fields in an interaction zone are really Euclidean. In contrast with the well-known Euclidean field theory dealing with the Wightman and Schwinger functions of free quantum fields, we address complete Green's functions of interacting fields, i.e., causal forms on the Borchers algebra of quantum fields. They are the Laplace transform of the Euclidean states obeying a certain condition.

If Euclidean states of a quantum field system, e.g., quarks do not satisfy this condition, this system fails to possess Green's functions and, consequently, the S-matrix. One therefore may conclude that it is not observed in the Minkowski space.

References:

G.Sardanashvily, arXiv: hep-th/0511111

Wednesday, 19 October 2011

The prespinor model (from my Scientific Biography)


My Scientific Biography: ...Nevertheless, the most promising of my nominated ideas was a model of prespinors (which however till now remains only "promising").

It is known that the root diagrams of simple complex Lie algebras admit groups of reflections, which are finite Coxeter groups. Moreover, the classification of simple complex Lie algebras and their real subalgebras is conducted by means of finite Coxeter groups. They are groups of symmetries of the weight diagrams of irreducible representations of these Lie algebras, which the algebras both of internal and space-time symmetries belong to.

There was an idea that Lie algebras and groups of symmetries can be replaced with the corresponding finite Coxeter groups. Generating elements s of these groups have the property ss=1, and the diversity of these groups is due to the fact that different generating elements do not commute between themselves. The simplest Coxeter group consists of two elements (s,1) and serves as a symmetry group of a 2-spinor. Let us suppose that a physical world in its basis is made of such spinors, let us call them the  prespinors, so that, when their interaction, Coxeter groups of their transformations become non-commutative, providing all the known diversity of symmetries of elementary particles. Moreover, we can go even further and identify elements of the simple Coxeter group (s,1) with the simplest logical system of statements ("no", "yes").

D.Ivanenko believed this model to be very promising. He saw in it the prospect of a continuation of Heisenberg’s and his unified nonlinear field theory, which by that time had stepped aside in the light of theory of gauge fields. It became clear that an interaction of elementary particles is described by exchange of mediators, gauge fields, but not nonlinearities, though not everywhere. For example, an interaction of a field of Cooper pairs in the theory of superconductivity is due to non-linearity, and it may happen that an interactions of a Higgs fields and prespinors are of this type.

The  prespinor model is presented in our book  "
Gravitation" (1985) (in Russ.) and a few articles,  but no further development has obtained, since it is unclear how to describe the dynamics of systems with finite groups of symmetries.

 

Sunday, 16 October 2011

Who is who among universities in 2011

New world ranking of universities "QS Top University Ranking 2011" has been published. It contains 700 universities.

In 2011, my Moscow State University occupies the 112-th place with a coefficient 61.28 of 100, while in the past year - the 93rd place. From Russian universities, in addition to the MSU, there are still 10. The nearest one is Petersburg State University of the 251-th place with a coefficient 41.06.

The top ten positions are occupied by 6 universities of USA and 4 of United Kingdom.

In the top twenty: 13 - USA, 5 - United Kingdom, and one each from Switzerland and Canada.

In the first hundred: 30 – USA; 19 - United Kingdom; 8 - Australia; 6 - Japan; 5 - Canada; 4 - Germany; 3 - Switzerland, China, Hong-Kong, South Korea, the Netherlands; 2 - Singapore, Sweden, France, Denmark; 1 - Ireland, Belgium, New Zealand, Finland and Taiwan.

Monday, 10 October 2011

My Scientific Biography: Student period

In 1967, I graduated from the Moscow mathematical school №2 with a silver medal and entered Physics Faculty of Moscow State University. Besides the standard education program, I began to engage in self-education and went to the circle of theoretical physics, held for students of the junior courses of prof. D.Ivanenko, his staff and post-graduate students. I originally wanted to engage in theoretical physics, but at the faculty there were three theoretical departments. Under the influence of the theoretical circle, his broad topics, I decided to enter to the Department of Theoretical Physics to D.Ivanenko. From time to time, I even attended his scientific seminar.

In the middle of the third year, in spring of 1970, I was assigned to the Department of Theoretical Physics. The best students of the course tried to enter it, as well as on other theoretical departments. Only 12 people could do, and it was necessary to pass the interview. In the course of the interview, I felt that they knowingly take me: I had lost only on ball for all exam sessions and, apparently, D.Ivanenko warned that I am to him.

After entering the Department, I as a future graduate officially joined the group of Ivanenko: went to his scientific seminars, continued self-education, and eyed what anyone in the group is engaged in.

On the fourth course, I began to collaborate with Andrey Bulinski. He graduated from Physics Faculty in 1968, but was not taken in the graduate school and worked at the Department of Higher Mathematics of the Moscow Physical-Technical Institute. He continued to collaborate with D.Ivanenko, and engaged in algebraic quantum theory: algebras of quantum observables, their representations, quantum dynamical systems, etc. All of this was outside the scope of conventional courses of Physics Faculty. Working with him, I got a good experience in this field, which I then is very handy. In one of his articles, published in Journal of Theoretical and Mathematical Physics in 1971, he even thanking me for useful discussion. Although I do not remember that I was really any good. Algebraic quantum theory is rather mathematically sophisticated subject. My level was certainly not enough to get on this topic some original results and prepare a diploma work. Besides, Andrei Bulinski less and less began to come into the band and seminars of Ivanenko, apparently, having lost hope to return to Physics Faculty. Therefore, D.Ivanenko offered me, at least for pragmatic reasons, to change a research subject and a scientific chief (not being Ph.D., A.Bulinski formally could not be a scientific supervisor of my diploma work).

At that time, in science and seminars of Ivanenko, there has been actively discussed conformal field theory on the basis of the 15-parameter conformal group, including the Lorentz and Poincare subgroups. Naturally, the question arose about constructing the spinor representations of this group, as I did. My scientific supervisor was D.Sc. Dmitri Kurdgelaidze, a long-term employee of D.Ivanenko, with whom he developed a nonlinear meson and spinor theory. However, my purely algebraic subject was far away from his interest, and he could not help me. Therefore, I actually worked independently. I obtained a 8-spinor representation of the conformal group, which also implement the CPT transformations, and wrote for them the conformal-invariant Dirac equation. To me, this work still like it. I reported it on the 3-th Soviet gravitational conference in October 1972, and before that submitted an article to  "Vestnik of Moscow State University, Physics and Astronomy". However, for some reason, this article appeared much later, - in March of 1975. In January 1973, I defended my diploma work "Finite-dimensional  representations of the conformal group", with Ivanenko and Kurdgelaidze as supervisors.

To complete this topic, in 1973, I also constructed the nonlinear representation of the conformal group by the method of the so-called "nonlinear realizations". This method shortly before was developed, allowed to build a representation of a group as an extension of a representation of its Cartan subgroup, and was then very popular. This work was presented at the  Symposium "Modern problems of gravitation" in Moscow and went out in its Proceedings. It became my first scientific publication.

After graduating from the Physics Faculty February 1973, I in April was enrolled in the postgraduate school at the Department of Theoretical Physics to D.Ivanenko. My study of the conformal group was completed and, in front of me, there was a wide range of research directions. Interested in very many, D.Ivanenko provided a full freedom of activity of his graduate students. My direct supervisor was he himself, no one was standing between us, and I could do what I will.

First of all, I was interested in out-of-scope of the standard field theory on the basis of new mathematical methods of theoretical physics: algebraic, geometric and topological, because it was clear that the standard field theory had exhausted its possibilities. And I started with the search for and development of such innovative methods. Although the risk was great: could nothing is going to happen, no publications or dissertation. As it turned out, with the publication of problems was not, and that's Ph.D. thesis was delayed.

References:
G. Sardanashvily: Scientific Biography

Tuesday, 4 October 2011

Illusion of matter

Can a structure be carrier-free? Philosophy says that it is impossible. However, contemporary theoretical physics gives a different answer.

In mathematics, there exist various concepts of a structure: the structure genus of a structure (a rather sophisticated definition of Bourbaki), a lattice (an algebraic notion generalizing a Boolean algebra), a topological structure, a geometric structure, etc. For physical applications, I would propose a mathematical definition of the structure as an n-ary relation on a set defined by some subset of an n-product of this set. This concept correlates with the definition of Bourbaki in some way and absorbs other definitions of a structure. In particular, morphisms of a set are structures in this sense. Nevertheless, in all existent variants, a mathematical structure is introduced on a carrier set.

In physics, however, it appears that a set, carrying a structure, often itself consists of elements of some structure. For example, a classical field, defined as a section of a fibre bundle, is a morphism. i. e., a structure, called the geometric structure. It is obvious, that quantum operators as elements of a certain algebra exemplify an algebraic structure. Moreover, by virtue of the well-known GNS construction in algebraic quantum theory, a Hilbert space of states, which quantum operators act in, consists of equivalence classes of these operators possessing the same average value, and so, it also is a set of elements of an algebraic structure.

Contrary, a point mass in classical mechanics is not part of any structure. However, in modern united models of fundamental interactions, a quantum field acquires a mass as a result of its interaction with a Higgs field. It follows that a mass is a derivative characteristics of two structures. Thus, the massive matter ceases to be a fundamental concept. For example, a particle and an antiparticle, annihilating, are converted into photons.

At present, with theoretical and mathematical viewpoint, all known fundamental physical objects are structures whose carrier consists of elements of some other structure having its carrier another structure, etc. Moreover, a structure can be defined on different carriers or be carrier-free. For instance, morphisms of some vector space are representations of a certain abstract group which is defined for itself and admits other representations.

If all physical objects, e.g., classical and quantum fields are a structure, then what is a carrier of a structure in the physical world? Is there such a carrier? Of course, the matter does not disappear, but is somewhat illusory.

Sunday, 25 September 2011

On the strangeness of relativistic mechanics

From the mathematical viewpoint, relativistic mechanics fails to be a step between non-relativistic mechanics and classical field theory. Classical field theory is formulated in terms of fibre bundles Y->X (Archive). Non-relativistic mechanics can be treated as a particular field theory in terms of fibre bundles over the time axis X=R (Archive). Relativistic mechanics is formulated in terms of one-dimensional submanifolds of a its configuration space Q (Archive). In a sense, this is a generalization of non-relativistic mechanics because sections of a fibre bundle Q->R are particular one-dimensional submanifolds of Q. However, this is a generalization towards string theory, but not field theory. Indeed, one can develop theory whose dynamic variables are submanifolds and, if they are two-dimensional submanifolds, we are in the case of classical string theory.

From the physical viewpoint, we do not observe classical relativistic masses of velocities more than 0.0001 of the light one.

References:
G.Giachetta, L.Mangiarotti, G.Sardanashvily, Advanced Classical Field Theory (WS, 2009)
G.Giachetta, L.Mangiarotti, G.Sardanashvily, Geometric Formulation of Classical and Quantum Mechanics (WS, 2010)