Showing 1–25 of 25 results for author: Ryvkin, L

Comparison of different Unique hard attention transformer models by the formal languages they can recognize

Authors: Leonid Ryvkin

Abstract: This note is a survey of various results on the capabilities of unique hard attention transformers encoders (UHATs) to recognize formal languages. We distinguish between masked vs. non-masked, finite vs. infinite image and general vs. bilinear attention score functions. We recall some relations between these models, as well as a lower bound in terms of first-order logic and an upper bound in terms… ▽ More This note is a survey of various results on the capabilities of unique hard attention transformers encoders (UHATs) to recognize formal languages. We distinguish between masked vs. non-masked, finite vs. infinite image and general vs. bilinear attention score functions. We recall some relations between these models, as well as a lower bound in terms of first-order logic and an upper bound in terms of circuit complexity. △ Less

Submitted 3 June, 2025; originally announced June 2025.

Multisymplectic observable reduction using constraint triples

Authors: Antonio Michele Miti, Leonid Ryvkin

Abstract: The purpose of this paper is to present a fully algebraic formalism for the construction and reduction of $L_\infty$-algebras of observables inspired by multisymplectic geometry, using Gerstenhaber algebras, BV-modules, and the constraint triple formalism. In the "geometric case", we reconstruct and conceptually explain the recent results of arXiv:2206.03137(3). The purpose of this paper is to present a fully algebraic formalism for the construction and reduction of $L_\infty$-algebras of observables inspired by multisymplectic geometry, using Gerstenhaber algebras, BV-modules, and the constraint triple formalism. In the "geometric case", we reconstruct and conceptually explain the recent results of arXiv:2206.03137(3). △ Less

Submitted 30 May, 2025; originally announced June 2025.

Comments: 29 pages

MSC Class: 53D20 (primary) 53D05; 16W50 (secondary)

Darboux type theorems in multisymplectic geometry

Authors: Leonid Ryvkin

Abstract: We give a survey of Darboux type theorems in multisymplectic geometry. These theorems establish when a closed differential form of a certain type admits a constant-coefficient expression in some local coordinate system. Beyond the classical cases of symplectic and volume forms, 0-deformability (i.e. constancy of linear type) is typically not automatic and has to be imposed, leading to distinct the… ▽ More We give a survey of Darboux type theorems in multisymplectic geometry. These theorems establish when a closed differential form of a certain type admits a constant-coefficient expression in some local coordinate system. Beyond the classical cases of symplectic and volume forms, 0-deformability (i.e. constancy of linear type) is typically not automatic and has to be imposed, leading to distinct theorems 'per linear type'. △ Less

Submitted 28 March, 2025; v1 submitted 5 March, 2025; originally announced March 2025.

Comments: This article supersedes arXiv:1609.02184 and the authors Phd thesis, and has significant text overlap with these works. v2: typos corrected, result on codegree 2 forms added (section 3.6)

MSC Class: 53C15 (primary); 53C10; 53D05 (secondary)

Density-valued symplectic forms from a multisymplectic viewpoint

Authors: Laura Leski, Leonid Ryvkin

Abstract: We give and intrinsic characterization of multisymplectic manifolds that have the linear type of density-valued symplectic forms in each tangent space, prove Darboux-type theorems for these forms and investigate their symmetries. We give and intrinsic characterization of multisymplectic manifolds that have the linear type of density-valued symplectic forms in each tangent space, prove Darboux-type theorems for these forms and investigate their symmetries. △ Less

Submitted 6 February, 2025; v1 submitted 4 February, 2025; originally announced February 2025.

MSC Class: 53C15 (primary); 53C10; 53D05 (secondary)

Iconicity in Large Language Models

Authors: Anna Marklová, Jiří Milička, Leonid Ryvkin, Ľudmila Lacková Bennet, Libuše Kormaníková

