Magazine Cover
Download article (PDF)

This article is published open access.

Categorical smooth compactifications and neighborhoods of infinity

  • Alexander I. Efimov

    Steklov Mathematical Institute of RAS, Moscow, Russia
In this note we give a short overview of some of our results on derived categories of coherent sheaves, in particular on smooth categorical compactifications and on the formal punctured neighborhoods of infinity.

Introduction

This note is devoted to a short overview of some results on derived categories of coherent sheaves concerning smooth categorical compactifications and the formal punctured neighborhoods of infinity.

In Section 1, we discuss the conjecture of Bondal and Orlov about the categorical properties of the resolution of singularities of an algebraic variety with rational singularities (Conjecture 1.1). This conjecture states that the derived pushforward functor on the derived categories of coherent sheaves is a quotient functor (that is, a localization). The conjecture is difficult and still open in general. It turns out that it is possible (Theorem 1.2) to prove a version of such statement for an arbitrary separated scheme of finite type over a field of characteristic zero (the reader may safely assume that we are dealing with quasi-projective schemes). The methods make it possible to prove Conjecture 1.1 for a cone over a projective embedding of a smooth Fano variety (that is, a smooth projective variety with an ample anti-canonical line bundle).

In Section 2, we consider DG categorical smooth compactifications. Here DG stands for “differential-graded”. This is a straightforward generalization of the usual algebro-geometric smooth compactification. The following natural question was formulated by B. Toën (Question 2.3 below): is it true that any smooth DG category “of finite type” admits a smooth categorical compactification? The question was considered to be difficult, but most experts expected that the answer should be “yes”. However, in [4 A. I. Efimov, Categorical smooth compactifications and generalized Hodge-to-de Rham degeneration. Invent. Math.222, 667–694 (2020) ] we gave a negative answer, obtained by disproving a closely related conjecture of Kontsevich (Conjecture 2.5 below) on the generalized version of the degeneration of the Hodge-to-de-Rham spectral sequence. We also obtained a dual version of these results, in which smooth DG categories are replaced by proper DG categories, and a smooth compactification is replaced by a categorical resolution of singularities.

In Section 3 we outline a certain construction called a “categorical formal punctured neighborhood of infinity”. For a smooth algebraic variety XX this is obtained as follows: take some smooth compactification X,\overline{X}, consider the formal completion at the infinity locus XX,\overline{X}-X, and then take the corresponding punctured formal scheme. The resulting object X^X_{\widehat{\infty}} (considered for example as an adic space) is independent of the compactification, as is the category of perfect complexes on it. In [3 A. I. Efimov, Categorical formal punctured neighborhood of infinity, I. arXiv:1711.00756 (2017) ] we give a purely categorical construction of Perf(X^)\operatorname{Perf}(X_{\widehat{\infty}}) which generalizes to arbitrary smooth DG algebras and DG categories. A curious special case is the algebra of rational functions on a smooth projective curve. There, our construction gives exactly the ring of adeles.

1 Rational singularities and a conjecture of Bondal and Orlov

Let XX be an algebraic variety over a field of characteristic zero. Recall that XX has rational singularities if for some (and then any) resolution of singularities π:YX\pi:Y\to X we have RπOYOX.{\mathbf{R}}\pi_{*}{\mathcal{O}}_{Y}\cong{\mathcal{O}}_{X}. Equivalently, the pullback functor Lπ:Dperf(X)Dperf(Y)\mathbb{L}\pi^{*}:D_{\operatorname{perf}}(X)\to D_{\operatorname{perf}}(Y) is fully faithful. The following conjecture is still open.

Conjecture 1.1 ([1 A. Bondal and D. Orlov, Derived categories of coherent sheaves. In Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), Higher Ed. Press, Beijing, 47–56 (2002) ]). With the above notation, the functor Rπ:Dcohb(Y)Dcohb(X){\mathbf{R}}\pi_{*}:D^{b}_{\mathrm{coh}}(Y)\to D^{b}_{\mathrm{coh}}(X) is a localization. That is, the induced functor Dcohb(Y)/ker(Rπ)Dcohb(X)D^{b}_{\mathrm{coh}}(Y)/\ker({\mathbf{R}}\pi_{*})\to D^{b}_{\mathrm{coh}}(X) is an equivalence.

