A $k$-symplectic framework for classical field theories subject to nonholonomic constraints is presented. If the constrained problem is regular one can construct a projection operator such that the solutions of the constrained problem are obtained by projecting the solutions of the free problem. Symmetries for the nonholonomic system are introduced and we show that for every such symmetry, there exist a nonholonomic momentum equation. The proposed formalism permits to introduce in a simple way many tools of nonholonomic mechanics to nonholonomic field theories.
Non-holonomic mechanical systems can be described by a degenerate almost-Poisson structure (dropping the Jacobi identity) in the constrained space. If enough symmetries transversal to the constraints are present, the system reduces to a nondegenerate almost-Poisson structure on a ``compressed'' space. Here we show, in the simplest non-holonomic systems, that in favorable circumnstances the compressed system is conformally symplectic, although the ``non-compressed'' constrained system never admits a Jacobi structure (in the sense of Marle et al.).
In this paper we study the reduction of a nonholonomic system by a group of symmetries in two steps. Using the so-called 'vertical-symmetry' condition, we first perform a 'compression' of the nonholonomic system leading to an almost symplectic manifold. Second, we perform an (almost) symplectic reduction, relying on the existence of a momentum map. In this case, we verify that the resulting (almost) symplectic reduced spaces are the leaves of the characteristic foliation of the reduced nonholonomic bracket. On each leaf we study the (Lagrangian) equations of motion, obtaining a nonholonomic ve…
In this note, we introduce a suitable generalization of the momentum map for nonholonomic field theories and prove a covariant form of the nonholonomic momentum equation. We show that these covariant objects coincide with their counterparts in mechanics by making the transition to the Cauchy formalism.
We outline an unified approach to geometrization of Lagrange mechanics, Finsler geometry and geometric methods of constructing exact solutions with generic off-diagonal terms and nonholonomic variables in gravity theories. Such geometries with induced almost symplectic structure are modelled on nonholonomic manifolds provided with nonintegrable distributions defining nonlinear connections. We introduce the concept of Lagrange-Fedosov spaces and Fedosov nonholonomic manifolds provided with almost symplectic connection adapted to the nonlinear connection structure. We investigate the main proper…
This paper presents a reduction procedure for nonholonomic systems admitting suitable types of symmetries and conserved quantities. The full procedure contains two steps. The first (simple) step results in a Chaplygin system, described by an almost symplectic structure, carrying additional symmetries. The focus of this paper is on the second step, which consists of a Marsden-Weinstein--type reduction that generalizes constructions in [4,17]. The almost symplectic manifolds obtained in the second step are proven to coincide with the leaves of the reduced nonholonomic brackets defined in [7]. We…
A geometric model for nonholonomic Lagrangian field theory is studied. The multisymplectic approach to such a theory as well as the corresponding Cauchy formalism are discussed. It is shown that in both formulations, the relevant equations for the constrained system can be recovered by a suitable projection of the equations for the underlying free (i.e. unconstrained) Lagrangian system.
The developments in this paper are concerned with nonholonomic field theories in the presence of symmetries. Having previously treated the case of vertical symmetries, we now deal with the case where the symmetry action can also have a horizontal component. As a first step in this direction, we derive a new and convenient form of the field equations of a nonholonomic field theory. Nonholonomic symmetries are then introduced as symmetry generators whose virtual work is zero along the constraint submanifold, and we show that for every such symmetry, there exists a so-called momentum equation, de…
The geometric formulation of Hamilton--Jacobi theory for systems with nonholonomic constraints is developed, following the ideas of the authors in previous papers. The relation between the solutions of the Hamilton--Jacobi problem with the symplectic structure defined from the Lagrangian function and the constraints is studied. The concept of complete solutions and their relationship with constants of motion, are also studied in detail. Local expressions using quasivelocities are provided. As an example, the nonholonomic free particle is considered.
A multisymplectic setting for classical field theories subjected to non-holonomic constraints is presented. The infinite dimensional setting in the space of Cauchy data is also given.
Nonholonomic systems are variational models commonly used for mechanical systems with ideal no-slip constraints. This note provides a differential-geometric derivation of the nonholonomic equations of motion for an arbitrary rigid body rolling on an arbitrary surface, via the semi-symplectic formalism, and in terms of shape operators (a.k.a. Weingarten maps). By a semi-symplectic reduction, the well-known differential equations in the case where the surface is a horizontal plane are shown to be semi-symplectic.
We study stationary configurations mimicking nonholonomic locally anisotropic black rings (for instance, with ellipsoidal polarizations and/or imbedded into solitonic backgrounds) in three/six dimensional pseudo-Finsler/ Riemannian spacetimes. In the asymptotically flat limit, for holonomic configurations, a subclass of such spacetimes contains the set of five dimensional black ring solutions with regular rotating event horizon. For corresponding parameterizations, the metrics and connections define Finsler-Einstein geometries modeled on tangent bundles, or on nonholonomic (pseudo) Riemannian …
We study how massive ghost-free gravity $f(R)$-modified theories, MGFTs, can be encoded into generic off-diagonal Einstein spaces. Using "auxiliary" connections completely defined by the metric fields and adapted to nonholonomic frames with associated nonlinear connection structure, we decouple and integrate in certain general forms the field equations in MGFT. Imposing additional nonholonomic constraints, we can generate Levi-Civita, LC, configurations and mimic MGFT effects via off-diagonal interactions of effective Einstein and/or Einstein-Cartan gravity with nonholonomically induced torsio…
New developments on the Geometric Nonholonomic Integrator
Universidad Nacional del Sur（南方大学）；Instituto de Matemática Bahía Blanca（巴塔哥尼亚数学研究所）；CONICET（阿根廷国家科学研究委员会）；Zentrum Mathematik der Technische Universität München（慕尼黑工业大学数学中心）；Instituto de Ciencias Matemáticas, CSIC-UAM-UC3M-UCM（马德里高等科学研究院（由CSIC、UAM、UC3M、UCM联合组建））
The general relativity theory is redefined equivalently in almost Kahler variables: symplectic form and canonical symplectic connection (distorted from the Levi-Civita connection by a tensor constructed only from metric coefficients and their derivatives). The fundamental geometric and physical objects are uniquely determined in metric compatible form by a (pseudo) Riemannian metric on a manifold enabled with a necessary type nonholonomic 2+2 distribution. Such nonholonomic symplectic variables allow us to formulate the problem of quantizing Einstein gravity in terms of the A-model complexific…
We argue that the Einstein gravity theory can be reformulated in almost Kahler (nonsymmetric) variables with effective symplectic form and compatible linear connection uniquely defined by a (pseudo) Riemannian metric. A class of nonsymmetric theories of gravitation (NGT) on manifolds enabled with nonholonomic distributions is analyzed. There are considered some conditions when the fundamental geometric and physical objects are determined/ modified by nonholonomic deformations in general relativity or by contributions from Ricci flow theory and/or quantum gravity. We prove that in such NGT, for…
We elaborate an unified geometric approach to classical mechanics, Riemann-Finsler spaces and gravity theories on Lie algebroids provided with nonlinear connection (N-connection) structure. There are investigated the conditions when the fundamental geometric objects like the anchor, metric and linear connection, almost sympletic and related almost complex structures may be canonically defined by a N-connection induced from a regular Lagrangian (or Hamiltonian), in mechanical models, or by generic off-diagonal metric terms and nonholonomic frames, in gravity theories. Such geometric constructio…
In this summary of Habilitation Thesis, it is outlined author's 18 years research activity on mathematical physics, geometric methods in particle physics and gravity, modifications and applications (after defending his PhD thesis in 1994). Ten most relevant publications are structured conventionally into three "strategic directions": 1) nonholonomic geometric flows evolutions and exact solutions for Ricci solitons and field equations in (modified) gravity theories; 2) geometric methods in quantization of models with nonlinear dynamics and anisotropic field interactions; 3) (non) commutative ge…
We study fractional configurations in gravity theories and Lagrange mechanics. The approach is based on Caputo fractional derivative which gives zero for actions on constants. We elaborate fractional geometric models of physical interactions and we formulate a method of nonholonomic deformations to other types of fractional derivatives. The main result of this paper consists in a proof that for corresponding classes of nonholonomic distributions a large class of physical theories are modelled as nonholonomic manifolds with constant matrix curvature. This allows us to encode the fractional dyna…
We present a new approach for constructing covariant symplectic structures for geometrical theories, based on the concept of adjoint operators. Such geometric structures emerge by direct exterior derivation of underlying symplectic potentials. Differences and similarities with other approaches and future applications are discussed.
This book is devoted to review two of the most relevant approaches to the study of classical field theories of first order, say k-symplectic and k-cosymplectic. In the last part, we relate the k-symplectic and k-cosymplectic manifolds with the multisymplectic theory.
In this paper we extend the geometric formalism of Hamilton-Jacobi theory for Mechanics to the case of classical field theories in the k-symplectic framework.
The objective of this work is twofold: First, we analyze the relation between the k-cosymplectic and the k-symplectic Hamiltonian and Lagrangian formalisms in classical field theories. In particular, we prove the equivalence between k-symplectic field theories and the so-called autonomous k-cosymplectic field theories, extending in this way the description of the symplectic formalism of autonomous systems as a particular case of the cosymplectic formalism in non-autonomous mechanics. Furthermore, we clarify some aspects of the geometric character of the solutions to the Hamilton-de Donder-Weyl…
We briefly review our recent results on the geometry of nonholonomic manifolds and Lagrange--Finsler spaces and fractional calculus with Caputo derivatives. Such constructions are used for elaborating analogous models of fractional gravity and fractional Lagrange mechanics.
We study possible links between quantum gravity phenomenology encoding Lorentz violations as nonlinear dispersions, the Einstein-Finsler gravity models, EFG, and nonholonomic (non-integrable) deformations to Hořava-Lifshitz, HL, and/or Einstein's general relativity, GR, theories. EFG and its scaling anisotropic versions formulated as Hořava-Finsler models, HF, are constructed as covariant metric compatible theories on (co) tangent bundle to Lorentz manifolds and respective anisotropic deformations. Such theories are integrable in general form and can be quantized following standard methods of …
We use an important decoupling property of gravitational field equations in the general relativity theory and modifications, written with respect to nonholonomic frames with 2+2 spacetime decomposition. This allows us to integrate the Einstein equations (eqs) in very general forms with generic off--diagonal metrics depending on all spacetime coordinates via generating and integration functions containing (un--)broken symmetry parameters. We associate families of off-diagonal Einstein manifolds to certain classes of covariant gravity theories which have a nice ultraviolet behavior and seem to b…
The first aim of this paper is to extend the Skinner-Rusk formalism on classical mechanics for first-order field theories. The second is to generalize the definition and properties of the evolution K-operator on classical mechanics for first-order field theories using in both cases Gunther's formalism (k-symplectic formalism).
We study geometric relativistic flow and Ricci soliton equations which (for respective nonholonomic constraints and self-similarity conditions) are equivalent to the gravitational field equations of $R^2$ gravity and/or to the Einstein equations with scalar field in general relativity, GR. Perelman's functionals are generalized for modified gravity theories, MGTs, which allows to formulate an analogous statistical thermodynamics for geometric flows and Ricci solitons. There are constructed and analyzed generic off-diagonal black ellipsoid, black hole and solitonic exact solutions in MGTs and G…
For k-symplectic Hamiltonian field theories, we study infinitesimal transformations generated by certain kinds of vector fields which are not Noether symmetries, but which allow us to obtain conservation laws by means of a suitable generalization of the Noether theorem.
The most general action, quadratic in the B fields as well as in the curvature F, having SO(3,1) or SO(4) as the internal gauge group for a four-dimensional BF theory is presented and its symplectic geometry is displayed. It is shown that the space of solutions to the equations of motion for the BF theory can be endowed with symplectic structures alternative to the usual one. The analysis also includes topological terms and cosmological constant. The implications of this fact for gravity are briefly discussed.
The interactions between gluons are important in theories such as quantum chromodynamics. Therefore, to rediscover new features of well known methods in order to investigate the SU(3) gauge group can be a new way to deal with Yang-Mills theories. In this work we analyzed YM theories through the well known Faddeev-Jackiw formalism for constrained systems. Besides, we showed precisely that having U(1) Maxwell electromagnetic theory as a starting point we can construct SU(3)-like and SU(3) X SU(2) X U(1) non-Abelian theories.
We give the explicit formulation of the 11D supermembrane as a symplectic torus bundle with non trivial monodromy and non vanishing Euler class. This construction allows a classification of all supermembranes showing explicitly the discrete SL(2,Z) symmetries associated to dualities. It hints as the origin in M-theory of the gauging of the effective theories associated to string theories.
In this paper we introduce a geometric description of Lagrangian and Hamiltonian classical field theories on Lie algebroids in the framework of k-symplectic geometry. We discuss the relation between Lagrangian and Hamiltonian descriptions through a convenient notion of Legendre transformation. The theory is a natural generalization of the standard one; in addition, other interesting examples are studied, in particular, systems with symmetry and Poisson sigma models.
The k-symplectic formulation of field theories is especially simple, since only tangent and cotangent bundles are needed in its description. Its defining elements show a close relationship with those in the symplectic formulation of mechanics. It will be shown that this relationship also stands in the presymplectic case. In a natural way, one can mimick the presymplectic constraint algorithm to obtain a constraint algorithm that can be applied to $k$-presymplectic field theory, and more particularly to the Lagrangian and Hamiltonian formulations of field theories defined by a singular Lagrangi…
This paper is devoted to studying symmetries of k-symplectic Hamiltonian and Lagrangian first-order classical field theories. In particular, we define symmetries and Cartan symmetries and study the problem of associating conservation laws to these symmetries, stating and proving Noether's theorem in different situations for the Hamiltonian and Lagrangian cases. We also characterize equivalent Lagrangians, which lead to an introduction of Lagrangian gauge symmetries, as well as analyzing their relation with Cartan symmetries.
We introduce several families of $\mathcal{N}=(2,2)$ UV boundary conditions in 3d $\mathcal N=4$ gauge theories and study their IR images in sigma-models to the Higgs and Coulomb branches. In the presence of Omega deformations, a UV boundary condition defines a pair of modules for quantized algebras of chiral Higgs- and Coulomb-branch operators, respectively, whose structure we derive. In the case of abelian theories, we use the formalism of hyperplane arrangements to make our constructions very explicit, and construct a half-BPS interface that implements the action of 3d mirror symmetry on ga…
The Hamiltonian formalism is extremely elegant and convenient to mechanics problems. However, its application to the classical field theories is a difficult task. In fact, you can set one to one correspondence between the Lagrangian and Hamiltonian in the case of hyperregular Lagrangian. It is impossible to do the same in gauge-invariant field theories. In the case of irregular Lagrangian the Dirac Hamiltonian formalism with constraints is usually used, and this leads to a number of certain difficulties. The paper proposes a reformulation of the problem to the case of a field without sources. …
The purpose of this paper is to define the concept of multi-Dirac structures and to describe their role in the description of classical field theories. We begin by outlining a variational principle for field theories, referred to as the Hamilton-Pontryagin principle, and we show that the resulting field equations are the Euler-Lagrange equations in implicit form. Secondly, we introduce multi-Dirac structures as a graded analog of standard Dirac structures, and we show that the graph of a multisymplectic form determines a multi-Dirac structure. We then discuss the role of multi-Dirac structures…
In this paper we derive the symplectic framework for field theories defined by higher-order Lagrangians. The construction is based on the symplectic reduction of suitable spaces of iterated jets. The possibility of reducing a higher-order system of PDEs to a constrained first-order one, the symplectic structures naturally arising in the dynamics of a first-order Lagrangian theory, and the importance of the Poincaré-Cartan form for variational problems, are all well-established facts. However, their adequate combination corresponding to higher-order theories is missing in the literature. Here w…
This paper presents a "historical" formalism for dynamical systems, in its Hamiltonian version (Lagrangian version was presented in a previous paper). It is universal, in the sense that it applies equally well to time dynamics and to field theories on space-time. It is based on the notion of (Hamiltonian) histories, which are sections of the (extended) phase space bundle. It is developed in the space of sections, in contradistinction with the usual formalism which works in the bundle manifold. In field theories, the formalism remains covariant and does not require a spitting of space-time. It …
The inverse problem of the calculus of variations consists in determining if the solutions of a given system of second order differential equations correspond with the solutions of the Euler-Lagrange equations for some regular Lagrangian. This problem in the general version remains unsolved. Here, we contribute to it with a novel description in terms of Lagrangian submanifolds of a symplectic manifold, also valid under some adaptation for the non-autonomous version. One of the advantages of this new point of view is that we can easily extend our description to the study of the inverse problem …
It is possible to reproduce the quantum features of quantum states, starting from a classical statistical theory and then limiting the amount of knowledge that an agent can have about an individual system [5, 18].These are so called epistemic restrictions. Such restrictions have been recently formulated in terms of the symplectic geometry of the corresponding classical theory [19]. The purpose of this note is to describe, using this symplectic framework, how to obtain a C*-algebraic formulation for the epistemically restricted theories. In the case of continuous variables, following the groupo…
This paper presents (in its Lagrangian version) a very general "historical" formalism for dynamical systems, including time-dynamics and field theories. It is based on the universal notion of history. Its condensed and universal formulation provides a synthesis and a generalization different approaches of dynamics. It is in our sense closer to its real essence. The formalism is by construction explicitely covariant and does not require the introduction of time, or of a time function in relativistic theories. It considers space-time (in field theories) exactly in the same manner than time in us…
By using the canonical and symplectic approaches an (nonstandard) alternative action describing linearized gravity is studied. We identify the complete set of Dirac's constraints, the counting of physical degrees of freedom is performed and the Dirac brackets are constructed. Furthermore, the symplectic analysis is developed which includes the complete set of Faddeev-Jackiw constraints and a symplectic tensor; from that symplectic matrix we show that the generalized Faddeev-Jackiw brackets and the Dirac ones coincide to each other. With all these results at hand, we prove that the number of ph…
The concept of gauge invariance is one of the most subtle and useful concepts in modern theoretical physics. It is one of the Standard Model cornerstones. The main benefit due to the gauge invariance is that it can permit the comprehension of difficult systems in physics with an arbitrary choice of a reference frame at every instant of time. It is the objective of this work to show a path of obtaining gauge invariant theories from non-invariant ones. Both are named also as first- and second-class theories respectively, obeying Dirac's formalism. Namely, it is very important to understand why i…