Abstract: Lexical iconicity, a direct relation between a word's meaning and its form, is an important aspect of every natural language, most commonly manifesting through sound-meaning associations. Since Large language models' (LLMs') access to both meaning and sound of text is only mediated (meaning through textual context, sound through written representation, further complicated by tokenization), we migh… ▽ More Lexical iconicity, a direct relation between a word's meaning and its form, is an important aspect of every natural language, most commonly manifesting through sound-meaning associations. Since Large language models' (LLMs') access to both meaning and sound of text is only mediated (meaning through textual context, sound through written representation, further complicated by tokenization), we might expect that the encoding of iconicity in LLMs would be either insufficient or significantly different from human processing. This study addresses this hypothesis by having GPT-4 generate highly iconic pseudowords in artificial languages. To verify that these words actually carry iconicity, we had their meanings guessed by Czech and German participants (n=672) and subsequently by LLM-based participants (generated by GPT-4 and Claude 3.5 Sonnet). The results revealed that humans can guess the meanings of pseudowords in the generated iconic language more accurately than words in distant natural languages and that LLM-based participants are even more successful than humans in this task. This core finding is accompanied by several additional analyses concerning the universality of the generated language and the cues that both human and LLM-based participants utilize. △ Less

Submitted 9 January, 2025; originally announced January 2025.

Comments: Supplementary information: https://osf.io/ywjrk/

Universal central extension of the Lie algebra of exact divergence-free vector fields

Authors: Bas Janssens, Leonid Ryvkin, Cornelia Vizman

Abstract: We construct the universal central extension of the Lie algebra of exact divergence-free vector fields, proving a conjecture by Claude Roger from 1995. The proof relies on the analysis of a Leibniz algebra that underlies these vector fields. As an application, we construct the universal central extension of the (infinite-dimensional) Lie group of exact divergence-free diffeomorphisms of a compact… ▽ More We construct the universal central extension of the Lie algebra of exact divergence-free vector fields, proving a conjecture by Claude Roger from 1995. The proof relies on the analysis of a Leibniz algebra that underlies these vector fields. As an application, we construct the universal central extension of the (infinite-dimensional) Lie group of exact divergence-free diffeomorphisms of a compact 3-dimensional manifold. △ Less

Submitted 2 October, 2024; v1 submitted 8 September, 2024; originally announced September 2024.

Comments: 25 pages

MSC Class: 17B56; 58D05; 17B66

Poisson bundles over unordered configurations

Authors: Alessandra Frabetti, Olga Kravchenko, Leonid Ryvkin

Abstract: In this paper we construct a Poisson algebra bundle whose distributional sections are suitable to represent multilocal observables in classical field theory. To do this, we work with vector bundles over the unordered configuration space of a manifold $M$ and consider the structure of a $2$-monoidal category given by the usual (Hadamard) tensor product of bundles and a new (Cauchy) tensor product w… ▽ More In this paper we construct a Poisson algebra bundle whose distributional sections are suitable to represent multilocal observables in classical field theory. To do this, we work with vector bundles over the unordered configuration space of a manifold $M$ and consider the structure of a $2$-monoidal category given by the usual (Hadamard) tensor product of bundles and a new (Cauchy) tensor product which provides a symmetrized version of the usual external tensor product of vector bundles on $M$. We use the symmetric algebras with respect to both products to obtain a Poisson 2-algebra bundle mimicking the construction of Peierls bracket from the causal propagator in field theory. The explicit description of observables from this Poisson algebra bundle will be carried out in a forthcoming paper. △ Less

Submitted 9 January, 2025; v1 submitted 21 July, 2024; originally announced July 2024.

MSC Class: 17B63 (Primary); 18N10; 14D21; 70S99 (Secondary)

An invitation to singular foliations

Authors: Camille Laurent-Gengoux, Ruben Louis, Leonid Ryvkin

