Related papers: Constructing arcs from paths using Zorn's Lemma

We provide an elementary proof of the Hartshorne-Serre correspondence for constructing vector bundles from local complete intersection subschemes of codimension two. This will be done, as in the correspondence of hypersurfaces and line…

We study the relationship between many natural conditions that one can put on a diffeological vector space: being fine or projective, having enough smooth (or smooth linear) functionals to separate points, having a diffeology determined by…

We realize any space of conformal blocks attached to a punctured curve inside the cohomology of a configuration space of that curve and compare the WZW connection with the Gauss-Manin connection.

The method of alternating projections involves orthogonally projecting an element of a Hilbert space onto a collection of closed subspaces. It is known that the resulting sequence always converges in norm if the projections are taken…

The main result of the paper is the following: Every $z$-linear maps is a functional p-convex. We will prove this statement using lemma developed by Kalton and Peck [6] and theorem developed by Aoki and Rolewicz.Based on the definition of…

Lov\'{a}sz conjectured that every connected vertex-transitive graph contains a hamilton path in 1970. First we reveal the structure of connected vertex-transitive graphs with an odd number of vertices. Then we prove that every connected…

Let $M,N$ be finitely generated modules over a local complete intersection $R$. Assume that for each $i>0$, $\mathrm{Tor}^R_i(M,N)=0$. We prove that the cohomological support of $M\otimes_R N$ (in the sense of Avramov-Buchweitz) is equal to…

It is shown that a minimum weight spanning tree of a finite ultrametric space can be always found in the form of path. As a canonical representing tree such path uniquely defines the whole space and, moreover, it has much more simple…

This article presents an elementary proof of Zorn's Lemma under the Axiom of Choice, simplifying and supplying necessary details in the original proof by Paul R. Halmos in his book, Naive Set Theory. Also provided, is a preamble to Zorn's…

In this paper, we prove that each injective simplicial map of the arc complex of a compact, connected, orientable surface with nonempty boundary is induced by a homeomorphism of the surface. We deduce, from this result, that the group of…

We study the arc complex of a surface with marked points in the interior and on the boundary. We prove that the isomorphism type of the arc complex determines the topology of the underlying surface, and that in all but a few cases every…

We use derived localization of the bar and nerve constructions to provide simple proofs of a number of results in algebraic topology. This includes a recent generalization of Adams' cobar-construction to the non-simply connected case, and a…

This work is a short, self-contained introduction to subriemannian geometry with special emphasis on Chow's Theorem. As an application, a regularity result for the Poincar\'e Lemma is presented. At the beginning, the definitions of a…

An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…

It is shown how a selection of prominent results in singularity theory and differential geometry can be deduced from one theorem, the Rank Theorem for maps between spaces of power series.

This paper extends the decorated Teichm\"uller theory developed before for punctured surfaces to the setting of ``bordered'' surfaces, i.e., surfaces with boundary, and there is non-trivial new structure discovered. The main new result…

A graph is \emph{hamiltonian-connected} if every pair of vertices can be connected by a hamiltonian path, and it is \emph{hamiltonian} if it contains a hamiltonian cycle. We construct families of non-hamiltonian graphs for which the ratio…

We construct a locally compact Hausdorff topology on the path space of a directed graph $E$, and identify its boundary-path space $\partial E$ as the spectrum of a commutative $C^*$-subalgebra $D_E$ of $C^*(E)$. We then show that $\partial…

Using nonstandard analysis we define a topology on the ring of germs of functions: $(mathbb R^n,0)\rightarrow(mathbb R,0)$. We prove that this topology is absolutely convex, Hausdorff, that convergent nets of continuous germs have…

In their work, \cite{GR}, Gaitsgory and Rozenblyum introduce a derived version of the well-studied arc spaces of classical algebraic geometry. They observe that these derived spaces do not differ from their classical counterparts in the…