Overconvergent de Rham-Witt cohomology

Christopher Davis; Andreas Langer; Thomas Zink

Displaying similar documents to “Overconvergent de Rham-Witt cohomology”

$L^{2}$ -cohomology

J. Eichhorn (1986)

Banach Center Publications

Similarity:

Chen–Ruan Cohomology of $ℳ_{1, n}$ and ${\bar{ℳ}}_{1, n}$

Nicola Pagani (2013)

Annales de l’institut Fourier

Similarity:

In this work we compute the Chen–Ruan cohomology of the moduli spaces of smooth and stable $n$ -pointed curves of genus $1$ . In the first part of the paper we study and describe stack theoretically the twisted sectors of $ℳ_{1, n}$ and ${\bar{ℳ}}_{1, n}$ . In the second part, we study the orbifold intersection theory of ${\bar{ℳ}}_{1, n}$ . We suggest a definition for an orbifold tautological ring in genus $1$ , which is a subring of both the Chen–Ruan cohomology and of the stringy Chow ring.

Batalin-Vilkovisky algebra structures on Hochschild cohomology

Luc Menichi (2009)

Bulletin de la Société Mathématique de France

Similarity:

Let $M$ be any compact simply-connected oriented $d$ -dimensional smooth manifold and let $𝔽$ be any field. We show that the Gerstenhaber algebra structure on the Hochschild cohomology on the singular cochains of $M$ , $H H^{*} (S^{*} (M), S^{*} (M))$ , extends to a Batalin-Vilkovisky algebra. Such Batalin-Vilkovisky algebra was conjectured to exist and is expected to be isomorphic to the Batalin-Vilkovisky algebra on the free loop space homology on $M$ , $H_{* + d} (L M)$ introduced by Chas and Sullivan. We also show that the negative cyclic...

Bounded cohomology and isometry groups of hyperbolic spaces

Ursula Hamenstädt (2008)

Journal of the European Mathematical Society

Similarity:

Let $X$ be an arbitrary hyperbolic geodesic metric space and let $Γ$ be a countable subgroup of the isometry group $Iso (X)$ of $X$ . We show that if $Γ$ is non-elementary and weakly acylindrical (this is a weak properness condition) then the second bounded cohomology groups $H_{b}^{2} (Γ, ℝ)$ , $H_{b}^{2} (Γ, ℓ^{p} (Γ))$ $(1 < p < \infty)$ are infinite dimensional. Our result holds for example for any subgroup of the mapping class group of a non-exceptional surface of finite type not containing a normal subgroup which virtually splits as a direct...

Noetherian loop spaces

Natàlia Castellana, Juan Crespo, Jérôme Scherer (2011)

Journal of the European Mathematical Society

Similarity:

The class of loop spaces of which the mod $p$ cohomology is Noetherian is much larger than the class of $p$ -compact groups (for which the mod $p$ cohomology is required to be finite). It contains Eilenberg–Mac Lane spaces such as $ℂ P^{\infty}$ and 3-connected covers of compact Lie groups. We study the cohomology of the classifying space $B X$ of such an object and prove it is as small as expected, that is, comparable to that of $B ℂ P^{\infty}$ . We also show that $B$ X differs basically from the classifying space of a $p$ -compact...

Invariants, torsion indices and oriented cohomology of complete flags

Baptiste Calmès, Viktor Petrov, Kirill Zainoulline (2013)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Let $G$ be a split semisimple linear algebraic group over a field and let $T$ be a split maximal torus of $G$ . Let $𝗁$ be an oriented cohomology (algebraic cobordism, connective $K$ -theory, Chow groups, Grothendieck’s $K_{0}$ , etc.) with formal group law $F$ . We construct a ring from $F$ and the characters of $T$ , that we call a formal group ring, and we define a characteristic ring morphism $c$ from this formal group ring to $𝗁 (G / B)$ where $G / B$ is the variety of Borel subgroups of $G$ . Our main result says that when the...

Cohomological dimension filtration and annihilators of top local cohomology modules

Ali Atazadeh, Monireh Sedghi, Reza Naghipour (2015)

Colloquium Mathematicae

Similarity:

Let denote an ideal in a Noetherian ring R, and M a finitely generated R-module. We introduce the concept of the cohomological dimension filtration $= {M_{i}}_{i = 0}^{c}$ , where c = cd(,M) and $M_{i}$ denotes the largest submodule of M such that $c d (, M_{i}) \leq i$ . Some properties of this filtration are investigated. In particular, if (R,) is local and c = dim M, we are able to determine the annihilator of the top local cohomology module $H_{}^{c} (M)$ , namely $A n n_{R} (H_{}^{c} (M)) = A n n_{R} (M / M_{c - 1})$ . As a consequence, there exists an ideal of R such that $A n n_{R} (H_{}^{c} (M)) = A n n_{R} (M / H ⁰_{} (M))$ . This generalizes the...

$1$ -cocycles on the group of contactomorphisms on the supercircle $S^{1 | 3}$ generalizing the Schwarzian derivative

Boujemaa Agrebaoui, Raja Hattab (2016)

Czechoslovak Mathematical Journal

Similarity:

The relative cohomology $H_{diff}^{1} (𝕂 (1 | 3), 𝔬𝔰𝔭 (2, 3); 𝒟_{λ, μ} (S^{1 | 3}))$ of the contact Lie superalgebra $𝕂 (1 | 3)$ with coefficients in the space of differential operators $𝒟_{λ, μ} (S^{1 | 3})$ acting on tensor densities on $S^{1 | 3}$ , is calculated in N. Ben Fraj, I. Laraied, S. Omri (2013) and the generating $1$ -cocycles are expressed in terms of the infinitesimal super-Schwarzian derivative $1$ -cocycle $s (X_{f}) = D_{1} D_{2} D_{3} (f) α_{3}^{1 / 2}$ , $X_{f} \in 𝕂 (1 | 3)$ which is invariant with respect to the conformal subsuperalgebra $𝔬𝔰𝔭 (2, 3)$ of $𝕂 (1 | 3)$ . In this work we study the supergroup case. We give an explicit construction of $1$ -cocycles...

Poincaré inequalities and rigidity for actions on Banach spaces

Piotr Nowak (2015)

Journal of the European Mathematical Society

Similarity:

The aim of this paper is to extend the framework of the spectral method for proving property (T) to the class of reflexive Banach spaces and present a condition implying that every affine isometric action of a given group $G$ on a reflexive Banach space $X$ has a fixed point. This last property is a strong version of Kazhdan’s property (T) and is equivalent to the fact that $H^{1} (G, π) = 0$ for every isometric representation $π$ of $G$ on $X$ . The condition is expressed in terms of $p$ -Poincaré constants and we...

Some bounds for the annihilators of local cohomology and Ext modules