Abstract: These lecture notes attempt to invite the reader towards the theory of singular foliations, both smooth and holomorphic. In addition to a systematic review of the foundations, and an attempt to put in order examples and several elementary constructions, we detail several recent tools developed for non-commutative geometry, in particular the holonomy groupoid of Androulidakis and Skandalis and vari… ▽ More These lecture notes attempt to invite the reader towards the theory of singular foliations, both smooth and holomorphic. In addition to a systematic review of the foundations, and an attempt to put in order examples and several elementary constructions, we detail several recent tools developed for non-commutative geometry, in particular the holonomy groupoid of Androulidakis and Skandalis and various methods for resolving singularities. We also introduce various homotopic notions, and end with a series of open questions. △ Less

Submitted 19 November, 2024; v1 submitted 20 July, 2024; originally announced July 2024.

MSC Class: 53C12 foliations; 32M25 holomorphic foliations; 32S50 and 22A22 (topological groupoids)

Realizability of Free Spaces of Curves

Authors: Hugo A. Akitaya, Maike Buchin, Majid Mirzanezhad, Leonie Ryvkin, Carola Wenk

Abstract: The free space diagram is a popular tool to compute the well-known Fréchet distance. As the Fréchet distance is used in many different fields, many variants have been established to cover the specific needs of these applications. Often, the question arises whether a certain pattern in the free space diagram is "realizable", i.e., whether there exists a pair of polygonal chains whose free space dia… ▽ More The free space diagram is a popular tool to compute the well-known Fréchet distance. As the Fréchet distance is used in many different fields, many variants have been established to cover the specific needs of these applications. Often, the question arises whether a certain pattern in the free space diagram is "realizable", i.e., whether there exists a pair of polygonal chains whose free space diagram corresponds to it. The answer to this question may help in deciding the computational complexity of these distance measures, as well as allowing to design more efficient algorithms for restricted input classes that avoid certain free space patterns. Therefore, we study the inverse problem: Given a potential free space diagram, do there exist curves that generate this diagram? Our problem of interest is closely tied to the classic Distance Geometry problem. We settle the complexity of Distance Geometry in $\mathbb{R}^{> 2}$, showing $\exists\mathbb{R}$-hardness. We use this to show that for curves in $\mathbb{R}^{\ge 2}$, the realizability problem is $\exists\mathbb{R}$-complete, both for continuous and for discrete Fréchet distance. We prove that the continuous case in $\mathbb{R}^1$ is only weakly NP-hard, and we provide a pseudo-polynomial time algorithm and show that it is fixed-parameter tractable. Interestingly, for the discrete case in $\mathbb{R}^1$, we show that the problem becomes solvable in polynomial time. △ Less

Submitted 13 November, 2023; originally announced November 2023.

Comments: 26 pages, 12 figures, 1 table, International Symposium on Algorithms And Computations (ISAAC 2023)

ACM Class: F.2.2

Differentiating $L_\infty$ groupoids -- Part I

Authors: Du Li, Leonid Ryvkin, Arne Wessel, Chenchang Zhu

Abstract: Differentiating an $n$-groupoid via the differential-geometric fat point a priori only yielads a presheaf of graded manifolds. In this article we prove that this presheaf is representable by the tangent complex of the $n$-groupoid. As an immediate consequence we obtain that the tangent complex carries the structure of a Lie $n$-algebroid. Differentiating an $n$-groupoid via the differential-geometric fat point a priori only yielads a presheaf of graded manifolds. In this article we prove that this presheaf is representable by the tangent complex of the $n$-groupoid. As an immediate consequence we obtain that the tangent complex carries the structure of a Lie $n$-algebroid. △ Less

Submitted 22 September, 2023; v1 submitted 2 September, 2023; originally announced September 2023.

Comments: 32 pages

MSC Class: 8H05; 58A50; (primary) 55U10; 18N65 (secondary)

Focusing on gap lengths in the noisy violinist chip-firing problem

Authors: Leonid Ryvkin

