Related papers: On completeness in a non-Archimedean setting via f…

We construct harmonic Riemannian submersions that are retractions from symmetric spaces of noncompact type onto their rank-one totally geodesic subspaces. Among the consequences, we prove the existence of a non-constant, globally defined…

For a non-compact metrizable space $X$, let ${\mathcal E}(X)$ be the set of all one-point metrizable extensions of $X$, and when $X$ is locally compact, let ${\mathcal E}_K(X)$ denote the set of all locally compact elements of ${\mathcal…

We provide an equivariant description/classification of all complete (compact or not) non-negatively curved manifolds M together with a co-compact action by a reflection group W, and moreover, classify such W. In particular, we show that…

Given a compact Lie group $G$ acting on a space $X$, the classical Atiyah-Segal completion theorem identifies topological $K$-theory of the homotopy quotient $X/G$ with an explicit completion of $G$-equivariant topological $K$-theory of…

In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder $R$, its rough set-based Nelson…

In this paper, we will establish a general method of studying finite-dimensional normed spaces, and apply this method to classifying $3$-dimensional and $4$-dimensional normed spaces over a non-spherically complete field. For this purpose,…

We give a characterization of extremal irreducible discrete subfactors $(N\subseteq M, E)$ where $N$ is type ${\rm II}_1$ in terms of connected W*-algebra objects in rigid C*-tensor categories. We prove an equivalence of categories where…

Let $(R,\mathfrak{m})$ be a Noetherian local ring and $\widehat{R}$ its $\mathfrak{m}$-adic completion. We study the problem of determining when a finitely generated $\widehat{R}$-module arises from an $R$-module, i.e., when it is…

Searching normal forms for real analytic submanifolds of C^n involves convergence problems. In 1983, J.K. Moser and S.M. Webster provided examples of real analytic surfaces in C^2 having an isolated hyperbolic (in the sense of E. Bishop)…

It is known that there are complete, Hausdorff and regular convergence vector spaces X and Y such that Lc(X,Y), the space of continuous linear mappings from X into Y equipped with the continuous convergence structure, is not complete. In…

We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic properties of such a category and its associated homotopy…

We develop sheaf-theoretic methods to deal with non-smooth objects in symplectic geometry. We show the completeness of a derived category of sheaves with respect to the interleaving distance and construct a sheaf quantization of a…

In the present article we introduce and study a class of topological reflection spaces that we call Kac-Moody symmetric spaces. These generalize Riemannian symmetric spaces of non-compact type. We observe that in a non-spherical Kac-Moody…

This thesis consists of two parts which share only a slight overlap. The first part is concerned with the study of ideals in the ring $C^\infty(M,R)$ of smooth functions on a compact smooth manifold M or more generally submodules of a…

Motivated by results of Bagaria, Magidor and V\"a\"an\"anen, we study characterizations of large cardinal properties through reflection principles for classes of structures. More specifically, we aim to characterize notions from the lower…

In this paper we examine different aspects of the geometry of closed conformal vector fields on Riemannian manifolds. We begin by getting obstructions to the existence of closed conformal and nonparallel vector fields on complete manifolds…

We introduce the Hermitian-invariant group $\Gamma_f$ of a proper rational map $f$ between the unit ball in complex Euclidean space and a generalized ball in a space of typically higher dimension. We use properties of the groups to define…

We introduce a new category of non-archimedean analytic spaces over a complete discretely valued field. These spaces, which we call uniformly rigid, may be viewed as classical rigid-analytic spaces together with an additional uniform…

A $\mu$-algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms $(f,\mu_{x}.f)$ where $\mu_{x}.f$ is axiomatized as the least prefixed point of $f$, whose axioms are…

We give a Riemannian structure to the set $\Sigma$ of positive invertible unitized Hilbert-Schmidt operators, by means of the trace inner product. This metric makes of $\Sigma$ a nonpositively curved, simply connected and metrically…