The following result is a version of such statement which holds in a much more general framework.

Theorem 1.2 ([5 A. I. Efimov, Homotopy finiteness of some DG categories from algebraic geometry. J. Eur. Math. Soc. (JEMS)22, 2879–2942 (2020) ]).

Let XX be a separated scheme of finite type over a field k\mathrm{k} of characteristic zero. Then there exist a smooth projective variety YY and a functor Φ:Dcohb(Y)Dcohb(X)\Phi:D^{b}_{\mathrm{coh}}(Y)\to D^{b}_{\mathrm{coh}}(X) such that the induced functor Dcohb(Y)/ker(Φ)Dcohb(X)D^{b}_{\mathrm{coh}}(Y)/\ker(\Phi)\to D^{b}_{\mathrm{coh}}(X) is an equivalence. Moreover, the triangulated category ker(Φ)\ker(\Phi) is generated by a single object.

This theorem in particular confirms a conjecture of Kontsevich on the homotopy finiteness of the DG category Dcohb(X).D^{b}_{\mathrm{coh}}(X). The proof is based on a certain construction of a categorical resolution of singularities, due to Kuznetsov and Lunts [8 A. Kuznetsov and V. A. Lunts, Categorical resolutions of irrational singularities. Int. Math. Res. Not. IMRN, 4536–4625 (2015) ].

The methods developed to prove Theorem 1.2 actually also work to prove Conjecture 1.1 in a certain class of cases. In particular, the following result holds.

Theorem 1.3 ([5 A. I. Efimov, Homotopy finiteness of some DG categories from algebraic geometry. J. Eur. Math. Soc. (JEMS)22, 2879–2942 (2020) ]).

Let XAnX\subset{\mathbb{A}}^{n} be a cone over a smooth Fano variety in Pn1.{\mathbb{P}}^{n-1}. Let π:YX\pi:Y\to X be the resolution given by the blow-up of the origin point. Then the induced functor Dcohb(Y)/ker(Rπ)Dcohb(X)D^{b}_{\mathrm{coh}}(Y)/\ker({\mathbf{R}}\pi_{*})\to D^{b}_{\mathrm{coh}}(X) is an equivalence.

2 Categorical smooth compactifications

Theorem 1.2 deals with a special case of a categorical smooth compactification. We first recall some basic definitions.

Definition 2.1 ([7 M. Kontsevich and Y. Soibelman, Notes on A∞-algebras, A∞-categories and non-commutative geometry. In Homological Mirror Symmetry, Lecture Notes in Phys. 757, Springer, Berlin, 153–219 (2009) ]).

  1. A small DG category C{\mathcal{C}} over k\mathrm{k} is smooth if the diagonal C-C{\mathcal{C}}\text{-}{\mathcal{C}}-bimodule is perfect.

  2. C{\mathcal{C}} is called proper if for X,YCX,Y\in{\mathcal{C}} the complex C(X,Y){\mathcal{C}}(X,Y) is perfect over k.\mathrm{k}.

In particular, we have the notions of smoothness and properness for DG algebras (a DG algebra can be considered as a DG category with a single object). When XX is a separated scheme of finite type over a field k,\mathrm{k}, then XX is smooth (resp. proper) if and only if the DG category Perf(X)\operatorname{Perf}(X) is smooth (resp. proper) ([11 D. Orlov, Smooth and proper noncommutative schemes and gluing of DG categories. Adv. Math.302, 59–105 (2016) , Proposition 3.30], [10 V. A. Lunts, Categorical resolution of singularities. J. Algebra323, 2977–3003 (2010) , Proposition 3.13]). Hence, these basic geometric properties of XX are reflected by the DG category Perf(X).\operatorname{Perf}(X).

We recall the following definition.

