Related papers: Monadic resolutions for generalized spaces
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
We develop an approach to study the irreducibility of generic complete intersections in the algebraic torus defined by equations with fixed monomials and fixed linear relations on coefficients. Using our approach we generalize the…
In this paper we prove the birational superrigidity of Fano-Mori fibre spaces $\pi\colon V\to S$, every fibre of which is a complete intersection of type $d_1\cdot d_2$ in the projective space ${\mathbb P}^{d_1+d_2}$, satisfying certain…
We present a detailed analysis of 2-complete stable homotopy groups, both in the classical context and in the motivic context over C. We use the motivic May spectral sequence to compute the cohomology of the motivic Steenrod algebra over C…
In this paper we derive an explicit version of the Bernstein-Gel'fand-Gel'fand (BGG) correspondence between bounded complexes of coherent sheaves on projective space and minimal doubly infinite free resolutions over its ``Koszul dual''…
The theory presented in this monograph establishes the first mathematically rigorous result on the global nonlinear stability of self-gravitating matter under small perturbations of an asymptotically flat, spacelike hypersurface of…
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…
In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…
We propose a method to unify various stability results about symmetric ideals in polynomial rings by stratifying related derived categories. We execute this idea for chains of $GL_n$-equivariant modules over an infinite field $k$ of…
We obtain a rigidity phenomena of rational cohomology automorphisms of certain homogeneous spaces, in the presence of external cohomology classes arising from spaces with trivial cup product in rational cohomology algebra. We classify…
For a reductive group $G$, we prove that complex irreducible rigid $G$-local systems with quasi-unipotent monodromies and finite order abelianization on a smooth curve are motivic, generalizing a theorem of Katz for $GL_n$. We do so by…
In symplectic topology one uses elliptic methods to prove rigidity results about symplectic manifolds and solutions of Hamiltonian equations on them, where the most basic example is given by geodesics on Riemannian manifolds. Harmonic maps…
Our aim in this work is to study a system of equations which generalises at the same time the vortex equations of Yang-Mills-Higgs theory and the holomorphicity equation in Gromov theory of pseudoholomorphic curves. We extend some results…
A Bernstein-Gelfand-Gelfand resolution for arbitrary Kac-Moody algebras and arbitrary subsets of the set of simple roots is proven. Moreover, quantum group analogs of the Bernstein-Gelfand-Gelfand resolution for symmetrizable Kac-Moody…
We introduce Besov and Triebel--Lizorkin spaces on a manifold with boundary adapted to H\"ormander vector fields, near a so-called non-characteristic point of the boundary. We prove sharp results in these spaces for the corresponding…
Ever since the introduction of motivic homotopy theory, as a well-proposed approximation of Grothendieck's dream, algebraic geometers then have the chance to study schemes via a homotopy theory. However topologists also found that lifting…
We prove a monoidal equivalence between spectral and automorphic realizations of the universal affine Hecke category, thereby proving the tamely ramified local Betti geometric Langlands correspondence, as conjectured by Ben-Zvi--Nadler…
We calculate the $\eta$-localization of the motivic stable homotopy ring over the complex numbers, confirming a conjecture of Guillou and Isaksen. Our approach is via the motivic Adams-Novikov spectral sequence. In fact, work of Hu, Kriz,…
In aiming to apply to a broader class of examples the Avigad-Iovino "ultraproducts and metastability" approach to obtaining uniformity for convergence of sequences, we construct a framework using continuous logic that in particular is able…
The rigidity of the positive mass theorem states that the only complete asymptotically flat manifold of nonnegative scalar curvature and zero mass is Euclidean space. We prove a corresponding stability theorem for spaces that can be…