Abstract: We encode the states in the noisy violinist chip-firing problem into a sequence of gap lengths, and use this gap-focused perspective to reprove certain statements about final states of flat clusterons. We encode the states in the noisy violinist chip-firing problem into a sequence of gap lengths, and use this gap-focused perspective to reprove certain statements about final states of flat clusterons. △ Less

Submitted 20 June, 2023; originally announced June 2023.

Comments: 3 pages, 1 figure

MSC Class: 05C57

Reduction of $L_\infty$-Algebras of Observables on Multisymplectic Manifolds

Authors: Casey Blacker, Antonio Michele Miti, Leonid Ryvkin

Abstract: We develop a reduction scheme for the $L_\infty$-algebra of observables on a premultisymplectic manifold $(M,ω)$ in the presence of a compatible Lie algebra action $\mathfrak{g}\curvearrowright M$ and subset $N\subset M$. This reproduces in the symplectic setting the Poisson algebra of observables on the Marsden-Weinstein-Meyer symplectic reduced space, whenever the reduced space exists, but is ot… ▽ More We develop a reduction scheme for the $L_\infty$-algebra of observables on a premultisymplectic manifold $(M,ω)$ in the presence of a compatible Lie algebra action $\mathfrak{g}\curvearrowright M$ and subset $N\subset M$. This reproduces in the symplectic setting the Poisson algebra of observables on the Marsden-Weinstein-Meyer symplectic reduced space, whenever the reduced space exists, but is otherwise distinct from the Dirac, Śniatycki-Weinstein, and Arms-Cushman-Gotay observable reduction schemes. We examine various examples, including multicotangent bundles and multiphase spaces, and we conclude with a discussion of applications to classical field theories and quantization. △ Less

Submitted 3 July, 2024; v1 submitted 7 June, 2022; originally announced June 2022.

Report number: MPIM-Bonn-2022 MSC Class: 53D20 (Primary) 53D05; 70S05; 70S10 (Secondary)

Journal ref: SIGMA 20 (2024), 061, 47 pages

On Dirac structures admitting a variational approach

Authors: Oscar Cosserat, Camille Laurent-Gengoux, Alexei Kotov, Leonid Ryvkin, Vladimir Salnikov

Abstract: We discuss the notion of basic cohomology for Dirac structures and, more generally, Lie algebroids. We then use this notion to characterize the obstruction to a variational formulation of Dirac dynamics. We discuss the notion of basic cohomology for Dirac structures and, more generally, Lie algebroids. We then use this notion to characterize the obstruction to a variational formulation of Dirac dynamics. △ Less

Submitted 19 December, 2022; v1 submitted 1 September, 2021; originally announced September 2021.

Journal ref: Math. Mech. Compl. Sys. 11 (2023) 1-18

The $L_\infty$-algebra of a symplectic manifold

Authors: Bas Janssens, Leonid Ryvkin, Cornelia Vizman

Abstract: We construct an $L_\infty$-algebra on the truncated canonical homology complex of a symplectic manifold, which naturally projects to the universal central extension of the Lie algebra of Hamiltonian vector fields. We construct an $L_\infty$-algebra on the truncated canonical homology complex of a symplectic manifold, which naturally projects to the universal central extension of the Lie algebra of Hamiltonian vector fields. △ Less

Submitted 2 November, 2021; v1 submitted 7 December, 2020; originally announced December 2020.

Comments: 18 pages

MSC Class: 53D17; 53D05 (primary); 17B66; 17A42 (secondary)

Journal ref: Pacific J. Math. 314 (2021) 81-98

The neighbourhood of a singular leaf

Authors: Camille Laurent-Gengoux, Leonid Ryvkin

Abstract: An important result for regular foliations is their formal semi-local triviality near simply connected leaves. We extend this result to singular foliations for all 2-connected leaves and a wide class of 1- connected leaves by proving a semi-local Levi-Malcev theorem for the semi-simple part of their holonomy Lie algebroid. An important result for regular foliations is their formal semi-local triviality near simply connected leaves. We extend this result to singular foliations for all 2-connected leaves and a wide class of 1- connected leaves by proving a semi-local Levi-Malcev theorem for the semi-simple part of their holonomy Lie algebroid. △ Less

