Related papers: Homalg: A meta-package for homological algebra
We develop the theory dg algebras with enough idempotents and their dg modules and show their equivalence with that of small dg categories and their dg modules. We introduce the concept of dg adjunction and show that the classical covariant…
Given a closed complex manifold $X$ of even dimension, we develop a systematic (vertex) algebraic approach to study the rational orbifold cohomology rings $\orbsym$ of the symmetric products. We present constructions and establish results…
In this article, we revisit some aspects of the computation of the cohomology class of $H^2 ( \text{Witt}, \mathbb{C})$ using some methods in two-dimensional conformal field theory and conformal algebra to obtain the one-dimensional central…
We associate canonically a cyclic module to any Hopf algebra endowed with a modular pair, consisting of a group-like element and a character, in involution. This provides the key construct allowing to extend cyclic cohomology to Hopf…
We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in system analysis and verification. Coalgebraic generality allows us to cover not only classical…
Geometric algebra is an optimal frame work for calculating with vectors. The geometric algebra of a space includes elements that represent all the its subspaces (lines, planes, volumes, ...). Conformal geometric algebra expands this…
We introduce the notion of homotopy inner products for any cyclic quadratic Koszul operad $\mathcal O$, generalizing the construction already known for the associative operad. This is done by defining a colored operad $\hat{\mathcal O}$,…
We describe NIMBLE, a system for programming statistical algorithms for general model structures within R. NIMBLE is designed to meet three challenges: flexible model specification, a language for programming algorithms that can use…
With the advent of high-throughput sequencing (HTS) in molecular biology and medicine, the need for scalable statistical solutions for modeling complex biological systems has become of critical importance. The increasing number of platforms…
We study the homological algebra in the category $\mathcal{P}_p$ of strict polynomial functors of degree $p$ over a field of positive characteristic $p$. We determine the decomposition matrix of our category and we calculate the Ext-groups…
To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spaltenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving…
Let $G$ be the group $SL(2,\mathbb{R})$, $P\subset G$ be the parabolic subgroup of upper triangular matrices and $\Gamma\subset G$ be a cocompact lattice. A right action of $P$ on $\Gamma\backslash G$ defines an orbit foliation…
Let $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ let $\m=(x_1,..., x_n)$ be the maximal ideal generated by the variables, let $^*E$ be the naturally graded injective hull of $R/\m$ and let $^*E(n)$ be…
In this paper we report on an application of computer algebra in which mathematical puzzles are generated of a type that had been widely used in mathematics contests by a large number of participants worldwide. The algorithmic aspect of our…
An algorithm is presented that generates sets of size equal to the degree of a given variety defined by a homogeneous ideal. This algorithm suggests a versatile framework to study various problems in combinatorial algebraic geometry and…
The modular group algebra of an elementary abelian p-group is isomorphic to the restricted enveloping algebra of commutative restricted Lie algebra. The different ways of regarding this algebra result in different Hopf algebra structures…
This paper studies the (small) quantum homology and cohomology of fibrations $p: P\to S^2$ whose structural group is the group of Hamiltonian symplectomorphisms of the fiber $(M,\om)$. It gives a proof that the rational cohomology splits…
We show that the ordinary cohomology functor from the category of augmented $k$-algebras to itself exchanges coproducts and products, and that Hochschild cohomology is close to sending coproducts to products if the factors are…
The resultant veriety in the space of systems of homogeneous polynomials of given degrees consists of such systems having non-trivial solutions. We calculate the integer cohomology groups of all spaces of non-resultant systems of…
We study partial homology and cohomology from ring theoretic point of view via the partial group algebra $\mathbb{K}_{par}G$. In particular, we link the partial homology and cohomology of a group $G$ with coefficients in an irreducible…