Related papers: Borel--Serre type bordifications and Canonical Pai…
We introduce the Arithmetic Site: an algebraic geometric space deeply related to the non-commutative geometric approach to the Riemann Hypothesis. We prove that the non-commutative space quotient of the adele class space of the field of…
We study the topological structure of the symmetry group of the standard model, $G_{SM}=U(1)\times SU(2)\times SU(3)$. Locally, $G_{SM}\cong S^1\times (S^3)^2\times S^5$. For SU(3), which is an $S^3$ bundle over $S^5$ (and therefore a local…
Let X be a smooth algebraic variety on which a solvable Lie group acts freely on a dense open orbit. Such varieties include generalized flag varieties, toric varieties, Bott-Samelson varieties, and many spherical varieties, as well as…
We consider quotients of spheres by linear actions of real tori. To each quotient we associate a matroid built out of a diagonalization of the torus action. We find the integral homology groups of the resulting quotient spaces in terms of…
We introduce and study certain topological spaces associated with connected rooted graphs. These spaces reflect combinatorial and order theoretic properties of the underlying graph and relate in the case of hyperbolic graphs to Gromov's…
We relate the topology of the Morse boundary of a group to geometric and algorithmic properties of the group. In particular, we show that a group has $\sigma$-compact Morse boundary if and only if it is Morse local-to-global. We also…
We give two presentations for bordisms of $S^2$ in the 3-dimensional oriented bordism category $\operatorname{Cob}(3) $, encoding the algebraic structures on $S^2$. After passing through topological field theories, we define two kinds of…
We introduce and study model-theoretic connected components of rings as an analogue of model-theoretic connected components of definable groups. We develop their basic theory and use them to describe both the definable and classical Bohr…
We establish a bridge between homotopy groups of spheres and commutator calculus in groups, and solve in this manner the "dimension problem" by providing a converse to Sjogren's theorem: every abelian group of bounded exponent can be…
Let $K$ be the function field of a curve $C$ over a field $\mathbb{F}$ of either odd or zero characteristic. Following the work by Serre and Mason on $\mathrm{SL}_2$, we study the action of arithmetic subgroups of $\mathrm{SU}(3)$ on its…
We employ partitioning methods, in the spirit of Montiel--Ros but here recast for general actions of compact Lie groups, to prove effective lower bounds on the Morse index of certain families of closed minimal hypersurfaces in the round…
This paper investigates the interplay between algebraic structure, topology, and differentiability in Clifford semigroups. The study is developed along three main themes. First, in the compact Hausdorff setting, we provide an explicit…
We calculate geometric and homotopical (or stable) bordism rings associated to semi-free $S^1$ actions on complex manifolds, giving explicit generators for the geometric theory. The classification of semi-free actions with isolated fixed…
This paper is the extended version of some results in [13, 14]. Let H be a subgroup of fundamental group. The first paper of the paper is devoted to studying weaker conditions under which homotopically Hausdorff relative to H becomes…
We classify compact 2-connected homogeneous spaces with the same rational cohomology as a product of spheres. This classification relies on spectral sequences, homotopy theory, and representation theory. We then apply this classification to…
For a fixed closed manifold $P$, we construct a cobordism category of embedded manifolds with a single Baas-Sullivan singularity of type $P$. Our main theorem identifies the homotopy type of the classifying space of this cobordism category…
We show that there is a topology on certain groups of loops in Euclidean space such that these groups are embedded in a Fr\'echet-Lie group which is the structural group of a principal bundle with connection whose holonomy coincides with…
In this paper, using the topology on the set of shape morphisms between arbitrary topological spaces $X$, $Y$, $Sh(X,Y)$, defined by Cuchillo-Ibanez et al. in 1999, we consider a topology on the shape homotopy groups of arbitrary…
We prove the existence of a sequence of commutative diagrams generalizing existing results on the cohomology of the Borel-Serre boundary and well-rounded retract to the context of the well-tempered complex. Our main theorem provides a…
We show that a set with an action of a locally finite-dimensional free partially commutative monoid and the corresponding semicubical set have isomorpic homology groups. We build a complex of finite length for the computing homology groups…