Submitted 8 May, 2020; v1 submitted 15 April, 2020; originally announced April 2020.

Comments: 26 pages, 1 figure, minor improvements following several readers suggestions

MSC Class: 53C12 (primary) 57R30 (secondary)

On the extension problem for weak moment maps

Authors: Leyli Mammadova, Leonid Ryvkin

Abstract: We compare existence and equivariance phenomena for weak moment maps and homotopy moment maps in multisymplectic geometry. We compare existence and equivariance phenomena for weak moment maps and homotopy moment maps in multisymplectic geometry. △ Less

Submitted 22 March, 2020; v1 submitted 1 January, 2020; originally announced January 2020.

Comments: 15 pages

MSC Class: 53D20

The holonomy of a singular leaf

Authors: Camille Laurent-Gengoux, Leonid Ryvkin

Abstract: We introduce the holonomy of a singular leaf $L$ of a singular foliation as a sequence of group morphisms from $π_n(L)$ to the $π_{n-1}$ of the universal Lie $\infty$-algebroid of the transverse foliation of $L$. We include these morphisms in a long exact sequence, thus relating them to the holonomy groupoid of Androulidakis and Skandalis and to a similar construction by Brahic and Zhu for Lie alg… ▽ More We introduce the holonomy of a singular leaf $L$ of a singular foliation as a sequence of group morphisms from $π_n(L)$ to the $π_{n-1}$ of the universal Lie $\infty$-algebroid of the transverse foliation of $L$. We include these morphisms in a long exact sequence, thus relating them to the holonomy groupoid of Androulidakis and Skandalis and to a similar construction by Brahic and Zhu for Lie algebroids. △ Less

Submitted 14 December, 2021; v1 submitted 11 December, 2019; originally announced December 2019.

Multisymplectic actions of compact Lie groups on spheres

Authors: Antonio Michele Miti, Leonid Ryvkin

Abstract: We investigate the existence of homotopy comoment maps (comoments) for high-dimensional spheres seen as multisymplectic manifolds. Especially, we solve the existence problem for compact effective group actions on spheres and provide explicit constructions for such comoments in interesting particular cases. We investigate the existence of homotopy comoment maps (comoments) for high-dimensional spheres seen as multisymplectic manifolds. Especially, we solve the existence problem for compact effective group actions on spheres and provide explicit constructions for such comoments in interesting particular cases. △ Less

Submitted 9 September, 2019; v1 submitted 20 June, 2019; originally announced June 2019.

Comments: 26 pages; Corrected and added some references to the literature, especially regarding the cohomological obstructions to the existence of comoments in multisymplectic geometry. The abstract and introduction are changed accordingly, laying more focus on the second part of the publication. Implemented several minor revisions related to typos and inconsistencies in notation

MSC Class: 3D05; 53D20; 54H15; 57S15; 57S25; 22C05; 22F30; 37K05

Rock Climber Distance: Frogs versus Dogs

Authors: Hugo A. Akitaya, Leonie Ryvkin, Csaba D. Tóth

Abstract: The classical measure of similarity between two polygonal chains in Euclidean space is the Fréchet distance, which corresponds to the coordinated motion of two mobile agents along the chains while minimizing their maximum distance. As computing the Fréchet distance takes near-quadratic time under the Strong Exponential Time Hypothesis (SETH), we explore two new distance measures, called rock climb… ▽ More The classical measure of similarity between two polygonal chains in Euclidean space is the Fréchet distance, which corresponds to the coordinated motion of two mobile agents along the chains while minimizing their maximum distance. As computing the Fréchet distance takes near-quadratic time under the Strong Exponential Time Hypothesis (SETH), we explore two new distance measures, called rock climber distance and $k$-station distance, in which the agents move alternately in their coordinated motion that traverses the polygonal chains. We show that the new variants are equivalent to the Fréchet or the Hausdorff distance if the number of moves is unlimited. When the number of moves is limited to a given parameter $k$, we show that it is NP-hard to determine the distance between two curves. We also describe a 2-approximation algorithm to find the minimum $k$ for which the distance drops below a given threshold. △ Less

