Periodic cohomology

Wajid Mannan

DOI: https://doi.org/10.4310/HHA.2008.v10.n2.a6

2023-08-24

Abstract:We offer a direct proof of an elementary result concerning cohomological periods. As a corollary we show that given a finitely generated stably free resolution of Z over a finite group, two of its modules are free.

Group Theory

What problem does this paper attempt to address?

Generalized periodicity theorems

Leonid Positselski

2024-01-19

Abstract:Let $R$ be a ring and $\mathsf S$ be a class of strongly finitely presented (FP${}_\infty$) $R$-modules closed under extensions, direct summands, and syzygies. Let $(\mathsf A,\mathsf B)$ be the (hereditary complete) cotorsion pair generated by $\mathsf S$ in $\textsf{Mod-}R$, and let $(\mathsf C,\mathsf D)$ be the (also hereditary complete) cotorsion pair in which $\mathsf C=\varinjlim\mathsf A=\varinjlim\mathsf S$. We show that any $\mathsf A$-periodic module in $\mathsf C$ belongs to $\mathsf A$, and any $\mathsf D$-periodic module in $\mathsf B$ belongs to $\mathsf D$. Further generalizations of both results are obtained, so that we get a common generalization of the flat/projective and fp-projective periodicity theorems, as well as a common generalization of the fp-injective/injective and cotorsion periodicity theorems. Both are applicable to modules over an arbitrary ring, and in fact, to Grothendieck categories.

Rings and Algebras,Category Theory
Periods and Distribution of Cycles on Hilbert Modular Varieties

Di-Hua Jiang,Jian-Shu Li,Shou-Wu Zhang

DOI: https://doi.org/10.4310/pamq.2006.v2.n1.a10

2006-01-01

Pure and Applied Mathematics Quarterly

Abstract:The objective of this paper is to prove an explicit identity between period integrals of automorphic forms and special values of automorphic L-series. As an application, we will show that certain Shimura subvarieties on Hilbert modular varieties are equidistributed. In the following we describe the main results.
Quantum Cohomology and Crepant Resolutions: A Conjecture

Tom Coates,Yongbin Ruan

DOI: https://doi.org/10.5802/aif.2766

2013-01-01

Annales de l’institut Fourier

Abstract:We give an expository account of a conjecture, developed by Coates-Iritani-Tseng and Ruan, which relates the quantum cohomology of a Gorenstein orbifold X to the quantum cohomology of a crepant resolution Y of X. We explore some consequences of this conjecture, showing that it implies versions of both the Cohomological Crepant Resolution Conjecture and of the Crepant Resolution Conjectures of Ruan and Bryan-Graber. We also give a 'quantized' version of the conjecture, which determines higher-genus Gromov-Witten invariants of X from those of Y.
Fp-projective periodicity

Silvana Bazzoni,Michal Hrbek,Leonid Positselski

DOI: https://doi.org/10.1016/j.jpaa.2023.107497

2023-08-23

Abstract:The phenomenon of periodicity, discovered by Benson and Goodearl, is linked to the behavior of the objects of cocycles in acyclic complexes. It is known that any flat $\mathsf{Proj}$-periodic module is projective, any fp-injective $\mathsf{Inj}$-periodic module is injective, and any $\mathsf{Cot}$-periodic module is cotorsion. It is also known that any pure $\mathsf{PProj}$-periodic module is pure-projective and any pure $\mathsf{PInj}$-periodic module is pure-injective. Generalizing a result of Saroch and Stovicek, we show that every $\mathsf{FpProj}$-periodic module is weakly fp-projective. The proof is quite elementary, using only a strong form of the pure-projective periodicity and the Hill lemma. More generally, we prove that, in a locally finitely presentable Grothendieck category, every $\mathsf{FpProj}$-periodic object is weakly fp-projective. In a locally coherent category, all weakly fp-projective objects are fp-projective. We also present counterexamples showing that a non-pure $\mathsf{PProj}$-periodic module over a regular finitely generated commutative algebra (or a hereditary finite-dimensional associative algebra) over a field need not be pure-projective.

Category Theory,Rings and Algebras
Generalized Periodicity in Group Cohomology

Nir Elber

DOI: https://doi.org/10.1080/00927872.2023.2296883

2023-12-30