Definition 2.2. For a pre-triangulated DG category A,{\mathcal{A}}, a categorical smooth compactification is a DG functor F:CA,F:{\mathcal{C}}\to{\mathcal{A}}, such that:

  1. C{\mathcal{C}} is a smooth and proper pre-triangulated DG category;

  2. the induced functor C/ker(F)A{\mathcal{C}}/\ker(F)\to{\mathcal{A}} is fully faithful;

  3. every object xAx\in{\mathcal{A}} is a direct summand of some F(y),F(y),yCy\in{\mathcal{C}}.

The basic geometric example of a categorical smooth compactification is given by the usual one. Namely, let XX be a smooth algebraic variety over k,\mathrm{k}, and let j:XXj:X\hookrightarrow\overline{X} be an open embedding, where X\overline{X} is smooth and proper. Then the restriction functor j:Perf(X)Perf(X)j^{*}:\operatorname{Perf}(\overline{X})\to\operatorname{Perf}(X) is a categorical smooth compactification.

Theorem 1.2 provides a categorical smooth compactification of the DG categories of the form Dcohb(X),D^{b}_{\mathrm{coh}}(X), where XX is a separated scheme of finite type over a field of characteristic zero.

There is a notion of a homotopically finitely presented (hfp) DG category which should be thought of as a smooth DG category "of finite type" (we refer to [14 B. Toën and M. Vaquié, Moduli of objects in DG-categories. Ann. Sci. École Norm. Sup. (4)40, 387–444 (2007) ] for the precise definition). The following general question was formulated by Bertrand Toën.

Question 2.3 (Toën). Is it true that any homotopically finitely presented DG category over a field of characteristic zero has a smooth compactification?

The question is difficult, but the general consensus was that the answer should be “yes”. However, in [4 A. I. Efimov, Categorical smooth compactifications and generalized Hodge-to-de Rham degeneration. Invent. Math.222, 667–694 (2020) ] the author gave a negative answer to this question. Here we explain the rough idea of the results of [4 A. I. Efimov, Categorical smooth compactifications and generalized Hodge-to-de Rham degeneration. Invent. Math.222, 667–694 (2020) ].

It turns out that Question 2.3 is closely related with the non-commutative (categorical) Hodge-to-de Rham degeneration. Recall that the classical Hodge theory implies (via GAGA) the following algebraic statement: for any smooth algebraic variety XX over a field k\mathrm{k} of characteristic zero the spectral sequence

E2pq=Hq(X,ΩXp)HDRp+q(X)E_{2}^{pq}=H^{q}(X,\Omega_{X}^{p})\Rightarrow H^{p+q}_{DR}(X)

degenerates.

The following categorical generalization was conjectured by Kontsevich and Soibelman [7 M. Kontsevich and Y. Soibelman, Notes on A∞-algebras, A∞-categories and non-commutative geometry. In Homological Mirror Symmetry, Lecture Notes in Phys. 757, Springer, Berlin, 153–219 (2009) ], and proved by Kaledin [6 D. Kaledin, Spectral sequences for cyclic homology. In Algebra, Geometry, and Physics in the 21st Century, Progr. Math. 324, Birkhäuser/Springer, Cham, 99–129 (2017) ].

Theorem 2.4 ([6 D. Kaledin, Spectral sequences for cyclic homology. In Algebra, Geometry, and Physics in the 21st Century, Progr. Math. 324, Birkhäuser/Springer, Cham, 99–129 (2017) , Theorem 5.4]).

Let AA be a smooth and proper DG algebra over a field of characteristic zero. Then the Hochschild-to-cyclic spectral sequence degenerates, so that we have an isomorphism HP(A)HH(A)((u))HP_{\bullet}(A)\cong HH_{\bullet}(A)((u)).

In the special case when Perf(A)Perf(X)\operatorname{Perf}(A)\simeq\operatorname{Perf}(X) for a smooth and proper variety X,X, Theorem 2.4 gives exactly the usual (commutative) Hodge-to-de Rham degeneration.

