Related papers: Orbispaces as differentiable stratified spaces

A construction of the magic square, and hence of exceptional Lie algebras, is carried out using trialities rather than division algebras. By way of preparation, a comprehensive discussion of trialities is given, incorporating a number of…

In this paper we generalize a result in [1], showing that an arbitrary Riemannian symmetric space can be realized as a closed submanifold of a covering group of the Lie group defining the symmetric space. Some properties of the subgroups of…

We introduce a notion of coisotropics on 1-shifted symplectic Lie groupoids (i.e. quasi-symplectic groupoids) using twisted Dirac structures and show that it satisfies properties analogous to the corresponding derived-algebraic notion in…

This is a survey paper based on my talk at the Workshop on Orbifolds and String Theory, the goal of which was to explain the role of groupoids and their classifying spaces as a foundation for the theory of orbifolds.

We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the…

This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In a previous paper, we introduce the notion of formal manifolds and develop the…

In this paper we prove that an isometry between orbit spaces of two proper isometric actions is smooth if it preserves the codimension of the orbits or if the orbit spaces have no boundary. In other words, we generalize Myers-Steenrod's…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

We introduce and investigate the concept of Stratified Algebra, a new algebraic framework equipped with a layer-based structure on a vector space. We formalize a set of axioms governing intra-layer and inter-layer interactions, study their…

Stratifications and iterative differential equations are analogues in positive characteristic of complex linear differential equations. There are few explicit examples of stratifications. The main goal of this paper is to construct…

We describe a smooth structure, called Fr\"olicher space, on CW complexes and spaces of triangulations. This structure enables differential methods for e.g. minimization of functionnals. As an application, we exhibit how an optimized…

In this paper, we describe a general theory of "spaces with structure sheaves." Specializations of this theory include the classical theory of schemes, the theory of Deligne-Mumford stacks, and their derived generalizations.

In the framework of nonassociative geometry (hep-th/0003238) a unified description of continuum and discrete spacetime is proposed. In our approach at the Planck scales the spacetime is described as a so-called "diodular discrete structure"…

Any sufficiently often differentiable curve in the orbit space $V/G$ of a real finite-dimensional orthogonal representation $G \to O(V)$ of a finite group $G$ admits a differentiable lift into the representation space $V$ with locally…

We describe a geometric compactification of the moduli stack of left invariant complex structures on a fixed real Lie group or a fixed quotient. The extra points are CR structures transverse to a real foliation.

We revisit the linearization theorems for proper Lie groupoids around general orbits (statements and proofs). In the the fixed point case (known as Zung's theorem) we give a shorter and more geometric proof, based on a Moser deformation…

We consider the moduli space of log smooth pairs formed by a cubic surface and an anticanonical divisor. We describe all compactifications of this moduli space which are constructed using Geometric Invariant Theory and the anticanonical…

Morse functions with exactly two singular points on homotopy spheres and canonical projections of spheres are generalized as special generic maps. A special generic map is, roughly, a smooth map represented as the composition of a smooth…

We study equivariant affine embeddings of homogeneous spaces and their equivariant automorphisms. An example of a quasiaffine, but not affine, homogeneous space with finitely many equivariant automorphisms is presented. We prove the…

We prove the existence of canonical scrolls; that is, scrolls playing the role of canonical curves. First of all, they provide the geometrical version of Riemann Roch Teorem: any special scroll is the projection of a canonical scroll and…