Related papers: Explicit Computations of Fundamental Classes
This paper studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs), a.k.a. (Ordinary) Difference Equations. It presents a new framework using these equations as a central tool for computation and…
The goal of the present paper is to push forward the frontiers of computations on Farrell-Tate cohomology for arithmetic groups. The conjugacy classification of cyclic subgroups is reduced to the classification of modules of group rings…
Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…
As a part of our program for Geometric Arithmetic, we develop an arithmetic cohomology theory for number fields using theory of locally compact groups.
In this paper, we study Iwasawa theory for Tate motives over totally real fields. More precisely, we construct a zeta element that interpolates the values of $L$-functions at positive integers over totally real fields under a certain…
We develop local cohomology techniques to study the finite slope part of the coherent cohomology of Shimura varieties. The local cohomology groups we consider are a generalization of overconvergent modular forms, and they are defined by…
We develop some techniques to the study of exact module categories over some families of pointed finite-dimensional Hopf algebras. As an application we classify exact module categories over the tensor category of representations of the…
Denote by $J_m$ the Jacobian variety of the hyperelliptic curve defined by the affine equation $y^2=x^m+1$ over $\mathbb{Q}$, where $m \geq 3$ is a fixed positive integer. In this paper, we compute the Sato-Tate group of $J_m$. Currently,…
In order to realize a Quantum CPU some schemes for executing fundamental mathematical tasks are needed. In this paper we present some quantum circuits which, using elementary arithmetic operations, allow an approximated calculation of…
Following our previous work, we develop an algorithm to compute a presentation of the fundamental group of certain partial compactifications of the complement of a complex arrangement of lines in the projective plane. It applies, in…
We define a relative version of tiling cohomology for the purpose of comparing the topology of tiling spaces when one is a factor of the other. We illustrate this with examples, and outline a method for computing the cohomology of tiling…
In this paper, we calculate the ramified local integrals in the doubling method and present an integral representation of standard $L$-functions for classical groups. We explicitly construct local sections of Eisenstein series such that the…
We present new algorithms for computing zeta functions of algebraic varieties over finite fields. In particular, let X be an arithmetic scheme (scheme of finite type over Z), and for a prime p let zeta_{X_p}(s) be the local factor of its…
We describe a "cellular" approach to the computation of the cohomology of a poset with coefficients in a presheaf. A cellular cochain complex is constructed, described explicitly and shown to compute the cohomology under certain…
We give an explicit construction of all complex continuous irreducible characters of the group ${\rm SL}_1(D)$, where $D$ is a division algebra of prime degree $\ell$ over a local field of odd residual characteristic different than $\ell$.…
We present a construction that manufactures $\E_\infty$ orientations of Tate fixed-point objects together with useful formulas for these maps, and then give a number of applications. For example, we produce a formula for the Frobenius…
We study finite groups which possess a strongly p-embedded subgroup for some odd prime p. The main results of the paper will be applied in the ongoing project to classify the simple groups of local characteristic p.
We describe an algorithm to compute the zeta-function of a proper, smooth curve over a finite field, when the curve is given together with some auxiliary data. Our method is based on computing the matrix of the action of a semi-linear…
We compute the p-torsion and p-adic etale cohomologies with compact support of period domains over local fields in the case of basic isocrystals for quasi-split reductive groups. For the p-torsion case, we follow the method used by Orlik in…
In 2003, Kedlaya gave an algorithm to compute the zeta function associated to a hyperelliptic curve over a finite field, by computing the rigid cohomology of the curve. Edixhoven remarked that it is actually possible to compute the…