The following two conjectures were formulated by Kontsevich for smooth and for proper DG algebras.

Conjecture 2.5 (Kontsevich). Let AA be a smooth DG algebra over a field of characteristic zero. Then the composition

K0(AAop)ch(HH(A)HH(Aop))0idδ(HH(A)HC(Aop))1K_{0}(A\otimes A^{\mathrm{op}})\xrightarrow{\operatorname{ch}}\bigl(HH_{\bullet}(A)\otimes HH_{\bullet}(A^{\mathrm{op}})\bigr)_{0}\\ \xrightarrow{\operatorname{id}\otimes\delta^{-}}\bigl(HH_{\bullet}(A)\otimes HC^{-}_{\bullet}(A^{\mathrm{op}})\bigr)_{1}

vanishes on the class [A][A] of the diagonal bimodule.

Here δ:HH(Aop)HC(Aop)[1]\delta^{-}:HH_{\bullet}(A^{\mathrm{op}})\to HC_{\bullet}^{-}(A^{\mathrm{op}})[-1] denotes the boundary map, see [2 A. I. Efimov, Generalized non-commutative degeneration conjecture. Proc. Steklov Inst. Math.290, 1–10 (2015) , Section 3].

Conjecture 2.6 (Kontsevich). Let BB be a proper DG algebra over a field k\mathrm{k} of characteristic zero. Then the composition map

(HH(B)HC(Bop))[1]idδ+HH(B)HH(Bop)k\bigl(HH_{\bullet}(B)\otimes HC_{\bullet}(B^{\mathrm{op}})\bigr)[1]\xrightarrow{\operatorname{id}\otimes\delta^{+}}HH_{\bullet}(B)\otimes HH_{\bullet}(B^{\mathrm{op}})\to\mathrm{k}

is zero.

Here δ+:HC(Bop)[1]HH(Bop)\delta^{+}:HC_{\bullet}(B^{\mathrm{op}})[1]\to HH_{\bullet}(B^{\mathrm{op}}) denotes the boundary map, see [9 J.-L. Loday, Cyclic Homology. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 301, Springer, Berlin (1992) , Section 2.2].

Both conjectures 2.5 and 2.6 hold, roughly speaking, for all DG categories coming from (commutative) algebraic geometry.

Conjecture 2.5 is related to Question 2.3 as follows. Suppose that we have a smooth compactification CA{\mathcal{C}}\to{\mathcal{A}} (hence A{\mathcal{A}} is smooth). Then we have the following commutative diagram:

The left vertical map sends ch(IC)\operatorname{ch}(I_{{\mathcal{C}}}) to ch(IA).\operatorname{ch}(I_{{\mathcal{A}}}). Hence, applying Kaledin’s Theorem 2.4, we obtain that Conjecture 2.5 holds for A{\mathcal{A}}.

A dual argument implies that Conjecture 2.6 holds for proper DG categories which can be fully faithfully embedded into a smooth and proper DG category (such an embedding is called a categorical resolution in the terminology of Kuznetsov and Lunts [8 A. Kuznetsov and V. A. Lunts, Categorical resolutions of irrational singularities. Int. Math. Res. Not. IMRN, 4536–4625 (2015) ]).

However, in [4 A. I. Efimov, Categorical smooth compactifications and generalized Hodge-to-de Rham degeneration. Invent. Math.222, 667–694 (2020) ] we disproved both conjectures.

Theorem 2.7 ([4 A. I. Efimov, Categorical smooth compactifications and generalized Hodge-to-de Rham degeneration. Invent. Math.222, 667–694 (2020) , Theorem 4.5, Theorem 5.4]).

  1. There exists a homotopically finitely presented DG algebra AA for which Conjecture 2.5 does not hold. In particular, AA gives a negative answer to Question 2.3: the DG category Perf(A)\operatorname{Perf}(A) does not have a smooth categorical compactification.

  2. There exists a proper DG algebra BB for which Conjecture 2.6 does not hold. In particular, the category Perf(B)\operatorname{Perf}(B) does not have a categorical resolution of singularities.

