Related papers: Exotic relation modules and homotopy types for cer…
We produce a fully faithful functor from finite type nilpotent spaces to cosimplicial binomial rings, thus giving an algebraic model of integral homotopy types. As an application, we construct an integral version of the…
The relationship between comodules of a coring and flat connections is reviewed. In particular we specialise to corings which are built on a tensor product of algebra and a coalgebra. Such corings are in one-to-one correspondence with…
We construct rational projective 4-dimensional varieties with the property that certain Lawson homology groups tensored with Q are infinite dimensional Q-vector spaces. More generally, each pair of integers p and k, with k\geq 0, p>0, we…
We introduce two families of two-generator one-relator groups called primitive extension groups and show that a one-relator group is hyperbolic if its primitive extension subgroups are hyperbolic. This reduces the problem of characterising…
The associahedron is an object that has been well studied and has numerous applications, particularly in the theory of operads, the study of non-crossing partitions, lattice theory and more recently in the study of cluster algebras. We…
We study the general linear groups of infinite fields (or more generally connected semi-local rings with infinite residue fields) from the perspective of $E_\infty$-algebras. We prove that there is a vanishing line of slope 2 for their…
We study algebras of meromorphic modular forms whose poles lie on Heegner divisors for orthogonal and unitary groups associated to root lattices. We give a uniform construction of $147$ hyperplane arrangements on type IV symmetric domains…
In this paper we determine the torsion free rank of the group of endotrivial modules for any finite group of Lie type, in both defining and non-defining characteristic. On our way to proving this, we classify the maximal rank $2$ elementary…
We establish a loop space decomposition for certain $CW$-complexes with a single top cell in the presence of a spherical pair, thereby generalizing several known decompositions of Poincar\'{e} duality complexes in which a loop of a product…
It is proved that the Lie groups $\E_7^{(5)}$ and $\E^{(7)}_7$ represented in $\R^{56}$ and the Lie group $\E_7^{\C}$ represented in $\R^{112}$ occur as holonomies of torsion-free affine connections. It is also shown that the moduli spaces…
Motivated by ideas from stable homotopy theory we study the space of strongly homotopy associative multiplications on a two-cell chain complex. In the simplest case this moduli space is isomorphic to the set of orbits of a group of…
We prove that one-relator groups with negative immersions are hyperbolic and virtually special; this resolves a recent conjecture of Louder and Wilton. As a consequence, one-relator groups with negative immersions are residually finite,…
Let $R$ be a commutative Noetherian local ring. Assume that $R$ has a pair $\{x,y\}$ of exact zerodivisors such that $\dim R/(x,y)\ge2$ and all totally reflexive $R/(x)$-modules are free. We show that the first and second Brauer--Thrall…
We study the geometry and topology of exotic Springer fibers for orbits corresponding to one-row bipartitions from an explicit, combinatorial point of view. This includes a detailed analysis of the structure of the irreducible components…
We study homotopy properties of regular mappings from spheres into a real retract rational variety $Y$. We show that the homotopy classes which are represented by such mappings form subgroups of the homotopy groups of $Y$, and that the…
We use topological methods to study the maximal subgroups of the free idempotent generated semigroup on a biordered set. We use these to give an example of a free idempotent generated semigroup with maximal subgroup isomorphic to the free…
Let $F_m$ be the free group on $m$ generators and let $G$ be a finite nilpotent group of non square-free order; we show that for each $m\ge 2$ the integral group ring ${\bf Z}[G\times F_m]$ has infinitely many stably free modules of rank 1.
We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the…
In $\mathrm{PU}(2,1)$, the group of holomorphic isometries of the complex hyperbolic plane, we study the space of involutions $R_1, R_2, R_3, R_4, R_5$ satisfying $R_5R_4R_3R_2R_1=1$, where $R_1$ is a reflection in a complex geodesic and…
We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular,…