On some finiteness results for unramified cohomology

Igor A. Rapinchuk

DOI: https://doi.org/10.48550/arXiv.1602.04517

2016-02-15

Abstract:We obtain several finiteness results for the unramified cohomology of function fields of algebraic varieties defined over fields of type (F'_m), a class that includes algebraically closed fields, finite fields, local fields, and some higher local fields of characteristic 0.

Number Theory,Algebraic Geometry

What problem does this paper attempt to address?

Unramified cohomology of finite groups of Lie type

Fedor Bogomolov,Tihomir Petrov,Yuri Tschinkel

DOI: https://doi.org/10.48550/arXiv.0812.0615

2008-12-03

Abstract:We prove vanishing results for unramified stable cohomology of finite groups of Lie type.

Algebraic Geometry
On the Eisenstein Cohomology of Arithmetic Groups

JS Li,J Schwermer

DOI: https://doi.org/10.1215/s0012-7094-04-12315-2

2004-01-01

Duke Mathematical Journal

Abstract:The cohomology H * (Gamma, E) of an arithmetic subgroup F of a connected reductive algebraic group G defined over some algebraic number field F can be interpreted in terms of the automorphic spectrum of Gamma. With this framework in place, there is a sum decomposition of the cohomology into the cuspidal cohomology (i.e., classes represented by cuspidal automorphic forms for G) and the so-called Eisenstein cohomology constructed as the span of appropriate residues or derivatives of Eisenstein series attached to cuspidal automorphic forms on the Levi components of proper parabolic F-subgroups of G. The main objective of this paper is to isolate a specific structural part in the Eisenstein cohomology. This pertains to regular Eisenstein cohomology classes attached to cuspidal automorphic representations whose archimedean component is tempered. It is shown that the cohomological degree of these classes is bounded from below by the constant q(0)(G(R)) = ((1 /2)[dim X-G(R) - (rk(G(R)) - rk(K-R))], where KR denotes a maximal compact subgroup of the real Lie group G(R), where XG(R) is the associated symmetric space. This investigation has various applications. One of these is a vanishing result,for the cohomology in the generic case (i.e., where coefficient system E has regular highest weight) the representation determining the in degrees below q(0) (G (R)). This is a sharp bound depending only on the underlying real Lie group G (R) (Corollary 5.6, Proposition 5.8). This result is supplemented by a qualitative structural result in the description of the cohomology in higher degrees by means of regular Eisenstein cohomology classes.
Finiteness of cohomology of local systems on rigid analytic spaces

Kiran S. Kedlaya,Ruochuan Liu

2016-01-01

Abstract:We prove that the cohomology groups of an etale Q_p-local system on a smooth proper rigid analytic space are finite-dimensional Q_p-vector spaces, provided that the base field is either a finite extension of Q_p or an algebraically closed nonarchimedean field containing Q_p. This result manifests as a special case of a more general finiteness result for the higher direct images of a relative (phi, Gamma)-module along a smooth proper morphism of rigid analytic spaces over a mixed-characterstic nonarchimedean field.
Chaotic maps coupled with random delays: connectivity, topology, and network propensity for synchronization

Arturo C. Marti,C. Marcelo Ponce,Cristina Masoller

DOI: https://doi.org/10.1016/j.physa.2006.04.093

2005-12-27

Abstract:We study the influence of network topology and connectivity on the synchronization properties of chaotic logistic maps, interacting with random delay times. Four different types of topologies are investigated: two regular (a ring-type and a ring-type with a central node) and two random (free-scale Barabasi-Albert and small-world Newman-Watts). The influence of the network connectivity is studied by varying the average number of links per node, while keeping constant the total input that each map receives from its neighbors. For weak coupling the array does not synchronize regardless the topology or connectivity of the network; however, for certain connectivity values there is enhanced coherence. For strong coupling the array synchronizes in the homogeneous steady-state, where the chaotic dynamics of the individual maps is suppressed. For both, weak and strong coupling, the array propensity for synchronization is largely independent of the network topology and depends mainly on the average number of links per node.

Chaotic Dynamics,Adaptation and Self-Organizing Systems
On finiteness theorems for automorphic forms

Takuya Yamauchi

2024-12-07

Abstract:In this paper, for any Shimura datum $(G,\mathcal{D})$ satisfying reasonable conditions so that many interesting cases satisfy, we prove some finiteness theorems for any graded vector space consisting of automorphic forms on $\mathcal{D}$ of some weights over the graded ring of automorphic forms on $X$ with positive parallel weights. We also discuss the integral base ring which we can work on. To realize automorphic forms as global sections on some coherent sheaves on the minimal compactification, we use the notion of reflexive sheaves and higher Koecher principle due to Kai-Wen Lan. Further, we give a more finer version of finiteness results for Siegel modular forms by using only the results of Chai-Faltings.

Algebraic Geometry,Number Theory
On local cohomology modules over ramified regular local rings

Rajsekhar Bhattacharyya

2024-04-09

Abstract:In this paper, we show examples of local cohomology modules over ramified regular local ring, having finite set of associated primes. In doing so we consider our ramified regular local ring as Eisenstein extension of an unramified regular local ring sitting inside it and we use the Mayer-Vietoris spectral sequence to show the finiteness of the set of associated primes. In ramified regular local ring for extended ideal (from the unramified one) set of associative primes of a local cohomology module is always finite. Using this result, for non extended ideal, we show example of local cohomology module which has finite set of associative primes and where associative primes also contains prime number $p$.

Commutative Algebra
A finiteness result towards the Casas-Alvero Conjecture

Soham Ghosh

2024-09-19

Abstract:The Casas-Alvero conjecture predicts that every univariate polynomial over an algebraically closed field of characteristic zero sharing a common factor with each of its Hasse-Schmidt derivatives is a power of a linear polynomial. The conjecture for polynomials of a fixed degree is equivalent to the projective variety of such polynomials being one-dimensional. In this paper, we show that for any algebraically closed field of arbitrary characteristic, this variety is at most two-dimensional for all positive degrees. Consequently, we show that the associated arithmetic Casas-Alvero scheme in any positive degree has finitely many rational points over any field. Along the way, we prove several rigidity results towards the conjecture.

Algebraic Geometry,Commutative Algebra
A Hermite-Minkowski type theorem of varieties over finite fields

Toshiro Hiranouchi

DOI: https://doi.org/10.48550/arXiv.1512.02348

2016-12-09

Abstract:As an application of P. Delgine's theorem (Esnault and Kerz in Acta Math. Vietnam. 37:531-562, 2012) on a finiteness of $l$-adic sheaves on a variety over a finite field, we show the finiteness of étale coverings of such a variety with given degree whose ramification bounded along an effective Cartier divisor. This can be thought of a higher dimensional analogue of the classical Hermite-Minkowski theorem.

Number Theory
Finiteness and cofiniteness of fine Selmer groups over function fields

Sohan Ghosh,Jishnu Ray,Takashi Suzuki

2024-08-23

Abstract:We prove that the dual fine Selmer group of an abelian variety over the unramified $\mathbb{Z}_{p}$-extension of a function field is finitely generated over $\mathbb{Z}_{p}$. This is a function field version of a conjecture of Coates--Sujatha. We further prove that the fine Selmer group is finite (respectively zero) if the separable $p$-primary torsion of the abelian variety is finite (respectively zero).

Number Theory,Algebraic Geometry
A characterization result of cofinite local cohomology modules

Moharram Aghapournahr,Leif Melkersson

DOI: https://doi.org/10.48550/arXiv.2305.10202

2023-05-17

Abstract:Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, $M$ an arbitrary $R$-module and $N$ a finite $R$-module. We prove that \cite[Theorem 2.1]{Mel} and \cite[Proposition 3.3 (i)$\Leftrightarrow$(ii)]{B1} are true for any Serre subcategory of $R$-modules. We also prove a characterization theorem for $\lc_{\fa}^{i}(M)$ and $\lc_{\fa}^{i}(N,M)$ to be $\fa$-cofinite for all $i$, whenever one of the following cases holds: (a) $\ara (\fa)\leq 1$, (b) $\dim R/\fa \leq 1$ or (c) $\dim R\leq 2$. In the end we study Artinianness and Artinian $\fa$-cofiniteness of local cohomology modules.

Commutative Algebra
Unramified correspondences

Fedor Bogomolov,Yuri Tschinkel

DOI: https://doi.org/10.48550/arXiv.math/0202223

2002-02-22

Abstract:We study correspondences between algebraic curves defined over the separable closure of $\Q$ or $\F_p$.

Algebraic Geometry
Finiteness of extension functors of local cohomology modules

Mohammad T. Dibaei,Siamak Yassemi

DOI: https://doi.org/10.48550/arXiv.math/0509340

2005-09-15

Abstract:Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $M$ a finitely generated $R$--module. Let $t$ be a non-negative integer such that $\H^i_\fa(M)$ is $\fa$--cofinite for all $i<t$. It is well--known that $\Hom_R(R/\fa,\H^t_\fa(M))$ is finitely generated $R$--module. In this paper we study the finiteness of $\Ext^1_R(R/\fa,\H^t_\fa(M))$ and $\Ext^2_R(R/\fa,\H^t_\fa(M))$.

Commutative Algebra,Algebraic Geometry
On extensions of number fields with given quadratic algebras and cohomology

Oussama Hamza

2023-10-14

Abstract:We introduce a criterion on the presentation of finitely presented pro-$p$ groups which allows us to compute their cohomology groups and infer quotients of mild groups of cohomological dimension strictly larger than two. We interpret these groups as Galois groups over $p$-rational fields with prescribed ramification and splitting.

Group Theory,Number Theory
Finite polynomial cohomology with coefficients

Ting-Han Huang,Ju-Feng Wu

2024-10-07

Abstract:We introduce a theory of finite polynomial cohomology with coefficients in this paper. We prove several basic properties and introduce an Abel-Jacobi map with coefficients. As applications, we use such a cohomology theory to study arithmetics of compact Shimura curves over $\mathbb{Q}$, and simplify proofs of the works of Darmon-Rotger and Bertolini-Darmon-Prasanna.

Number Theory,Algebraic Geometry
The finiteness dimension of local cohomology modules and its dual notion

Mohsen Asgharzadeh,Kamran Divaani-Aazar,Massoud Tousi

DOI: https://doi.org/10.48550/arXiv.0803.0461

2008-08-18

Abstract:Let \fa be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. We explore the behavior of the two notions f_{\fa}(M), the finiteness dimension of M with respect to \fa, and, its dual notion q_{\fa}(M), the Artinianess dimension of M with respect to \fa. When (R,\fm) is local and r:=f_{\fa}(M) is less than f_{\fa}^{\fm}(M), the \fm-finiteness dimension of M relative to \fa, we prove that H^r_{\fa}(M) is not Artinian, and so the filter depth of \fa on M doesn't exceeds f_{\fa}(M). Also, we show that if M has finite dimension and H^i_{\fa}(M) is Artinian for all i>t, where t is a given positive integer, then H^t_{\fa}(M)/\fa H^t_{\fa}(M) is Artinian. It immediately implies that if q:=q_{\fa}(M)>0, then H^q_{\fa}(M) is not finitely generated, and so f_{\fa}(M)\leq q_{\fa}(M).

Commutative Algebra,Algebraic Geometry
Non-vanishing and cofiniteness of generalized local cohomology modules

Nam, Tran Tuan

DOI: https://doi.org/10.1007/s10998-023-00567-w

2024-01-02

Periodica Mathematica Hungarica

Abstract:In this paper, we show some results on the non-vanishing of the generalized local cohomology modules . In a Cohen–Macaulay local ring , we prove, by using induction on , that if M , N are two finitely generated R -modules with and , then . We also study the I -cofiniteness of the generalized local cohomology module .

mathematics, applied
Higher Chow groups with finite coefficients and refined unramified cohomology

Kees Kok,Lin Zhou

2024-09-27

Abstract:In this paper we show that Bloch's higher cycle class map with finite coefficients for quasi-projective equi-dimensional schemes over a field fits naturally in a long exact sequence involving Schreieder's refined unramified cohomology. We also show that the refined unramified cohomology satisfies the localization sequence. Using this we conjecture in the end that refined unramified cohomology is a motivic homology theory and explain how this is related to the aforementioned results.

Algebraic Geometry
Lefschetz theorems in flat cohomology and applications

Sean Cotner,Bogdan Zavyalov

2024-04-11

Abstract:We prove a version of the Lefschetz hyperplane theorem for fppf cohomology with coefficients in any finite commutative group scheme over the ground field. As consequences, we establish new Lefschetz results for the Picard scheme.

Algebraic Geometry
Koszul homology of $F$-finite module and applications

Tony J. Puthenpurakal

2023-07-10

Abstract:Let $k$ be an infinite field of characteristic $p > 0$ and let $R = k[Y_1,\ldots, Y_d]$ (or $R = k[[Y_1,\ldots, Y_d]]$). Let $F \colon \text{Mod}(R) \rightarrow \text{Mod}(R)$ be the Frobenius functor and let $\mathcal{M}$ be a $F_R$-finite module (in the sense of Lyubeznik \cite{Lyu-2}). We show that if $r \geq 1$ then the Koszul homology modules $H_i(Y_1,\ldots, Y_r; \mathcal{M})$ are $F_{\overline{R}}$-finite modules where $\overline{R} = R/(Y_1,\ldots, Y_r)$ for $i = 0, \ldots, r$. As an application if $A$ is a regular ring containing a field of characteristic $p > 0$ and $S = A[X_1,\ldots, X_m]$ is standard graded and $I$ is an arbitrary graded ideal in $S$ then we give a comprehensive study of graded components of local cohomology modules $H^i_I(S)$. This extends in positive characteristic results we proved in \cite{P}. We study $H^i_I(S) $ when $A$ is local and prove that if $S/I$ is equidimensional and $Proj(S/I)$ is Cohen-Macaulay then $H^i_I(S)_n = 0$ for all $n \geq 0$ and for all $i > \ height \ I$. If $B$ is a equicharacteristic local Noetherian ring with infinite residue field and with a surjective map $\pi \colon T \rightarrow B$ where $(T,\mathfrak{n})$ is regular local then we show that the Koszul cohomology modules $H^j(\mathfrak{n}, H^{\dim T - i}_{\ker \pi }(T))$ depend only on $A, i, j$ and not on $T$ and $\pi$.

Commutative Algebra
Finiteness of analytic cohomology of Lubin-Tate $(φ_L,Γ_L)$-modules

Rustam Steingart

DOI: https://doi.org/10.1016/j.jnt.2024.04.008

2024-05-28

Abstract:We prove finiteness and base change properties for analytic cohomology of families of $L$-analytic $(\varphi_L,\Gamma_L)$-modules parametrised by affinoid algebras in the sense of Tate. For technical reasons we work over a field $K$ containing a period of the Lubin-Tate group, which allows us to describe analytic cohomology in terms of an explicit generalized Herr complex.

Number Theory

On some finiteness results for unramified cohomology

Unramified cohomology of finite groups of Lie type

On the Eisenstein Cohomology of Arithmetic Groups

Finiteness of cohomology of local systems on rigid analytic spaces

Chaotic maps coupled with random delays: connectivity, topology, and network propensity for synchronization

On finiteness theorems for automorphic forms

On local cohomology modules over ramified regular local rings

A finiteness result towards the Casas-Alvero Conjecture

A Hermite-Minkowski type theorem of varieties over finite fields

Finiteness and cofiniteness of fine Selmer groups over function fields

A characterization result of cofinite local cohomology modules

Unramified correspondences

Finiteness of extension functors of local cohomology modules

On extensions of number fields with given quadratic algebras and cohomology

Finite polynomial cohomology with coefficients

The finiteness dimension of local cohomology modules and its dual notion

Non-vanishing and cofiniteness of generalized local cohomology modules

Higher Chow groups with finite coefficients and refined unramified cohomology

Lefschetz theorems in flat cohomology and applications

Koszul homology of $F$-finite module and applications

Finiteness of analytic cohomology of Lubin-Tate $(φ_L,Γ_L)$-modules