Searcharxiv⌕ Search

arXiv subjects

Leonid Ryvkin

Publications and source records attributed to Leonid Ryvkin.

At least 19 recordsLinked to original sources
arXiv2025

A singular Serre-Swan theorem via tepui fibrations

The classical Serre-Swan theorem asserts that any finitely generated projective module over the algebra $C^\infty(M)$ of smooth functions of a manifold $M$ can be realized as the sections of a vector bundle over $M$. In this article, we extend this theorem beyond the projective case by introducing a notion of singular vector bundle whose sections can realize all finitely generated $C^\infty(M)$-modules, up to invisible elements. We introduce tepui fibrations as the underlying geometric objects of these singular vector bundles, and show how these tepui fibrations can model singular foliations, their holonomy groupoids, and singular subalgebroids.

math.DG↗
arXiv2025

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

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.

cs.LG↗
arXiv2025

Multisymplectic observable reduction using constraint triples

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

math.SG↗
arXiv2025

Darboux type theorems in multisymplectic geometry

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

math.SG↗
arXiv2025

Iconicity in Large Language Models

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.

cs.CL↗
arXiv2024

An invitation to singular foliations

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.

math.DG↗
arXiv2024

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

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.

math.DG↗
arXiv2024

Poisson bundles over unordered configurations

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.

math-ph↗
arXiv2024

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

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.

math.DG↗
arXiv2023

Differentiating $L_\infty$ groupoids

Differentiating an Lie $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 Lie $n$-groupoid. As an immediate consequence we obtain that the tangent complex carries the structure of a Lie $n$-algebroid.

math.DG↗
arXiv2021

The holonomy of a singular leaf

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.

math.DG↗
arXiv2021

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

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.

math.SG↗
arXiv2020

The neighbourhood of a singular leaf

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.

math.DG↗
arXiv2019

Multisymplectic actions of compact Lie groups on spheres

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.

math.SG↗