Showing 1–21 of 21 results for author: Schaetz, F

Gauge equivalences for foliations and pre-symplectic structures

Authors: Florian Schaetz, Marco Zambon

Abstract: We consider the deformation theory of two kinds of geometric objects: foliations on one hand, pre-symplectic forms on the other. For each of them, we prove that the geometric notion of equivalence given by isotopies agrees with the algebraic notion of gauge equivalence obtained from the $L_{\infty}$-algebras governing these deformation problems. We consider the deformation theory of two kinds of geometric objects: foliations on one hand, pre-symplectic forms on the other. For each of them, we prove that the geometric notion of equivalence given by isotopies agrees with the algebraic notion of gauge equivalence obtained from the $L_{\infty}$-algebras governing these deformation problems. △ Less

Submitted 18 August, 2020; v1 submitted 9 October, 2018; originally announced October 2018.

Comments: 17 pages. v2: Added Subsection 2.4 on the moduli space. Final version

Deformations of Pre-Symplectic Structures: a Dirac Geometry Approach

Authors: Florian Schätz, Marco Zambon

Abstract: We explain the geometric origin of the $L_{\infty}$-algebra controlling deformations of pre-symplectic structures. We explain the geometric origin of the $L_{\infty}$-algebra controlling deformations of pre-symplectic structures. △ Less

Submitted 6 December, 2018; v1 submitted 25 July, 2018; originally announced July 2018.

Comments: This article explains the geometry underlying our earlier, more algebraic approach developed in arXiv:1703.00290. We take the liberty to reuse some of the definitions and results from loc. cit

Journal ref: SIGMA 14 (2018), 128, 12 pages

Deformations of pre-symplectic structures and the Koszul $L_\infty$-algebra

Authors: Florian Schaetz, Marco Zambon

Abstract: We study the deformation theory of pre-symplectic structures, i.e. closed two-forms of fixed rank. The main result is a parametrization of nearby deformations of a given pre-symplectic structure in terms of an $L_\infty$-algebra, which we call Koszul $L_\infty$-algebra. This $L_\infty$-algebra is a cousin of the Koszul dg Lie algebra associated to a Poisson manifold. In addition, we show that a qu… ▽ More We study the deformation theory of pre-symplectic structures, i.e. closed two-forms of fixed rank. The main result is a parametrization of nearby deformations of a given pre-symplectic structure in terms of an $L_\infty$-algebra, which we call Koszul $L_\infty$-algebra. This $L_\infty$-algebra is a cousin of the Koszul dg Lie algebra associated to a Poisson manifold. In addition, we show that a quotient of the Koszul $L_{\infty}$-algebra is isomorphic to the $L_\infty$-algebra which controls the deformations of the underlying characteristic foliation. Finally, we show that the infinitesimal deformations of pre-symplectic structures and of foliations are both obstructed. △ Less

Submitted 27 July, 2018; v1 submitted 1 March, 2017; originally announced March 2017.

Comments: 30 pages, final version to be published. The geometric interpretation in terms of Dirac geometry has been removed from this paper and put, in an improved form, in ArXiv 1807.10148

Eulerian idempotent, pre-Lie logarithm and combinatorics of trees

Authors: Ruggero Bandiera, Florian Schaetz

Abstract: The aim of this paper is to bring together the three objects in the title. Recall that, given a Lie algebra $\mathfrak{g}$, the Eulerian idempotent is a canonical projection from the enveloping algebra $U(\mathfrak{g})$ to $\mathfrak{g}$. The Baker-Campbell-Hausdorff product and the Magnus expansion can both be expressed in terms of the Eulerian idempotent, which makes it interesting to establish… ▽ More The aim of this paper is to bring together the three objects in the title. Recall that, given a Lie algebra $\mathfrak{g}$, the Eulerian idempotent is a canonical projection from the enveloping algebra $U(\mathfrak{g})$ to $\mathfrak{g}$. The Baker-Campbell-Hausdorff product and the Magnus expansion can both be expressed in terms of the Eulerian idempotent, which makes it interesting to establish explicit formulas for the latter. We show how to reduce the computation of the Eulerian idempotent to the computation of a logarithm in a certain pre-Lie algebra of planar, binary, rooted trees. The problem of finding formulas for the pre-Lie logarithm, which is interesting in its own right -- being related to operad theory, numerical analysis and renormalization -- is addressed using techniques inspired by umbral calculus. As a consequence of our analysis, we find formulas both for the Eulerian idempotent and the pre-Lie logarithm in terms of the combinatorics of trees. △ Less

