Related papers: A computer algebra system for the study of commuta…
Sheaf cohomology or, more generally, higher direct images of coherent sheaves along proper morphisms are central to modern algebraic geometry. However, the computation of these objects is a non-trivial and expensive task which easily…
A product of cochains in a polyhedral complex is constructed. The multiplication algorithm depends on the choice of a parameter. The parameter is a linear functional on the ambient space. Cocycles form a subring of the ring of cochains,…
Our constructions provide a systematic way to study cohomology pre-algebraic structures via classical cohomology, simplifying computations and enabling the use of established techniques.
The motivation of this work is to define cohomology classes in the space of knots that are both easy to find and to evaluate, by reducing the problem to simple linear algebra. We achieve this goal by defining a combinatorial graded cochain…
Our constructions provide a systematic way to study cohomology tri-dendriform algebra via classical cohomology, simplifying computations and enabling the use of established techniques.
In recent work, Hess and Shipley defined a theory of topological coHochschild homology (coTHH) for coalgebras. In this paper we develop computational tools to study this new theory. In particular, we prove a Hochschild-Kostant-Rosenberg…
We construct for any algebra over an operad an Hochschild chain complex. In the case of the singular cochain complex of a topological space, considered as a commutative algebra up to homotopy, we show that this complex computes the singular…
In this paper, we compute the homology group and cohomology algebra of various polyhedral product objects uniformly from the point of view of diagonal tensor product. As applications, we introduce the polyhedral product method into…
The central notion of this work is that of a functor between categories of finitely presented modules over so-called computable rings, i.e. rings R where one can algorithmically solve inhomogeneous linear equations with coefficients in R.…
In this paper we describe the main features of the software package named FITSH, intended to provide a standalone environment for analysis of data acquired by imaging astronomical detectors. The package provides utilities both for the full…
A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…
In this article we construct a cochain complex of a complex Clifford algebra with coefficients in itself in a combinatorial fashion and we call the corresponding cohomology by {\it Clifford cohomology.} We show that {\it Clifford…
We investigate commutative analogues of Clifford algebras -- algebras whose generators square to $\pm1$ but commute, instead of anti-commuting as they do in Clifford algebras. We observe that commutativity allows for elegant results. We…
In this review, novel non-standard techniques for the computation of cohomology classes on toric varieties are summarized. After an introduction of the basic definitions and properties of toric geometry, we discuss a specific computational…
Computation of homology or cohomology is intrinsically a problem of high combinatorial complexity. Recently we proposed a new efficient algorithm for computing cohomologies of Lie algebras and superalgebras. This algorithm is based on…
Cohomology operations (including the cohomology ring) of a geometric object are finer algebraic invariants than the homology of it. In the literature, there exist various algorithms for computing the homology groups of simplicial complexes…
This paper introduces a chain model for the Deligne-Mumford operad formed by homotopically trivializing the circle in a chain model for the framed little disks. We then show that under degeneration of the Hochschild to cyclic cohomology…
We present celmech, an open-source Python package designed to facilitate a wide variety of celestial mechanics calculations. The package allows users to formulate and integrate equations of motion incorporating user-specified terms from 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…
Conformal algebra is an axiomatic description of the operator product expansion of chiral fields in conformal field theory. On the other hand, it is an adequate tool for the study of infinite-dimensional Lie algebras satisfying the locality…