Related papers: Computing Adem Cohomology Operations

We first introduce global arithmetic cohomology groups for quasi-coherent sheaves on arithmetic varieties, adopting an adelic approach. Then, we establish fundamental properties, such as topological duality and inductive long exact…

This work deals with Adem relations in the Dyer-Lashof algebra from a modular invariant point of view. The main result is to provide an algorithm which has two effects: Firstly, to calculate the hom-dual of an element in the Dyer-Lashof…

We are concerned with the arithmetic of solutions to ordinary or partial nonlinear differential equations which are algebraic in the indeterminates and their derivatives. We call these solutions D-algebraic functions, and their equations…

We construct bases for the spaces of higher order modular forms of all orders and weights. We also provide a cohomological interpretation of these forms.

We compute the Hodge filtration on cohomology groups of complements of complex coordinate subspace arrangements. By means of this result we construct integral representations of holomorphic functions such that kernels of these…

We translate the operations of polarization and depolarization from monomial ideals in a polynomial ring to abstract simplicial complexes. As a result, we explicitly describe the relation between the Koszul simplicial complex of a monomial…

We construct certain operations on stable moduli spaces and use them to compare cohomology of moduli spaces of closed manifolds with tangential structure. We obtain isomorphisms in a stable range provided the $p$-adic valuation of the Euler…

The cohomology ring with coefficients in $\Z_p$, where $p$ is a prime integer, of a Seifert manifold $M$, orientable or not orientable is obtained from a simplicial decomposition of $M$. Many choices must be made before applying…

The goal of this paper is to give an explicit formula for the l-adic cohomology of period domains over finite fields for arbitrary reductive groups. The result is a generalisation of the computation in math.AG/9907098 which treats the case…

In this expository paper we give an elementary, hands-on computation of the homology of the little disks operad, showing that the homology of a $d-fold loop space is a Poisson algebra. One aim is to familiarize a greater audience with…

The idea of transversality is explored in the construction of cohomology theory associated to regularized sequences of multiple products of rational functions associated to vertex algebra cohomology of codimension one foliations on complex…

Building up on work of Epstein, May and Drury, we define and investigate the mod $p$ Steenrod operations on the de Rham cohomology of smooth algebraic stacks over a field of characteristic $p>0$. We then compute the action of the operations…

The rational cohomology of a coadjoint orbit ${\cal O}$ is expressed as tensor product of the cohomology of other coadjoint orbits ${\cal O}_k$, with $ \hbox{dim} {\cal O}_k< \hbox{dim} {\cal O}$.

This article is a survey on the topic of polynomial amoebas. We review results of papers written on the topic with an emphasis on its computational aspects. Polynomial amoebas have numerous applications in various domains of mathematics and…

The Python package ComCH is a lightweight specialized computer algebra system that provides models for well known objects, the surjection and Barratt-Eccles operads, parameterizing the product structure of algebras that are commutative in a…

We define computational atoms named "actions" equipped primarily with three operations: reduction, collection, and inspection. We show how actions can be used for decision-making algorithms from simple axioms. We describe the encodings of…

A widely used strategy to reduce the computational cost in quantum-chemical calculations is to partition the system into an active subsystem, which is the focus of the computational efforts and an environment that is treated at a lower…

Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic…

Higher order cohomology of arithmetic groups is expressed in terms of (g,K)-cohomology. Generalizing results of Borel, it is shown that the latter can be computed using functions of (uniform) moderate growth. A higher order versions of…

We define the concept of a bi-operad. We develop the homotopy theory of "Bital-Sets" and of infinite-bi-operads. We develop a geometry of generalized schemes based on the spectra of distributive monochromatic bi-operads.