Submitted 28 February, 2017; originally announced February 2017.

Comments: Preliminary version. Comments are welcome!

How to discretize the differential forms on the interval

Authors: Ruggero Bandiera, Florian Schaetz

Abstract: We provide explicit quasi-isomorphisms between the following three algebraic structures associated to the unit interval: i) the commutative dg algebra of differential forms, ii) the non-commutative dg algebra of simplicial cochains and iii) the Whitney forms, equipped with a homotopy commutative and homotopy associative, i.e. $C_\infty$, algebra structure. Our main interest lies in a natural `disc… ▽ More We provide explicit quasi-isomorphisms between the following three algebraic structures associated to the unit interval: i) the commutative dg algebra of differential forms, ii) the non-commutative dg algebra of simplicial cochains and iii) the Whitney forms, equipped with a homotopy commutative and homotopy associative, i.e. $C_\infty$, algebra structure. Our main interest lies in a natural `discretization' $C_\infty$ quasi-isomorphism $\varphi$ from differential forms to Whitney forms. We establish a uniqueness result that implies that $\varphi$ coincides with the morphism from homotopy transfer, and obtain several explicit formulas for $\varphi$, all of which are related to the Magnus expansion. In particular, we recover combinatorial formulas for the Magnus expansion due to Mielnik and Plebański. △ Less

Submitted 8 September, 2016; v1 submitted 13 July, 2016; originally announced July 2016.

Comments: 29 pages, extended abstract, typos fixed

Flat Z-graded connections and loop spaces

Authors: Camilo Arias Abad, Florian Schaetz

Abstract: The pull back of a flat bundle $E\rightarrow X$ along the evaluation map $π: \mathcal{L} X \to X$ from the free loop space $\mathcal{L} X$ to $X$ comes equipped with a canonical automorphism given by the holonomies of $E$. This construction naturally generalizes to flat $\mathbb{Z}$-graded connections on $X$. Our main result is that the restriction of this holonomy automorphism to the based loop s… ▽ More The pull back of a flat bundle $E\rightarrow X$ along the evaluation map $π: \mathcal{L} X \to X$ from the free loop space $\mathcal{L} X$ to $X$ comes equipped with a canonical automorphism given by the holonomies of $E$. This construction naturally generalizes to flat $\mathbb{Z}$-graded connections on $X$. Our main result is that the restriction of this holonomy automorphism to the based loop space $Ω_* X$ of $X$ provides an $A_\infty$ quasi-equivalence between the dg category of flat $\mathbb{Z}$-graded connections on $X$ and the dg category of representations of $C_\bullet(Ω_* X)$, the dg algebra of singular chains on $Ω_* X$. △ Less

Submitted 16 October, 2015; originally announced October 2015.

Comments: Comments are welcome

Analysis of Kolmogorov Flow and Rayleigh-Bénard Convection using Persistent Homology

Authors: Miroslav Kramar, Rachel Levanger, Jeffrey Tithof, Balachandra Suri, Mu Xu, Mark Paul, Michael F. Schatz, Konstantin Mischaikow

