arXiv Science⌕ Search

arXiv subjects

Florian Schaetz

Publications and source records attributed to Florian Schaetz.

At least 19 recordsLinked to original sources
arXiv2025

Simultaneous Deformations of Symplectic Forms and Lagrangian Submanifolds

Given a compact symplectic manifold $(M,ω)$ and a compact Lagrangian submanifold $L\subset(M,ω)$, we describe small deformations of the pair $(ω,L)$ modulo the action by isotopies. We show that the resulting moduli space can be identified with an open neighborhood of the origin in the second relative de Rham cohomology group $H^2(M,L)$. This implies in particular that the moduli space is smooth and finite dimensional.

math.SG↗
arXiv2020

Gauge equivalences for foliations and pre-symplectic structures

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.

math.DG↗
arXiv2018

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

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.

math.SG↗
arXiv2017

Eulerian idempotent, pre-Lie logarithm and combinatorics of trees

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.

math.CO↗
arXiv2016

How to discretize the differential forms on the interval

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 $φ$ from differential forms to Whitney forms. We establish a uniqueness result that implies that $φ$ coincides with the morphism from homotopy transfer, and obtain several explicit formulas for $φ$, 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.

math.QA↗
arXiv2016

Formal Connections for families of Star Products

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.

math.DG↗
arXiv2015

Flat Z-graded connections and loop spaces

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$.

math.DG↗
arXiv2015

Equivalences of coisotropic submanifolds

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.

math.DG↗
arXiv2014

Holonomies for connections with values in L-infinity algebras

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.

math.AT↗
arXiv2014

Higher holonomies: comparing two constructions

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.

math.AT↗
arXiv2013

A survey on stability and rigidity results for Lie algebras

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).

math.RT↗
arXiv2012

Deformations of coisotropic submanifolds for fibrewise entire Poisson structures

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.

math.SG↗
arXiv2011

Reidemeister torsion for flat superconnections

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.

math.DG↗
arXiv2010

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

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.

math.DG↗
arXiv2010

Introduction to supergeometry

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.

math-ph↗
arXiv2010

Invariance of the BFV-complex

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.

math.QA↗
arXiv2009

Moduli of coisotropic sections and the BFV-complex

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.

math.DG↗