The DG algebra BB from part 2 is quasi-isomorphic to a certain explicit 1010-dimensional AA_{\infty}-algebra for which the supertrace of m3m_{3} on the second argument is non-zero.

3 Categorical formal punctured neighborhood of infinity

Another subject related to the notion of a smooth categorical compactification is that of a formal punctured neighborhood of infinity. Suppose that we have a usual smooth compactification j:XXj:X\hookrightarrow\overline{X} of a smooth algebraic variety XX. Then one can take the formal neighborhood XZ^,\overline{X}_{\widehat{Z}}, and then “remove” ZZ. The resulting object XZ^Z\overline{X}_{\widehat{Z}}-Z (the so-called generic fiber, considered as an adic space) does not depend on the choice of the compactification X.\overline{X}. Let us set X^:=XZ^Z.X_{\widehat{\infty}}:=\overline{X}_{\widehat{Z}}-Z. The corresponding category of perfect complexes Perf(X^)\operatorname{Perf}(X_{\widehat{\infty}}) also does not depend on ZZ and it is therefore an invariant of XX.

The natural question arises: can we describe the category Perf(X^)\operatorname{Perf}(X_{\widehat{\infty}}) purely in terms of Perf(X)\operatorname{Perf}(X)? This question is partially motivated by mirror symmetry since an analogue of Perf(X^)\operatorname{Perf}(X_{\widehat{\infty}}) exists in symplectic geometry in the framework of Fukaya categories. It turns out that the purely categorical construction is possible, and it was described by the author in [3 A. I. Efimov, Categorical formal punctured neighborhood of infinity, I. arXiv:1711.00756 (2017) ]. Here we give an outline.

First, we describe a “non-derived” version of the construction. Let AA be an associative algebra over a field k.\mathrm{k}. Then one can describe the algebra H0(A^)H^{0}(A_{\widehat{\infty}}) as follows.

H0(A^)={φEndk(A)aA,rk[φ,Ra]<}/(AA).H^{0}(A_{\widehat{\infty}})=\bigl\{\varphi\in\operatorname{End}_{\mathrm{k}}(A)\mid\forall a\in A,\,\,\operatorname{rk}[\varphi,R_{a}]<\infty\bigr\}/(A^{*}\otimes A).

Here Endk(A)\operatorname{End}_{\mathrm{k}}(A) is the algebra of k\mathrm{k}-linear endomorphisms of AA (as a vector space) and AAEndk(A)A^{*}\otimes A\subset\operatorname{End}_{\mathrm{k}(A)} is the two-sided ideal of operators of finite rank. The commutator is the additive one (the Lie algebra bracket) and Ra:AA,R_{a}:A\to A,Ra(b)=ba,R_{a}(b)=ba, is the operator of right multiplication by a.a.

Example 3.1. It is a pleasant exercise to check that for A=k[t]A=\mathrm{k}[t] we have H0(A^)k((t1)).H^{0}(A_{\widehat{\infty}})\cong\mathrm{k}((t^{-1})). A similar computation shows that H0(k[x±]^)k((t))×k((t1))H^{0}(\mathrm{k}[x^{\pm}]_{\widehat{\infty}})\cong\mathrm{k}((t))\times\mathrm{k}((t^{-1})).

Example 3.2. A less trivial example is the following: let XX be a smooth projective connected curve over k.\mathrm{k}. Then we have H0(k(X)^)AX,H^{0}(\mathrm{k}(X)_{\widehat{\infty}})\cong{\mathbb{A}}_{X}, where AX{\mathbb{A}}_{X} is the ring of adeles on XX. Recall that AXxXclK^x{\mathbb{A}}_{X}\subset\prod\nolimits_{x\in X^{\text{cl}}}\hat{K}_{x} is the subring of the product of complete local fields, consisting of elements (ax)xXcl(a_{x})_{x\in X^{\text{cl}}} such that axO^xa_{x}\in\hat{{\mathcal{O}}}_{x} for all but finitely many xx.