Abstract: We use persistent homology to build a quantitative understanding of large complex systems that are driven far-from-equilibrium; in particular, we analyze image time series of flow field patterns from numerical simulations of two important problems in fluid dynamics: Kolmogorov flow and Rayleigh-Bénard convection. For each image we compute a persistence diagram to yield a reduced description of the… ▽ More We use persistent homology to build a quantitative understanding of large complex systems that are driven far-from-equilibrium; in particular, we analyze image time series of flow field patterns from numerical simulations of two important problems in fluid dynamics: Kolmogorov flow and Rayleigh-Bénard convection. For each image we compute a persistence diagram to yield a reduced description of the flow field; by applying different metrics to the space of persistence diagrams, we relate characteristic features in persistence diagrams to the geometry of the corresponding flow patterns. We also examine the dynamics of the flow patterns by a second application of persistent homology to the time series of persistence diagrams. We demonstrate that persistent homology provides an effective method both for quotienting out symmetries in families of solutions and for identifying multiscale recurrent dynamics. Our approach is quite general and it is anticipated to be applicable to a broad range of open problems exhibiting complex spatio-temporal behavior. △ Less

Submitted 22 May, 2015; originally announced May 2015.

Equivalences of coisotropic submanifolds

Authors: Florian Schaetz, Marco Zambon

Abstract: We study the role that Hamiltonian and symplectic diffeomorphisms play in the deformation problem of coisotropic submanifolds. We prove that the action by Hamiltonian diffeomorphisms corresponds to the gauge-action of the $L_\infty$-algebra of Oh and Park. Moreover we introduce the notion of extended gauge-equivalence and show that in the case of Oh and Park's $L_\infty$-algebra one recovers the a… ▽ More We study the role that Hamiltonian and symplectic diffeomorphisms play in the deformation problem of coisotropic submanifolds. We prove that the action by Hamiltonian diffeomorphisms corresponds to the gauge-action of the $L_\infty$-algebra of Oh and Park. Moreover we introduce the notion of extended gauge-equivalence and show that in the case of Oh and Park's $L_\infty$-algebra one recovers the action of symplectic isotopies on coisotropic submanifolds. Finally, we consider the transversally integrable case in detail. △ Less

Submitted 14 September, 2015; v1 submitted 12 November, 2014; originally announced November 2014.

Comments: There is an overlap between the results presented in one of the main sections of the present note (Section 3) and the recent preprint ArXiv:1410.8446 by Lê, Oh, Tortorella and Vitagliano (once specialized to the symplectic case). Final version accepted for publication. Results in Section 4.3 simplified, Appendix and references added

MSC Class: 53D05; 16E45

Formal Connections for families of Star Products

Authors: Jørgen Ellegaard Andersen, Paolo Masulli, Florian Schaetz

Abstract: We define the notion of a formal connection for a smooth family of star products with fixed underlying symplectic structure. Such a formal connection allows one to relate star products at different points in the family. This generalizes the formal Hitchin connection introduced by the first author. We establish a necessary and sufficient condition that guarantees the existence of a formal connectio… ▽ More We define the notion of a formal connection for a smooth family of star products with fixed underlying symplectic structure. Such a formal connection allows one to relate star products at different points in the family. This generalizes the formal Hitchin connection introduced by the first author. We establish a necessary and sufficient condition that guarantees the existence of a formal connection, and we describe the space of formal connections for a family as an affine space modelled by the derivations of the star products. Moreover we show that if the parameter space has trivial first cohomology group any two flat formal connections are related by an automorphism of the family of star products. △ Less

Submitted 14 January, 2016; v1 submitted 7 October, 2014; originally announced October 2014.

Comments: 26 pages, some typos fixed, references improved, to appear in Commun. Math. Phys

Higher holonomies: comparing two constructions

Authors: Camilo Arias Abad, Florian Schaetz

Abstract: We compare two different constructions of higher dimensional parallel transport. On the one hand, there is the two dimensional parallel transport associated to 2-connections on 2-bundles studied by Baez-Schreiber, Faria Martins-Picken and Schreiber-Waldorf. On the other hand, there are the higher holonomies associated to flat superconnections as studied by Igusa, Block-Smith and Arias Abad-Schaetz… ▽ More We compare two different constructions of higher dimensional parallel transport. On the one hand, there is the two dimensional parallel transport associated to 2-connections on 2-bundles studied by Baez-Schreiber, Faria Martins-Picken and Schreiber-Waldorf. On the other hand, there are the higher holonomies associated to flat superconnections as studied by Igusa, Block-Smith and Arias Abad-Schaetz. We first explain how by truncating the latter construction one obtains examples of the former. Then we prove that the 2-dimensional holonomies provided by the two approaches coincide. △ Less

