Showing 1–25 of 25 results for author: Cabrera, A

Riemannian Variational Calculus: Optimal Trajectories Under Inertia, Gravity, and Drag Effects

Authors: Jinwoo Choi, Alejandro Cabrera, Ross L. Hatton

Abstract: Robotic motion optimization often focuses on task-specific solutions, overlooking fundamental motion principles. Building on Riemannian geometry and the calculus of variations (often appearing as indirect methods of optimal control), we derive an optimal control equation that expresses general forces as functions of configuration and velocity, revealing how inertia, gravity, and drag shape optimal… ▽ More Robotic motion optimization often focuses on task-specific solutions, overlooking fundamental motion principles. Building on Riemannian geometry and the calculus of variations (often appearing as indirect methods of optimal control), we derive an optimal control equation that expresses general forces as functions of configuration and velocity, revealing how inertia, gravity, and drag shape optimal trajectories. Our analysis identifies three key effects: (i) curvature effects of inertia manifold, (ii) curvature effects of potential field, and (iii) shortening effects from resistive force. We validate our approach on a two-link manipulator and a UR5, demonstrating a unified geometric framework for understanding optimal trajectories beyond geodesic-based planning. △ Less

Submitted 17 March, 2025; v1 submitted 12 October, 2024; originally announced October 2024.

Comments: 6 pages, submitted to IEEE Control Systems Letters (L-CSS)

Approximating Symplectic Realizations: A General Framework for the Construction of Poisson Integrators

Authors: Alejandro Cabrera, David Martín de Diego, Miguel Vaquero

Abstract: While the construction of symplectic integrators for Hamiltonian dynamics is well understood, an analogous general theory for Poisson integrators is still lacking. The main challenge lies in overcoming the singular and non-linear geometric behavior of Poisson structures, such as the presence of symplectic leaves with varying dimensions. In this paper, we propose a general approach for the construc… ▽ More While the construction of symplectic integrators for Hamiltonian dynamics is well understood, an analogous general theory for Poisson integrators is still lacking. The main challenge lies in overcoming the singular and non-linear geometric behavior of Poisson structures, such as the presence of symplectic leaves with varying dimensions. In this paper, we propose a general approach for the construction of geometric integrators on any Poisson manifold based on independent geometric and dynamic sources of approximation. The novel geometric approximation is obtained by adapting structural results about symplectic realizations of general Poisson manifolds. We also provide an error analysis for the resulting methods and illustrative applications. △ Less

Submitted 6 September, 2024; originally announced September 2024.

MSC Class: 65P10; 53D05

Optimal Control of Robotic Systems and Biased Riemannian Splines

Authors: Alejandro Cabrera, Ross L. Hatton

Abstract: In this paper, we study mechanical optimal control problems on a given Riemannian manifold $(Q,g)$ in which the cost is defined by a general cometric $\tilde{g}$. This investigation is motivated by our studies in robotics, in which we observed that the mathematically natural choice of cometric $\tilde{g} = g^{*}$ -- the dual of $g$ -- does not always capture the true cost of the motion. We then, f… ▽ More In this paper, we study mechanical optimal control problems on a given Riemannian manifold $(Q,g)$ in which the cost is defined by a general cometric $\tilde{g}$. This investigation is motivated by our studies in robotics, in which we observed that the mathematically natural choice of cometric $\tilde{g} = g^{*}$ -- the dual of $g$ -- does not always capture the true cost of the motion. We then, first, discuss how to encode the system's torque-based actuators configuration into a cometric $\tilde{g}$. Second, we provide and prove our main theorem, which characterizes the optimal solutions of the problem associated to general triples $(Q, g, \tilde{g})$ in terms of a 4th order differential equation. We also identify a tensor appearing in this equation as the geometric source of "biasing" of the solutions away from ordinary Riemannian splines and geodesics for $(Q, g)$. Finally, we provide illustrative examples and practical demonstration of the biased splines as providing the true optimizers in a concrete robotics system. △ Less

Submitted 9 November, 2023; v1 submitted 9 November, 2023; originally announced November 2023.

MSC Class: 53A04 (Primary) 53A17; 49K15 (Secondary)

Poisson double structures

Authors: Henrique Bursztyn, Alejandro Cabrera, Matias del Hoyo

Abstract: We introduce Poisson double algebroids, and the equivalent concept of double Lie bialgebroid, which arise as second-order infinitesimal counterparts of Poisson double groupoids. We develop their underlying Lie theory, showing how these objects are related by differentiation and integration. We use these results to revisit Lie 2-bialgebras by means of Poisson double structures. We introduce Poisson double algebroids, and the equivalent concept of double Lie bialgebroid, which arise as second-order infinitesimal counterparts of Poisson double groupoids. We develop their underlying Lie theory, showing how these objects are related by differentiation and integration. We use these results to revisit Lie 2-bialgebras by means of Poisson double structures. △ Less

Submitted 29 June, 2021; originally announced June 2021.

Comments: 28 pages. Dedicated to the memory of Kirill Mackenzie

Journal ref: Journal of Geometric Mechanics 14 (2022): 151-178

Generating functions for local symplectic groupoids and non-perturbative semiclassical quantization

Authors: Alejandro Cabrera

Abstract: This paper contains three results about generating functions for Lie-theoretic integration of Poisson brackets and their relation to quantization. In the first, we show how to construct a generating function associated to the germ of any local symplectic groupoid and we provide an explicit (smooth, non-formal) universal formula $S_π$ for integrating any Poisson structure $π$ on a coordinate space.… ▽ More This paper contains three results about generating functions for Lie-theoretic integration of Poisson brackets and their relation to quantization. In the first, we show how to construct a generating function associated to the germ of any local symplectic groupoid and we provide an explicit (smooth, non-formal) universal formula $S_π$ for integrating any Poisson structure $π$ on a coordinate space. The second result involves the relation to semiclassical quantization. We show that the formal Taylor expansion of $S_{tπ}$ around $t=0$ yields an extract of Kontsevich's star product formula based on tree-graphs, recovering the formal family introduced by Cattaneo, Dherin and Felder in [6]. The third result involves the relation to semiclassical aspects of the Poisson Sigma model. We show that $S_π$ can be obtained by non-perturbative functional methods, evaluating a certain functional on families of solutions of a PDE on a disk, for which we show existence and classification. △ Less

Submitted 4 November, 2020; originally announced November 2020.

Comments: 53 pages, 2 figures

MSC Class: 53D17 (primary) 53D55; 81T45 (secondary)

Journal ref: Commun. Math. Phys. 395, 1243-1296 (2022)

Quotients of multiplicative forms and Poisson reduction

Authors: Alejandro Cabrera, Cristian Ortiz

