Related papers: Thick Spanier groups and the first shape group

We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…

For odd $n$ we construct a path $\rho_t\colon \pi_1(S) \to SL(n,\mathbb{R})$ of discrete, faithful and Zariski dense representations of a surface group such that $\rho_t(\pi_1(S)) \subset SL(n,\mathbb{Q})$ for every $t\in \mathbb{Q}$.

Let $X$ be a compact orientable non-Haken 3-manifold modeled on the Thurston geometry $\text{Nil}$. We show that the diffeomorphism group $\text{Diff}(X)$ deformation retracts to the isometry group $\text{Isom}(X)$. Combining this with…

Let $X$ be a Hausdorff topological group and $G$ a locally compact subgroup of $X$. We show that $X$ admits a locally finite $\sigma$-discrete $G$-functionally open cover each member of which is $G$-homeomorphic to a twisted product…

Let X be an irreducible reduced complex space on which a connected compact Lie group K acts by holomorphic automorphisms. Let G be the complexification of K and g the Lie algebra of G. Following the theory of algebraic transformation…

Let X be a zero-dimensional compact space such that all non-empty clopen subsets of X are homeomorphic to each other, and let H(X) be the group of all self-homeomorphisms of X with the compact-open topology. We prove that the Roelcke…

Let X be a smooth projective variety with torsion-free Picard group. We introduce complexes of vector spaces whose homology determines the structure of the minimal free resolution of the Cox ring of X over the polynomial ring and show how…

A family of algebraic curves covering a projective variety $X$ is called a web of curves on $X$ if it has only finitely many members through a general point of $X$. A web of curves on $X$ induces a web-structure, in the sense of local…

Herein we prove that if $M$ is a compact oriented Riemann surface of genus $g$, and $M^{[n]}$ is the classifying space of $n$ distinct, unordered points on $M$, then the kernel of the map $\pi_1(M^{[n]})\to H_1(M)$ is generated by…

Let $X=G/H$ be a spherical variety over an algebraically closed field of characteristic $p\ge0$. We compute the $p'$-parts of $\pi_0(H)$ and $\pi_1(X)$ from the spherical system of $X$.

Let $H$ be a subgroup of the fundamental group $\pi_{1}(X,x_{0})$. By extending the concept of strong SLT space to a relative version with respect to $H$, strong $H$-SLT space, first, we investigate the existence of a covering map for…

This paper studies the homotopy and homeomorphism classifications of $4$-manifolds with boundary. Given $4$-manifolds $X_0$ and $X_1$ with fundamental group $\pi$, we consider the problem of extending a homotopy equivalence $h \colon…

Given a smooth toric variety X and an ample line bundle O(1), we construct a sequence of Lagrangian submanifolds of (C^*)^n with boundary on a level set of the Landau-Ginzburg mirror of X. The corresponding Floer homology groups form a…

Let X be a normal connected complex algebraic variety equipped with a semisimple complex representation of its fundamental group. Then, under a maximality assumption, we prove that the covering space of X associated to the kernel of the…

For a smooth geometrically integral variety $X$ over a field $k$ of characteristic 0, we introduce and investigate the extended Picard complex $UPic(X)$. It is a certain complex of Galois modules of length 2, whose zeroth cohomology is…

The proalgebraic fundamental group of a connected topological space $X$, recently introduced by the first author, is an affine group scheme whose representations classify local systems of finite-dimensional vector spaces on $X$. In this…

We prove that the homotopy type of a map from a Peano continuum into a planar or one-dimensional space is determined by the induced homomorphism of fundamental groups. This provides a new proof that planar sets are aspherical and is used to…

We say that a topological space $X$ is selectively highly divergent (SHD) if for every sequence of non-empty open sets $\{U_n\mid n\in\omega \}$ of $X$, we can find $x_n\in U_n$ such that the sequence $(x_n)$ has no convergent subsequences.…

A space X is selectively sequentially pseudocompact if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in each U_n in such a way that the sequence (x_n) has a convergent subsequence. Let G be a group from…

We show that regular semisimple Hessenberg varieties can have moduli. To be precise, suppose $X$ is a regular semisimple Hessenberg variety of codimension $1$ in the flag variety $G/B$, where $G$ is a simple algebraic group of rank $r$ over…