Submitted 19 June, 2019; originally announced June 2019.

The $k$-Fréchet distance

Authors: Hugo A Akitaya, Maike Buchin, Leonie Ryvkin, Jérôme Urhausen

Abstract: We introduce a new distance measure for comparing polygonal chains: the $k$-Fréchet distance. As the name implies, it is closely related to the well-studied Fréchet distance but detects similarities between curves that resemble each other only piecewise. The parameter $k$ denotes the number of subcurves into which we divide the input curves. The $k$-Fréchet distance provides a nice transition betw… ▽ More We introduce a new distance measure for comparing polygonal chains: the $k$-Fréchet distance. As the name implies, it is closely related to the well-studied Fréchet distance but detects similarities between curves that resemble each other only piecewise. The parameter $k$ denotes the number of subcurves into which we divide the input curves. The $k$-Fréchet distance provides a nice transition between (weak) Fréchet distance and Hausdorff distance. However, we show that deciding this distance measure turns out to be NP-complete, which is interesting since both (weak) Fréchet and Hausdorff distance are computable in polynomial time. Nevertheless, we give several possibilities to deal with the hardness of the $k$-Fréchet distance: besides an exponential-time algorithm for the general case, we give a polynomial-time algorithm for $k=2$, i.e., we ask that we subdivide our input curves into two subcurves each. We also present an approximation algorithm that outputs a number of subcurves of at most twice the optimal size. Finally, we give an FPT algorithm using parameters $k$ (the number of allowed subcurves) and $z$ (the number of segments of one curve that intersects the $\varepsilon$-neighborhood of a point on the other curve). △ Less

Submitted 6 March, 2019; originally announced March 2019.

An invitation to multisymplectic geometry

Authors: Leonid Ryvkin, Tilmann Wurzbacher

Abstract: In this article we study multisymplectic geometry, i.e., the geometry of manifolds with a non-degenerate, closed differential form. First we describe the transition from Lagrangian to Hamiltonian classical field theories, and then we reformulate the latter in multisymplectic terms. Furthermore, we investigate basic questions on normal forms of multisymplectic manifolds, notably the questions wethe… ▽ More In this article we study multisymplectic geometry, i.e., the geometry of manifolds with a non-degenerate, closed differential form. First we describe the transition from Lagrangian to Hamiltonian classical field theories, and then we reformulate the latter in multisymplectic terms. Furthermore, we investigate basic questions on normal forms of multisymplectic manifolds, notably the questions wether and when Darboux-type theorems hold, and how many diffeomorphisms certain, important classes of multisymplectic manifolds possess. Finally, we survey recent advances in the area of symmetries and conserved quantities on multisymplectic manifolds. △ Less

Submitted 7 April, 2018; originally announced April 2018.

Comments: The article 1608.07424 is incorporated and now obsolete

MSC Class: 53D05; 70S05; 37C05; 53D20; 37K05

Conserved quantities on multisymplectic manifolds

Authors: Leonid Ryvkin, Tilmann Wurzbacher, Marco Zambon

Abstract: Given a vector field on a manifold M, we define a globally conserved quantity to be a differential form whose Lie derivative is exact. Integrals of conserved quantities over suitable submanifolds are constant under time evolution, the Kelvin circulation theorem being a well-known special case. More generally, conserved quantities are well-behaved under transgression to spaces of maps into M. We… ▽ More Given a vector field on a manifold M, we define a globally conserved quantity to be a differential form whose Lie derivative is exact. Integrals of conserved quantities over suitable submanifolds are constant under time evolution, the Kelvin circulation theorem being a well-known special case. More generally, conserved quantities are well-behaved under transgression to spaces of maps into M. We focus on the case of multisymplectic manifolds and Hamiltonian vector fields. We show that in the presence of a Lie group of symmetries admitting a homotopy co-momentum map, one obtains a whole family of globally conserved quantities. This extends a classical result in symplectic geometry. We carry this out in a general setting, considering several variants of the notion of globally conserved quantity. △ Less

