Related papers: Stable motivic homotopy theory at infinity

We prove in this paper the original version of Kontsevich and Soibelman's motivic integral identity conjecture for formal functions by developing a novel framework for equivariant motivic integration on special rigid varieties. This theory…

The first half of the thesis concerns Abelian vortices and Yang-Mills (YM) theory. It is proved that the 5 types of vortices recently proposed by Manton are symmetry reductions of (A)SDYM equations with suitable gauge groups and symmetry…

We extend the work of Bousfield and Kan on monadic resolutions of spaces to $\infty$-topoi, with applications to genuine $G$-equivariant spaces ($G$ a finite group) and motivic spaces over a perfect field. In particular, we give a proof of…

Using PL-methods, we prove the Marden's conjecture that a hyperbolic 3-manifold $M$ with finitely generated fundamental group and with no parabolics are topologically tame. Our approach is to form an exhaustion $M_i$ of $M$ and modify the…

We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order…

We introduce a new metric homology theory, Moderately Discontinuous Homology, which captures Lipschitz properties of metric subanalytic germs. The main novelty is to allow "moderately discontinuous" chains, which are specially advantageous…

We define unstable $p$-completion in general $\infty$-topoi and the unstable motivic homotopy category, and prove that the $p$-completion of a nilpotent sheaf or motivic space can be computed on its Postnikov tower. We then show that the…

We prove the existence of infinitely many periodic points of symplectomorphisms isotopic to the identity if they admit at least one (non-contractible) hyperbolic periodic orbit and satisfy some condition on its flux. The obtained periodic…

We prove that for any base scheme $S$, real \'etale motivic (unstable) homotopy theory over $S$ coincides with unstable semialgebraic topology over $S$ (that is, sheaves of spaces on the real spectrum of $S$). Moreover we show that for…

We prove that every $C^\infty$-smooth, area preserving diffeomorphism of the closed 2-disk having not more than one periodic point is the uniform limit of periodic $C^\infty$-smooth diffeomorphisms. In particular every smooth irrational…

Given a 0-connective motivic spectrum $E \in SH(k)$ over a perfect field k, we determine $h_0$ of the associated motive $M E \in DM(k)$ in terms of $\pi_0 (E)$. Using this we show that if k has finite 2-\'etale cohomological dimension, then…

We construct an algebraic-cycle based model for the motivic cohomology on the category of schemes of finite type over a field, where schemes may admit arbitrary singularities and may be non-reduced. We show that our theory is functorial on…

A fundamental result of Banyaga states that the Hamiltonian diffeomorphism group of a closed symplectic manifold is perfect. We refine this result by proving that, locally in the $C^\infty$ topology, the number of commutators needed to…

We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be…

We prove a new Morse-Sard type theorem for the asymptotic critical values of semi-algebraic mappings and a new fibration theorem at infinity for $C^2$ mappings. We show the equivalence of three different types of regularity conditions which…

We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all…

In homotopy type theory (HoTT), all constructions are necessarily stable under homotopy equivalence. This has shortcomings: for example, it is believed that it is impossible to define a type of semi-simplicial types. More generally, it is…

We consider a homoclinic orbit to a saddle fixed point of an arbitrary $C^\infty$ map $f$ on $\mathbb{R}^2$ and study the phenomenon that $f$ has an infinite family of asymptotically stable, single-round periodic solutions. From classical…

Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for…

For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy…