Related papers: The Overconvergent Site I. Coefficients
In the first part of this paper, we consider, in the context of an arbitrary hyperplane arrangement, the map between compactly supported cohomology to the usual cohomology of a local system. A formula (i.e., an explicit algebraic de Rham…
Syntomic cohomology here defined yields a link between rigid cohomology and etale cohomology, viewing the last one as the fixed points under Frobenius of the former one. Let V be a complete discrete valuation ring, with perfect residue…
Let $V$ be an elementary abelian $2$-group and $X$ be a finite $V$-CW-complex. In this memoir we study two cochain complexes of modules over the mod2 Steenrod algebra $\mathrm{A}$, equipped with an action of $\mathrm{H}^{*}V$, the mod2…
We generalise a theorem on the existence of Frobenius isocrystal and Fontaine-Laffaille module structures on rigid flat connections to the non-proper setting. The proof is based on a new strategy of a point-set topological flavour, which…
We construct a nontrivial cyclic cocycle on the Weyl algebra of a symplectic vector space. Using this cyclic cocycle we construct an explicit, local, quasi-isomorphism from the complex of differential forms on a symplectic manifold to the…
We give a general description of the structure of the relative de Rham-Witt complex on a polynomial ring, seen as an algebra over its integral part. After giving a control of the overconvergence of Lazard's morphism, we similarly give the…
The notions of (metric) hypersurface data were introduced in [Mars,2013] as a tool to analyze, from an abstract viewpoint, hypersurfaces of arbitrary signature in pseudo-riemannian manifolds. In this paper, general geometric properties of…
We study zeta functions enumerating submodules invariant under a given endomorphism of a finitely generated module over the ring of ($S$-)integers of a number field. In particular, we compute explicit formulae involving Dedekind zeta…
Although the G.Birkhoff Ergodic Theorem (BET) is trivial for finite spaces, this does not help in proving it for hyperfinite Loeb spaces. The proof of the BET for this case, suggested by T. Kamae, works, actually, for arbitrary probability…
We revisit a classical theme of (general or translation invariant) valuations on convex polyhedra. Our setting generalizes the classical one, in a ``dual'' direction to previously considered generalizations: while previous research was…
The space of Lie algebra cohomology is usually described by the dimensions of components of certain degree even for the adjoint module as coefficients when the spaces of cochains and cohomology can be endowed with a Lie superalgebra…
We give an explicit description of the Barr- and Diaconescu covers of the arithmetic site, which are relevant to cohomology. Further, we construct the arithmetic site as the commutative shadow of a non-commutative topological space.
We introduce a path-theoretic framework for understanding the representation theory of (quantum) symmetric and general linear groups and their higher level generalisations over fields of arbitrary characteristic. Our first main result is a…
In this article, using the recent theory of noncommutative motives, we compute the additive invariants of orbifolds (equipped with a sheaf of Azumaya algebras) using solely "fixed-point data". As a consequence, we recover, in a unified and…
In this article, we carry out the flattening techniques developped in a former work in order to ``embellish" a map between compact analytic spaces, to describe the structure of its image, getting this way a substitute for Chevalley's…
For certain tame abelian covers of arithmetic surfaces X/Y we obtain striking formulas, involving a quadratic form derived from intersection numbers, for the equivariant Euler characteristics of both the canonical sheaf !X/Y and also its…
We construct cohomology theories for $(\varphi, \tau)$-modules, and study their relation with cohomology of $(\varphi, \Gamma)$-modules, as well as Galois cohomology. Our method is axiomatic, and can treat the \'etale case, the…
We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of…
We combine functional analytic and geometric viewpoints on approximate Birkhoff and isosceles orthogonality in generalized Minkowski spaces which are finite-dimensional vector spaces equipped with a gauge. This is the first approach to…
The classic Schneider-Lang theorem in transcendence theory asserts that there are only finitely many points at which algebraically independent complex meromorphic functions of finite order of growth can simultaneously take values in a…