Title: On conserved measures for nonholonomic systems with symmetries [slides]
Abstract: One of the principal differences between Hamiltonian systems—described on symplectic manifolds—and nonholonomic systems is the existence of an invariant volume for the dynamics. However, certain nonholonomic systems also admit an invariant measure. In this talk, we consider nonholonomic systems reduced by the action of a Lie group of symmetries. Under suitable assumptions, we explore the existence of an invariant volume for the underlying geometric structure. This viewpoint provides a geometric insight into the problem; moreover, as a direct consequence, this volume is preserved by the reduced nonholonomic dynamics.
This is joint work with J.C. Marrero and N. Sansonetto.
Title: From quantum reference frames to Poisson-Lie groups
Abstract: The necessity of considering “quantum reference frames”, namely reference frames associated to dynamical material systems obeying the laws of
quantum theory, has been recently stressed both from quantum information and quantum gravity perspectives. In this talk recent results providing a novel group-
theoretical framework for such quantum reference frames will be presented. In particular, we demonstrate a correspondence between certain quantum
reference frame transformations and transformations generated by a quantum group deformation of the centrally extended Galilei group. In this approach,
since Poisson-Lie groups are just the semiclassical counterpart of quantum groups, the classification of Poisson-Lie structures on the Galilei group
becomes essential in order to identify and construct the appropriate quantum Galilei group. Moreover, the relativistic generalization of this result can be envisaged by considering a suitable Poisson-Lie structure on the Poincaré group and by constructing its associated quantum group deformation.
Title: Discretization maps in optimal control theory {slides]
Abstract: We have recently introduced in the literature a generalization of retraction maps called discretization maps. They are useful to obtain symplectic numerical integrators by adapting the continuous problem to the discretization rule rather than viceversa, as typically done in numerical integration. Consequently, the manifold where the equations of motion live are discretized, in stead of discretizing the equations.
We will describe how discretization maps can be used to define numerical integrators for optimal control problems so that some structure is preserved.
Title: A Geometric Perspective on Asymmetric Relaxation Dynamics [slides]
Abstract: Asymmetric relaxation toward equilibrium is a recently-identified phenomenon that has attracted increasing attention in the study of thermodynamic systems. In this talk, we introduce a geometric approach based on gradient flows on appropriate manifolds to describe relaxation dynamics. This framework allows us to formulate a general criterion for determining the emergence of asymmetry in the approach to equilibrium. We conclude by outlining future perspectives and potential extensions.
Title: Local symplectic groupoids, multiplication, and Poisson integrators [slides]
Abstract: This talk is based on joint work in progress with D. Iglesias and J.C. Marrero. First, we shall overview the role of local symplectic groupoids in the
construction of Poisson integrators, following O. Cosserat, as well as recent joint work with D. Martin de Diego and M. Vaquero about using approximate
geometric data. We observe that only the "strict bi-realization" data is used in these approaches, but not groupoid multiplication. We then explain how multiplication "m" can be incorporated into this construction and, also, how generating functions for m can be incorporated yielding a practical numerical algorithm. Finally, we show some illustrative examples and discuss future directions.
Title: The multisymplectic formalism for field theories revisited
Abstract: The multisymplectic formalism for field theories, so relevant in the description of first order Hamiltonian field theories, will be revisited focusing the attention on its extension to higher order field theories. A novel construction that would provide the dual version of the infinite jet bundle will be presented and discussed.
Title: Ricci solitons on Lie groups [slides]
Abstract: Ricci solitons, being self-similar solutions of the Ricci flow have received special attention during the last years. Although a complete description
of such metris is far from being complete, they are quite well-understood in the homogeneous setting. For instance, Riemannian Ricci solitons on Lie groups
are homothetic to algebraic ones.
The Lorentzian situation is much richer, allowing the existence of many Ricci solitons without Riemannian counterpart. Hence our main purpose is to present some classification results for Ricci solitons on low-dimensional Lorentzian Lie groups. We show that any four-dimensional Lie group admits a Ricci soliton left-
invariant Lorentzian metric. As a consequence some non-Einstein compact Lorentzian Ricci solitons are constructed in dimensions three and four.
(This is joint work with Rosalía Rodríguez-Gigirey and Ramón Vázquez- Lorenzo)
Title: General Relativistic Fluids: Reduction by Symmetries and Junction Conditions [slides]
Abstract: We introduce a new Lagrangian variational framework for general relativistic fluids, allowing symmetry reduction in the relativistic context. By
including Gibbons-Hawking-York (GHY) boundary terms, this approach naturally produces the Israel-Darmois junction conditions, connecting the fluid’s
internal dynamics to the gravitational field in the exterior spacetime.
Title: Affine Dirac aglebroids in nonholonomic mechanics [slides]
Abstract: The concept of a Dirac algebroid, a linear almost Dirac structure on a vector bundle, was introduced to generate phase equations for mechanical
systems with linear nonholonomic constraints. It was successfully applied to systems described by the so-called mechanical Lagrangian or Hamiltonian, as well as systems with magnetic-like or gyroscopic potentials. In contrast to other structures reported in the literature in this context, the Dirac algebroid we use is built only from constraints and canonical geometric structures of the underlying bundles and is universal, in the sense that it is independent of the particular Hamiltonian or Lagrangian. This approach can be readily generalized to affine nonholonomic constraints via the concept of an affine Dirac algebroid. During the talk, we will recall the main ideas and provide examples.
References
[1] Grabowska, K., and Grabowski, J. Dirac algebroids in Lagrangian and Hamiltonian mechanics, Journal of Geometry and Physics, 61 (2011), 2233–2253.
[2] García-Naranjo, L. C., Marrero, J. C., de Diego, D. M., and Valdés, E. P. P. Almost-Poisson brackets for nonholonomic systems with gyroscopic terms and Hamiltonisation, J Nonlinear Sci 32 (2024)
[3] Grabowska K, Borczyńska M., Majsak J., and Sobczak, T. Dirac structures in. nonholonomic mechanics, arXiv:2504.18853
Title: Variational reduction of homogeneous presymplectic Hamiltonian systems [slides]
Abstract: Given a homogeneous (symplectic) Hamiltonian system on a manifold $M$, with respect to a principal action $\mathbb{R}^{+}\times M\rightarrow M$, we have shown in a previous paper that an associated reduced system can be defined (unless locally), and it is given by a contact Hamiltonian system on $M/\mathbb{R}^{+}$. Moreover, we have written a related reconstruction equation and solved it up to quadratures. In this talk we extend our study to the case of homogeneous pre-symplectic Hamiltonian systems, but focusing on the variational formulation of them. We show that (unless locally) a reduced variational principle can be associated to such systems, in such a way that the trajectories of the original system can be reconstructed from the critical points of the mentioned reduced principle. As a by-product, we obtain a variational formulation for all the contact Hamiltonian systems, which offers an alternative to the so-called Herglotz variational principle.
Title: New geometric structures in thermodynamics [slides]
Abstract: Traditionally, the geometry of equilibrium thermodynamics has been mainly studied via contact geometry; in this geometric setting, thermodynamic properties are encoded by Legendre submanifolds of the thermodynamic phase space. In this lecture, we will show how different thermodynamic systems can be described using new geometric structures called partially cosymplectic and partially cosymplectic structures of higher order. Indeed, partially cosymplectic structures could be considered as natural extensions of contact geometry, even if they exhibit very different features. This geometric approach allows us to obtain discretisations of the thermodynamic systems and construct very convenient numerical integrators.
Title: Differential Geometry of Quantum Evolution [slides]
Abstract: The description of any physical system requires the identification of: Observables, say O; States, say S; A probability map pairing observables and states with values in probability measures on the real line; Evolution equations of motion; A composition/decomposition rule for composing/decomposing systems.
In this talk we shall consider as primary choice the evolution on the manifold of observables, i.e., we take a dynamical point of view rather than a kinematical one. The additional structures which are required on observables or states because of the physical interpretation shall be compatible with a given dynamics. This statement is usually implemented by requiring that the Lie derivative, with respect to the vector field describing the evolution ,of the tensor fields describing the additional geometrical structures identically vanishes. This ideology is fully developed in the book Geometry from Dynamics, Classical and Quantum, there Quantum Mechanics is considered in the Hilbert Space picture and the evolution is given by a vector field on the manifold of states.
Here we consider Quantum Mechanics in the C*-algebraic setting, evolution being described by a vector field on the manifold of observables. We will show that alternative structures of Lie-Jordan algebras on the manifold of observables are possible. This would be the analog (Dirac’s Analogy Principle)of alternative compatible Poisson structures invariant under Classical Evolution.
Reference: J.F.Carinena, A.Ibort, G.Marmo, G.Morandi. Geometry from Dynamics,Classical and Quantum. Springer, 2015
Title: The invariant inverse problem and EDS on Lie algebroids [slides]
Abstract: Given an invariant system of second-order ODEs on a Lie group, when does an invariant Lagrangian exist? This question is the so-called «invariant»; inverse problem. In this talk, we discuss some aspects of the problem, and we explain how it fits within the context of exterior differential systems (EDS), once we have extended EDS theory from manifolds (and their tangent bundles) to Lie algebroids.
Title: Darboux-Lie Derivatives: a unified calculus for G-structures [slides]
Abstract: In the theory of G-structures on manifolds, geometric structures are often described in terms of gauge equivalence classes of soldering forms.
However, a comprehensive calculus of derivatives for such forms and their gauge transformations has been lacking. In this talk, based on joint work with
Ivan Yudin, I will introduce the concept of the Darboux-Lie derivative, a new tool designed to fill this gap.
We define the Darboux-Lie derivative for fiber bundle maps from natural bundles to associated fiber bundles. This construction generalizes the metamathematical notion of a derivative, utilizing the Trautman lift as a very general framework. I will demonstrate how this single operator unifies various
classical concepts, showing that the standard Lie derivative, the covariant derivative, and the classical Darboux derivative for group valued maps are all
specific instances of the Darboux-Lie derivative.
Key properties of this new derivative will be discussed, including:
Finally, I will briefly outline applications to G-structures, specifically how this derivative characterizes infinitesimal automorphisms and torsion-free conditions.
Title: Multicontact field theories: Foundations, symmetries and perspectives [slides]
Abstract: A new geometric framework—based on contact and multisymplecticgeometry and known as multicontact structure— has recently been developed
to model action-dependent field theories. The purpose of this talk is, first, to review the foundations of multicontact geometry and its use in formulating the
Lagrangian and Hamiltonian descriptions of such theories. Second, we examine their non-conservative features, introducing precise notions ofsymmetries and the corresponding dissipation laws, and establishing an adapted version of Noether’s theorem. Finally, we outline several physical applications and discuss current perspectives and future developments in the field.
References:
1. M. de León, J. Gaset, M. C. Muñoz-Lecanda, X. Rivas, and N. Román- Roy. Multicontact formulation for non-conservative field theories, J. Phys. A: Math.
Theor. 56(2) (2023) 025201. DOI: 10.1088/1751-8121/acb575.
2. M. de León, J. Gaset, M. C. Muñoz-Lecanda, X. Rivas, and N. Román-Roy. Practical introduction to action-dependent field theories, Fortschr. Phys. 7(5)
(2025) e70000. DOI: 10.1002/prop.70000.
3. X. Rivas, N. Román-Roy, and B.M. Zawora. Symmetries and Noether’s theorem for multicontact field theories, Lett. Math. Phys. 115 (2025) 108. DOI:
10.1007/s11005-025-01995-0.
4. M. de León, R. Izquierdo-López, and X Rivas. Brackets in multicontact geometry and multisymplectization, arXiv:2505.13224 (2025).
Title: On the Geometry and Dynamics of Engineering Systems [slides]
Abstract: Mechanics has always provided an immensely fruitful playing ground for the development of mathematics; from Hamiltonian dynamics, variational
principles, to geometric mechanics. The aim of this talk is to indicate that, next to the mechanical system case, there is a vast area of other physical systems
that, perhaps equally well, gives rise to interesting dynamical and geometric developments. In particular, we will consider classes of systems originating from
engineering. Complex engineering systems are often composed of subsystems stemming from different physical domains (mechanical, electrical, chemical,
etc.). This necessitates the consideration of a unified framework for the modeling and analysis of multi-physics systems, and has given rise to the
geometric theory of port-Hamiltonian systems. While the geometry of mechanical systems is, loosely speaking, based on the geometry of the cotangent bundle of the configuration manifold (with extensions to, e.g., symplectic and Poisson manifolds), the basic geometry of port-Hamiltonian systems is provided by the notion of a Dirac structure. Differently from the mechanical case, this Dirac structure is also determined by the interconnection structure of the system, as exemplified by Kirchhoff’s current and voltage laws.
Furthermore, port-Hamiltonian systems theory admits the inclusion of energy-dissipation (which is essential to most engineering and natural systems), algebraic constraints, and interaction with the environment (through inputs and outputs). Special emphasis in this talk will be given to relaxation systems, which are port-Hamiltonian systems with only one type of energy storage (and hence no oscillatory behavior). It will be shown that such systems admit an alternative geometric description as gradient systems, where the Riemannian metric is given by the inverse of the Hessian matrix of the energy function (Hamiltonian).
Furthermore the dissipation potential qualifies as a candidate Lyapunov function, different from the Hamiltonian. This extends the Brayton-Moser formulation and analysis of nonlinear electrical networks, and provides interesting links to convex analysis. As an appealing example, we will also discuss continuous Hopfield neural networks from this perspective.
Title: Mechanical Hamiltonization of unreduced Chaplygin systems [slides]
Abstract: In a recent paper, we proved that the trajectories of unreduced $\phi$-simple Chaplygin kinetic systems are reparametrizations of horizontal geodesics with respect to a modified Riemannian metric. In this talk, we will show how one can construct these Riemannian metrics, which are not unique,
and see them in specific examples. We also extend these results to mechanical systems with invariant potential (not necessarily kinetic).
Title: Reconstruction in Lie-Poisson reduction for field theories.
Abstract: Any reduction procedure naturally poses a reconstruction problem: given a solution of the reduced system, can one recover a corresponding solution of the original unreduced problem? While reconstruction is always possible in mechanics, in Euler–Poincaré and Lagrange–Poincaré reduction for field theories, the obstruction to reconstruction is characterised by the curvature of a connection constructed from the reduced solution. Far less is known, however, in the Poisson–covariant formulation of Hamiltonian field theories. In this talk, we present explicit reconstruction conditions for Lie–Poisson systems and extend these results to the case where the symmetry group is a subgroup of the structure group of the configuration space.
Title: The Tulczyjew’s triple for Classical Field Theory [slides]
Abstract: The Tulczyjew’s triple associated with a fibration is introduced. For this purpose, a description of classical field theories of first order is presented.
The triple is adapted to the extended Hamiltonian formalism. Using this triple, we prove that Euler-Lagrange and Hamilton-De Donder-Weyl equations are the
local equations defining Lagrangian submanifolds of a premultisymplectic manifold.
Title: Hamilton equations for gravity with basis [slides]
Abstract: The vielbein formulation of gravity is a class of gravitational theories in which the metric and the connection are treated as independent variables. In this approach, the metric is introduced indirectly by means of a local frame on the tangent bundle. Consequently, one works with the frame bundle (and naturally associated bundles), and it is possible to set up a variational problem for gravity taking advantage of the geometrical structures present in these bundles. In a joint work with Guadalupe Quijón, it was possible to develop a Hamiltonian version for this variational problem. This talk will present some of the features of that construction.
Title: On Disformal Transformations [slides]
Abstract: Disformal transformations are non-natural transformations that relate some of the most prominent Modified Gravity theories, i.e. extensions of General Relativity that aim to model Dark Energy. Those transformations are geometrically interesting since they are not diffeomorphisms and relate systems of different order. In this talk, I will present preliminary results on the geometrical and physical implications of disformal-like transformations in mechanics. Particular attention will be paid to degrees of freedom, symmetries and dynamical equivalence. Work in progress with V. Errasti Díez, J. Gaset Rifà and M. Lainz Valcázar.
Title: Lagrangian neural networks for nonholonomic mechanics [slides]
Abstract: This talk presents an extension of Lagrangian Neural Networks (LNNs) to mechanical systems with nonholonomic constraints. LNNs provide a powerful framework for modeling physical systems, as they learn the system’s Lagrangian and generate trajectories that nearly conserve energy. While previous studies have focused on unconstrained or holonomically constrained systems, here the methodology is adapted to handle nonholonomic restrictions. Classical benchmark examples illustrate that incorporating the constraints directly into the learning process improves trajectory prediction accuracy, enforces consistency with the nonholonomic constraints, and results in better energy behavior compared to unconstrained models.
Title: From variational principles to geometry [slides]
Abstract: A method to construct a geometric structure with the same solutions as a given variational principle is presented. The method applies to large
families of variational principles. In particular, the known results that assign cosymplectic geometry to Hamilton's principle and cocontact geometry to Herglotz's principle for regular Lagrangians are recovered. The unified Lagrangian-Hamiltonian formalism is also recovered via the absorption of the
holonomy conditions. The method is applied to singular action-dependent Lagrangians, which do not always lead to (pre)cocontact geometry. In these cases, the resulting geometry associated with the Herglotz's variational principle is new.
Title: Time-dependent Riemannian metrics and connections [slides]
Abstract: We study the notion of geodesics when a Riemannian metricdepends on the time parameter. This leads to the introduction of time-dependent covariant derivation operators, and the associated notion of
parallel transport.
Title: Unimodularity and preservation of volume forms on Poisson-Lie groups and Poisson homogeneous spaces [slides]
Abstract: In this talk I will introduce the notion of a Poisson-Lie (PL) group and a Poisson homogeneous space (PHS). Then I will briefly introduce Poisson cohomology (and in particular unimodularity) and its relation with the existence of preserved volume forms for Hamiltonian systems defined on PLs and PHSs. Moreover, under some assumptions, I will show how an infinitesimal characterisation can be given. I will illustrate all these results with some examples.
Title: The graded Poisson bracket of general conservation laws in classical field theories [slides]
Abstract: In physics, the Noether correspondence between higher-form symmetries (symmetries parametrized by closed forms) and more general conservation laws (lower-degree forms that are closed on solutions) has attained importance in both classical and quantum theory. This correspondence is well known among physicists, but lacks a fully formalized mathematical framework. In this contribution, I will present a possible approach to the theory of general conservation laws in classical field theory using the graded Poisson brackets from multisymplectic geometry. I will emphasize on the duality between multivectors and forms and give some recent results regarding the algebra structure of Hamiltonian forms.
Title: Equivariant Quantum Neural Networks: A groupoidal approach [slides]
Abstract: This talk introduces the theory of equivariant neural networks in both classical and quantum settings. Studying the geometry of the domains and
incorporating concepts such as symmetry and equivariance has significantly improved the efficiency and generalization of machine learning algorithms. We
present the general framework of this emerging field, often referred to as geometric deep Learning, and extend it to the quantum domain by employing a more abstract and foundational approach based on groupoid theory. This formulation establishes the theoretical underpinnings of equivariant quantum neural networks. Furthermore, we prove the Imprimitivity Theorem, which provides a one-to-one correspondence between representations of a groupoid and those of its isotropy groups.
Title: The groupoid of symmetries of a Hamiltonian system [slides]
Abstract: The jet groupoid of a manifold $Π^1(MxM)$ is the set of invertible linear maps between its tangent spaces. A Hamiltonian system $(M, \omega,H)$, induces several subgroups of the jet groupoid, by requiring the linear maps to preserve a combination of $\omega, H, X_H$. We define these groupoids, compute their algebroids and interpret the A-connections. Flat and torsionless connections give rise to adapted coordinates. One important technical dificulty is that in most cases these subgroupoids fail to be manifolds, hece the algebroids are singular and fail to have constant rank. This is based on joint work with Victor M. Jiménez.
Title: Homogeneous Fronenius and Darboux theorems [slides]
Abstract: There are multiple situations in differential geometry and physics where a grading appears (the spin of particles, intensive/extensive variables, the exterior product of differential forms, etc.). It is thus natural to seek coordinates which are simultaneously homogeneous (i.e. respecting the grading) and adapted to the geometric structure under consideration. I shall present a Frobenius theorem for involutive homogeneous distributions, as well as Darboux theorems for homogeneous presymplectic and Pfaffian forms. This is a joint work with Prof. J. Grabowski.
Title: Discretization of Dirac structures [slides]
Abstract: We study the discretization of (almost-)Dirac structures using the notion of retraction and discretization maps on manifolds. Additionally, we apply the proposed discretization techniques to obtain numerical integrators for port-Hamiltonian systems and we discuss how to merge the discretization procedure
and the constraint algorithm associated to systems of implicit differential equations.
Title: Safety filters for Large Language Models: A control theoretic approach to
toxicity prevention [slides]
Abstract: The rapid integration of large language models (LLMs) into our everyday lives has outpaced safety considerations aimed at protecting users
from toxic outputs and preventing malicious actors from generating harmful text at scale. Our work addresses this issue by developing a framework for designing safety filters that preclude toxic outputs. To achieve this, we leverage Control Barrier Functions (CBFs) which enable the design of closed-
loop systems that remain safe. We consider the continuous-time model of an LLM, where tokens are regarded as the state of the model, and prove that by
only controlling the first token, any function satisfying mild assumptions becomes a CBF. Our approach can be utilized to design LLMs capable of
ensuring safety of its outputs without significantly affecting the original model’s behavior.
Title: Learning Hamiltonian Dynamics [slides]
Abstract: Developing geometric integrators and geometry-aware learning paradigms are two complementary research directions in the study of dynamical systems. In this talk, we present recent advances that connect these areas by exploiting symplectic groupoids and Poisson geometry to learn Hamiltonian dynamics in a structure-preserving manner. We show how these geometric structures provide natural inductive biases for learning, allowing the resulting models to respect fundamental properties such as symplecticity, conservation laws, and invariants encoded by Poisson structures. This perspective leads to learning frameworks that are consistent with geometric integration theory and exhibit improved stability and long-time behavior when compared to unconstrained approaches.
Title: Dual variables and variational principles for Hamiltonian PDEs [slides]
Abstract: Does every Hamiltonian PDE have a Lagrangian formulation? We do
not claim a general answer to this question, but will give a strategy that appears quite effective in constructing variational principles for Hamiltonian PDEs.
It is well-known that in many cases (e.g. KdV equation) passing to a potential variable allows one to formulate a variational principle. We will show that such a potential variable can be thought of as an element of the dual space to the original phase space. We use this point of view to obtain a more general construction of variational principles for Hamiltonian PDEs. The same duality can also be observed in mechanics, but it is not the duality manifested in the Legendre transform. Instead it links the Hamiltonian formulation and the variational principle in phase space.