Abstract:Given a finite group $G$, we introduce "encoding pairs," which are a pair of $G$-modules $M$ and $M'$ equipped with a shifted natural isomorphism between the cohomological functors $H^\bullet(G,\mathrm{Hom}_\mathbb Z(M,-))$ and $H^\bullet(G,\mathrm{Hom}_\mathbb Z(M',-))$. Studying these encoding pairs generalizes the theory of periodic cohomology for finite groups, allowing us to generalize the cohomological input of a theorem due to Swan that roughly says that a finite group with periodic cohomology acts feely on some sphere.

Group Theory
Modules with finitely generated cohomology

David J. Benson,Jon F. Carlson

2023-08-18

Abstract:Let $G$ be a finite group and $\mathsf{k}$ a field of characteristic $p$. It is conjectured in a paper of the first author and John Greenlees that the thick subcategory of the stable module category StMod$(\mathsf{k}G)$ consisting of modules whose cohomology is finitely generated over $\mathsf{H}^*(G,\mathsf{k})$ is generated by finite dimensional modules and modules with no cohomology. If the centraliser of every element of order $p$ in $G$ is $p$-nilpotent, this statement follows from previous work. Our purpose here is to prove this conjecture in two cases with non $p$-nilpotent centralisers. The groups involved are ${\mathbb Z}/3^r\times\Sigma_3$ ($r> 0$) in characteristic three and ${\mathbb Z}/2\times A_4$ in characteristic two. As a consequence, in these cases the bounded derived category of $C^*BG$ (cochains on $BG$ with coefficients in $\mathsf{k}$) is generated by $C^*BS$, where $S$ is a Sylow $p$-subgroup of $G$.

Representation Theory
Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Srikanth B. Iyengar,Chandrashekhar B. Khare,Jeffrey Manning

2024-09-29

Abstract:We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra regular at $\mathfrak{p}$, the kernel of $\lambda$, and $M$ a finitely generated $A$-module. We establish a numerical criterion for $M$ to have a free direct summand over $A$ of positive rank. It is in terms of the lengths of $\Psi_A(M)$ and the torsion part of $\mathfrak{p}/\mathfrak{p}^2$. It generalizes results of Wiles, Lenstra, and Diamond, that deal with the case when the codimension of $\mathfrak{p}$ is zero. Number theoretic applications include integral (non-minimal) $R=\mathbb T$ theorems in situations of positive defect conditional on certain standard conjectures. Here $R$ is a deformation ring parametrizing certain Galois representations and $\mathbb T$ is a Hecke algebra. An example is a modularity lifting for 2-dimensional $\ell$-adic Galois representations over an imaginary quadratic field. The proofs combine our commutative algebra results with a generalization due to Calegari and Geraghty of the patching method of Wiles and Taylor--Wiles and level raising arguments that go back to Ribet. The results provide new evidence in favor of the intriguing, and as yet fledgling, torsion analog of the classical Langlands correspondence. We also prove unconditional integral $R=\mathbb T$ results for Hecke algebras $\mathbb T$ acting on weight one cohomology of Shimura curves over $\mathbb Q$. This leads to a torsion Jacquet--Langlands correspondence comparing integral Hecke algebras acting on weight one cohomology of Shimura curves and modular curves. In this case the cohomology has abundant torsion and so our correspondence cannot be deduced by means of the classical Jacquet--Langlands correspondence.

Number Theory,Commutative Algebra
Second bounded cohomology of groups acting on $1$-manifolds and applications to spectrum problems

Francesco Fournier-Facio,Yash Lodha

2023-06-04

Abstract:We prove a general criterion for the vanishing of second bounded cohomology (with trivial real coefficients) for groups that admit an action satisfying certain mild hypotheses. This leads to new computations of the second bounded cohomology for a large class of groups of homeomorphisms of $1$-manifolds, and a plethora of applications. First, we demonstrate that the finitely presented and nonamenable group $G_0$ constructed by the second author with Justin Moore satisfies that every subgroup has vanishing second bounded cohomology. This provides the first solution to a homological version of the von Neumann--Day Problem, posed by Calegari. Next, we develop a technical refinement of our criterion to demonstrate the existence of finitely generated non-indicable (even simple) left orderable groups with vanishing second bounded cohomology. This answers Question 8 from the 2018 ICM proceedings article of Navas. Then we provide the first examples of finitely presented groups whose spectrum of stable commutator length contains algebraic irrationals, answering a question of Calegari. Finally, we provide the first examples of manifolds whose simplicial volumes are algebraic and irrational, as further evidence towards a conjecture of Heuer and Löh.

Group Theory,Dynamical Systems,Geometric Topology
Periodicity of ideals of minors in free resolutions

