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

For a rigid tensor abelian category $T$ over a field $k$ we introduce a notion of a normal quotient $q:T\to Q$. In case $T$ is a Tannaka category, our notion is equivalent to Milne's notion of a normal quotient. More precisely, if $T$ is…

In this paper, we analyze and compare three of the many algebraic structures that have been used for modeling dependent type theories: categories with families, split type-categories, and representable maps of presheaves. We study these in…

Let $R$ be a ring and $T$ be a good Wakamatsu-tilting module with $S$ the endomorphism ring. We prove that $T$ induces an equivalence between stable categories of repetitive algebras of $R$ and $S$.

By replacing the category of smooth vector bundles over a manifold with the category of what we call smooth Euclidean fields, which is a proper enlargement of the former, and by considering smooth actions of Lie groupoids on smooth…

Let H be a connected reductive group over an algebraically closed field of characteristic zero, and let G be an abstract group. In this note we show that every homomorphism from the Grothendieck semiring of H to that of G which maps…

We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the…

Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a notion of abstract elementary team categories that…

We prove a K\"unneth-type equivalence of derived categories of lisse and constructible Weil sheaves on schemes in characteristic $p > 0$ for various coefficients, including finite discrete rings, algebraic field extensions $E \supset…

We study systems of polynomial equations in several classes of finitely generated rings and algebras. For each ring $R$ (or algebra) in one of these classes we obtain an interpretation by systems of equations of a ring of integers $O$ of a…

In this work we provide alternative formulations of the concepts of lambda theory and extensional theory without introducing the notion of substitution and the sets of all, free and bound variables occurring in a term. We also clarify the…

We consider the relationship between learnability of a "base class" of functions on a set $X$, and learnability of a class of statistical functions derived from the base class. For example, we refine results showing that learnability of a…

In this paper, we construct a family of reductive groups, including all reductive groups up to a given rank. We also construct a similar versal family of quasi-split reductive groups. This result generalizes a former result of N.Avni and…

We define extension $\infty$-categories for exact $\infty$-categories in terms of bifibrations. Extension $\infty$-categories are invariant when passing to the stable hull, and consequently we show that they form an $\Omega$-spectrum,…

This paper is devoted to derivations in bimodules over group rings using previously proposed methods which are related to character spaces over groupoids. The theorem describing the arising spaces of derivations is proved. We consider some…

Congruence families, i.e., $\ell$-adic convergence for well-defined arithmetic subsequences, is a commonplace phenomenon for the coefficients of modular forms. Such families superficially resemble one another, but they often vary…

Continuous reducibilities are a proven tool in computable analysis, and have applications in other fields such as constructive mathematics or reverse mathematics. We study the order-theoretic properties of several variants of the two most…

We provide an existence and uniqueness theory for an extension of backward SDEs to the second order. While standard Backward SDEs are naturally connected to semilinear PDEs, our second order extension is connected to fully nonlinear PDEs,…

We define a projective variant of classical complex orientation theory. Using this, we construct a map of spectra which lifts the total Chern class, providing an alternative answer to an old question of Segal \cite{segal}, previously…

In this paper, we prove the commutativity between the Pansu pullback of a smooth contact map between Carnot groups and the differentials appearing in the spectral complexes. As a direct application, we also present a way of "lifting" a…

We define a reasonably well-behaved class of ultraimaginaries, i.e.\ classes modulo invariant equivalence relations, called {\em tame}, and establish some basic simplicity-theoretic facts. We also show feeble elimination of supersimple…