Related papers: Formalising the $h$-principle and sphere eversion

One of the main prerequisites for understanding sheaves on elementary toposes is the proof that a (Lawvere-Tierney) topology on a topos induces a closure operator on it, and vice-versa. That standard theorem is usually presented in a…

This paper extends a recently proposed robust computational framework for constructing the boundary representation (brep) of the volume swept by a given smooth solid moving along a one parameter family $h$ of rigid motions. Our extension…

Let $X=H/L$ be an irreducible real bounded symmetric domain realized as a real form in an Hermitian symmetric domain $D=G/K$. The intersection $S$ of the Shilov boundary of $D$ with $X$ defines a distinguished subset of the topological…

For each arbitrary finite group $G$, we consider a suitable notion of Gromov Hausdorff distance between compact $G$ metric spaces and derive lower bounds based on equivariant topology methods. As applications, we prove equivariant rigidity…

The purpose of this paper is to make a comprehensive connection between the basic results and properties derived from the two kinds of topologies (namely the $(\epsilon,\lambda)-$topology introduced by the author and the stronger locally…

Let M and N be closed n-dimensional manifolds, and equip N with a volume form \sigma. Let \mu be an exact n-form on M. Arnold then asked the question: When can one find a map f:;N such that f*\sigma=\mu. In 1973 Eliashberg and Gromov showed…

P. M. Akhmetiev used a controlled version of the stable Hopf invariant to show that any (continuous) map N -> M between stably parallelizable compact n-manifolds, n\ne 1,2,3,7, is realizable in R^{2n}, i.e. the composition of f with an…

The purpose of this paper is to introduce a version of singular homology based on smooth mappings of manifolds with corners. Although variants of such a theory exists in the literature, we felt that certain points were not adequately…

Discrete differential geometry aims to develop discrete equivalents of the geometric notions and methods of classical differential geometry. In this survey we discuss the following two fundamental Discretization Principles: the…

A discretisation scheme that preserves topological features of a physical problem is extended so that differential geometric structures can be approximated in a consistent way thus giving access to the study of physical systems which are…

We discuss the local differential geometry of convex affine spheres in $\re^3$ and of minimal Lagrangian surfaces in Hermitian symmetric spaces. In each case, there is a natural metric and cubic differential holomorphic with respect to the…

First-order optimization algorithms can be considered as a discretization of ordinary differential equations (ODEs) \cite{su2014differential}. In this perspective, studying the properties of the corresponding trajectories may lead to…

The purpose of this paper is twofold: 1. we prove the triangulability of smooth orbifolds with corners, generalizing the same statement for orbifolds. 2. based on 1, we propose a new homology theory. We call it geometric homology theory…

By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…

Let $\L_m$ be the scheme of the laws defined by the identities of Jacobi on $\K^m$. The local studies of an algebraic Lie algebra $\g=\mathrm{R}\ltimes\n$ in $\L_m$ and its nilpotent part $\n$ in the scheme $\L_n^{\mathrm{R}}$ of…

We prove a version of the Stokes formula for differential forms on locally convex spaces. The main tool used for proving this formula is the surface layer theorem proved in another paper by the author. Moreover, for differential forms of a…

We prove a discrete Jordan-Brouwer-Schoenflies separation theorem telling that a (d-1)-sphere H embedded in a d-sphere G defines two different connected graphs A,B in G such a way that the intersection of A and B is H and the union is G and…

This article provides a conceptual and historical review of the evolution of integrable Hamiltonian systems from the Moscow School of A. T. Fomenko to the emerging Azarbaijan School of Geometric Dynamical Systems founded by the author.…

The differential-geometric structure of the manifold of smooth shapes is applied to the theory of shape optimization problems. In particular, a Riemannian shape gradient with respect to the first Sobolev metric and the Steklov-Poincar\'{e}…

We describe noncommutative geometric aspects of twisted deformations, in particular of the spheres in Connes and Landi [8] and in Connes and Dubois Violette [7], by using the differential and integral calculus on these spaces that is…