http://arxiv.org/api/gwuQf+F76EW6eaDZfIsFkMSwXq4 2025-04-22T00:00:00-04:00 6181 90 15 http://arxiv.org/abs/2503.04864v1 2025-03-06T10:20:14Z 2025-03-06T10:20:14Z

In this paper, we examine the relation between certain subclasses of the classes of Gorenstein projective, Gorenstein flat and Gorenstein injective modules over a group algebra, which consist of the cofibrant, cofibrant-flat and fibrant modules respectively. These subclasses have all structural properties that the Gorenstein classes are known to have, regarding the existence of complete cotorsion pairs and various approximations between them. Furthermore, these subclasses have certain properties, which are conjecturally anticipated to hold for the Gorenstein classes as well. Since the Gorenstein classes are actually equal to the corresponding subclasses for large families of groups, we thus obtain (indirectly) some information about the Gorenstein classes over these groups.

Ioannis Emmanouil Wei Ren 22 pages. arXiv admin note: text overlap with arXiv:2503.04284 http://arxiv.org/abs/2503.04284v1 2025-03-06T10:09:33Z 2025-03-06T10:09:33Z

In this paper, we examine the class of cofibrant modules over a group algebra $kG$, that were defined by Benson in [2]. We show that this class is always the left-hand side of a complete hereditary cotorsion pair in the category of $kG$-modules. It follows that the class of Gorenstein projective $kG$-modules is special precovering in the category of $kG$-modules, if $G$ is contained in the class ${\scriptstyle{{\bf LH}}}\mathfrak{F}$ of hierarchically decomposable groups defined by Kropholler in [20] and $k$ has finite weak global dimension. It also follows that the obstruction to the equality between the classes of cofibrant and Gorenstein projective $kG$-modules can be described, over any group algebra $kG$, in terms of a suitable subcategory of the stable category of Gorenstein projective $kG$-modules.

Ioannis Emmanouil Wei Ren 20 pages http://arxiv.org/abs/2503.04251v1 2025-03-06T09:35:04Z 2025-03-06T09:35:04Z