Submitted 18 October, 2016; originally announced October 2016.

Comments: 24 pages

Journal ref: J. Aust. Math. Soc. 108 (2020) 120-144

Linear orbits of alternating forms on real vector spaces

Authors: Leonid Ryvkin

Abstract: In this note we complete the calculation of the number of $GL(\mathbb R^n)$-orbits on $Λ^k(\mathbb R^n)^*$, by treating the cases $(n,k)= (7,4)$ and $(8,5)$ not covered in the literature. We also calculate the number of of non-degenerate and stable orbits, as they are of special interest to multisymplectic and special geometry. In this note we complete the calculation of the number of $GL(\mathbb R^n)$-orbits on $Λ^k(\mathbb R^n)^*$, by treating the cases $(n,k)= (7,4)$ and $(8,5)$ not covered in the literature. We also calculate the number of of non-degenerate and stable orbits, as they are of special interest to multisymplectic and special geometry. △ Less

Submitted 20 December, 2017; v1 submitted 7 September, 2016; originally announced September 2016.

MSC Class: 15A72; 15A21

A multisymplectic manifold not covered by Darboux charts

Authors: Leonid Ryvkin

Abstract: The Darboux theorem in symplectic geometry implies that any two points in a connected symplectic manifold have neighbourhoods symplectomorphic to each other. The impossibility of such a theorem in the more general multisymplectic framework appears to be, at least, folkloristic, but no explicit counterexample seems to exist in the literature. In this note we provide such an example by constructin… ▽ More The Darboux theorem in symplectic geometry implies that any two points in a connected symplectic manifold have neighbourhoods symplectomorphic to each other. The impossibility of such a theorem in the more general multisymplectic framework appears to be, at least, folkloristic, but no explicit counterexample seems to exist in the literature. In this note we provide such an example by constructing multisymplectic three-forms on the connected manifold $\mathbb R^6$, which do not even have constant linear type and therefore can not allow for an atlas consisting of "Darboux charts". △ Less

Submitted 26 August, 2016; originally announced August 2016.

MSC Class: 53C15; 53B99; 53D05

Existence and unicity of co-moments in multisymplectic geometry

Authors: Leonid Ryvkin, Tilmann Wurzbacher

Abstract: Given a multisymplectic manifold $(M,ω)$ and a Lie algebra $\frak{g}$ acting on it by infinitesimal symmetries, Fregier-Rogers-Zambon define a homotopy (co-)moment as an $L_{\infty}$-algebra-homomorphism from $\frak{g}$ to the observable algebra $L(M,ω)$ associated to $(M,ω)$, in analogy with and generalizing the notion of a co-moment map in symplectic geometry. We give a cohomological characteriz… ▽ More Given a multisymplectic manifold $(M,ω)$ and a Lie algebra $\frak{g}$ acting on it by infinitesimal symmetries, Fregier-Rogers-Zambon define a homotopy (co-)moment as an $L_{\infty}$-algebra-homomorphism from $\frak{g}$ to the observable algebra $L(M,ω)$ associated to $(M,ω)$, in analogy with and generalizing the notion of a co-moment map in symplectic geometry. We give a cohomological characterization of existence and unicity for homotopy co-moment maps and show its utility in multisymplectic geometry by applying it to special cases as exact multisymplectic manifolds and simple Lie groups and by deriving from it existence results concerning partial co-moment maps, as e.g. covariant multimomentum maps and multi-moment maps. △ Less

Submitted 9 November, 2014; originally announced November 2014.

Journal ref: Differential geometry and its applications 41 (2015), 1-11