Related papers: Moore hyperrectangles on a space form a strict cub…

We first describe the action of the fundamental group of a closed surface of variable negative curvature on the oriented geodesics in its universal covering in terms of a naturally-defined flat connection whose holonomy lies in the group of…

Let G be a group acting geometrically on a CAT(0) cube complex X. We prove first that G is hyperbolic relative to the collection P of subgroups if and only if the simplicial boundary of X is the disjoint union of a nonempty discrete set,…

First of all, we recall the well known notion of semidirect product both for classical algebraic structures (like groups and rings) and for more recent ones (digroups, left skew braces, heaps, trusses). Then we analyse the concept of…

A general notion of detection is introduced and used in the study of the cohomology of elementary abelian 2-groups with respect to the spectra in the Postnikov tower of orthogonal K-theory. This recovers and extends results of Bruner and…

We give a solution to the inverse problem of Moebius geometry on the circle. Namely, we describe a class of Moebius structures on the circle for each of which there is a hyperbolic space such that its boundary at infinity is the circle, and…

We prove that if $T$ is an $\omega$-categorical supersimple theory with nontrivial dependence (given by forking), then there is a nontrivial regular 1-type over a finite set of reals which is realized by real elements; hence forking induces…

For each complex semisimple group $G_{\mathbb{C}}$, Moore and Tachikawa conjectured the existence of a certain two-dimensional topological quantum field theory $\eta_{G_{\mathbb{C}}} : \mathrm{Cob}_2 \to \mathrm{MT}$ whose target category…

We consider in general terms dynamical systems with finite-dimensional, non-simply connected configuration-spaces. The fundamental group is assumed to be finite. We analyze in full detail those ambiguities in the quantization procedure that…

A complete classification of continuous, dually epi-translation invariant, and rotation equivariant valuations on convex functions is established. This characterizes the recently introduced functional Minkowski vectors, which naturally…

This second part on polygons in the hyperbolic plane is based on the first part which deals with uniqueness and existence of cocyclic polygons with prescribed sidelengths. The topic here is the maximum question for the area of these…

A conjecture by Yves Andre and Frans Oort says that closed subvarieties of Shimura varieties that contain a Zariski dense subset of special points are subvarieties of Hodge type. We prove this in the case where the subvariety is a curve…

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…

We first show that simply connected co-$H$-spaces and connected $H$-spaces can be uniquely decomposed into prime factors in the homotopy category of pointed $p$-local spaces of finite type, which is used to develop a $p$-local version of…

Recently a simple proof of the generalizations of Hawking's black hole topology theorem and its application to topological black holes for higher dimensional ($n\geq 4$) spacetimes was given \cite{rnew}. By applying the associated new line…

We define and give explicit construction of the universal tree-graded space with a given collection of pieces. We apply that to proving uniqueness of asymptotic cones of relatively hyperbolic groups whose peripheral subgroups have unique…

On contact manifolds we describe a notion of (contact) finite-type for linear partial differential operators satisfying a natural condition on their leading terms. A large class of linear differential operators are of finite-type in this…

Let M = H^3 / \Gamma be a hyperbolic 3-manifold of finite volume. We show that if H and K are abelian subgroups of \Gamma and g is in \Gamma, then the double coset HgK is separable in \Gamma. As a consequence we prove that if M is a closed,…

We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing…

We show that every unstable NIP theory admits a V-definable linear quasi-order, over a finite set of parameters. In particular, if the theory is omega-categorical, then it interprets an infinite linear order. This partially answers a…

We discuss a conjectural duality between hyperbolic spaces on one hand and spacetimes on the other hand, living on the opposite sides of the common absolute. This duality goes via M\"obius structures on the absolute, and it is easily…