Ali Fathi (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $𝔞$ be an ideal of a commutative Noetherian ring $R$ and $t$ be a nonnegative integer. Let $M$ and $N$ be two finitely generated $R$ -modules. In certain cases, we give some bounds under inclusion for the annihilators of ${Ext}_{R}^{t} (M, N)$ and $H_{𝔞}^{t} (M)$ in terms of minimal primary decomposition of the zero submodule of $M$ , which are independent of the choice of minimal primary decomposition. Then, by using those bounds, we compute the annihilators of local cohomology and Ext modules in certain cases.

On $1$ -cocycles induced by a positive definite function on a locally compact abelian group

Jordan Franks, Alain Valette (2014)

Annales mathématiques Blaise Pascal

Similarity:

For $ϕ$ a normalized positive definite function on a locally compact abelian group $G$ , let $π_{ϕ}$ be the unitary representation associated to $ϕ$ by the GNS construction. We give necessary and sufficient conditions for the vanishing of 1-cohomology $H^{1} (G, π_{ϕ})$ and reduced 1-cohomology ${\bar{H}}^{1} (G, π_{ϕ})$ . For example, ${\bar{H}}^{1} (G, π_{ϕ}) = 0$ if and only if either $Hom (G, ℂ) = 0$ or $μ_{ϕ} (1_{G}) = 0$ , where $1_{G}$ is the trivial character of $G$ and $μ_{ϕ}$ is the probability measure on the Pontryagin dual $\hat{G}$ associated to $ϕ$ by Bochner’s Theorem. This streamlines an argument of Guichardet...

On the minimaxness and coatomicness of local cohomology modules

Marzieh Hatamkhani, Hajar Roshan-Shekalgourabi (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$ -module. We wish to investigate the relation between vanishing, finiteness, Artinianness, minimaxness and $𝒞$ -minimaxness of local cohomology modules. We show that if $M$ is a minimax $R$ -module, then the local-global principle is valid for minimaxness of local cohomology modules. This implies that if $n$ is a nonnegative integer such that ${(H_{I}^{i} (M))}_{𝔪}$ is a minimax $R_{𝔪}$ -module for all $𝔪 \in Max (R)$ and for all $i < n$ , then the set ${Ass}_{R} (H_{I}^{n} (M))$ is finite. Also, if $H_{I}^{i} (M)$ is...

Weight reduction for cohomological mod $p$ modular forms over imaginary quadratic fields

Adam Mohamed (2014)

Publications mathématiques de Besançon

Similarity:

Let $F$ be an imaginary quadratic field and $𝒪$ its ring of integers. Let $𝔫 \subset 𝒪$ be a non-zero ideal and let $p > 5$ be a rational inert prime in $F$ and coprime with $𝔫$ . Let $V$ be an irreducible finite dimensional representation of ${\bar{𝔽}}_{p} [{GL}_{2} (𝔽_{p^{2}})]$ . We establish that a system of Hecke eigenvalues appearing in the cohomology with coefficients in $V$ already lives in the cohomology with coefficients in ${\bar{𝔽}}_{p} \otimes d e t^{e}$ for some $e \geq 0$ ; except possibly in some few cases.

Local cohomology of logarithmic forms

G. Denham, H. Schenck, M. Schulze, M. Wakefield, U. Walther (2013)

Annales de l’institut Fourier

Similarity:

Let $Y$ be a divisor on a smooth algebraic variety $X$ . We investigate the geometry of the Jacobian scheme of $Y$ , homological invariants derived from logarithmic differential forms along $Y$ , and their relationship with the property that $Y$ be a free divisor. We consider arrangements of hyperplanes as a source of examples and counterexamples. In particular, we make a complete calculation of the local cohomology of logarithmic forms of generic hyperplane arrangements.

Rational BV-algebra in string topology

Yves Félix, Jean-Claude Thomas (2008)

Bulletin de la Société Mathématique de France

Similarity:

Let $M$ be a 1-connected closed manifold of dimension $m$ and $L M$ be the space of free loops on $M$ . M.Chas and D.Sullivan defined a structure of BV-algebra on the singular homology of $L M$ , $H_{*} (L M; k)$ . When the ring of coefficients is a field of characteristic zero, we prove that there exists a BV-algebra structure on the Hochschild cohomology $H H^{*} (C^{*} (M); C^{*} (M))$ which extends the canonical structure of Gerstenhaber algebra. We construct then an isomorphism of BV-algebras between $H H^{*} (C^{*} (M); C^{*} (M))$ and the shifted homology $H_{* + m} (L M; k)$ . We also prove...

Local-global principle for annihilation of general local cohomology

J. Asadollahi, K. Khashyarmanesh, Sh. Salarian (2001)

Colloquium Mathematicae

Similarity:

Let A be a Noetherian ring, let M be a finitely generated A-module and let Φ be a system of ideals of A. We prove that, for any ideal in Φ, if, for every prime ideal of A, there exists an integer k(), depending on , such that $^{k ()}$ kills the general local cohomology module $H_{Φ_{}}^{j} (M_{})$ for every integer j less than a fixed integer n, where $Φ_{} : =_{} : \in Φ$ , then there exists an integer k such that $^{k} H_{Φ}^{j} (M) = 0$ for every j < n.

Troesch complexes and extensions of strict polynomial functors

Antoine Touzé (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

We develop a new approach of extension calculus in the category of strict polynomial functors, based on Troesch complexes. We obtain new short elementary proofs of numerous classical $Ext$ -computations as well as new results. In particular, we get a cohomological version of the “fundamental theorems” from classical invariant theory for $G L_{n}$ for $n$ big enough (and we give a conjecture for smaller values of $n$ ). We also study the “twisting spectral sequence” $E^{s, t} (F, G, r)$ converging to the extension groups...

Fredholm spectrum and growth of cohomology groups

Jörg Eschmeier (2008)

Studia Mathematica

Similarity:

Let T ∈ L(E)ⁿ be a commuting tuple of bounded linear operators on a complex Banach space E and let $σ_{F} (T) = σ (T) ∖ σ_{e} (T)$ be the non-essential spectrum of T. We show that, for each connected component M of the manifold $R e g (σ_{F} (T))$ of all smooth points of $σ_{F} (T)$ , there is a number p ∈ 0, ..., n such that, for each point z ∈ M, the dimensions of the cohomology groups $H^{p} ({(z - T)}^{k}, E)$ grow at least like the sequence ${(k^{d})}_{k \geq 1}$ with d = dim M.

Relative exactness modulo a polynomial map and algebraic $(ℂ^{p}, +)$ -actions

Philippe Bonnet (2003)

Bulletin de la Société Mathématique de France

Similarity:

Let $F = (f_{1}, ..., f_{q})$ be a polynomial dominating map from $ℂ^{n}$ to $ℂ^{q}$ . We study the quotient $𝒯^{1} (F)$ of polynomial 1-forms that are exact along the generic fibres of $F$ , by 1-forms of type $d R + \sum a_{i} d f_{i}$ , where $R, a_{1}, ..., a_{q}$ are polynomials. We prove that $𝒯^{1} (F)$ is always a torsion $ℂ [t_{1}, ..., t_{q}]$ -module. Then we determine under which conditions on $F$ we have $𝒯^{1} (F) = 0$ . As an application, we study the behaviour of a class of algebraic $(ℂ^{p}, +)$ -actions on $ℂ^{n}$ , and determine in particular when these actions are trivial.

An equicharacteristic analogue of Hesselholt's conjecture on cohomology of Witt vectors

Amit Hogadi, Supriya Pisolkar (2013)

Acta Arithmetica

Similarity:

Let L/K be a finite Galois extension of complete discrete valued fields of characteristic p. Assume that the induced residue field extension $k_{L} / k_{K}$ is separable. For an integer n ≥ 0, let $W_{n} (_{L})$ denote the ring of Witt vectors of length n with coefficients in $_{L}$ . We show that the proabelian group ${H^{1} (G, W_{n} (_{L}))}_{n \in ℕ}$ is zero. This is an equicharacteristic analogue of Hesselholt’s conjecture, which was proved before when the discrete valued fields are of mixed characteristic.

On standard norm varieties

Nikita A. Karpenko, Alexander S. Merkurjev (2013)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Let $p$ be a prime integer and $F$ a field of characteristic $0$ . Let $X$ be theof a symbol in the Galois cohomology group $H^{n + 1} (F, μ_{p}^{\otimes n})$ (for some $n \geq 1$ ), constructed in the proof of the Bloch-Kato conjecture. The main result of the paper affirms that the function field $F (X)$ has the following property: for any equidimensional variety $Y$ , the change of field homomorphism $CH (Y) \to CH (Y_{F (X)})$ of Chow groups with coefficients in integers localized at $p$ is surjective in codimensions $< (dim X) / (p - 1)$ . One of the main ingredients of the proof is a computation...

Unstable homotopy invariance for finite fields

Kevin P. Knudson (2002)

Fundamenta Mathematicae

Similarity:

We prove that if k is a finite field with $p^{d}$ elements, then the natural map $H_{i} (G L ₙ (k), ℤ) \to H_{i} (G L ₙ (k [t]), ℤ)$ is an isomorphism for 0 ≤ i < d(p-1) and for all n.