Michael K. Brown,Hailong Dao,Prashanth Sridhar

2023-07-14

Abstract:We study the asymptotic behavior of the ideals of minors in minimal free resolutions over local rings. In particular, we prove that such ideals are eventually 2-periodic over complete intersections and Golod rings. We also establish general results on the stable behavior of ideals of minors in any infinite minimal free resolution. These ideals have intimate connections to trace ideals and cohomology annihilators. Constraints on the stable values attained by the ideals of minors in many situations are obtained, and they can be explicitly computed in certain cases.

Commutative Algebra
Infinite Dimensional Cohomology Groups and Periodic Solutions of Asymptotically Linear Hamiltonian Systems

Andrzej Szulkin,Wenming Zou

DOI: https://doi.org/10.1006/jdeq.2000.3942

IF: 2.615

2001-01-01

Journal of Differential Equations

Abstract:In this paper we study the existence of nontrivial 2π-periodic solutions of asymptotically linear Hamiltonian systems. We consider the case of resonance both at zero and at infinity, and we permit time-dependent asymptotic matrices. Our main tools are an infinite dimensional cohomology theory and a corresponding Morse theory recently constructed by W. Kryszewski and the first author. We develop a method to compute the new critical groups.
Cohomology rings of extended powers and free infinite loop spaces

L. Guerra,P. Salvatore,D. Sinha

2023-07-04

Abstract:We calculate mod-p cohomology of extended powers, and their group completions which are free infinite loop spaces. We consider the cohomology of all extended powers of a space together and identify a Hopf ring structure with divided powers within which cup product structure is more readily computable than on its own. We build on our previous calculations of cohomology of symmetric groups, which are the cohomology of extended powers of a point, the well-known calculation of homology, and new results on cohomology of symmetric groups with coefficients in the sign representation. We then use this framework to understand cohomology rings of related spaces such as infinite extended powers and free infinite loop spaces. v2 typo in gradings of Theorem 2.35 corrected.

Algebraic Topology
New infinite families in the stable homotopy groups of spheres

Prasit Bhattacharya,Irina Bobkova,J.D. Quigley

2024-05-10

Abstract:We identify seven new $192$-periodic infinite families of elements in the $2$-primary stable homotopy groups of spheres. Although their Hurewicz image is trivial for topological modular forms, they remain nontrivial after $\mathrm{T}(2)$- as well as $\mathrm{K}(2)$-localization. We also obtain new information about $2$-torsion and $2$-divisibility of some of the previously known $192$-periodic infinite families in the stable stems.

Algebraic Topology
Geometry of non-classical period domains

Kefeng Liu,Yang Shen

2024-05-26

Abstract:In this paper we prove a conjecture of Griffiths about vanishing of the zeroth cohomology groups of locally homogeneous vector bundles on compact quotients of non-classical period domains, and construct a new $G_\R$-invariant complex structure on any non-classical period domain $D=G_\R/V$ with $G_\R$ of Hermitian type. Various geometric and algebraic characterizations of non-classical period domains and several geometric applications on their compact quotients are deduced as consequences of our results.

Algebraic Geometry
Lannes' $T$-functor and mod-$p$ cohomology of profinite groups

Marco Boggi

2024-08-22

Abstract:The Lannes-Quillen theorem relates the mod-$p$ cohomology of a finite group $G$ with the mod-$p$ cohomology of centralizers of abelian elementary $p$-subgroups of $G$, for $p>0$ a prime number. This theorem was extended to profinite groups whose mod-$p$ cohomology algebra is finitely generated by Henn. In a weaker form, the Lannes-Quillen theorem was then extended by Symonds to arbitrary profinite groups. Building on Symonds' result, we formulate and prove a full version of this theorem for all profinite groups. For this purpose, we develop a theory of products for families of discrete torsion modules, parameterized by a profinite space, which is dual, in a very precise sense, to the theory of coproducts for families of profinite modules, parameterized by a profinite space, developed by Haran, Melnikov and Ribes. In the last section, we give applications to the problem of conjugacy separability of $p$-torsion elements and finite $p$-subgroups.

Group Theory,Geometric Topology
Period-index in top cohomology over semiglobal fields

Sarah Dijols,Raman Parimala,Ramdorai Sujatha,Charlotte Ure

2023-12-07

Abstract:We prove a common slot lemma for symbols in top cohomology classes over semiglobal fields. Furthermore, we prove that period and index agree for general top cohomology classes over such fields. We discuss applications to quadratic forms and related open problems.

