相关论文: Notes on HPD

In this short note, we show a p-adic analogue of Beilinson's equivalence comparing two derived categories: the derived category of holonomic modules and derived category of modules whose cohomologies are holonomic.

Hilbert scheme topological invariants of plane curve singularities are identified to framed threefold stable pair invariants. As a result, the conjecture of Oblomkov and Shende on HOMFLY polynomials of links of plane curve singularities is…

We show that the triply graded Khovanov-Rozansky homology of knots and links over a field of positive odd characteristic $p$ descends to an invariant in the homotopy category finite-dimensional $p$-complexes. A $p$-extended differential on…

We prove analogs of the Bezout and the Bernstein-Kushnirenko-Khovanskii theorems for systems of algebraic differential conditions over differentially closed fields. Namely, given a system of algebraic conditions on the first $l$ derivatives…

In the first part of the paper Beilinson's theorem on the bounded derived category of coherent sheaves on P^n is extended to weighted projective spaces in a rather explicit form. To this purpose the usual category of coherent sheaves is…

A new method (by Kersten, Krasil'shchik and Verbovetsky), based on the theory of differential coverings, allows to relate a system of PDEs with a differential operator in such a way that the operator maps symmetries/conserved quantities…

We uncover several general phenomenas governing functor homology over additive categories. In particular, we generalize the strong comparison theorem of Franjou Friedlander Scorichenko and Suslin to the setting of Fp-linear additive…

We generalize the strong comparison theorem of Franjou, Friedlander, Scorichenko and Suslin to the setting of Fp-linear additive categories. Our results have a strong impact in terms of explicit computations of functor homology, and they…

We prove a duality theorem for the $p$-adic etale motivic cohomology of a variety $U$ which is the complement of a divisor on a smooth projective variety over $\F_p$. This extends the duality theorems of Milne and Jannsen-Saito-Zhao. The…

Following the approach of Kawamata and Canonaco-Stellari, we establish Orlov's representability theorem for smooth tame Deligne-Mumford stacks with projective coarse moduli spaces over a quasiexcellent ring of finite Krull dimension. This…

Using Dold--Puppe category approach to the duality in topology, we prove general duality theorem for the category of motives. As one of the applications of this general result we obtain, in particular, a generalization of…

We extend Orlov's representability theorem on the equivalence of derived categories of sheaves to the case of smooth stacks associated to normal projective varieties with only quotient singularities.

We prove equivariant versions of the Beilinson-Lichtenbaum conjecture for Bredon motivic cohomology of smooth complex and real varieties with an action of the group of order two. This identifies equivariant motivic and topological…

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…

Polynomials in a category have been studied as a generalization of the traditional notion in mathematics. Their construction has recently been extended to higher groupoids, as formalized in homotopy type theory, by Finster, Mimram, Lucas…

We use algebraic methods in statistical mechanics to represent a multi-parameter class of polynomials in several variables as partition functions of a new family of solvable lattice models. The class of polynomials, defined by A. N.…

The paper is devoted to an algebraic interpretation of Kuznetsov's theorem which establishes the assertoric equipollence of intuitionistic and proof-intuitionistic propositional calculi. Given a Heyting algebra, we define an enrichable…

We study the categories of singularities coming from Landau-Ginzburg models given by the invertible polynomials. Such categories appear on the B-side of the Berglund-H\"ubsch mirror symmetry. We provide an efficient method of computing…

We give a geometric proof of the Decomposition Theorem of Beilinson, Bernstein, Deligne and Gabber for the direct image of the intersection cohomology complex under a proper map of complex algebraic varieties. The method rests on new…

We characterise reflexive DG-categories, as introduced by Kuznetsov and Shinder, as the reflexive objects in the closed symmetric monoidal category of DG-categories localised at Morita equivalences. As consequences, we show that the…