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

In [5], the notion of polynomial cocycles is used to give an expression for the second cohomology of T-groups with coefficients in a torsion-free nilpotent module. We make this expression concrete in the case of a T-group G of nilpotency…

The Witt group of a smooth curve over a real closed field is explicitely calculated. The method uses a comparison theorem between the graded Witt group and the etale cohomology groups. In the second part of the paper, the torsion Picard…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

We compute the cyclic and Hochschild cohomology groups for the algebras $\mathcal A_\theta^{alg} \rtimes \mathbb Z_3, \mathcal A_\theta^{alg} \rtimes \mathbb Z_4$ and $\mathcal A_\theta^{alg} \rtimes \mathbb Z_6$. We also compute the…

We compute the cohomology with trivial coefficients of two graded infinite-dimensional Lie algebras of maximal class, give explicit formulas for their representative cocycles. Also we discuss the relations with combinatorics and…

We give an algorithm for computing Segre classes of subschemes of arbitrary projective varieties by computing degrees of a sequence of linear projections. Based on the fact that Segre classes of projective varieties commute with…

We solve some computational problems for triangulated closed three-dimensional manifolds using groups of simplicial homology and cohomology modulo 2. Two efficient algorithms for computing the intersection numbers of 1- and 2-dimensional…

Let X be a complex algebraic K3 surface or a supersingular K3 surface in odd characteristic. We present an algorithm by which, under certain assumptions on X, we can calculate a finite set of generators of the image of the natural…

We obtain a new classification of the finite metacyclic group in terms of group invariants. We present an algorithm to compute these invariants, and hence to decide if two given finite metacyclic groups are isomorphic, and another algorithm…

Our aim in this paper is to compute the entire cyclic cohomology of noncommutative 2-tori. First of all, we clarify their algebraic structure of noncommutative 2-tori as a $F^*$-algebra, according to the idea of Elliott-Evans. Actually,…

We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective…

We present a geometric approach, in the spirit of the Chern-Weil theory, for constructing cocycles representing the classes of the Hopf cyclic cohomology of the Hopf algebra H(n) relative to GL(n, R). This provides an explicit description…

We compute the cohomology groups of the spaces of colorings of cycles, i.e., of the prodsimplicial complexes Hom(C_m,K_n). We perform the computation first with Z_2, and then with integer coefficients. The main technical tool is to use…

We suggest an algorithm computing, in some cases, an explicit generating set for the N\'eron--Severi lattice of a Delsarte surface.

Using geometric arguments, we compute the group of homotopy classes of maps from a closed $(n+1)$-dimensional manifold to the $n$-sphere for $n \geq 3$. Our work extends results from Kirby, Melvin and Teichner for closed oriented…

We present a new algorithm to compute all the chiral polytopes that have a given group $G$ as full automorphism group. This algorithm uses a new set of generators that characterize the group, all of them except one being involutions. It…

We define and study a notion of Gorenstein projective dimension for complexes of left modules over associative rings. For complexes of finite Gorenstein projective dimension we define and study a Tate cohomology theory. Tate cohomology…

We compute the completed E(n) cohomology of the classifying spaces of the symmetric groups, and relate the answer to the theory of finite subgroups of formal groups.

A general method of computing cohomology groups of the space of nonsingular algebraic hypersurfaces of degree $d$ in $CP^n$ is described. Using this method, rational cohomology groups of such spaces with $n=2, d \le 4$ and $n=3=d$ are…

We survey some recent results concerning the so called Categorical Torelli problem. This is to say how one can reconstruct a smooth projective variety up to isomorphism, by using the homological properties of special admissible…