SearcharxivSearch

arXiv subjects

Felix Küng

Publications and source records attributed to Felix Küng.

6 recordsLinked to original sources

Comparison of Cohomological and K-theoretical Hall algebra

We give a more conceptual construction of a comparison algebra morphism from the K-theoretical Hall algebra to a twist of the cohomological Hall algebra associated to a symmetric quiver, and extend the result to quivers with potential.

math.KT

Injectives obstruct Fourier-Mukai functors

We use injectives as a big tilting object to obstruct liftability of exact functors to the $\dg$-level. We use the inclusion of injectives into the canonical heart as a replacement for tilting objects in computations of the characteristic morphism. Then we apply this construction to proofs of non-liftability of candidate non-Fourier-Mukai functors, i.e.\ functors that do not admit an $\Ainfty$/$\dg$-lift. This approach allows explicit computation of the obstruction against an $\Ainfty$-lift. We in particular observe that this computation gives for smooth degree $d>2$ hypersurfaces an abundance of non-Fourier-Mukai functors.

math.AG

Algebraic $K_0$ for unpointed homotopy Categories

We introduce the notion of Grothendieck heaps for unpointed Waldhausen categories and unpointed stable $\infty$-categories. This allows an extension of the studies of $\mathrm{K}_0$ to the homotopy category of unpointed topological spaces.

math.KT

Algebraic K$_0$ for unpointed Categories

We construct a natural generalization of the Grothendieck group $\mathrm{K}_0$ to the case of possibly unpointed categories admitting pushouts by using the concept of heaps recently introduced by Brezinzki. In case of a monoidal category, the defined $\mathrm{K}_0$ is shown to be a truss. It is shown that the construction generalizes the classical $\mathrm{K}_0$ of an abelian category as the group retract along the isomorphism class of the zero object. We finish by applying this construction to construct the integers with addition and multiplication as the decategorification of finite sets and show that in this $\mathrm{K}_0\left(\underline{\mathrm{Top}}\right)$ one can identify a CW-complex with the iterated product of its cells.

math.KT

Structures on the Category of N-Complexes

The theory of $N$-complexes is a generalization of both ordinary chain complexes and graded objects. Hence it yields deeper insight in the structure of these and offers a broader range of applications. This work generalizes the tensor product of chain complexes and graded objects to the case of $N$-complexes using the structures of $q$-binomial coefficients. We then study different approaches to realize the derived category of $N$-complexes. In particular we realize it as the Verdier quotient of the homotopy category of $N$-complexes, as the $\mathrm{h}$-projective objects and as the homotopy category of a category admitting a Quillen model structure.

math.CT

Twisted Hodge diamonds give rise to non-Fourier-Mukai functors

We apply computations of twisted Hodge diamonds to construct an infinite number of non-Fourier-Mukai functors with well behaved target and source spaces. To accomplish this we first study the characteristic morphism in order to control it for tilting bundles. Then we continue by applying twisted Hodge diamonds of hypersurfaces embedded in projective space to compute the Hochschild dimension of these spaces. This allows us to compute the kernel of the embedding into the projective space in Hochschild cohomology. Finally we use the above computations to apply the construction by A. Rizzardo, M. Van den Bergh and A. Neeman of non-Fourier-Mukai functors and verify that the constructed functors indeed cannot be Fourier-Mukai for odd dimensional quadrics. Using this approach we prove that there are a large number of Hochschild cohomology classes that can be used for this type construction. Furthermore, our results allow the application of computer-based calculations to construct candidate functors for arbitrary degree hypersurfaces in arbitrary high dimensions. Verifying that these are not Fourier-Mukai still requires the existence of a tilting bundle. In particular we prove that there is at least one non-Fourier-Mukai functor for every odd dimensional smooth quadric.

math.AG