Related papers: An algebro-geometric model for the configuration c…
In the spirit of the geometric approach to two-dimensional conformal field theory, we explicitly associate to every holomorphic vertex operator algebra a section of a power of Hodge line bundle on the moduli space of curves of arbitrary…
In this paper we introduce an open-closed cobordism category with maps to a background space. We identify the classifying space of this category for certain classes of background space. The key ingredient is the homology stability of…
We show that a $\mathbb{P}$-object and simple configurations of $\mathbb{P}$-objects have a formal derived endomorphism algebra. Hence the triangulated category (classically) generated by such objects is independent of the ambient…
We propose some new method of constructing configurations, which consists in consecutive inscribing copies of one underlying configuration. A uniform characterization of the obtained class and the one introduced in our paper untitled…
We develop a general theory of log spaces, in which one can make sense of the basic notions of logarithmic geometry, in the sense of Fontaine-Illusie-Kato. Many of our general constructions with log spaces are new, even in the algebraic…
Given a G-structure with connection satisfying a regularity assumption we associate to it a classifying Lie algebroid. This algebroid contains all the information about the equivalence problem and is an example of a G-structure Lie…
Geometric modeling by constraints, whose applications are of interest to communities from various fields such as mechanical engineering, computer aided design, symbolic computation or molecular chemistry, is now integrated into standard…
We construct a $k[[Q]]$-linear predifferential graded Lie algebra $L^*_{X/S}$ associated to a log smooth and saturated morphism $f: X \rightarrow S$ and prove that it controls the log smooth deformation functor. This provides a geometric…
We show the smoothness over the affine line of the Hodge moduli space of logarithmic t-connections of coprime rank and degree on a smooth projective curve with geometrically integral fibers over an arbitrary Noetherian base. When the base…
We construct a real combinatorial model for the configuration spaces of points of compact smooth oriented manifolds without boundary. We use these models to show that the real homotopy type of configuration spaces of a simply connected such…
We discuss selected topics on the topology of moduli spaces of curves and maps, emphasizing their relation with Gromov--Witten theory and integrable systems.
The introduction of first-class type classes in the Coq system calls for re-examination of the basic interfaces used for mathematical formalization in type theory. We present a new set of type classes for mathematics and take full advantage…
We present a formal model developed to reason about topologies created by sensor ranges. This model is used to formalise the topological aspects of an existing counting algorithm to estimate the number of targets in the area covered by the…
We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…
The aim of this project is to attach a geometric structure to the ring of integers. It is generally assumed that the spectrum $\mathrm{Spec}(\mathbb{Z})$ defined by Grothendieck serves this purpose. However, it is still not clear what…
Given a finite collection of two-dimensional tile types, the field of study concerned with covering the plane with tiles of these types exclusively has a long history, having enjoyed great prominence in the last six to seven decades. Much…
A Lie algebra structure on variation vector fields along an immersed curve in a $2$-dimensional real space form is investigated. This Lie algebra particularized to plane curves is the cornerstone in order to define a Hamiltonian structure…
We introduce the notion of (homological) G-smoothness for a complex G-variety X, where G is a connected affine algebraic group. This is based on the notion of smoothness for dg algebras and uses a suitable enhancement of the G-equivariant…
This expository article describes applications of topological configuration spaces to the control of robotic systems. In particular, we review recent work by the authors on configuration spaces of graphs. These are lovely spaces: we show…
The category of mobi algebras has been introduced as a model to the unit interval of real numbers. The notion of mobi space over a mobi algebra has been proposed as a model for spaces with geodesic paths. In this paper we analyse the…