Related papers: Ext groups in Homotopy Type Theory

We continue the study of extended Weyl groups $W$, which are reflection groups. Further we recall the definition of a hyperbolic cover of an extended Weyl group, and show that the hyperbolic covers of the extended Weyl groups are extended…

In recent work, Stokes and Vermant considered graph-of-groups realisations of hypergraphs as a new description of rigidity-theoretic problems. In this paper, we show that the infinitesimal aspects of graph-of-groups realisations can be…

We set up a homological algebra for N-complexes, which are graded modules together with a degree -1 endomorphism d satisfying d^N=0. We define Tor- and Ext-groups for N-complexes and we compute them in terms of their classical counterparts…

We consider the semigroup $Ext(A,B)$ of extensions of a separable C*-algebra $A$ by a stable C*-algebra $B$ modulo unitary equivalence and modulo asymptotically split extensions. This semigroup contains the group $Ext^{-1/2}(A,B)$ of…

In this paper we explore new relations between Algebraic Topology and the theory of Hopf Algebras. For an arbitrary topological space $X$, the loop space homology $H_*(\Omega\Sigma X; \coefZ)$ is a Hopf algebra. We introduce a new homotopy…

For any finite-dimensional Hopf algebra $H$ we construct a group homomorphism $\biga(H)\to \text{BrPic}(\Rep(H))$, from the group of equivalence classes of $H$-biGalois objects to the group of equivalence classes of invertible exact…

We show injectivity results for assembly maps using equivariant coarse homology theories with transfers. Our method is based on the descent principle and applies to a large class of linear groups or, more general, groups with finite…

We study the interaction between various analytification functors, and a class of morphisms of rings, called homotopy epimorphisms. An analytification functor assigns to a simplicial commutative algebra over a ring $R$, along with a choice…

Let $M$ be a non-zero finitely generated module over a finite dimensional commutative Noetherian local ring $(R,\mathfrak{m})$ with dim$_R(M)=t$. Let $I$ be an ideal of $R$ with grade$(I,M)=c$. In this article we will investigate several…

We extend several techniques and theorems from geometric group theory so that they apply to geometric actions on arbitrary proper metric ARs (absolute retracts). A second way that we generalize earlier results is by eliminating freeness…

Let F be a local non-archimedean field and let G be the group of F-valued points of a reductive algebraic group over F. In this paper we compute the Ext-groups of generalized Steinberg representations in the category of smooth…

Classifying endotrivial kG-modules, i.e., elements of the Picard group of the stable module category for an arbitrary finite group G, has been a long-running quest. By deep work of Dade, Alperin, Carlson, Thevenaz, and others, it has been…

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…

Working in homotopy type theory, we introduce the notion of $n$-exactness for a short sequence $F\to E\to B$ of pointed types, and show that any fiber sequence $F\hookrightarrow E \twoheadrightarrow B$ of arbitrary types induces a short…

Let $M$ be a monoid and $G:\mathbf{Mon} \to \mathbf{Grp}$ be the group completion functor from monoids to groups. Given a collection $\mathcal{X}$ of submonoids of $M$ and for each $N\in \mathcal{X}$ a collection $\mathcal{Y}_N$ of…

Etale groupoids arise naturally as models for leaf spaces of foliations, for orbifolds, and for orbit spaces of discrete group actions. In this paper we introduce a sheaf homology theory for etale groupoids. We prove its invariance under…

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…

This document is the first iteration of an attempt to collate information about small-rank groups of Lie type over small fields, and their representation theory over the defining field. This information is important in the author's work on…

We study the effect of a quantum Frobenius twist on Ext-groups in the category of quantum polynomial functors. We use quantum versions of the de Rham and Koszul complexes, and compute their homologies. We use them to do several…

We solve the differentiation problem for Lie $\infty$-groups. Our approach builds on a classical version of Cartier duality which canonically identifies the Hopf algebra of point distributions supported at the identity of a Lie group with…