Submitted 2 April, 2014; originally announced April 2014.

Comments: comments are welcome!

Holonomies for connections with values in L-infinity algebras

Authors: Camilo Arias Abad, Florian Schaetz

Abstract: Given a flat connection on a manifold with values in a filtered L-infinity-algebra, we construct a morphism of coalgebras that generalizes the holonomies of flat connections with values in Lie algebras. The construction is based on Gugenheim's A-infinity version of de Rham's theorem, which in turn is based on Chen's iterated integrals. Finally, we discuss examples related to the geometry of config… ▽ More Given a flat connection on a manifold with values in a filtered L-infinity-algebra, we construct a morphism of coalgebras that generalizes the holonomies of flat connections with values in Lie algebras. The construction is based on Gugenheim's A-infinity version of de Rham's theorem, which in turn is based on Chen's iterated integrals. Finally, we discuss examples related to the geometry of configuration spaces of points in Euclidean space, and to generalizations of the holonomy representations of braid groups. △ Less

Submitted 28 April, 2014; v1 submitted 2 April, 2014; originally announced April 2014.

Comments: Two missing diagrams added. Comments still welcome!

Journal ref: Homology Homotopy Appl., Vol 16 (2014), Nr. 1, 89-118

A survey on stability and rigidity results for Lie algebras

Authors: Marius Crainic, Florian Schaetz, Ivan Struchiner

Abstract: We give simple and unified proofs of the known stability and rigidity results for Lie algebras, Lie subalgebras and Lie algebra homomorphisms. Moreover, we investigate when a Lie algebra homomorphism is stable under all automorphisms of the codomain (including outer automorphisms). We give simple and unified proofs of the known stability and rigidity results for Lie algebras, Lie subalgebras and Lie algebra homomorphisms. Moreover, we investigate when a Lie algebra homomorphism is stable under all automorphisms of the codomain (including outer automorphisms). △ Less

Submitted 30 July, 2013; originally announced July 2013.

Comments: 20 pages

Deformations of coisotropic submanifolds for fibrewise entire Poisson structures

Authors: Florian Schaetz, Marco Zambon

Abstract: We show that deformations of a coisotropic submanifold inside a fibrewise entire Poisson manifold are controlled by the $L_\infty$-algebra introduced by Oh-Park (for symplectic manifolds) and Cattaneo-Felder. In the symplectic case, we recover results previously obtained by Oh-Park. Moreover we consider the extended deformation problem and prove its obstructedness. We show that deformations of a coisotropic submanifold inside a fibrewise entire Poisson manifold are controlled by the $L_\infty$-algebra introduced by Oh-Park (for symplectic manifolds) and Cattaneo-Felder. In the symplectic case, we recover results previously obtained by Oh-Park. Moreover we consider the extended deformation problem and prove its obstructedness. △ Less

Submitted 6 July, 2012; originally announced July 2012.

Journal ref: Lett. Math. Phys., Vol 103, Issue 7 (2013), pp 777-791

Reidemeister torsion for flat superconnections

Authors: Camilo Arias Abad, Florian Schaetz

Abstract: We use higher parallel transport -- more precisely, the integration A_{infty}-functor constructed by Block-Smith and Arias Abad-Schaetz -- to define Reidemeister torsion for flat superconnections. We hope that the combinatorial Reidemeister torsion coincides with the analytic torsion defined by Mathai and Wu, thus permitting for a generalization of the Cheeger-Mueller Theorem. We use higher parallel transport -- more precisely, the integration A_{infty}-functor constructed by Block-Smith and Arias Abad-Schaetz -- to define Reidemeister torsion for flat superconnections. We hope that the combinatorial Reidemeister torsion coincides with the analytic torsion defined by Mathai and Wu, thus permitting for a generalization of the Cheeger-Mueller Theorem. △ Less

