Related papers: An \'etale realization which does not exist

We develop realizability models of intensional type theory, based on groupoids, wherein realizers themselves carry non-trivial (non-discrete) homotopical structure. In the spirit of realizability, this is intended to formalize a homotopical…

We prove Tchebotarev type theorems for function field extensions over various base fields: number fields, finite fields, p-adic fields, PAC fields, etc. The Tchebotarev conclusion - existence of appropriate cyclic residue extensions - also…

We prove that every group can be realized as the homeomorphism group and as the group of (pointed) homotopy classes of (pointed) self-homotopy equivalences of infinitely many non-homotopy-equivalent Alexandroff spaces.

Assume that $K$ is an algebraically closed field, $R$ a locally bounded $K$-category, $G$ an admissible group of $K$-linear automorphisms of $R$ and $F:R\rightarrow A$ the Galois $G$-covering functor. In the first part of the paper we show…

We prove a unicity result for the $L$-functions appearing in the non-commutative Iwasawa main conjecture over totally real fields. We then consider continuous representations $\rho$ of the absolute Galois group of a totally real field $F$…

We construct a comparison functor from the dual category of motivic homotopy category $\mathcal{SH}$ to the category of $\mathbb{A}^1$-invariant localizing motives $\operatorname{Mot}_{\operatorname{loc}}^{\mathbb{A}^1}$ in the sense of…

A main problem in Galois theory is to characterize the fields with a given absolute Galois group. We apply a K-theoretic method for constructing valuations to study this problem in various situations. As a first application we obtain an…

Modular functors, i.e. consistent systems of projective representations of mapping class groups of surfaces, have been constructed for non-semisimple modular categories already decades ago. Concepts from homological algebra have not been…

We describe the Segal $K$-theory of the symmetric monoidal category of finite-dimensional vector spaces over a perfect field $\mathbb{F}$ together with an automorphism, or, equivalently, the group-completion of the $E_\infty$-algebra of…

Coverings in the representation theory of algebras were introduced for the Auslander-Reiten quiver of a representation finite algebra by Riedtmann and later for finite dimensional algebras by Bongartz and Gabriel, R. Martinez-Villa and de…

Inspired by Segal-Stolz-Teichner project for geometric construction of elliptic (tmf) cohomology, and ideas of Floer theory and of Hopkins-Lurie on extended TFT's, we geometrically construct some $Ring$-valued representable cofunctors on…

We interpret a construction of geometric realisation by [Besser], [Grayson], and [Drinfeld] of a simplicial set as constructing a space of maps from the interval to a simplicial set, in a certain formal sense, reminiscent of the Skorokhod…

We describe a universal factorization for a functor with values in finite-dimensional measured algebras. More precisely we contruct the quantum automorphism group of this functor. This general recontruction result allows us to recapture a…

For a quadratic field K, we investigate continuous mod p representations of the absolute Galois groups of K that are unramified away from p and infinity. We prove that for certain pairs (K,p), there are no such irreducible representations.…

We prove that certain fields have the property that their absolute Galois groups are free as profinite groups: the function field of a real curve with no real points; the maximal abelian extension of a 2-variable Laurent series field over a…

We study liftings of abelian model structures to categories of chain complexes and construct a realization functor from the derived category of a Grothendieck abelian category equipped with a cofibrantly generated, hereditary abelian model…

Let $k$ be a totally real field, and let $A/k$ be an absolutely irreducible, polarized Abelian variety of odd, prime dimension whose endomorphisms are all defined over $k$. Then the only strictly compatible families of abstract, absolutely…

We identify the obstructions for the functoriality and the uniqueness of the totalization functor, (partially) defined on the category of simplicial objects in the homotopy category of a stable model category, and we use a result from the…

We develop a theory of curved A-infinity-categories around equivalences of their module categories. This allows for a uniform treatment of curved and uncurved A-infinity-categories which generalizes the classical theory of uncurved…

We introduce the notion of a naive global 2-ring: a functor from the opposite of the $\infty$-category of global spaces to presentably symmetric monoidal stable $\infty$-categories. By passing to global sections, every naive global 2-ring…