Related papers: Zariski-local framed $\mathbb{A}^1$-homotopy theor…

We prove a correspondence between $\kappa$-small fibrations in simplicial presheaf categories equipped with the injective or projective model structure (and left Bousfield localizations thereof) and relatively $\kappa$-compact maps in their…

In previous work, the second author introduced a topology, for spaces of irreducible representations, that reduces to the classical Zariski topology over commutative rings but provides a proper refinement in various noncommutative settings.…

We completely characterize the unimodal category for functions $f:\mathbb R\to[0,\infty)$ using a decomposition theorem obtained by generalizing the sweeping algorithm of Baryshnikov and Ghrist. We also give a characterization of the…

We develop various aspects of the theory of recollements of $\infty$-categories, including a symmetric monoidal refinement of the theory. Our main result establishes a formula for the gluing functor of a recollement on the right-lax limit…

Any scheme has its associated little and big Zariski toposes. These toposes support an internal mathematical language which closely resembles the usual formal language of mathematics, but is "local on the base scheme": For example, from the…

Using methods from commutative algebra and topos-theory, we construct topos-theoretical points for the fppf topology of a scheme. These points are indexed by both a geometric point and a limit ordinal. The resulting stalks of the structure…

In this paper we explore conditions for a curve in a smooth projective surface to have a free product of cyclic groups as the fundamental group of its complement. It is known that if the surface is $\mathbb P^2$, then such curves must be of…

Let $G$ be a connected, simply-laced, almost simple algebraic group over $\mathbf{C}$, let $G_c$ be a maximal compact subgroup of $G(\mathbf{C})$, and let $T_c$ be a maximal torus therein. Let $\mathrm{Gr}_G$ denote the affine Grassmannian…

It is shown that the known notion of selective coideal can be extended to a family $\mathcal{H}$ of subsets of $\mathcal{R}$, where $(\mathcal{R},\leq,r)$ is a topological Ramsey space in the sense of Todorcevic (see \cite{todo}). Then it…

On Zariski Main Theorem in Algebraic Geometry and Analytic Geometry. We fill a surprising gap of Complex Analytic Geometry by proving the analogue of Zariski Main Theorem in this geometry, i.e. proving that an holomorphic map from an…

Let $K/F$ be a finite Galois extension of number fields. It is well known that the Tchebotarev density theorem implies that an irreducible, finitely ramified $p$-adic representation $\rho$ of the absolute Galois group of $K$ is determined…

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…

We provide descriptions of the derived categories of degree $d$ hypersurface fibrations which generalize a result of Kuznetsov for quadric fibrations and give a relative version of a well-known theorem of Orlov. Using a local generator and…

The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $\infty$-category $\mathcal{C}$ together with a collection of…

We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove…

We study Zariski-like topologies on a proper class $X\varsubsetneqq L$ of a complete lattice $\mathcal{L}=(L,\wedge ,\vee ,0,1)$. We consider $X$ with the so called classical Zariski topology $(X,\tau ^{cl})$ and study its topological…

Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally…

Let $f: X \to S$ be a unipotent degeneration of projective complex manifolds over a disc such that the reduction of the central fibre $Y=f^{-1}(0)$ is simple normal crossings, and let $X_\infty$ be the canonical nearby fibre. Building on…

K. Kato's conjecture about the cohomological Hasse principle for regular connected schemes $\mathfrak X$ which are flat and proper over the complete discrete valuation rings $\mathcal O_N$ of higher local fields $F_N$ is proven. This…

Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for…