We prove separation and excision results in functor homology. These results explain how the global Steinberg decomposition of functors proved by Djament, Touz{\'e} and Vespa behaves in Ext and Tor computations.

Aurélien Djament LAGA Antoine Touzé LPP arXiv admin note: substantial text overlap with arXiv:2111.09719 http://arxiv.org/abs/2309.16623v2 2025-03-05T03:34:45Z 2023-09-28T17:23:39Z

We show that de Rham--Witt forms are naturally isomorphic to $p$-typical curves on $p$-adic Tate twists, which answers a question of Artin--Mazur from 1977 pursued in the earlier work of Bloch and Kato. We show this by more generally equipping a related result of Hesselholt on topological cyclic homology with the motivic filtrations introduced by Bhatt--Morrow--Scholze.

Sanath K. Devalapurkar Shubhodip Mondal Comments welcome! Made some minor updates http://arxiv.org/abs/2503.03024v1 2025-03-04T21:54:01Z 2025-03-04T21:54:01Z

In this paper, we introduce a notion of derived involutive algebras in $ C_2 $-Mackey functors which simultaneously generalize commutative rings with involution and the (non-equivariant) derived algebras of Bhatt--Mathew and Raksit. We show that the $ \infty $-category of derived involutive algebras admits involutive enhancements of the cotangent complexes, de Rham complex, and de Rham cohomology functors; furthermore, their real Hochschild homology is defined. We identify a filtration on the real Hochschild homology of these derived involutive algebras via a universal property and show that its associated graded may be identified with the involutive de Rham complex. Using $ C_2 $-$ \infty $-categories of Barwick--Dotto--Glasman--Nardin--Shah, we show that our filtered real Hochschild homology specializes to the HKR-filtered Hochschild homology considered by Raksit.

Lucy Yang 94 pages, comments welcome! http://arxiv.org/abs/2309.05170v3 2025-03-04T21:16:29Z 2023-09-10T23:58:28Z

Although the local information of the $L$-spectra is well understood, the problem of whether this local information can be identified with the geometric data for bundles remains open for decades, which was originally raised in the 1960s and 1970s by Sullivan, Brumfiel, Taylor-Williams and others independently. In this paper, we provide an affirmative answer by proving that Levitt-Ranicki's theory of connective $L$-orientations for $TOP$ bundles and spherical fibrations is equivalent to the $2$-local characteristic classes constructed by Brumfiel-Morgan's, Madsen-Milgram's and Morgan-Sullivan's, as well as Sullivan's odd-prime-local real $K$-theory orientation. A key step in our proof involves constructing more geometric homotopy equivalences from the $2$-local quadratic, symmetric and normal connective $L$-spectra to products of Eilenberg-Maclane spectra and those from odd-local quadratic and symmetric connective $L$-spectra to the connective real $K$-spectra. This approach reproves the known local structure of $L$-spectra.

Runjie Hu http://arxiv.org/abs/2406.04945v2 2025-03-03T22:03:36Z 2024-06-07T14:00:11Z

We show that, if one allows for curved deformations, the canonical map introduced in [KL09] between Morita deformations and second Hochschild cohomology of a dg algebra becomes a bijection. We also show that a bimodule induces an equivalence of curved deformations precisely when it induces an equivalence between the respective 1-derived categories. These results, together with arXiv:2402.08660, solve the curvature problem for first order deformations.

Alessandro Lehmann 10.1090/proc/17133 13 pages, no figures. v2: improved exposition and fixed several typos. To appear in Proceedings of the AMS http://arxiv.org/abs/2503.01815v1 2025-03-03T18:42:00Z 2025-03-03T18:42:00Z

We explain the relation between the Witt class and the universal equicommutative class for PSL(2,K). We discuss an analogue of the Milnor-Wood inequality.

Jan Dymara Tadeusz Januszkiewicz 15 pages http://arxiv.org/abs/2502.07681v2 2025-03-03T12:24:56Z 2025-02-11T16:30:14Z

We give several equivalent characterisations of the maximal pro-2 quotients of real projective groups. In particular, for pro-2 real projective groups we provide a presentation in terms of generators and relations, and a purely cohomological characterisation. As a consequence we explicitly reconstruct such groups from their mod 2 cohomology rings.

Ambrus Pál Gereon Quick v2: 32 pages, minor correction in the introduction http://arxiv.org/abs/2503.00773v1 2025-03-02T07:38:50Z 2025-03-02T07:38:50Z

In this paper, a study is conducted on $K_2$ of the group rings with coefficient in $\mathbb{Z}/p^s\mathbb{Z}$, where the group is a finite abelian $p$-group $G$. The inverse limit of this $K_2$-group is also considered. Furthermore, for the first part of the study, the case where $G$ is a cyclic $p$-group is addressed. Moreover, for the second part, the situation where $G$ is a finite abelian $p$-group is handled. In both cases, an explicit computable isomorphism formula of the corresponding $K_2$-group is provided, and the results are closely related to the cyclic homology groups.

Yakun Zhang 12 pages http://arxiv.org/abs/2009.00313v9 2025-03-02T01:51:40Z 2020-09-01T09:36:12Z

This paper describes an approach to computer aided calculations in the cohomology of arithmetic groups. It complements existing literature on the topic by emphasizing homotopies and perturbation techniques, rather than cellular subdivision, as the tools for implementing on a computer topological constructions that fail to preserve cellular structures Furthermore, it focuses on calculating integral cohomology rather than just rational cohomology or cohomology at large primes. In particular, the paper describes and fully implements algorithms for computing Hecke operators on the integral cuspidal cohomology of congruence subgroups $\Gamma$ of $SL_2(\mathbb Z)$, and then partially implements versions of the algorithms for the special linear group $SL_2({\cal O}_d)$ over various rings of quadratic integers ${\cal O}_d$. The approach is also relevant for computations on congruence subgroups of $SL_m({\cal O}_d)$, $m\ge 2$.

Graham Ellis http://arxiv.org/abs/2402.06072v3 2025-03-02T01:11:06Z 2024-02-08T21:46:15Z

We study the Gauss and Jacobi sums from a viewpoint of motives. We exhibit isomorphisms between Chow motives arising from the Artin-Schreier curve and the Fermat varieties over a finite field, that can be regarded as (and yield a new proof of) classically known relations among Gauss and Jacobi sums such as Davenport-Hasse's multiplication formula. As a key step, we define motivic analogues of the Gauss and Jacobi sums as algebraic correspondences, and show that they represent the Frobenius endomorphisms of such motives. This generalizes Coleman's result for curves. These results are applied to investigate the group of invertible Chow motives with coefficients in a cyclotomic field.

Noriyuki Otsubo Takao Yamazaki 30 pages http://arxiv.org/abs/2406.14513v3 2025-03-01T23:36:09Z 2024-06-20T17:21:45Z

Fibered Burnside rings appear as Grothendieck rings of fibered permutation representations of a finite group, generalizing Burnside rings and monomial representation rings. Their species, primitive idempotents and their conductors are of particular interest in representation theory as they encode information related to the structure of the group. In this note, we introduce fiber change maps between fibered Burnside rings, and we present results on their functoriality and naturality with respect to biset operations. We present some advances on the conductors for cyclic fiber groups, and fully determine them in particular cases, covering a wide range of interesting examples.

Benjamín García Alberto G. Raggi-Cárdenas http://arxiv.org/abs/2407.21660v3 2025-02-28T10:20:32Z 2024-07-31T15:03:27Z

Let $Q$ be a quiver and $R$ an associative ring. A representation by $R$-modules of $Q$ is called strongly fp-injective if it admits a pure acyclic injective resolution in the category of representations. It is shown that such representations possess many nice properties. We characterize strongly fp-injective representations under some mild assumptions, which is closely related to strongly fp-injective $R$-modules. Subsequently, we use such representations to define relative Gorenstein injective representations, called Gorenstein strongly fp-injective representations, and give an explicit characterization of the Gorenstein strongly fp-injective representations of right rooted quivers. As an application, a model structure in the category of representations is given.

Gang Yang Qihui Li Junpeng Wang 10.1007/s00025-025-02368-8 27 pages http://arxiv.org/abs/2502.20618v1 2025-02-28T00:48:47Z 2025-02-28T00:48:47Z

Rost defined the Chow group of algebraic cycles with coefficients in a locally constant torsion etale sheaf. We generalize the definition to allow non-torsion coefficients. Chow groups with twisted coefficients are related to Serre's notion of "negligible cohomology" for finite groups. We generalize a computation by Merkurjev and Scavia of negligible cohomology, in terms of twisted Chow groups. We compute the Chow groups of the classifying space BG with coefficients in an arbitrary G-module, for several finite groups G (cyclic, quaternion, ${\bf Z}/2\times {\bf Z}/2$). There are connections with the theory of algebraic tori, notably the concept of coflasque resolutions. We compare twisted Chow groups with twisted motivic cohomology as defined by Heller-Voineagu-Ostvaer. Surprisingly, there is a surjection from twisted motivic cohomology to twisted Chow groups, but it is not always an isomorphism.

Burt Totaro 43 pages