Related papers: Smoothness of bounded invariant equivalence relati…
We introduce some notions of invariant elementary definability which extend the notions of first-order order-invariant definability, and, more generally, definability invariant with respect to arbitrary numerical relations. In particular,…
This is the second in a series of papers that aim to develop rigorous and most encompassing foundations for field theory, where in the first installment, we laid out the natural formulation of bosonic variational field theory via the…
This note is intended to reformulate the Dixmier-Malliavin theorem about smooth group representations in the language of bornological vector spaces, instead of topological vector spaces. This language turns out to allow a more general…
We develop a theory of smooth relative connections over the real path algebra $\mathbb{R}Q$ on smooth twisted quiver bundles. We give obstructions to the existence of a smooth relative connection on twisted quiver bundles. For tree-type…
We study the infinitesimal rigidity of equivariant minimal maps from the universal cover of a smooth oriented surface (possibly non-compact) into a Riemannian symmetric space, focusing on representations arising from cyclic harmonic…
We investigate necessary and sufficient conditions for the extendibility and boundedness of Gaussian curvature, Mean curvature and principal curvatures near all types of singularities on fronts. We also study the convergence to infinite…
We introduce the notion of \emph{topo-symmetric extensions} of topological groups, a new generalization of classical group extensions that incorporates both topological and symmetry constraints. We define morphisms between such extensions,…
We show that, contrary to the commonly held view, there is a natural and optimal compactness theorem for $\mathrm{L}_{\infty\infty}$ which generalizes the usual compactness theorem for first order logic. The key to this result is the switch…
We study probabilistic variants of the Lusternik--Schnirelmann category and topological complexity, which bound the classical invariants from below. We present a number of computations illustrating both wide agreement and wide disagreement…
We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_\sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to…
In this paper we use the theory of $\epsilon$-constants associated to tame finite group actions on arithmetic surfaces to define a Brauer group invariant $\mu(\X,G,V)$ associated to certain symplectic motives of weight one. We then discuss…
We undertake a systematic investigation of compact aspherical manifolds with boundary; motivated by the plethora of examples in the bounded case and by the beauty of the theory in the closed case. Our main theorems give a homological…
We prove that the isomorphism problem is decidable for generalized Baumslag-Solitar (GBS) groups with one quasi-conjugacy class and full support gaps. In order to do so we introduce a family of invariants that fully characterize the…
Beyond the locally compact case, equivalent notions of amenability diverge, and some properties no longer hold, for instance amenability is not inherited by topological subgroups. This investigation is guided by some amenability-type…
We discuss the Borel Tukey ordering on cardinal invariants of the continuum. We observe that this ordering makes sense for a larger class of cardinals than has previously been considered. We then provide a Borel version of a large portion…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
Assume $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$. Let $\approx$ denote the relation of being in bijection. Let $\kappa \in \mathrm{ON}$ and $\langle E_\alpha : \alpha < \kappa\rangle$ be a sequence of equivalence relations on…
We give a survey on some aspects of deformations of isolated singularities. In addition to the presentation of the general theory, we report on the question of the smoothability of a singularity and on relations between different…
We give the first examples of nonabelian left-orderable groups such that the conjugacy orbit equivalence relation on its space of orders has infinity orbits, yet it is smooth in the Borel sense. The examples are all nilpotent groups and we…
We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the…