Abstract: In this paper we study quotients of Lie algebroids and groupoids endowed with compatible differential forms. We identify Lie theoretic conditions under which such forms become basic and characterize the induced forms on the quotients. We apply these results to describe generalized quotient and reduction processes for (twisted) Poisson and Dirac structures, as well as to their integration by (twist… ▽ More In this paper we study quotients of Lie algebroids and groupoids endowed with compatible differential forms. We identify Lie theoretic conditions under which such forms become basic and characterize the induced forms on the quotients. We apply these results to describe generalized quotient and reduction processes for (twisted) Poisson and Dirac structures, as well as to their integration by (twisted, pre-)symplectic groupoids. In particular, we recover and generalize several known results concerning Poisson reduction. △ Less

Submitted 7 August, 2020; originally announced August 2020.

MSC Class: 53D17; 53D18

Journal ref: Diff. Geom. Appl. Vol 83, August 2022, article 101898

Local formulas for multiplicative forms

Authors: Alejandro Cabrera, Ioan Marcut, Maria Amelia Salazar

Abstract: We provide explicit formulas for integrating multiplicative forms on local Lie groupoids in terms of infinitesimal data. Combined with our previous work [8], which constructs the local Lie groupoid of a Lie algebroid, these formulas produce concrete integrations of several geometric stuctures defined infinitesimally. In particular, we obtain local integrations and non-degenerate realizations of Po… ▽ More We provide explicit formulas for integrating multiplicative forms on local Lie groupoids in terms of infinitesimal data. Combined with our previous work [8], which constructs the local Lie groupoid of a Lie algebroid, these formulas produce concrete integrations of several geometric stuctures defined infinitesimally. In particular, we obtain local integrations and non-degenerate realizations of Poisson, Nijenhuis-Poisson, Dirac, and Jacobi structures by local symplectic, symplectic-Nijenhuis, presymplectic, and contact groupoids, respectively. △ Less

Submitted 24 July, 2019; v1 submitted 4 September, 2018; originally announced September 2018.

Comments: 29 pages, this is the second part of an original longer paper that was split into two parts (the first part is in arXiv:1703.04411v2 [math.DG]). Transformation Groups (2020)

Journal ref: Transformation Groups volume 27, pages 371-401 (2022)

Discrete dynamics and differentiable stacks

Authors: Alejandro Cabrera, Matias del Hoyo, Enrique Pujals

Abstract: In this paper we relate the study of actions of discrete groups over connected manifolds to that of their orbit spaces seen as differentiable stacks. We show that the orbit stack of a discrete dynamical system on a simply connected manifold encodes the dynamics up to conjugation and inversion. We also prove a generalization of this result for arbitrary discrete groups and non-simply connected mani… ▽ More In this paper we relate the study of actions of discrete groups over connected manifolds to that of their orbit spaces seen as differentiable stacks. We show that the orbit stack of a discrete dynamical system on a simply connected manifold encodes the dynamics up to conjugation and inversion. We also prove a generalization of this result for arbitrary discrete groups and non-simply connected manifolds, and relate it to the covering theory of stacks. As applications, we obtain a geometric version of Rieffel's theorem on irrational rotations of the circle, we compute the stack-theoretic fundamental group of hyperbolic toral automorphisms, and we revisit the classification of lens spaces. △ Less

Submitted 30 July, 2019; v1 submitted 31 March, 2018; originally announced April 2018.

Comments: Revised version, 24 pages, a section about the characteristic class of a dynamics was added

MSC Class: 22A22; 37C15; 57M12

Journal ref: Revista Matemática Iberoamericana (2020)

About simple variational splines from the Hamiltonian viewpoint

Authors: Paula Balseiro, Alejandro Cabrera, Teresinha J. Stuchi, Jair Koiller

Abstract: In this paper, we study simple splines on a Riemannian manifold $Q$ from the point of view of the Pontryagin maximum principle (PMP) in optimal control theory. The control problem consists in finding smooth curves matching two given tangent vectors with the control being the curve's acceleration, while minimizing a given cost functional. We focus on cubic splines (quadratic cost function) and on t… ▽ More In this paper, we study simple splines on a Riemannian manifold $Q$ from the point of view of the Pontryagin maximum principle (PMP) in optimal control theory. The control problem consists in finding smooth curves matching two given tangent vectors with the control being the curve's acceleration, while minimizing a given cost functional. We focus on cubic splines (quadratic cost function) and on time-minimal splines (constant cost function) under bounded acceleration. We present a general strategy to solve for the optimal hamiltonian within the PMP framework based on splitting the variables by means of a linear connection. We write down the corresponding hamiltonian equations in intrinsic form and study the corresponding hamiltonian dynamics in the case $Q$ is the $2$-sphere. We also elaborate on possible applications, including landmark cometrics in computational anatomy. △ Less

Submitted 7 November, 2017; originally announced November 2017.

Comments: 45 pages, 8 figures

MSC Class: 53D20; 65D07; 49J15; 70H06

Journal ref: Journal of Geometric Mechanics, Volume 9, Number 3, September 2017, pp. 257290

Designing Real-Time Prices to Reduce Load Variability with HVAC

Authors: John Audie Cabrera, Yonatan Mintz, Jhoanna Rhodette Pedrasa, Anil Aswani

Abstract: Utilities use demand response to shift or reduce electricity usage of flexible loads, to better match electricity demand to power generation. A common mechanism is peak pricing (PP), where consumers pay reduced (increased) prices for electricity during periods of low (high) demand, and its simplicity allows consumers to understand how their consumption affects costs. However, new consumer technolo… ▽ More Utilities use demand response to shift or reduce electricity usage of flexible loads, to better match electricity demand to power generation. A common mechanism is peak pricing (PP), where consumers pay reduced (increased) prices for electricity during periods of low (high) demand, and its simplicity allows consumers to understand how their consumption affects costs. However, new consumer technologies like internet-connected smart thermostats simplify real-time pricing (RP), because such devices can automate the tradeoff between costs and consumption. These devices enable consumer choice under RP by abstracting this tradeoff into a question of quality of service (e.g., comfort) versus price. This paper uses a principal-agent framework to design PP and RP rates for heating, ventilation, and air-conditioning (HVAC) to address adverse selection due to variations in consumer comfort preferences. We formulate the pricing problem as a stochastic bilevel program, and numerically solve it by reformulation as a mixed integer program (MIP). Last, we compare the effectiveness of different pricing schemes on reductions of peak load or load variability. We find that PP pricing induces HVAC consumption to spike high (before), spike low (during), and spike high (after) the PP event, whereas RP achieves reductions in peak loads and load variability while preventing large spikes in electricity usage. △ Less

Submitted 29 September, 2017; originally announced September 2017.

On local integration of Lie brackets

Authors: Alejandro Cabrera, Ioan Marcut, Maria Amelia Salazar

Abstract: We give a direct, explicit and self-contained construction of a local Lie groupoid integrating a given Lie algebroid which only depends on the choice of a spray vector field lifting the underlying anchor map. This construction leads to a complete account of local Lie theory and, in particular, to a finite-dimensional proof of the fact that the category of germs of local Lie groupoids is equivalent… ▽ More We give a direct, explicit and self-contained construction of a local Lie groupoid integrating a given Lie algebroid which only depends on the choice of a spray vector field lifting the underlying anchor map. This construction leads to a complete account of local Lie theory and, in particular, to a finite-dimensional proof of the fact that the category of germs of local Lie groupoids is equivalent to that of Lie algebroids. △ Less

Submitted 1 June, 2018; v1 submitted 13 March, 2017; originally announced March 2017.

Comments: 26 pages; the previous version (v1) was split into two papers, this is the first one and the second one will appear separatedly

Journal ref: J. Reine Angew. Math. (Crelle's journal), Volume 2020, Issue 760, Pages 267--293

Control Synthesis for Bilevel Linear Model Predictive Control

Authors: Yonatan Mintz, John Audie Cabrera, Jhoanna Rhodette Pedrasa, Anil Aswani

Abstract: Distributed model predictive control (MPC) is either cooperative or competitive, and control-theoretic properties have been less studied in the competitive (e.g., game theory) setting. This paper studies MPC with linear dynamics and a Stackelberg game structure: Given a fixed lower-level linear MPC (LoMPC) controller, the bilevel linear MPC (BiMPC) controller chooses inputs to steer LoMPC knowing… ▽ More Distributed model predictive control (MPC) is either cooperative or competitive, and control-theoretic properties have been less studied in the competitive (e.g., game theory) setting. This paper studies MPC with linear dynamics and a Stackelberg game structure: Given a fixed lower-level linear MPC (LoMPC) controller, the bilevel linear MPC (BiMPC) controller chooses inputs to steer LoMPC knowing that LoMPC is optimizing with respect to a different cost function. After defining LoMPC and BiMPC, we give examples to demonstrate how interconnections in a dynamic Stackelberg game can lead to loss/gain (as compared to the same system being centrally controlled) of controllability or stability. Then, we give sufficient conditions under an arbitrary finite MPC horizon for stabilizability of BiMPC, and develop an approach to synthesize a stabilizing BiMPC controller. Next, we define two (a duality-based technique and an integer-programming-based technique) reformulations to numerically solve the optimization problem associated with BiMPC, prove equivalence of these reformulations to BiMPC, and demonstrate their useful by simulations of a synthetic system and a case study of an electric utility changing electricity prices to perform demand response of a home's air conditioner controlled by a linear MPC. △ Less

Submitted 25 September, 2017; v1 submitted 14 November, 2016; originally announced November 2016.

Lie theory of vector bundles, Poisson geometry and double structures

Authors: Henrique Bursztyn, Alejandro Cabrera, Matias del Hoyo

Abstract: We briefly review our results on the Lie theory underlying vector bundles over Lie groupoids and Lie algebroids, pointing out the role of Poisson geometry in extending these results to double Lie algebroids and LA-groupoids. We briefly review our results on the Lie theory underlying vector bundles over Lie groupoids and Lie algebroids, pointing out the role of Poisson geometry in extending these results to double Lie algebroids and LA-groupoids. △ Less

Submitted 10 May, 2016; originally announced May 2016.

Comments: 7 pages. Proceedings of the International Congress of Mathematical Physics, Santiago, 2015

Van Est isomorphism for homogeneous cochains

Authors: Alejandro Cabrera, Thiago Drummond

Abstract: VB-groupoids define a special class of Lie groupoids which carry a compatible linear structure. In this paper, we show that their differentiable cohomology admits a refinement by considering the complex of cochains which are k-homogeneous on the linear fiber. Our main result is a Van Est theorem for such cochains. We also work out two applications to the general theory of representations of Lie gr… ▽ More VB-groupoids define a special class of Lie groupoids which carry a compatible linear structure. In this paper, we show that their differentiable cohomology admits a refinement by considering the complex of cochains which are k-homogeneous on the linear fiber. Our main result is a Van Est theorem for such cochains. We also work out two applications to the general theory of representations of Lie groupoids and algebroids. The case k=1 yields a Van Est map for representations up to homotopy on 2-term graded vector bundles. Arbitrary k-homogeneous cochains on suitable VB-groupoids lead to a novel Van Est theorem for differential forms on Lie groupoids with values in a representation. △ Less

Submitted 22 February, 2016; originally announced February 2016.

Journal ref: Pacific J. Math. 287 (2017) 297-336

Dirac Geometry of the Holonomy Fibration

Authors: Alejandro Cabrera, Marco Gualtieri, Eckhard Meinrenken

Abstract: In this paper, we solve the problem of giving a gauge-theoretic description of the natural Dirac structure on a Lie Group which plays a prominent role in the theory of D- branes for the Wess-Zumino-Witten model as well as the theory of quasi-Hamiltonian spaces. We describe the structure as an infinite-dimensional reduction of the space of connections over the circle. Our insight is that the formal… ▽ More In this paper, we solve the problem of giving a gauge-theoretic description of the natural Dirac structure on a Lie Group which plays a prominent role in the theory of D- branes for the Wess-Zumino-Witten model as well as the theory of quasi-Hamiltonian spaces. We describe the structure as an infinite-dimensional reduction of the space of connections over the circle. Our insight is that the formal Poisson structure on the space of connections is not an actual Poisson structure, but is itself a Dirac structure, due to the fact that it is defined by an unbounded operator. We also develop general tools for reducing Courant algebroids and morphisms between them, allowing us to give a precise correspondence between Hamiltonian loop group spaces and quasi- Hamiltonian spaces. △ Less

Submitted 25 August, 2015; originally announced August 2015.

Comments: 40 pages

Journal ref: Commun. Math. Phys. 355, 865--904 (2017)

Vector bundles over Lie groupoids and algebroids

Authors: Henrique Bursztyn, Alejandro Cabrera, Matias del Hoyo

Abstract: We study VB-groupoids and VB-algebroids, which are vector bundles in the realm of Lie groupoids and Lie algebroids. Through a suitable reformulation of their definitions, we elucidate the Lie theory relating these objects, i.e., their relation via differentiation and integration. We also show how to extend our techniques to describe the more general Lie theory underlying double Lie algebroids and… ▽ More We study VB-groupoids and VB-algebroids, which are vector bundles in the realm of Lie groupoids and Lie algebroids. Through a suitable reformulation of their definitions, we elucidate the Lie theory relating these objects, i.e., their relation via differentiation and integration. We also show how to extend our techniques to describe the more general Lie theory underlying double Lie algebroids and LA-groupoids. △ Less

Submitted 19 October, 2014; originally announced October 2014.

Comments: 37 pages

Journal ref: Advances in Mathematics (2016), pp. 163-207

Obstructions to the integrability of VB-algebroids

Authors: Olivier Brahic, Alejandro Cabrera, Cristian Ortiz

Abstract: VB-groupoids can be thought of as vector bundle objects in the category of Lie groupoids. Just as Lie algebroids are the infinitesimal counterparts of Lie groupoids, VB-algebroids correspond to the infinitesimal version of VB-groupoids. In this work we address the problem of the existence of a VB-groupoid admitting a given VB-algebroid as its infinitesimal data. Our main result is an explicit char… ▽ More VB-groupoids can be thought of as vector bundle objects in the category of Lie groupoids. Just as Lie algebroids are the infinitesimal counterparts of Lie groupoids, VB-algebroids correspond to the infinitesimal version of VB-groupoids. In this work we address the problem of the existence of a VB-groupoid admitting a given VB-algebroid as its infinitesimal data. Our main result is an explicit characterization of the obstructions appearing in this integrability problem as the vanishing of the spherical periods of certain cohomology classes. Along the way, we illustrate our result in concrete examples. Finally, as a corollary, we obtain computable obstructions for a $2$-term representation up to homotopy of Lie algebroid to arise as the infinitesimal counterpart of a smooth such representation of a Lie groupoid. △ Less

Submitted 7 November, 2017; v1 submitted 8 March, 2014; originally announced March 2014.

Comments: 26 pages, accepted for publication in the Journal of Symplectic Geometry

MSC Class: 18D05; 22A30; 53D17

Journal ref: Journal of Symplectic Geometry. Vol. 16, No. 2 (2018), pp. 439-483

Multisymplectic geometry and Lie groupoids

Authors: Henrique Bursztyn, Alejandro Cabrera, David Iglesias

Abstract: We study higher-degree generalizations of symplectic groupoids, referred to as {\em multisymplectic groupoids}. Recalling that Poisson structures may be viewed as infinitesimal counterparts of symplectic groupoids, we describe "higher'' versions of Poisson structures by identifying the infinitesimal counterparts of multisymplectic groupoids. Some basic examples and features are discussed. We study higher-degree generalizations of symplectic groupoids, referred to as {\em multisymplectic groupoids}. Recalling that Poisson structures may be viewed as infinitesimal counterparts of symplectic groupoids, we describe "higher'' versions of Poisson structures by identifying the infinitesimal counterparts of multisymplectic groupoids. Some basic examples and features are discussed. △ Less

Submitted 22 December, 2013; originally announced December 2013.

Comments: 15 pages; to appear in the book "Geometry, Mechanics and Dynamics: The Legacy of Jerry Marsden", Fields Institute Communications Series

Differentiability of correlations in Realistic Quantum Mechanics

Authors: Alejandro Cabrera, Edson de Faria, Enrique Pujals, Charles Tresser

Abstract: We prove a version of Bell's Theorem in which the Locality assumption is weakened. We start by assuming theoretical quantum mechanics and weak forms of relativistic causality and of realism (essentially the fact that observable values are well defined independently of whether or not they are measured). Under these hypotheses, we show that only one of the correlation functions that can be formulate… ▽ More We prove a version of Bell's Theorem in which the Locality assumption is weakened. We start by assuming theoretical quantum mechanics and weak forms of relativistic causality and of realism (essentially the fact that observable values are well defined independently of whether or not they are measured). Under these hypotheses, we show that only one of the correlation functions that can be formulated in the framework of the usual Bell theorem is unknown. We prove that this unknown function must be differentiable at certain angular configuration points that include the origin. We also prove that, if this correlation is assumed to be twice differentiable at the origin, then we arrive at a version of Bell's theorem. On the one hand, we are showing that any realistic theory of quantum mechanics which incorporates the kinematic aspects of relativity must lead to this type of \emph{rough} correlation function that is once but not twice differentiable. On the other hand, this study brings us a single degree of differentiability away from a relativistic von Neumann no hidden variables theorem. △ Less

Submitted 23 September, 2015; v1 submitted 24 November, 2013; originally announced November 2013.

Comments: Final version, published in JMP

Journal ref: Journal of Mathematical Physics, 56, 092104 (2015)

Formal symplectic realizations

Authors: Alejandro Cabrera, Benoit Dherin

Abstract: We study the relationship between several constructions of symplectic realizations of a given Poisson manifold. Our main result is a general formula for a formal symplectic realization in the case of an arbitrary Poisson structure on $\R^n$. This formula is expressed in terms of rooted trees and elementary differentials, building on the work of Butcher, and the coefficients are shown to be a gener… ▽ More We study the relationship between several constructions of symplectic realizations of a given Poisson manifold. Our main result is a general formula for a formal symplectic realization in the case of an arbitrary Poisson structure on $\R^n$. This formula is expressed in terms of rooted trees and elementary differentials, building on the work of Butcher, and the coefficients are shown to be a generalization of Bernoulli numbers appearing in the linear Poisson case. We also show that this realization coincides with a formal version of the original construction of Weinstein, when suitably put in global Darboux form, and with the realization coming from tree-level part of Kontsevich's star product. We provide a simple iterated integral expression for the relevant coefficients and show that they coincide with underlying Kontsevich weights. △ Less

Submitted 23 September, 2015; v1 submitted 25 December, 2012; originally announced December 2012.

Comments: 21 pages, 4 figures. Revised version. Published in IMRN

AKSZ construction from reduction data

Authors: Francesco Bonechi, Alejandro Cabrera, Maxim Zabzine

Abstract: We discuss a general procedure to encode the reduction of the target space geometry into AKSZ sigma models. This is done by considering the AKSZ construction with target the BFV model for constrained graded symplectic manifolds. We investigate the relation between this sigma model and the one with the reduced structure. We also discuss several examples in dimension two and three when the symmetrie… ▽ More We discuss a general procedure to encode the reduction of the target space geometry into AKSZ sigma models. This is done by considering the AKSZ construction with target the BFV model for constrained graded symplectic manifolds. We investigate the relation between this sigma model and the one with the reduced structure. We also discuss several examples in dimension two and three when the symmetries come from Lie group actions and systematically recover models already proposed in the literature. △ Less

Submitted 11 April, 2012; originally announced April 2012.

Comments: 42 pages

Symmetries and reduction of multiplicative 2-forms

Authors: Henrique Bursztyn, Alejandro Cabrera

Abstract: This paper is concerned with symmetries of closed multiplicative 2-forms on Lie groupoids and their infinitesimal counterparts. We use them to study Lie group actions on Dirac manifolds by Dirac diffeomorphisms and their lifts to presymplectic groupoids, building on recent work of Fernandes-Ortega-Ratiu \cite{FOR} on Poisson actions. This paper is concerned with symmetries of closed multiplicative 2-forms on Lie groupoids and their infinitesimal counterparts. We use them to study Lie group actions on Dirac manifolds by Dirac diffeomorphisms and their lifts to presymplectic groupoids, building on recent work of Fernandes-Ortega-Ratiu \cite{FOR} on Poisson actions. △ Less

Submitted 21 December, 2011; originally announced December 2011.

Comments: 17 pages, to appear in Journal of Geometric Mechanics - in honor of Tudor Ratiu

Multiplicative forms at the infinitesimal level

Authors: Henrique Bursztyn, Alejandro Cabrera

Abstract: We describe arbitrary multiplicative differential forms on Lie groupoids infinitesimally, i.e., in terms of Lie algebroid data. This description is based on the study of linear differential forms on Lie algebroids and encompasses many known integration results related to Poisson geometry. We also revisit multiplicative multivector fields and their infinitesimal counterparts, drawing a parallel bet… ▽ More We describe arbitrary multiplicative differential forms on Lie groupoids infinitesimally, i.e., in terms of Lie algebroid data. This description is based on the study of linear differential forms on Lie algebroids and encompasses many known integration results related to Poisson geometry. We also revisit multiplicative multivector fields and their infinitesimal counterparts, drawing a parallel between the two theories. △ Less

Submitted 21 December, 2011; v1 submitted 4 January, 2010; originally announced January 2010.

Comments: Minor changes, final version to appear in Math. Annalen

Linear and multiplicative 2-forms

Authors: Henrique Bursztyn, Alejandro Cabrera, Cristian Ortiz

Abstract: We study the relationship between multiplicative 2-forms on Lie groupoids and linear 2-forms on Lie algebroids, which leads to a new approach to the infinitesimal description of multiplicative 2-forms and to the integration of twisted Dirac manifolds. We study the relationship between multiplicative 2-forms on Lie groupoids and linear 2-forms on Lie algebroids, which leads to a new approach to the infinitesimal description of multiplicative 2-forms and to the integration of twisted Dirac manifolds. △ Less

Submitted 2 November, 2009; originally announced November 2009.

Comments: to appear in Letters in Mathematical Physics

Base-controlled mechanical systems and geometric phases

Authors: Alejandro Cabrera

Abstract: In this paper, we carry a detailed study of mechanical systems with configuration space $Q\longrightarrow Q/G$ for which the base $Q/G$ variables are being controlled. The overall system's motion is considered to be induced from the base one due to the presence of general non-holonomic constraints. It is shown that the solution can be factorized into dynamical and geometrical parts. Moreover, un… ▽ More In this paper, we carry a detailed study of mechanical systems with configuration space $Q\longrightarrow Q/G$ for which the base $Q/G$ variables are being controlled. The overall system's motion is considered to be induced from the base one due to the presence of general non-holonomic constraints. It is shown that the solution can be factorized into dynamical and geometrical parts. Moreover, under favorable kinematical circumstances, the dynamical part admits a further factorization since it can be reconstructed from an intermediate (body) momentum solution, yielding a reconstruction phase formula. Finally, we apply this results to the study of concrete mechanical systems. △ Less

Submitted 11 June, 2007; originally announced June 2007.

Comments: 44 pages, 1 figure