Number Theory,Algebraic Geometry,Rings and Algebras
Computing 1-Periodic Persistent Homology with Finite Windows

Adam Onus,Primoz Skraba

2024-05-24

Abstract:Let $K$ be a periodic cell complex endowed with a covering $q:K\to G$ where $G$ is a finite quotient space of equivalence classes under translations acting on $K$. We assume $G$ is embedded in a space whose homotopy type is a $d$-torus for some $d$, which introduces "toroidal cycles" in $G$ which do not lift to cycles in $K$ by $q$ . We study the behaviour of toroidal and non-toroidal cycles for the case $K$ is 1-periodic, i.e. $G=K/\mathbb{Z}$ for some free action of $\mathbb{Z}$ on $K$. We show that toroidal cycles can be entirely classified by endomorphisms on the homology of unit cells of $K$, and moreover that toroidal cycles have a sense of unimodality when studying the persistent homology of $G$.

Algebraic Topology
Low degree cohomologies of congruence groups

Jian-Shu Li,Binyong Sun

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

2019-01-03

Abstract:We prove the vanishing of certain low degree cohomologies of some induced representations. As an application, we determine certain low degree cohomologies of congruence groups.

Representation Theory
Beyond Large Complex Structure: Quantized Periods and Boundary Data for One-Modulus Singularities

Brice Bastian,Damian van de Heisteeg,Lorenz Schlechter

2023-06-02

Abstract:We study periods in an integral basis near all possible singularities in one-dimensional complex structure moduli spaces of Calabi-Yau threefolds. Near large complex structure points these asymptotic periods are well understood in terms of the topological data of the mirror Calabi-Yau manifold. The aim of this work is to characterize the period data near other boundaries in moduli space such as conifold and K-points. Using results from Hodge theory, we provide the general form of these periods in a quantized three-cycle basis. Based on these periods we compute the prepotential and related physical couplings of the underlying supergravity theory. Moreover, we elucidate the meaning of the model-dependent coefficients that appear in these expressions: these can be identified with certain topological and arithmetic numbers associated to the singular geometry at the moduli space boundary. We illustrate our findings by studying a wide set of examples.

High Energy Physics - Theory
Flat quasi-coherent sheaves as direct limits, and quasi-coherent cotorsion periodicity

Leonid Positselski,Jan Stovicek

2023-11-16

Abstract:We show that every flat quasi-coherent sheaf on a quasi-compact quasi-separated scheme is a directed colimit of locally countably presentable flat quasi-coherent sheaves. More generally, the same assertion holds for any countably quasi-compact, countably quasi-separated scheme. Moreover, for three categories of complexes of flat quasi-coherent sheaves, we show that all complexes in the category can be obtained as directed colimits of complexes of locally countably presentable flat quasi-coherent sheaves from the same category. In particular, on a quasi-compact semi-separated scheme, every flat quasi-coherent sheaf is a directed colimit of flat quasi-coherent sheaves of finite projective dimension. In the second part of the paper, we discuss cotorsion periodicity in category-theoretic context, generalizing an argument of Bazzoni, Cortes-Izurdiaga, and Estrada. As the main application, we deduce the assertion that any cotorsion-periodic quasi-coherent sheaf on a quasi-compact semi-separated scheme is cotorsion.

Algebraic Geometry,Category Theory

Periodic cohomology

Generalized periodicity theorems

Periods and Distribution of Cycles on Hilbert Modular Varieties

Quantum Cohomology and Crepant Resolutions: A Conjecture

Fp-projective periodicity

Generalized Periodicity in Group Cohomology

Modules with finitely generated cohomology

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Second bounded cohomology of groups acting on $1$-manifolds and applications to spectrum problems

Periodicity of ideals of minors in free resolutions

Infinite Dimensional Cohomology Groups and Periodic Solutions of Asymptotically Linear Hamiltonian Systems

Cohomology rings of extended powers and free infinite loop spaces

New infinite families in the stable homotopy groups of spheres

Geometry of non-classical period domains

Lannes' $T$-functor and mod-$p$ cohomology of profinite groups

Period-index in top cohomology over semiglobal fields

Computing 1-Periodic Persistent Homology with Finite Windows

Low degree cohomologies of congruence groups

Beyond Large Complex Structure: Quantized Periods and Boundary Data for One-Modulus Singularities

Flat quasi-coherent sheaves as direct limits, and quasi-coherent cotorsion periodicity