Related papers: On operations and characteristic classes
We present a general construction of the derived category of an algebra over an operad and establish its invariance properties. A central role is played by the enveloping operad of an algebra over an operad.
Several authors have recently constructed characteristic classes for classes of infinite rank vector bundles appearing in topology and physics. These include the tangent bundle to the space of maps between closed manifolds, the infinite…
The purpose of the present paper is to lay the foundations for a systematic study of tensor products of operator systems. After giving an axiomatic definition of tensor products in this category, we examine in detail several particular…
We prove a closed formula for the integrals of the top Segre classes of tautological bundles over the Hilbert schemes of points of a K3 surface X. We derive relations among the Segre classes via equivariant localization of the virtual…
A $Q$-manifold $M$ is a supermanifold endowed with an odd vector field $Q$ squaring to zero. The Lie derivative $L_Q$ along $Q$ makes the algebra of smooth tensor fields on $M$ into a differential algebra. In this paper, we define and study…
In this paper we introduce a formula to compute Chern classes of fibered products of algebraic surfaces. For f, a generic projection to CP^2, of an algebraic surface X, we define X_k (for k smaller than degf) to be the k products of X over…
We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…
We define the Segre numbers of an ideal as a generalization of the multiplicity of an ideal of finite colength. We prove generalizations of various theorems involving the multiplicity of an ideal such as a principle of specialization of…
We study the question when a category of ind-objects is abelian. Our answer allows a further generalization of the notion of weakly Tannakian categories introduced by the author. As an application we show that, under suitable conditions,…
We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
We develop a framework to compute characteristic classes and their forms in the computer algebra system SageMath using symbolic calculus. In order to do this, we make use of the Chern-Weil approach in which characteristic classes of vector…
We present two formulas for Chern classes of the tensor product of two vector bundles. In the first formula we consider a matrix containing Chern classes of the first bundle and we take a polynomial of this matrix with Chern classes of the…
We draw the connection between the model theoretic notions of internality and the binding group on one hand, and the Tannakian formalism on the other. More precisely, we deduce the fundamental results of the Tannakian formalism by…
We define complete Segal objects, which play the role of internal higher category objects. Then we study them using representable Cartesian fibrations, in particular defining adjunctions and limits of complete Segal objects. Finally we use…
In this paper we compute the K-theory (algebraic and topological) and entire periodic cyclic homology of compact Lie group C*-algebras, define Chern characters between them and show that the Chern characters in both topological and…
For a possibly singular complex variety $X$, generating functions of total "orbifold Chern homology classes" of symmetric products $S^nX$ are given. Those are very natural "Chern class versions" (in the sense of Schwartz-MacPherson) of…
We define symmetric and exterior powers of categories, fitting into categorified Koszul complexes. We discuss examples and calculate the effect of these power operations on the categorical characters of matrix 2-representations.
In this paper, we study Segre classes in algebraic cobordism. We also prove a generalization of Kempf-Laksov formula for the degeneracy loci classes in the algebraic cobordism of the Grassmannian bundle.
We present the construction of a Chern character in cyclic cohomology, involving an arbitrary number of associative algebras in contravariant or covariant position. This is a generalization of the bivariant Chern character for bornological…