Related papers: Explicit Computations of Fundamental Classes

Building on our previous work (arXiv:1405.5711), we develop the first practical algorithm for computing topological zeta functions of nilpotent groups, non-associative algebras, and modules. While we previously depended upon non-degeneracy…

We compute the canonical integrals associated to wheel graphs, and prove that they are proportional to odd zeta values. From this we deduce that wheel classes define explicit non-zero classes in: the locally finite homology of the general…

In recent years, there has been considerable success in computing Ext-groups of modular representations associated to the general linear group by relating this problem to one of computing Ext-groups in functor categories. In this paper, we…

We develop a practical method for computing local zeta functions of groups, algebras, and modules in fortunate cases. Using our method, we obtain a complete classification of generic local representation zeta functions associated with…

We develop techniques for computing zeta functions associated with nilpotent groups, not necessarily associative algebras, and modules, as well as Igusa-type zeta functions. At the heart of our method lies an explicit convex-geometric…

We determine the -1 Tate cohomology group of the units for principal abelian extensions of type (p^a, p^b) of a number field.

We set up a general framework to study Tate cohomology groups of Galois modules along $\mathbb{Z}_p$-extensions of number fields. Under suitable assumptions on the Galois modules, we establish the existence of a five-term exact sequence in…

We compare the Kummer flat (resp. Kummer etale) cohomology with the flat (resp. etale) cohomology with coefficients in smooth commutative group schemes, finite flat group schemes and the logarithmic multiplicative group of Kato. We will be…

We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit…

Let $F$ be a number field, abelian over the rational field, and fix a odd prime number $p$. Consider the cyclotomic $Z_p$-extension $F_\infty/F$ and denote $F_n$ the ${n}^{\rm th}$ finite subfield and $C_n$ its group of circular units. Then…

The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…

Let $\phi:\Z/p\to GL_{n}(\Z)$ denote an integral representation of the cyclic group of prime order $p$. This induces a $\Z/p$-action on the torus $X=\R^{n}/\Z^{n}$. The goal of this paper is to explicitly compute the cohomology groups…

We propose a generalization of the classical theta function to higher cohomology of the polarization line bundle on a family of complex tori with positive index. The constructed cocycles vary horizontally with respect to the (projective)…

Assuming the Tate conjecture and the computability of \'etale cohomology with finite coefficients, we give an algorithm that computes the N\'eron-Severi group of any smooth projective geometrically integral variety, and also the rank of the…

In recent work with Bhatt and Morrow, we defined a new integral p-adic cohomology theory interpolating between etale and de Rham cohomology. An unexpected feature of this cohomology is that in coordinates, it can be computed by a…

We survey some recent applications of p-adic cohomology to machine computation of zeta functions of algebraic varieties over finite fields of small characteristic, and suggest some new avenues for further exploration.

We use topological methods to compute the mod p cohomology of certain p-groups. More precisely we look at central Frattini extensions of elementary abelian by elementary abelian groups such that their defining k-invariants span the entire…

We give an algebraic proof of a class number formula for dihedral extensions of number fields of degree $2q$, where $q$ is any odd integer. Our formula expresses the ratio of class numbers as a ratio of orders of cohomology groups of units…

This paper is a sequel to "Representation growth of maximal class groups: non-exceptional primes". We use a constructive method to calculate some exceptional cases of $p$-local representation zeta functions of a family of finitely generated…

We prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups. This result was previously known only for general linear groups. We give several applications to the study…