Related papers: Every finite-dimensional analytic space is $\sigma…

We prove that every smooth rigid spherical hypersurface in ${\mathbb C}^2$ is in fact real-analytic. As an application of this result, it follows that the classification of real-analytic rigid spherical hypersurfaces in ${\mathbb C}^2$…

The main goal of this note is to provide evidence that the first rational homology of the Johnson subgroup $K_{g,1}$ of the mapping class group of a genus g surface with one marked point is finite-dimensional. Building on work of…

In the setting of step 2 sub-Finsler Carnot groups with strictly convex norms, we prove that all infinite geodesics are lines. It follows that for any other homogeneous distance, all geodesics are lines exactly when the induced norm on the…

We prove that any complex analytic set in $\mathbb{C}^n$ which is Lipschitz normally embedded at infinity and has tangent cone at infinity that is a linear subspace of $\mathbb{C}^n$ must be an affine linear subspace of $\mathbb{C}^n$…

This work is devoted to the comparison of de Branges--Rovnyak $H(b)$ spaces harmonically weighted Dirichlet spaces $\mathcal{D}_\mu$. We completely characterize which $H(b)$ spaces are also harmonically weighted Dirichlet spaces…

It is shown that a connected non-compact metrizable manifold of dimension $\ge 2$ is strongly discrete homogeneous if and only if it has one end (in the sense of Freudenthal compactification).

Given an algebra $\mathbf{A}$, and terms $s(x_{1},x_{2},\dots x_{k})$ and $t(x_{1},x_{2},\dots x_{k})$ of the language of ${\mathbf A}$, we say that $s$ and $t$ are {\em separated} in ${\mathbf A}$ iff for all $a_{1},a_{2}\dots a_{k}\in A$,…

We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…

In the present article we study the following problem. Let G be a linear algebraic group over Q, $\Gamma$ be an arithmetic lattice and H be an observable Q-subgroup. There is a H-invariant measure $\mu_H$ supported on the closed submanifold…

We prove the hyperplane absolute winning property of weighted inhomogeneous badly approximable vectors in $\mathbb{R}^d$. This answers a question by Beresnevich--Nesharim--Yang and extends the main result of [Geometric and Functional…

A topological space (not necessarily simply connected) is said to have finite homotopy rank-sum if the sum of the ranks of all higher homotopy groups (from the second homotopy group onward) is finite. In this article, we consider Stein…

We show that H-spaces with finitely generated cohomology, as an algebra or as an algebra over the Steenrod algebra, have homotopy exponents at all primes. This provides a positive answer to a question of Stanley.

An ultrafilter $p$ on $\omega$ is said to be discrete if, given any function $f\colon \omega \to X$ to any completely regular Hausdorff space, there is an $A \in p$ such that $f(A)$ is discrete. Basic properties of discrete ultrafilters are…

A new homological dimension is introduced to measure the quality of resolutions of `singular' finite dimensional algebras (of infinite global dimension) by `regular' ones (of finite global dimension). Upper bounds are established in terms…

In this work, we propose a convenient framework for infinite-dimensional analysis (including both real and complex analysis in infinite dimensions), in which differentiation (in some weak sense) and integration operations can be easily…

We construct certain non-degenerate maps and sets, mainly in the complex-analytic category. For example, we show that for every countable subset S in an irreducible complex space X there exists a holomorphic map from the unit disk to X such…

We classify complete curvature homogeneous metrics on simply connected four dimensional manifolds which are invariant under a cohomogeneity one action. We show that they are either isometric to a symmetric space with one of its…

We prove that if the shape of the metric unit ball in a homogeneous group enjoys a precise symmetry property, then the associated distance yields the standard form of the area formula. The result applies to some classes of smooth and…

We describe the holonomy algebras of all canonical connections of homogeneous structures on real hyperbolic spaces in all dimensions. The structural results obtained then lead to a determination of the types, in the sense of Tricerri and…

We give strengthened versions of the Herwig-Lascar and Hodkinson-Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous…