Related papers: The universal property of derived geometry
We construct a notion of derived completion which applies to homomorphisms of commutative S-algebras. We study the relationship of the construction with other constructions of completions, and prove various invariance properties. The…
Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in…
The purpose of this essay is to trace the historical development of geometry while focusing on how we acquired mathematical tools for describing the "shape of the universe." More specifically, our aim is to consider, without a claim to…
This article describes an entirely algebraic construction for developing conformal geometries, which provide models for, among others, the Euclidean, spherical and hyperbolic geometries. On one hand, their relationship is usually shown…
In this paper we make an overview of results relating the recent "discoveries" in differential geometry, such as higher structures and differential graded manifolds with some natural problems coming from mechanics. We explain that a lot of…
Hyperbolic geometry is developed in a purely algebraic fashion from first principles, without a prior development of differential geometry. The natural connection with the geometry of Lorentz, Einstein and Minkowski comes from a projective…
We construct the differential geometry of smooth manifolds equipped with an algebraic curvature map acting as an area measure. Area metric geometry provides a spacetime structure suitable for the discussion of gauge theories and strings,…
The geodesic flow on a finite discrete q-manifold with or without boundary is defined as as a permutation of its ordered q-simplices. This allows to define geodesic sheets and a notion of sectional curvature.
Diffeology extends differential geometry to spaces beyond smooth manifolds. This paper explores diffeology's key features and illustrates its utility with examples including singular and quotient spaces, and applications in symplectic…
We study the moduli of the universal geometry of $d=4$ $N=1$ heterotic vacua. Universal geometry refers to a family of heterotic vacua fibered over the moduli space. The universal geometry mimics aspects of the original heterotic vacua, in…
In conventional Differential Geometry one studies manifolds, locally modelled on ${\mathbb R}^n$, manifolds with boundary, locally modelled on $[0,\infty)\times{\mathbb R}^{n-1}$, and manifolds with corners, locally modelled on…
In this paper, we use the language of noncommutative differential geometry to formalise discrete differential calculus. We begin with a brief review of inverse limit of posets as an approximation of topological spaces. We then show how to…
Consider a finite dimensional (generally reducible) polynomial representation \rho of GL_n. A projective compactification of GL_n is the closure of \rho(GL_n) in the space of all operators defined up to a factor (this class of spaces can be…
A geometric conception is a method of a geometry construction. The Riemannian geometric conception and a new T-geometric one are considered. T-geometry is built only on the basis of information included in the metric (distance between two…
For non-compact manifolds with boundary we prove that bounded geometry defined by coordinate-free curvature bounds is equivalent to bounded geometry defined using bounds on the metric tensor in geodesic coordinates. We produce a nice atlas…
The fundamental theorem of affine geometry is a classical and useful result. For finite-dimensional real vector spaces, the theorem roughly states that a bijective self-mapping which maps lines to lines is affine. In this note we prove…
For a family $\mathcal{C}$ of properly embedded curves in the 2-dimensional disk $\mathbb{D}^{2}$ satisfying certain uniqueness properties, we consider convex polygons $P\subset \mathbb{D}^{2}$ and define a metric $d$ on $P$ such that…
A closed 3-form $H \in \Omega^3_0(M)$ defines an extension of $\Gamma(TM)$ by $\Omega^2_0(M)$. This fact leads to the definition of the group of $H$-twisted Hamiltonian symmetries $\Ham(M, \JJ; H)$ as well as Hamiltonian action of Lie group…
Starting from an arbitrary sequence of polygons whose total perimeter is $2n$, we can build an (oriented) surface by pairing their sides in a uniform fashion. Chmutov and Pittel (arXiv:1503.01816) have shown that, regardless of the…
We prove that any derived equivalence between derived-discrete algebras of finite global dimension is standard, that is, isomorphic to the derived tensor functor by a two-sided tilting complex.