相关论文: Gross-Hopkins duality

The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features…

Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…

This text develops a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks". We define the notion of "basic localizer of 2-Cat", 2-categorical generalization of…

We develop the foundations of $G$-global homotopy theory as a synthesis of classical equivariant homotopy theory on the one hand and global homotopy theory in the sense of Schwede on the other hand. Using this framework, we then introduce…

Using the theory of internal algebras classifiers developed by Batanin and Berger, we construct a morphism of polynomial monads which we prove is homotopically cofinal. We then describe how this result constitutes the main conceptual…

We give a classification of the $p$--local stable homotopy type of $BG$, where $G$ is a finite group, in purely algebraic terms. $BG$ is determined by conjugacy classes of homomorphisms from $p$--groups into $G$. This classification greatly…

We will present proofs for two conjectures stated in arXiv:1808.08073. The first one is that for an arbitrary manifold $W$, the homotopy classes of proper maps $W\times\mathbb{R}^n\to\mathbb{R}^{k+n}$ stabilise as $n\to\infty$, and the…

We extend the duality theory for topological groups from the classical theory for compact Lie groups, via the topological study by J. R. Klein [Kl01] and the p-complete study for p-compact groups by T. Bauer [Ba04], to a general duality…

Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…

We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…

In this paper we propose to use a relative variant of the notion of the \'{e}tale homotopy type of an algebraic variety in order to study the existence of rational points on it. In particular, we use an appropriate notion of homotopy fixed…

We develop the concept of twisted ambidexterity in a parametrized presentably symmetric monoidal $\infty$-category, which generalizes the notion of ambidexterity by Hopkins and Lurie and the Wirthm\"uller isomorphisms in equivariant stable…

For a discrete group G, we represent the Bredon cohomology with local coefficients as the homotopy classes of maps in the category of equivaraint crossed complexes. Subsequently, we construct a naive parametrized G-spectrum, such that the…

In this paper, we describe and prove a generalization of both the classical Greene-Kleitman duality theorem for posets and the local version proved recently by Lewis-Lyu-Pylyavskyy-Sen in studying discrete solitons, using an approach more…

This paper proposes an algorithm that decides if two simply connected spaces represented by finite simplicial sets of finite $k$-type and finite dimension $d$ are homotopy equivalent. If the spaces are homotopy equivalent, the algorithm…

The problem of computing products of Schubert classes in the cohomology ring can be formulated as the problem of expanding skew Schur polynomials into the basis of ordinary Schur polynomials. In contrast, the problem of computing the…

We construct a localic groupoid $\mathbb{G}_{KH}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a category whose objects are principal $\mathbb{G}_{KH}$-bundles over…

Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner, the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterized in…

In general, universal (co)measuring (co)monoids and universal (co)acting bi/Hopf monoids, which prove to be a useful tool in the classification of quantum symmetries, do not always exist. In order to ensure their existence, the support of a…

We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…