Related papers: From $(\mathbb{Z},X)$-modules to homotopy cosheave…

Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…

Let ${\mathfrak o}$ be the ring of integers in a finite extension $K$ of ${\mathbb Q}_p$, let $k$ be its residue field. Let $G$ be a split reductive group over ${\mathbb Q}_p$, let $T$ be a maximal split torus in $G$. Let ${\mathcal…

Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…

Let R be a quotient ring of a commutative coherent regular ring by a finitely generated ideal. Hovey gave a bijection between the set of coherent subcategories of the category of finitely presented R-modules and the set of thick…

By building on the notions of internal projective and injective objects in a module category introduced by Douglas, Schommer-Pries, and Snyder, we extend the reconstruction theory for module categories of Etingof and Ostrik. More…

We study Homological Mirror Symmetry (HMS) for $A_n$-resolutions from the SYZ viewpoint. Let $X\to\bC^2/\bZ_{n+1}$ be the crepant resolution of the $A_n$-singularity. The mirror of $X$ is given by a smoothing $\check{X}$ of…

We introduce the new concept of cartesian module over a pseudofunctor $R$ from a small category to the category of small preadditive categories. Already the case when $R$ is a (strict) functor taking values in the category of commutative…

A tensor model structure is constructed on the category of chain complexes of presheaves of R-modules for a sheaf of rings R in a Grothendieck topos. If the topos has enough points, then the homotopy category is equivalent to the derived…

We construct explicit tableau-level maps between indecomposable projective modules for the type A 0-Hecke algebra that assemble into canonical split short exact sequences lifting the basic ribbon product rule in NSym via concatenation and…

We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective…

We prove in this paper that for a quasi-compact and semi-separated (non necessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(A_qc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and…

We prove that the length function for perverse sheaves and algebraic regular holonomic D-modules on a smooth complex algebraic variety Y is an absolute Q-constructible function. One consequence is: for "any" fixed natural (derived) functor…

We leverage the results of the prequel in combination with a theorem of D. Orlov to yield some results in Hodge theory of derived categories of factorizations and derived categories of coherent sheaves on varieties. In particular, we…

Let (X;OX) be a locally noetherian scheme with a dualizing complex D. We prove that DOX - : K(PinfX)----> K(InjX) is an equivalence of triangulated categories where K(InjX) is the homotopy category of injective quasi-coherent OX- modules…

We propose a method for constructing cohomology theories of logarithmic schemes with strict normal crossing boundaries by employing techniques from logarithmic motivic homotopy theory over $\mathbb{F}_1$. This method recovers the K-theory…

Let $F$ and $k$ be perfect fields. The main goal of this paper is to investigate algebraic models for the Morel-Voevodsky unstable motivic homotopy category $\mathrm{Ho}(F)$ after $\mathbf{H}^{\mathbb{A}^1}k$ localization. More…

We investigate under which assumptions a subclass of flat quasi-coherent shea\-ves on a quasi-compact and semi-separated scheme allows to "mock" the homotopy category of projective modules. Our methods are based on module theoretic…

We have shown that the n-th Morava K-theory K^*(X) for a CW-spectrum X with action of Morava stabilizer group G_n can be recovered from the system of some height-(n+1) cohomology groups E^*(Z) with G_{n+1}-action indexed by finite…

These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic…

Let $T$ be a compact torus and $X$ be a a finite $T$-CW complex (e.g. a compact $T$-manifold). In earlier work, the second author introduced a functor which assigns to $X$ a so called GKM-sheaf $\mathcal{F}_X$ whose ring of global sections…