Related papers: A Perspective on the Foundations of Derived Analyt…
We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing…
We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…
I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…
We introduce a generalization of symmetric functions and apply the resulting theory to compute the class in the Grothendieck ring of varieties of the space of geometrically irreducible hypersurfaces of a fixed degree in projective space.
We give a differentially closed description of the uniformizing representation to the analytical apparatus on Riemann surfaces and orbifolds of finite analytic type. Apart from well-known automorphic functions and Abelian differentials it…
We describe a bicategory $(\mathcal{R}ed\,\mathcal{O}rb)$ of reduced orbifolds in the framework of classical differential geometry (i.e. without any explicit reference to notions of Lie groupoids or differentiable stacks, but only using…
The new approach to quantize the gravity based on the notion of differential algebra is suggested. It is shown that the differential geometry of this object can not be described in terms of points. The spatialization procedure giving rise…
We classify, up to isomorphism and up to equivalence, division gradings (by abelian groups) on finite-dimensional simple real algebras. Gradings on finite-dimensional simple algebras are determined by division gradings, so our results give…
We present herewith certain thoughts on the important subject of nowadays physics, pertaining to the so-called ``singularities'', that emanated from looking at the theme in terms of ADG (: abstract differential geometry). Thus, according to…
The paper is a survey of some results about Weil algebras applicable in differential geometry, especially in some classification questions on bundles of generalized velocities and contact elements. Mainly, a number of claims concerning a…
This is the first paper in a series of eight where in the first three we develop a systematic approach to the geometric algebras of multivectors and extensors, followed by five papers where those algebraic concepts are used in a novel…
We study complex analytic (possibly singular) projective connections on the plane. We characterize some of them in terms of their families of integral curves. We also give a beginning of classification of second order odes polynomial in the…
We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore,…
A new type of sectional curvature is introduced. The notion is purely algebraic and can be located in linear algebra as well as in differential geometry.
We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory,…
This is an invited contribution to the 2nd edition of the Encyclopedia of Mathematical Physics, that provides a very short survey of derived symplectic geometry. Derived symplectic geometry studies symplectic structures on derived stacks.…
We introduce the idea of a geometric categorical Lie algebra action on derived categories of coherent sheaves. The main result is that such an action induces an action of the braid group associated to the Lie algebra. The same proof shows…
We present an overview of some recent developments in the theory of generalized formal series, grounded in diffeological geometric framework. These constructions aim to offer new tools for understanding infinite-dimensional phenomena in…
In these notes, we define a new simplicial structure on a connected multiplicative operad and call it connected multiplicative simplicial operad (for short; simplicial operad). Next we introduce on this simplicial operad a brace algebra…
We classify, up to equivalence, all finite-dimensional simple graded division algebras over the field of real numbers. The grading group is any finite abelian group.