Submitted 25 August, 2011; originally announced August 2011.

Comments: 23 pages

The A_infty de Rham theorem and integration of representations up to homotopy

Authors: Camilo Arias Abad, Florian Schaetz

Abstract: We use Chen's iterated integrals to integrate representations up to homotopy. That is, we construct an A_infty functor from the representations up to homotopy of a Lie algebroid to those of its infinity groupoid. This construction extends the usual integration of representations in Lie theory. We discuss several examples including Lie algebras and Poisson manifolds. The construction is based on an… ▽ More We use Chen's iterated integrals to integrate representations up to homotopy. That is, we construct an A_infty functor from the representations up to homotopy of a Lie algebroid to those of its infinity groupoid. This construction extends the usual integration of representations in Lie theory. We discuss several examples including Lie algebras and Poisson manifolds. The construction is based on an A_infty version of de Rham's theorem due to Gugenheim. The integration procedure we explain here amounts to extending the construction of parallel transport for superconnections, introduced by Igusa and Block-Smith, to the case of certain differential graded manifolds. △ Less

Submitted 11 December, 2010; v1 submitted 21 November, 2010; originally announced November 2010.

Comments: 47 pages; references added, minor corrections

Introduction to supergeometry

Authors: Alberto S. Cattaneo, Florian Schaetz

Abstract: These notes are based on a series of lectures given by the first author at the school of `Poisson 2010', held at IMPA, Rio de Janeiro. They contain an exposition of the theory of super- and graded manifolds, cohomological vector fields, graded symplectic structures, reduction and the AKSZ-formalism. These notes are based on a series of lectures given by the first author at the school of `Poisson 2010', held at IMPA, Rio de Janeiro. They contain an exposition of the theory of super- and graded manifolds, cohomological vector fields, graded symplectic structures, reduction and the AKSZ-formalism. △ Less

Submitted 27 November, 2010; v1 submitted 15 November, 2010; originally announced November 2010.

Comments: Lecture notes of a course held at the school Poisson 2010 at IMPA, July 2010; 21 pages; references improved

MSC Class: 58A50 (Primary) 51D17; 51P05 (Secondary)

Journal ref: Rev. Math. Phys. 23, 669-690 (2011)

Deformations of Lie brackets and representations up to homotopy

Authors: Camilo Arias Abad, Florian Schaetz

Abstract: We show that representations up to homotopy can be differentiated in a functorial way. A van Est type isomorphism theorem is established and used to prove a conjecture of Crainic and Moerdijk on deformations of Lie brackets. We show that representations up to homotopy can be differentiated in a functorial way. A van Est type isomorphism theorem is established and used to prove a conjecture of Crainic and Moerdijk on deformations of Lie brackets. △ Less

Submitted 8 June, 2010; originally announced June 2010.

Comments: 28 pages

Moduli of coisotropic sections and the BFV-complex

Authors: Florian Schaetz

Abstract: We consider the local deformation problem of coisotropic submanifolds inside Poisson manifolds. To this end the groupoid of coisotropic sections (with respect to some tubular neighbourhood) is introduced. Although the geometric content of this groupoid is evident, it is usually a very intricate object. We provide a description of the groupoid of coisotropic sections in terms of a differential… ▽ More We consider the local deformation problem of coisotropic submanifolds inside Poisson manifolds. To this end the groupoid of coisotropic sections (with respect to some tubular neighbourhood) is introduced. Although the geometric content of this groupoid is evident, it is usually a very intricate object. We provide a description of the groupoid of coisotropic sections in terms of a differential graded Poisson algebra, called the BFV-complex. This description is achived by constructing a groupoid from the BFV-complex and a surjective morphism from this groupoid to the groupoid of coisotropic sections. The kernel of this morphism can be easily chracterized. As a corollary we obtain an isomorphism between the moduli space of coisotropic sections and the moduli space of geometric Maurer-Cartan elements of the BFV-complex. △ Less

