相关论文: Unstable $p$-completion in motivic homotopy theory

We study one way in which stable phenomena can exist in an NIP theory. We start by defining a notion of 'pure instability' that we call 'distality' in which no such phenomenon occurs. O-minimal theories and the p-adics for example are…

We compare four different types of realizability for saturated fusion systems over discrete $p$-toral groups. For example, when $G$ is a locally finite group all of whose $p$-subgroups are artinian (hence discrete $p$-toral), we show that…

We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…

We study conformal actions of connected nilpotent Lie groups on compact pseudo-Riemannian manifolds. We prove that if a type-(p,q) compact manifold M supports a conformal action of a connected nilpotent group H, then the degree of…

We continue the work initiated in arXiv:1206.3645, where we introduced a new stable symmetric monoidal $(\infty,1)$-category $SH_{nc}$ encoding a motivic stable homotopy theory for the noncommutative spaces of Kontsevich and obtained a…

Using techniques in motivic homotopy theory, especially the theorem of Gheorghe, the second and the third author on the isomorphism between motivic Adams spectral sequence for $C{\tau}$ and the algebraic Novikov spectral sequence for…

Using the theory of framed correspondences developed by Voevodsky, we introduce and study framed motives of algebraic varieties. They are the major computational tool for constructing an explicit quasi-fibrant motivic replacement of the…

By studying the group of self homotopy equivalences of the localization (at a prime $p$ and/or zero) of some aspherical complexes, we show that, contrary to the case when the considered space is a nilpotent complex, $\mathcal{E}_{\#}^m…

To smooth schemes equipped with a smooth affine group scheme action, we associate an equivariant motivic homotopy category. Underlying our construction is the choice of an `equivariant Nisnevich topology' induced by a complete, regular, and…

Nilpotency for discrete groups can be defined in terms of central extensions. In this paper, the analogous definition for spaces is stated in terms of principal fibrations having infinite loop spaces as fibers, yielding a new invariant we…

We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology…

Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces satisfying all the axioms of GLP are…

We calculate the higher homotopy groups of the Deligne-Getzler infinity-groupoid associated to a nilpotent L-infinity algebra. As an application, we present a new approach to the rational homotopy theory of mapping spaces.

Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…

This paper is a continuation of the version I of the same title, which intends to clarify and expand the results in the last chapter of `the green book' by the second author. In particular, we give the stable homotopy groups of $p$-local…

Two standard invariants used to study the fundamental group G of the complement X of a hyperplane arrangement are the Malcev completion of G and the cohomology groups of X with coefficients in rank one local systems. In this paper, we…

Due to the deep work of Tillmann, Madsen, Weiss and Galatius, the cohomology of the stable mapping class group $\gaminf$ is known with rational or finite field coefficients. Little is known about the integral cohomology. In this paper, we…

Consider the formal power series $\sum [C_{p, \alpha}(X)]t^{\alpha}$ (called Motivic Chow Series), where $C_p(X)=\disjoint C_{p, \alpha}(X)$ is the Chow variety of $X$ parametrizing the $p$-dimensional effective cycles on $X$ with $C_{p,…

We study the homotopy groups of complements to reducible divisors on non-singular projective varieties with ample components and isolated non normal crossings. We prove a vanishing theorem generalizing conditions for commutativity of the…

We study the mod p cohomology of the classifying space of the projective unitary group PU(p). We first proof that old conjectures due to J.F. Adams, and Kono and Yagita about the structure of the mod p cohomology of classifying space of…