Related papers: Fibration structure for Gromov h-principle
Given an oriented, closed and connected manifold X and a nonzero cohomology u $\in$ H 1 (X, R), we extend the constructions of Morse Homology with differential graded coefficients of [BDHO25] and of the Chas-Sullivan product described on…
Algorithms for partition refinement are actively studied for a variety of systems, often with the optimisation called Hopcroft's trick. However, the low-level description of those algorithms in the literature often obscures the essence of…
By using a Borel density theorem for algebraic quotients, we prove a theorem concerning isometric actions of a Lie group $G$ on a smooth or analytic manifold $M$ with a rigid $\mathrm{A}$-structure $\sigma$. It generalizes Gromov's…
We establish a large deviation principle for the solutions of a class of stochastic partial differential equations with non-Lipschitz continuous coefficients. As an application, the large deviation principle is derived for super-Brownian…
For any intrinsic Gromov hyperbolic space we establish a Gehring-Hayman type theorem for conformally deformed spaces. As an application, we prove that any complete intrinsic hyperbolic space with atleast two points in the Gromov boundary…
In this paper, we study properties of maps between fibrant objects in model categories. We give a characterization of weak equivalences between fibrant object. If every object of a model category is fibrant, then we give a simple…
Geometric problems are usually formulated by means of (exterior) differential systems. In this theory, one enriches the system by adding algebraic and differential constraints, and then looks for regular solutions. Here we adopt a dual…
Our aim is to construct fibrewise localizations in model categories. For pointed spaces, the general idea is to decompose the total space of a fibration as a diagram over the category of simplices of the base and replace it by the localized…
In this note we study the local projective model structure on presheaves of complexes on a site, i.e. we describe its classes of cofibrations, fibrations and weak equivalences. In particular, we prove that the fibrant objects are those…
The Gromov-Eliashberg theorem says that the group of symplectomorphisms of a symplectic manifold is C^0-closed in the group of diffeomorphisms. This can be translated into a statement about the Lagrangian submanifolds which are graphs of…
We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…
We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…
There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…
In this note we realize the sheaf of Cherednik algebras $H_{1, c, X, G}$ on a general good complex orbifold $X/G$, originally introduced by Etingof for smooth complex varieties with an action by a finite group, by gluing sheaves of flat…
Category of fibrant objects is a convenient framework to do homotopy theory, introduced and developed by Ken Brown. In this paper, we apply it to the category of C^{*}-algebras. In particular, we get a unified treatment of (ordinary)…
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and…
We establish Gromov's celebrated reconstruction theorem in Lorentzian geometry. Alongside this result, we introduce and study a natural concept of isomorphy of normalized bounded Lorentzian metric measure spaces. We outline applications to…
Given a positive definite, bounded linear operator $A$ on the Hilbert space $\mathcal{H}_0:=l^2(E)$, we consider a reproducing kernel Hilbert space $\mathcal{H}_+$ with a reproducing kernel $A(x,y)$. Here $E$ is any countable set and…
A categorical formalism is introduced for studying various features of the symplectic geometry of Lefschetz fibrations and the algebraic geometry of Tyurin degenerations. This approach is informed by homological mirror symmetry, derived…
Structural hierarchy, in which materials possess distinct features on multiple length scales, is ubiquitous in nature; diverse biological materials, such as bone, cellulose, and muscle, have as many as ten hierarchical levels. Structural…