Submitted 24 March, 2009; originally announced March 2009.

Comments: 34 pages

Invariance of the BFV-complex

Authors: Florian Schaetz

Abstract: The BFV-formalism was introduced to handle classical systems, equipped with symmetries. It associates a differential graded Poisson algebra to any coisotropic submanifold $S$ of a Poisson manifold $(M,Π)$. However the assignment (coisotropic submanifold) $\leadsto$ (differential graded Poisson algebra) is not canonical, since in the construction several choices have to be made. One has to fix: 1.… ▽ More The BFV-formalism was introduced to handle classical systems, equipped with symmetries. It associates a differential graded Poisson algebra to any coisotropic submanifold $S$ of a Poisson manifold $(M,Π)$. However the assignment (coisotropic submanifold) $\leadsto$ (differential graded Poisson algebra) is not canonical, since in the construction several choices have to be made. One has to fix: 1. an embedding of the normal bundle $NS$ of $S$ into $M$, 2. a connection $\nabla$ on $NS$ and 3. a special element $Ω$. We show that different choices of the connection and $Ω$ -- but with the tubular neighbourhood fixed -- lead to isomorphic differential graded Poisson algebras. If the tubular neighbourhood is changed too, invariance can be restored at the level of germs. △ Less

Submitted 21 November, 2010; v1 submitted 12 December, 2008; originally announced December 2008.

Comments: 21 pages; improved version, to appear in Pacific J. Math

MSC Class: 53D17; 55U99 (Primary) 17B60 (Secondary)

Equivalences of Higher Derived Brackets

Authors: Alberto S. Cattaneo, Florian Schaetz

Abstract: This note elaborates on Th. Voronov's construction [math/0304038,math/0412202] of $L_\infty$-structures via higher derived brackets with a Maurer-Cartan element. It is shown that gauge equivalent Maurer-Cartan elements induce $L_\infty$-isomorphic structures. Applications in symplectic, Poisson and Dirac geometry are discussed. This note elaborates on Th. Voronov's construction [math/0304038,math/0412202] of $L_\infty$-structures via higher derived brackets with a Maurer-Cartan element. It is shown that gauge equivalent Maurer-Cartan elements induce $L_\infty$-isomorphic structures. Applications in symplectic, Poisson and Dirac geometry are discussed. △ Less

Submitted 7 May, 2008; v1 submitted 11 April, 2007; originally announced April 2007.

Comments: 16 pages; minor changes; corrected typos; to appear in JPAA

Journal ref: J. Pure Appl. Algebra, 212, 2450-2460 (2008)

BFV-complex and higher homotopy structures

Authors: Florian Schaetz

Abstract: We present a connection between the BFV-complex (abbreviation for Batalin-Fradkin-Vilkovisky complex) and the so-called strong homotopy Lie algebroid associated to a coisotropic submanifold of a Poisson manifold. We prove that the latter structure can be derived from the BFV-complex by means of homotopy transfer along contractions. Consequently the BFV-complex and the strong homotopy Lie algebro… ▽ More We present a connection between the BFV-complex (abbreviation for Batalin-Fradkin-Vilkovisky complex) and the so-called strong homotopy Lie algebroid associated to a coisotropic submanifold of a Poisson manifold. We prove that the latter structure can be derived from the BFV-complex by means of homotopy transfer along contractions. Consequently the BFV-complex and the strong homotopy Lie algebroid structure are $L_{\infty}$ quasi-isomorphic and control the same formal deformation problem. However there is a gap between the non-formal information encoded in the BFV-complex and in the strong homotopy Lie algebroid respectively. We prove that there is a one-to-one correspondence between coisotropic submanifolds given by graphs of sections and equivalence classes of normalized Maurer-Cartan elemens of the BFV-complex. This does not hold if one uses the strong homotopy Lie algebroid instead. △ Less

Submitted 14 October, 2008; v1 submitted 29 November, 2006; originally announced November 2006.

Comments: 50 pages, 6 figures; version 4 is heavily revised and extended

MSC Class: 18G55; 14D15; 53D17