Now let AA be a smooth DG algebra. The DG algebra A^A_{\widehat{\infty}} is defined by the formula

A^:=C(A,Endk(A)/AA).A_{\widehat{\infty}}:=C^{\bullet}\bigl(A,\operatorname{End}_{\mathrm{k}}(A)/A^{*}\otimes A\bigr).

Here C(A,)C^{\bullet}(A,-) denotes the Hochschild cochain complex. The product on A^A_{\widehat{\infty}} comes from the product on Endk(A)/AA\operatorname{End}_{\mathrm{k}}(A)/A^{*}\otimes A.

To describe the DG algebra A^A_{\widehat{\infty}} more conceptually, we recall the following notion.

Definition 3.3.

  1. Let k\mathrm{k} be a field. The Calkin (DG) category Calkk\operatorname{Calk}_{\mathrm{k}} is defined as the quotient Mod-k/Perf(k).\operatorname{Mod}\text{-}\mathrm{k}/\operatorname{Perf}(\mathrm{k}). More explicitly, the objects of the DG category Calkk\operatorname{Calk}_{\mathrm{k}} are complexes of k\mathrm{k}-vector spaces, and the morphisms are given by Calkk(V,W)=Homk(V,W)/VW\operatorname{Calk}_{\mathrm{k}}(V,W)=\operatorname{Hom}_{\mathrm{k}}(V,W)/V^{*}\otimes W.

  2. More generally, for a DG algebra AA the Calkin category CalkA\operatorname{Calk}_{A} is defined as the quotient Mod-A/Perf(A)\operatorname{Mod}\text{-}A/\operatorname{Perf}(A).

We can consider AA (and any other right AA-module) as an object of Rep(Aop,Calkk)\operatorname{Rep}(A^{\mathrm{op}},\operatorname{Calk}_{\mathrm{k}}) – suitably defined category of representations of AopA^{\mathrm{op}} in Calkk\operatorname{Calk}_{\mathrm{k}}. Note that

A^EndRep(Aop,Calkk)(A).A_{\widehat{\infty}}\simeq\operatorname{End}_{\operatorname{Rep}(A^{\mathrm{op}},\operatorname{Calk}_{\mathrm{k}})}(A).

The DG category of topological perfect complexes over A^A_{\widehat{\infty}} is defined as follows.

Definition 3.4. For a smooth DG algebra AA we define

Perftop(A^)ker(Rep(Aop,Calkk)Perf(ACalkk)CalkA).\operatorname{Perf}_{\mathrm{top}}(A_{\widehat{\infty}})\simeq\ker\bigl(\operatorname{Rep}(A^{\mathrm{op}},\operatorname{Calk}_{\mathrm{k}})\to\operatorname{Perf}(A\otimes\operatorname{Calk}_{\mathrm{k}})\to\operatorname{Calk}_{A}\bigr).

Here the embedding Rep(Aop,Calkk)Perf(ACalkk)\operatorname{Rep}(A^{\mathrm{op}},\operatorname{Calk}_{\mathrm{k}})\hookrightarrow\operatorname{Perf}(A\otimes\operatorname{Calk}_{\mathrm{k}}) comes from the assumption that AA is smooth. The functor Perf(ACalkk)CalkA\operatorname{Perf}(A\otimes\operatorname{Calk}_{\mathrm{k}})\to\operatorname{Calk}_{A} is given by the tensor product: (A,V)VA(A,V)\mapsto V\otimes A for VCalkkV\in\operatorname{Calk}_{\mathrm{k}}.

Theorem 3.5 ([3 A. I. Efimov, Categorical formal punctured neighborhood of infinity, I. arXiv:1711.00756 (2017) ]).

Let XX be a smooth algebraic variety over a field k,\mathrm{k}, and assume that XX has a smooth compactification. Let AA be a DG algebra such that Perf(A)Perf(X).\operatorname{Perf}(A)\simeq\operatorname{Perf}(X). Then we have an equivalence Perf(X^)Perftop(A^)\operatorname{Perf}(X_{\widehat{\infty}})\simeq\operatorname{Perf}_{\mathrm{top}}(A_{\widehat{\infty}}) such that the following diagram commutes:

