Related papers: Explicit Computations of Fundamental Classes

We study the effect of a quantum Frobenius twist on Ext-groups in the category of quantum polynomial functors. We use quantum versions of the de Rham and Koszul complexes, and compute their homologies. We use them to do several…

Let p be an odd prime. Let G be a p-local finite group over the extraspecial p-group p_+^{1+2}. In this paper we study the cohomology and the stable splitting of their p-complete classifying space BG.

Implicit computational complexity is a lively area of theoretical computer science, which aims to provide machine-independent characterizations of relevant complexity classes. % for uniformity with subsequent uses >> 1960s (but feel free to…

We use the theory of Condensed Mathematics to build a condensed cohomology theory for the Weil group of a $p$-adic field. The cohomology groups are proved to be locally compact abelian groups of finite ranks in some special cases. This…

We consider Tate cycles on an Abelian variety $A$ defined over a sufficiently large number field $K$ and having complex multiplication. We show that there is an effective bound $C = C(A,K)$ so that to check whether a given cohomology class…

Let $F$ be a local field over $\mathbf{Q}_p$ or $\mathbf{F}_p((t))$, and let $D$ be a central simple division algebra over $F$ of degree $d$. In the $p$-adic case, we assume $p>de+1$ where $e$ is the ramification degree over $\mathbf{Q}_p$;…

We study the cohomology of families of $(\varphi,\Gamma)$-modules with coefficients in pseudoaffinoid algebras. We prove that they have finite cohomology, and we deduce an Euler characteristic formula and Tate local duality. We classify…

Let $\mathcal{F}$ be a coherent $\mathcal{O}_X$-module over a complex manifold $X$, and let $G$ be a vector bundle on $X$. We describe an explicit isomorphism between two different representations of the global…

Class field theory furnishes an intrinsic description of the abelian extensions of a number field that is in many cases not of an immediate algorithmic nature. We outline the algorithms available for the explicit computation of such…

We construct the p-adic zeta function for a one-dimensional (as a p-adic Lie extension) non-commutative p-extension of a totally real number field such that the finite part of its Galois group is a pgroup with exponent p. We first calculate…

We study cohomology for $p$-local finite groups with non-constant coefficient systems. In particular we show that under certain restrictions there exists a cohomology transfer map in this context, and deduce the standard consequences.

The Cartan formula relates the cup product and the action of the Steenrod algebra on mod~$p$ cohomology. For any pair of mod $p$ cocycles in a simplicial set, where $p$ is an odd prime, we effectively construct a natural coboundary…

Let $\mathbb F_q$ be a finite field with $q$ elements, $G$ a finite cyclic group of order $p^k$ and $p$ is an odd prime with ${\rm gcd}(q,p)=1$. In this article, we determine an explicit expression for the primitive idempotents of $\mathbb…

Finitely generated Z-modules have canonical decompositions. When such modules are given in a finitely presented form there is a classical algorithm for computing a canonical decomposition. This is the algorithm for computing the Smith…

We introduce a new method to calculate local normal zeta functions of finitely generated, torsion-free nilpotent groups. It is based on an enumeration of vertices in the Bruhat-Tits building for Sl_n(Q_p). It enables us to give explicit…

Let $\Gamma$ be a finite group acting linearly on a vector space $V$. We compute the Lie algebra cohomology of the Lie algebra of $\Gamma$-invariant formal vector fields on $V$. We use this computation to define characteristic classes for…

We use buildings and group extensions to compute lower bounds on the top Betti numbers for the cohomology of the level p congruence subgroups of SL(3,Z) and Sp(4,Z).

We prove explicit and elementary formulas for the group homology and cohomology of a finite group with coefficients in any module. We describe in elementary terms the cohomology algebra $H^*(G,k)$ as a graded algebra for a finite group $G$…

We give simple upper bounds for rational sectional category and use them to compute invariants of the type of Farber's topological complexity of rational spaces. In particular we show that the sectional category of formal morphisms reaches…

Fisher and Newton have given an explicit description of the Tate local pairing associated with the 3-torsion of an elliptic curve. The present paper summarizes the work from the author's master's thesis and gives an explicit formula for any…