Related papers: Computing N\'eron-Severi groups and cycle class gr…

We study Tate-Vogel and relative cohomologies of complexes by applying the model structure induced by a complete hereditary cotorsion pair ($\A$, $\B$) of modules. We show first that the class of complexes admitting a complete $\A$…

To a smooth projective variety $X$ whose Chow group of $0$-cycles is $\mathbf Q$-universally trivial one can associate its torsion index $\mathrm{Tor}(X)$, the smallest multiple of the diagonal appearing in a cycle-theoretic decomposition…

We investigate the question of how to compute the cotensor product, and more generally the derived cotensor (i.e., Cotor) groups, of a tensor product of comodules. In particular, we determine the conditions under which there is a…

Let $X \subset Y$ be closed (possibly singular) subschemes of a smooth projective toric variety $T$. We show how to compute the Segre class $s(X,Y)$ as a class in the Chow group of $T$. Building on this, we give effective methods to compute…

We give an account of well known calculations of the RO(Q)-graded coefficient rings of some of the most basic Q-equivariant cohomology theories, where Q is a group of order 2. One purpose is to advertise the effectiveness of the Tate…

We continue our development of the invariant theory of genus one curves with the aim of computing certain twists of the universal family of elliptic curves parametrised by the modular curve X(n) for n = 2,3,4,5. Our construction makes use…

We investigate the surjectivity of the real cycle class map from $I$-cohomology to classical intergral cohomology for some real smooth varieties, in particular surfaces. This might be considered as one of several possible incarnations of…

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…

To follow up on the results of [1], we propose a computationally efficient explicit cyclic decomposition of the maximal tori in the groups $SL_n(q)$ and $SU_n(q)$ and their projective images. We also derive some corollaries to simplify…

We compute relations of rational equivalence among special codimensional two cycles on families of abelian surfaces using elements of higher chow groups.

Exponential integrators based on contour integral representations lead to powerful numerical solvers for a variety of ODEs, PDEs, and other time-evolution equations. They are embarrassingly parallelizable and lead to global-in-time…

Aperiodic point sets (or tilings) which can be obtained by the method of cut and projection from higher dimensional periodic sets play an important role for the description of quasicrystals. Their topological invariants can be computed…

We construct an algorithm that, given a pair of homomorphisms between polycyclic-by-finite groups, determines whether their Reidemeister number is finite, and if so returns a set of representatives of the twisted conjugacy classes.…

We use rewriting systems to spell out cup-products in the (twisted) cohomology groups of a product of surface groups. This allows us to detect a non-trivial obstruction bounding from below the effective topological complexity of an…

We present an algorithm to compute the Hecke operators on the equivariant cohomology of an arithmetic subgroup $\Gamma$ of the general linear group $\mathrm{GL}_n$. This includes $\mathrm{GL}_n$ over a number field or a finite-dimensional…

We compute the first, second, third, and fifth rational cohomology groups of the moduli space of stable n-pointed genus g curves, for all g and n, using (mostly) algebro-geometric techniques.

We introduce the notion of pattern for numerical semigroups, which allows us to generalize the definition of Arf numerical semigroups. In this way infinitely many other classes of numerical semigroups are defined giving a classification of…

Let $X$ be the product of a surface satisfying $b_2=\rho$ and of a curve over a finite field. We study a strong form of the integral Tate conjecture for $1$-cycles on $X$. We generalize and give unconditional proofs of several results of…

Studies the cohomology of p-central, powerful, p-groups with a certain extension property. These groups are naturally associated to Lie algebras. The paper develops a machinery that calculates the first few terms of the Bockstein spectral…

We construct projective unitary representations of the smooth Deligne cohomology group of a compact oriented Riemannian manifold of dimension 4k+1, generalizing positive energy representations of the loop group of the circle. We also…