Related papers: Nonstandard methods in large-scale topology
By the introduction of locally constant prefactorization algebras at a fixed scale, we show a mathematical incarnation of the fact that observables at a given scale of a topological field theory propagate to every scale over euclidean…
In this article, we will introduce methods of non-standard analysis into projective geometry. Especially, we will analyze the properties of a projective space over a non-Archimedean field. Non-Archimedean fields contain numbers that are…
We study holonomy algebras generated by an algebraic element of the Clifford algebra, or equivalently, the holonomy algebras of certain spin connections in flat space. We provide series of examples in arbitrary dimensions and establish…
We perform topological data analysis on the internal states of convolutional deep neural networks to develop an understanding of the computations that they perform. We apply this understanding to modify the computations so as to (a) speed…
We present a new general framework for metrization of Gromov-Hausdorff-type topologies on non-compact metric spaces. We also give easy-to-check conditions for separability and completeness and hence the measure theoretic requirements are…
We construct bases for the spaces of higher order modular forms of all orders and weights. We also provide a cohomological interpretation of these forms.
We study properties of C*-algebras obtained from the nonstandard hull construction (a generalization of the ultraproduct of C*-algebras). Among others, we prove that the properties of being an infinite and a properly infinite C*-algebra are…
Co lombeau's construction of generalized functions (in its special variant) is extended to a theory of generalized sections of vector bundles. As particular cases, generalized tensor analysis and exterior algebra are studied. A point value…
We construct an iterative method for factorising small strict n-categories into a unique (up to isomorphism) collection of small 1- categories. Following this we develop the theory to include a large class of $\infty$-categories. We use…
In this paper, we describe centering and noncentering methodology as complementary techniques for use in parametrization of broad classes of hierarchical models, with a view to the construction of effective MCMC algorithms for exploring…
We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We…
It is important to classify covering subgroups of the fundamental group of a topological space using their topological properties in the topologized fundamental group. In this paper, we introduce and study some topologies on the fundamental…
This note extends the invariant defined in "An invariant of metric spaces under bornologous equivalences" to the coarse category.
In paper we study relationships between covering properties of a topological space $X$ and the space $(USC^*(X),\tau_{\mathcal{B}})$ of bounded upper semicontinuous functions on $X$ with the topology $\tau_{\mathcal{B}}$ defined by the…
For several instances of metric largeness like enlargeability or having hyperspherical universal covers, we construct non-large vector subspaces in the rational homology of finitely generated groups. The functorial properties of this…
Using the idea of strong uniform convergence on bornology, Caserta, Di Maio and Ko\v{c}inac studied open covers and selection principles in the realm of metric spaces (associated with a bornology) and function spaces (w.r.t. the topology of…
General relativity does not allow one to specify the topology of space, leaving the possibility that space is multiply rather than simply connected. We review the main mathematical properties of multiply connected spaces, and the different…
We construct standard resolutions for analytic local modules on complex hypersurfaces using standard basis methods, with extensions to complete intersections. The algebraic version over arbitrary infinite fields is also suggested.…
The goal of this paper is to show that fundamental concepts in higher-order Fourier analysis can be nauturally extended to the non-commutative setting. We generalize Gowers norms to arbitrary compact non-commutative groups. On the…
In this paper, we highlight a new computational aspect of Nonstandard Analysis relating to higher-order computability theory. In particular, we prove that the Gandy-Hyland functional equals a primitive recursive functional involving…