Related papers: Characteristic Classes in Computer Algebra

We construct Euler and Stiefel-Whitney classes of vector bundles with quadratic form by analyzing the intersection theory of the associated quadric bundles. We also compute the Chow rings of quadric and isotropic flag bundles. Along the…

We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence…

For families of orthogonal and symplectic types quantum matrix (QM-) algebras, we derive corresponding versions of the Cayley-Hamilton theorem. For a wider family of Birman-Murakami-Wenzl type QM-algebras, we investigate a structure of its…

In this paper we study the variability and rigidity of secondary characteristic classes which arise from flat connections on a manifold. Considering the connection as a Lie-algebra valued one-form, we study the characteristic map from Lie…

Formulas to calculate multivector exponentials in a base-free representation and in a orthonormal basis are presented for an arbitrary Clifford geometric algebra Cl(p,q). The formulas are based on the analysis of roots of characteristic…

This note summarizes the talk by the author at the workshop "Geometry and Computer Science" held in Pescara in February 2017. We present how SageMath can help in research in Complex and Differential Geometry, with two simple applications,…

We prove an explicit formula for the total Chern character of the Verlinde bundle over the moduli space of pointed stable curves in terms of tautological classes. The Chern characters of the Verlinde bundles define a semisimple CohFT (the…

Locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathcal{K}$ for a strongly self-absorbing $C^*$-algebra $D$ over a finite CW-complex $X$ form a group $E^1_D(X)$ that is the first group of a cohomology theory $E^*_D(X)$. In…

We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…

Let $A$ be a commutative Banach algebra and $X$ be a compact space. The class of Banach $A$-valued function algebras on $X$ consists of subalgebras of $C(X,A)$ with certain properties. We introduce the notion of $A$-characters on an…

We present some methods and results in the application of algebraic geometry and computer algebra to the study of algebraic vector bundles, foliations and zeta functions. A connection of the methods and results with noncommutative geometry…

As dynamic and control systems become more complex, relying purely on numerical computations for systems analysis and design might become extremely expensive or totally infeasible. Computer algebra can act as an enabler for analysis and…

We show that Horrock's criterion for the splitting of vector bundles on $\PP^n$ can be extended to vector bundles on multiprojective spaces and to smooth projective varieties with the weak CM property (see Definition 3.11). As a main tool…

We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham…

We define the notion of characteristic rank, $\mathrm{charrank}_X(\xi)$, of a real vector bundle $\xi$ over a connected finite $CW$-complex $X$. This is a bundle-dependent version of the notion of characteristic rank introduced by…

We construct Chern-Weil classes on infinite dimensional vector bundles with structure group contained in the algebra $\cl[\leq 0](M, E)$ of non-positive order classical pseudo-differential operators acting on a finite rank vector bundle $E$…

We present a proof of the algorithm for computing line bundle valued cohomology classes over toric varieties conjectured by R.~Blumenhagen, B.~Jurke and the authors (arXiv:1003.5217) and suggest a kind of Serre duality for combinatorial…

Over a non-closed field, it is a common strategy to use separable algebras as invariants to distinguish algebraic and geometric objects. The most famous example is the deep connection between Severi-Brauer varieties and central simple…

Let $\mathscr{V}\mathrm{ect}_n$ be the moduli stack of vector bundles of rank $n$ on schemes. We prove that, if $E$ is a Zariski sheaf of ring spectra which is equipped with finite quasi-smooth transfers and satisfies the projective bundle…

In the paper I introduce a new characteristic class $c(E)$ for a finite rank vector bundle $E$ on an affine scheme $S:=Spec(A)$ - the fundamental class of $E$. The class $c(E)$ is not a characteristic class in the classical sense in the…