Remark 3.6. It is possible to obtain an extended version of Theorem 3.5 where the category Perf(X^)\operatorname{Perf}(X_{\widehat{\infty}}) is replaced by the category of nuclear modules in the sense of Clausen and Scholze [12 P. Scholze, Lectures on analytic geometry. Available at: www.math.uni-bonn.de/people/scholze/Analytic.pdf (2020) , Definition 13.10]). This is more involved (and unpublished), and we will not cover this in the present note.

Remark 3.7. The construction of the DG algebra A^A_{\widehat{\infty}} and the DG category Perftop(A^)\operatorname{Perf}_{\mathrm{top}}(A_{\widehat{\infty}}) is very much in the spirit of Tate’s paper on residues of differential on curves [13 J. Tate, Residues of differentials on curves. Ann. Sci. École Norm. Sup. (4)1, 149–159 (1968) ].

Alexander I. Efimov is a mathematician at the Steklov Mathematical Institute of RAS and also a member of the International Laboratory of Mirror Symmetry and Automorphic Forms, Higher School of Economics, Moscow, Russia. He works in algebraic geometry and is primarily interested in its categorical aspects, with relations to mirror symmetry, noncommutative geometry and KK-theory. efimov@mccme.ru

    References

    1. A. Bondal and D. Orlov, Derived categories of coherent sheaves. In Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), Higher Ed. Press, Beijing, 47–56 (2002)
    2. A. I. Efimov, Generalized non-commutative degeneration conjecture. Proc. Steklov Inst. Math.290, 1–10 (2015)
    3. A. I. Efimov, Categorical formal punctured neighborhood of infinity, I. arXiv:1711.00756 (2017)
    4. A. I. Efimov, Categorical smooth compactifications and generalized Hodge-to-de Rham degeneration. Invent. Math.222, 667–694 (2020)
    5. A. I. Efimov, Homotopy finiteness of some DG categories from algebraic geometry. J. Eur. Math. Soc. (JEMS)22, 2879–2942 (2020)
    6. D. Kaledin, Spectral sequences for cyclic homology. In Algebra, Geometry, and Physics in the 21st Century, Progr. Math. 324, Birkhäuser/Springer, Cham, 99–129 (2017)
    7. M. Kontsevich and Y. Soibelman, Notes on A∞-algebras, A∞-categories and non-commutative geometry. In Homological Mirror Symmetry, Lecture Notes in Phys. 757, Springer, Berlin, 153–219 (2009)
    8. A. Kuznetsov and V. A. Lunts, Categorical resolutions of irrational singularities. Int. Math. Res. Not. IMRN, 4536–4625 (2015)
    9. J.-L. Loday, Cyclic Homology. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 301, Springer, Berlin (1992)
    10. V. A. Lunts, Categorical resolution of singularities. J. Algebra323, 2977–3003 (2010)
    11. D. Orlov, Smooth and proper noncommutative schemes and gluing of DG categories. Adv. Math.302, 59–105 (2016)
    12. P. Scholze, Lectures on analytic geometry. Available at: www.math.uni-bonn.de/people/scholze/Analytic.pdf (2020)
    13. J. Tate, Residues of differentials on curves. Ann. Sci. École Norm. Sup. (4)1, 149–159 (1968)
    14. B. Toën and M. Vaquié, Moduli of objects in DG-categories. Ann. Sci. École Norm. Sup. (4)40, 387–444 (2007)

    Cite this article

    Alexander I. Efimov, Categorical smooth compactifications and neighborhoods of infinity. Eur. Math. Soc. Mag. 120 (2021), pp. 4–7

    DOI 10.4171/MAG/34
    🅭🅯
    This open access article is published by EMS Press under a CC BY 4.0 license, with the exception of logos and branding of the European Mathematical Society and EMS Press, and where otherwise noted.