Related papers: Differentiable structures on a union of two open s…
We classify differentiable structures on a line $\mathbb{L}$ with two origins being a non-Hausdorff but $T_1$ one-dimensional manifold obtained by ``doubling'' $0$. For $k\in\mathbb{N}\cup\{\infty\}$ let $H$ be the group of homeomorphisms…
An arithmetical structure on a graph is given by a labeling of the vertices which satisfies certain divisibility properties. In this note, we look at several families of graphs and attempt to give counts on the number of arithmetical…
Let $Z$ be a non-compact two-dimensional manifold obtained from a family of open strips $\mathbb{R}\times(0,1)$ with boundary intervals by gluing those strips along their boundary intervals. Every such strip has a foliation into parallel…
We classify, up to diffeomorphism, all closed smooth manifolds homeomorphic to the complex projective $n$-space $\mathbb{C}\textbf{P}^n$, where $n=3$ and $4$. Let $M^{2n}$ be a closed smooth $2n$-manifold homotopy equivalent to…
In this paper we will introduce and develop a theory of adjunction spaces which allows the construction of non-Hausdorff topological manifolds from standard Hausdorff ones. This is done by gluing Hausdorff manifolds along homeomorphic open…
The ordinary Structure Identity Principle states that any property of set-level structures (e.g., posets, groups, rings, fields) definable in Univalent Foundations is invariant under isomorphism: more specifically, identifications of…
This is a concise introduction to the theory of Lie groupoids, with emphasis in their role as models for stacks. After some preliminaries, we review the foundations on Lie groupoids, and we carefully study equivalences and proper groupoids.…
We indicate a way of distinguishing between structures, for which, we call two structures distinguishable. Roughly, being distinguishable means that they differ in the number of realizations each gives for some formula. Being…
We prove that the set of orthogonal separable coordinates on an arbitrary (pseudo-)Riemannian manifold carries a natural structure of a projective variety, equipped with an action of the isometry group. This leads us to propose a new,…
A second-order differential identity for the Riemann tensor is obtained, on a manifold with symmetric connection. Several old and some new differential identities for the Riemann and Ricci tensors descend from it. Applications to manifolds…
A method is developed here for building differentiable three-dimensional manifolds on multicube structures. This method constructs a sequence of reference metrics that determine differentiable structures on the cubic regions that serve as…
A `discrete differential manifold' we call a countable set together with an algebraic differential calculus on it. This structure has already been explored in previous work and provides us with a convenient framework for the formulation of…
We construct a one dimensional, second countable, simply connected manifold that exhibits a single non Hausdorff fiber, sufficient to destroy the fundamental properties of classical covering space theory. The space, called the line with k…
We construct a continuously differentiable curve in the plane that can be covered by a collection of lines such that every line intersects the curve at a single point and the union of the lines has Hausdorff dimension 1. We show that for…
The main aim of this paper is to classify the distinct multiplicative Lie algebra structures (up to isomorphism) on a given group. We also see that for a given group $G$, every homomorphism from the non-abelian exterior square $G \wedge G$…
One approach to produce a pair of homeomorphic-but-not-diffeomophic closed 4-manifolds is to find a knot which is smoothly slice in one but not the other. This approach has never been run successfully. We give the first examples of a pair…
Directed acyclic graphs (DAGs) encode a lot of information about a particular distribution in their structure. However, compute required to infer these structures is typically super-exponential in the number of variables, as inference…
Previously we constructed Calabi-Yau threefolds by a differential-geometric gluing method using Fano threefolds with their smooth anticanonical $K3$ divisors (New York J. Math. 20: 1-33, 2014). In this paper, we further consider the…
From descent theory to higher geometry, the idea of gluing has been embedded in many elegant and powerful techniques, proving instrumental for the solution of many problems. In this paper, we introduce a framework that allows to link…
The theories of strings and $D$-branes have motivated the development of non Abelian cohomology techniques in differential geometry, on the purpose to find a geometric interpretation of characteristic classes. The spaces studied here, like…