ترغب بنشر مسار تعليمي؟ اضغط هنا

$mathbb{P}^n$-functors

296   0   0.0 ( 0 )
 نشر من قبل Timothy Logvinenko
 تاريخ النشر 2019
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

We propose a new theory of (non-split) P^n-functors. These are F: A -> B for which the adjunction monad RF is a repeated extension of Id_A by powers of an autoequivalence H and three conditions are satisfied: the monad condition, the adjoints condition, and the highest degree term condition. This unifies and extends the two earlier notions of spherical functors and split P^n-functors. We construct the P-twist of such F and prove it to be an autoequivalence. We then give a criterion for F to be a P^n-functor which is stronger than the definition but much easier to check in practice. It involves only two conditions: the strong monad condition and the weak adjoints condition. For split P^n-functors, we prove Segals conjecture on their relation to spherical functors. Finally, we give four examples of non-split P^n-functors: spherical functors, extensions by zero, cyclic covers, and family P-twists. For the latter, we show the P-twist to be the derived monodromy of associated Mukai flop, the so-called `flop-flop = twist formula.



قيم البحث

اقرأ أيضاً

For two DG-categories A and B we define the notion of a spherical Morita quasi-functor A -> B. We construct its associated autoequivalences: the twist T of D(B) and the co-twist F of D(A). We give powerful sufficiency criteria for a quasi-functor to be spherical and for the twists associated to a collection of spherical quasi-functors to braid. Using the framework of DG-enhanced triangulated categories, we translate all of the above to Fourier-Mukai transforms between the derived categories of algebraic varieties. This is a broad generalisation of the results on spherical objects in [ST01] and on spherical functors in [Ann07]. In fact, this paper replaces [Ann07], which has a fatal gap in the proof of its main theorem. Though conceptually correct, the proof was impossible to fix within the framework of triangulated categories.
109 - Joshua Lieber 2021
In this paper, we generally describe a method of taking an abstract six functors formalism in the sense of Khan or Cisinski-D{e}glise, and outputting a derived motivic measure in the sense of Campbell-Wolfson-Zakharevich. In particular, we use this f ramework to define a lifting of the Gillet-Soue motivic measure.
We compute the $GL_{r+1}$-equivariant Chow class of the $GL_{r+1}$-orbit closure of any point $(x_1, ldots, x_n) in (mathbb{P}^r)^n$ in terms of the rank polytope of the matroid represented by $x_1, ldots, x_n in mathbb{P}^r$. Using these classes and generalizations involving point configurations in higher dimensional projective spaces, we define for each $dtimes n$ matrix $M$ an $n$-ary operation $[M]_hbar$ on the small equivariant quantum cohomology ring of $mathbb{P}^r$, which is the $n$-ary quantum product when $M$ is an invertible matrix. We prove that $M mapsto [M]_hbar$ is a valuative matroid polytope association. Like the quantum product, these operations satisfy recursive properties encoding solutions to enumerative problems involving point configurations of given moduli in a relative setting. As an application, we compute the number of line sections with given moduli of a general degree $2r+1$ hypersurface in $mathbb{P}^r$, generalizing the known case of quintic plane curves.
A projectively normal Calabi-Yau threefold $X subseteq mathbb{P}^n$ has an ideal $I_X$ which is arithmetically Gorenstein, of Castelnuovo-Mumford regularity four. Such ideals have been intensively studied when $I_X$ is a complete intersection, as wel l as in the case where $X$ is codimension three. In the latter case, the Buchsbaum-Eisenbud theorem shows that $I_X$ is given by the Pfaffians of a skew-symmetric matrix. A number of recent papers study the situation when $I_X$ has codimension four. We prove there are 16 possible betti tables for an arithmetically Gorenstein ideal $I$ with $mathrm{codim}(I)=4=mathrm{reg}(I)$, and that exactly 8 of these occur for smooth irreducible nondegenerate threefolds. We investigate the situation in codimension five or more, obtaining examples of $X$ with $h^{p,q}(X)$ not among those appearing for $I_X$ of lower codimension or as complete intersections in toric Fano varieties. A key tool in our approach is the use of inverse systems to identify possible betti tables for $X$.
In order to obtain existence criteria for orthogonal instanton bundles on $mathbb{P}^n$, we provide a bijection between equivalence classes of orthogonal instanton bundles with no global sections and symmetric forms. Using such correspondence we are able to provide explicit examples of orthogonal instanton bundles with no global sections on $mathbb{P}^n$ and prove that every orthogonal instanton bundle with no global sections on $mathbb{P}^n$ and charge $cgeq 3$ has rank $rleq (n-1)c$. We also prove that when the rank $r$ of the bundles reaches the upper bound, $mathcal{M}_{mathbb{P}^n}^{mathcal{O}}(c,r)$, the coarse moduli space of orthogonal instanton bundles with no global sections on $mathbb{P}^n$, with charge $cgeq 3$ and rank $r$, is affine, reduced and irreducible. Last, we construct Kronecker modules to determine the splitting type of the bundles in $mathcal{M}_{mathbb{P}^n}^{mathcal{O}}(c,r)$, whenever is non-empty.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا