Related papers: Report on $\mathbb{E}_\infty$-descendability

We show that Lurie's results on Tannaka duality for geometric stacks hold without any tameness hypotheses. We deduce this as a consequence of an affineness theorem in the theory of sheaves of categories. This affineness result is also…

We introduce a new version of arithmetic in all finite types which extends the usual versions with primitive notions of extensionality and extensional equality. This new hybrid version allows us to formulate a strong form of extensionality,…

We study a new class of so-called rational-infinitely (or quasi-infinitely) divisible probability laws on the real line. The characteristic functions of these distributions are ratios of the characteristic functions of classical infinitely…

We give bounds for the module sectional category of products of maps which generalise a theorem of Jessup for Lusternik-Schnirelmann category. We deduce also a proof of a Ganea type conjecture for topological complexity. This is a first…

Let $G$ be a group and $\ell$ a commutative unital $\ast$-ring with an element $\lambda \in \ell$ such that $\lambda + \lambda^\ast = 1$. We introduce variants of hermitian bivariant $K$-theory for $\ast$-algebras equipped with a $G$-action…

The aim of this paper is to reformulate the theory of unbounded derived categories, including more recent categories of first and second kind, using the language of $(\infty,1)$-categories.

Let S be a commutative ring with topologically noetherian spectrum and let R be the absolutely flat approximation of S. We prove that subsets of the spectrum of R parametrise the localising subcategories of D(R). Moreover, we prove the…

For finite q, we classify the countable, descendant-homogeneous digraphs in which the descendant set of any vertex is a q-valent tree. We also give conditions on a rooted digraph G which allow us to construct a countable…

In this paper, we establish a precise connection between higher rho invariants and delocalized eta invariants. Given an element in a discrete group, if its conjugacy class has polynomial growth, then there is a natural trace map on the…

The equivariant Tamagawa number conjecture (hereinafter called the eTNC) predicts close relationships between algebraic and analytic aspects of motives. In this paper, we prove a lot of new cases of the minus component of the eTNC for…

In this paper we introduce and study the so-called continuous $K$-theory for a certain class of "large" stable $\infty$-categories, more precisely, for dualizable presentable categories. For compactly generated categories, the continuous…

We introduce a class of strongly \'{e}tale difference algebras, whose role in the study of difference equations is analogous to the role of \'{e}tale algebras in the study of algebraic equations. We deduce an improved version of Babbitt's…

We show that all finite dimensional, tame hereditary $k$-algebras are of amenable representation type (in the sense of G. Elek) for all fields $k$. The proof is adapted from our previous result for tame path algebras. Further, it is proven…

Comparing the bounded derived categories of an algebra and of the endomorphism algebra of a given support {\tau}-tilting module, we find a relation between the derived dimensions of an algebra and of the endomorphism algebra of a given…

We prove a duality theorem for the $p$-adic etale motivic cohomology of a variety $U$ which is the complement of a divisor on a smooth projective variety over $\F_p$. This extends the duality theorems of Milne and Jannsen-Saito-Zhao. The…

We solve the differentiability problem for the evolution map in Milnor's infinite dimensional setting. We first show that the evolution map of each $C^k$-semiregular Lie group $G$ (for $k\in \mathbb{N}\sqcup\{\mathrm{lip},\infty\}$) admits…

In this article we will introduce, among others, the variety of subcomplexes and the variety of maps between complexes of given rank. Also, varieties of $\mathfrak{g}$-structure like $\mathfrak{g}$-Grassmannian, $\mathfrak{g}$-determinantal…

In this paper we consider the set of mu-types, an extension of the set of simple types freely generated from a set of atomic types and the type constructor ->, by a new operator mu, to explicitly denote solutions of recursive equations like…

We propose a number of concepts and properties related to `weighted' statistical inference where the observed data are classified in accordance with a `value' of a sample string. The motivation comes from the concepts of weighted…

Given varieties $X, Y, W$ and dominant morphisms $\phi:X\to Y$ and $f:X\to W$ such that $f$ is constant on fibres of $\phi$ , we give sufficient conditions to guarantee that $f$ descends to a rational map or a morphism $Y\to W.$ We pay…