Related papers: A homotopy exact sequence for overconvergent isocr…

The goal of this paper is to show a (derived) $p$-adic Simpson correspondence for (locally) unipotent coefficients on smooth rigid-analytic varieties. Our results depend on a deformation to $\mathbf{B}_\mathtt{dr}^+/\xi^2$, and not on a…

We define and study homotopy groups of cubical sets. To this end, we give four definitions of homotopy groups of a cubical set, prove that they are equivalent, and further that they agree with their topological analogues via the geometric…

Smooth structures on high dimensional manifolds are classified by maps to the infinite loop space $TOP/O$. The homotopy groups of this space are known to be finite. Given a compact Lie group $G$, this space can be regarded as an equivariant…

We construct $p$-adic $L$-functions associated with $p$-refined cohomological cuspidal Hilbert modular forms over any totally real field under a mild hypothesis. Our construction is canonical, varies naturally in $p$-adic families, and does…

In this article, we will prove a full topological version of Popa's measurable cocycle superrigidity theorem for full shifts. More precisely, we prove that every H\"older continuous cocycle for the full shifts of every finitely generated…

The Promise Constraint Satisfaction Problem (PCSP for short) is a generalization of the well-studied Constraint Satisfaction Problem (CSP). The PCSP has its roots in such classic problems as the Approximate Graph Coloring and the…

We show that the homotopy type of a finite oriented Poincar\'{e} 4-complex is determined by its quadratic 2-type provided its fundamental group is finite and has a dihedral Sylow 2-subgroup. By combining with results of Hambleton-Kreck and…

Recently there has been growing interest in discrete homotopies and homotopies of graphs beyond treating graphs as 1-dimensional simplicial spaces. One such type of homotopy is $\times$-homotopy. Recent work by Chih-Scull has developed a…

In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on…

We show that the classifying space of a $p$-local compact group is approximated by a telescope of classifying spaces of $p$-local finite groups. This result has numerous implications, like a Stable Elements Theorem for $p$-local compact…

We use assembly maps to study $\mathbf{TC}(\mathbb{A}[G];p)$, the topological cyclic homology at a prime $p$ of the group algebra of a discrete group $G$ with coefficients in a connective ring spectrum $\mathbb{A}$. For any finite group, we…

We prove a topological rigidity result for simple, thick, hyperbolic P-manifolds of dimension 2: isomorphism of the fundamental groups implies homeomorphism of the P-manifolds. An immediate application is a diagram rigidity theorem for…

We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In…

We investigate coherency properties of certain completed integral group rings, precisely for compact $p$-adic Lie groups.

Let $p$ be a fixed prime number and let $R$ denote a uniserial $p$-adic space group of dimension $d_x=(p-1)p^{x-1}$ and with cyclic point group of order $p^x$. In this short note we prove that all the quotients of $R$ of size bigger than or…

A non-trivial finitely generated pro-$p$ group $G$ is said to be strongly hereditarily self-similar of index $p$ if every non-trivial finitely generated closed subgroup of $G$ admits a faithful self-similar action on a $p$-ary tree. We…

Let X be a smooth projective hyperelliptic curve over an algeraically closed field k of prime characteristic p. The aim of this note is to find necessary and sufficient conditions on the automorphism group of the curve X to be lifted to…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $k$ its residual field, $\mathcal{P}$ a proper smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $T$ a divisor of $P$, $U:=P\setminus T$, $Y$ a…

Let p be a prime number and f an overconvergent p-adic automorphic form on a definite unitary group which is split at p. Assume that f is of "classical weight" and that its Galois representation is crystalline at places dividing p, then f…

I show that one can explicitly construct topologically/geometrically distinguishable data which provide isomorphic copies (i.e. \emph{isomorphs}) of the tempered fundamental group of a geometrically connected, smooth, quasi-projective…