https://arxiv.org/api/VfK0UR+rISPr/k2MVus0fWhPF8Y 2026-04-12T23:08:37Z 6535 930 15 http://arxiv.org/abs/2005.09038v3 2024-07-05T10:22:22Z

Given an abelian category, we introduce a categorical concept of (strongly) Gorenstein projective (resp., injective) objects, by defining a new special class of objects. Then we study the transfer of these properties when passing to an abelian category and its n-trivial extension category and also give a characterization of Gorenstein object over it. We give, at the end, applications of this study on the category of modules over an associative ring and triangular matrix rings.

2020-05-18T19:14:20Z Conflict between authors Dirar Benkhadra http://arxiv.org/abs/2010.02622v4 2024-07-05T07:56:44Z

We show that the Gersten complex for the (improved) Milnor K-sheaf on a smooth scheme over an excellent discrete valuation ring is exact except at the first place and that exactness at the first place may be checked at the discrete valuation ring associated to the the generic point of the special fiber. This complements results of Gillet and Levine for K-theory, Geisser for motivic cohomology and Schmidt and Strunk and the author for étale cohomology.

2020-10-06T11:03:49Z Corrected, published version J. Pure Appl. Algebra 228(11),(2024) Morten Lüders http://arxiv.org/abs/2210.15574v2 2024-07-03T16:28:17Z

Over a local ring $R$, the theory of cohomological support varieties attaches to any bounded complex $M$ of finitely generated $R$-modules an algebraic variety $V_R(M)$ that encodes homological properties of $M$. We give lower bounds for the dimension of $V_R(M)$ in terms of classical invariants of $R$. In particular, when $R$ is Cohen-Macaulay and not complete intersection we find that there are always varieties that cannot be realized as the cohomological support of any complex. When $M$ has finite projective dimension, we also give an upper bound for $ \dim V_R(M)$ in terms of the dimension of the radical of the homotopy Lie algebra of $R$. This leads to an improvement of a bound due to Avramov, Buchweitz, Iyengar, and Miller on the Loewy lengths of finite free complexes. Finally, we completely classify the varieties that can occur as the cohomological support of a complex over a Golod ring.

2022-10-27T16:12:10Z Final version Trans. Amer. Math. Soc. Ser. B 11 (2024), 703-726 Benjamin Briggs Eloísa Grifo Josh Pollitz 10.1090/btran/182 http://arxiv.org/abs/2402.14986v2 2024-07-03T13:52:27Z

We provide a framework for abstract reconstruction problems using the $K$-theory of categories with covering families, which we then apply to reformulate the edge reconstruction conjecture in graph theory. Along the way, we state some fundamental theorems for the $K$-theory of categories with covering families.

2024-02-22T21:50:59Z 24 pages. Added Section 4 with suggestions for future research directions and made minor changes to the exposition. Final version to appear in Homology, Homotopy and Applications Maxine E. Calle Julian J. Gould 10.4310/HHA.2025.v27.n1.a16 http://arxiv.org/abs/2308.11120v3 2024-07-02T19:44:05Z

For $n \in \mathbb{N}$ and a commutative ring $R$ with $2 \in R^{\times}$, the group $SL_n (R)$ acts on the set $Um_n (R)$ of unimodular vectors of length $n$ and $Spin_{2n}(R)$ acts on the set of unit vectors $U_{2n-1}(R)$. We give an example of a ring for which the comparison map $Um_n (R)/SL_n (R) \rightarrow U_{2n-1}(R)/Spin_{2n}(R)$ fails to be bijective.

2023-08-22T01:55:14Z 19 pages; comments still welcome! Tariq Syed http://arxiv.org/abs/2306.05585v2 2024-07-02T18:27:19Z

Closed quantum surfaces of any genus are defined as subalgebras of the Toeplitz algebra by mimicking the classical construction of identifying arcs on the boundary of the (quantum) unit disk. Isomorphism classes obtained from different arrangements of arcs are classified. It is shown that the K-groups are isomorphic to the classical counterparts and explicit generators of the C*-algebras and of the K-groups are given.

2023-06-08T22:58:28Z Originally announced as "Compact quantum surfaces of any genus" in arXiv:2002.10624, to appear in Rocky Mountain Journal of Mathematics Arley Sierra Elmar Wagner http://arxiv.org/abs/2407.01952v1 2024-07-02T05:01:53Z

We compute the groupoid homology for the ample groupoids associated with algebraic actions from rings of algebraic integers and integral dynamics. We derive results for the homology of the topological full groups associated with rings of algebraic integers, and we use our groupoid homology calculation to compute the K-theory for ring C*-algebras of rings of algebraic integers, recovering the results of Cuntz and Li and of Li and Lück without using Cuntz--Li duality. Moreover, we compute the K-theory for C*-algebras attached to integral dynamics, resolving the conjecture by Barlak, Omland, and Stammeier in full generality.

2024-07-02T05:01:53Z 38 pages Chris Bruce Yosuke Kubota Takuya Takeishi http://arxiv.org/abs/2401.05687v2 2024-07-02T04:44:58Z

Let H be a finite dimensional Hopf algebra over a field k and A an H-module algebra over k. Khovanov and Qi defined acyclic objects and quasi-isomorphisms by using null-homotopy and contractible objects. They also defined the cofibrant objects, the derived category of A#H-modules, and showed properties of compact generators. On the other hand, a model structure on the category of A#H-modules are not mentioned yet. In this paper, we check that the category of A#H-modules admits a model structure, where the cofibrant objects and the derived category are just those defined by Qi. We also show that the model structure is cofibrantly generated.

2024-01-11T06:26:49Z 13 pages (Jul. 2: modify around suspention) Mariko Ohara http://arxiv.org/abs/2405.02065v2 2024-07-01T12:30:37Z

We investigate stability properties of the reductive Borel-Serre categories; these were introduced as a model for unstable algebraic K-theory in previous work. We see that they exhibit better homological stability properties than the general linear groups. We also show that they provide an explicit model for Yuan's partial algebraic K-theory.

2024-05-03T12:52:30Z 95 pages. Comments welcome! v2: better homological stability results and improved exposition Mikala Ørsnes Jansen http://arxiv.org/abs/2407.01124v1 2024-07-01T09:41:32Z

We show that for nice enough $\mathbb{N}$-graded $\mathbb{E}_2$-algebras, a diagonal vanishing line in $\mathbb{E}_1$-homology of gives rise to slope $1$ homological stability. This is an integral version of a result by Kupers-Miller-Patzt.

2024-07-01T09:41:32Z 7 pages. Comments welcome Mikala Ørsnes Jansen Jeremy Miller http://arxiv.org/abs/2210.03035v5 2024-06-30T12:46:13Z

We define an enrichment of the logarithmic derivative of the zeta function of a variety over a finite field to a power series with coefficients in the Grothendieck--Witt group. We show that this enrichment is related to the topology of the real points of a lift. For cellular schemes over a field, we prove a rationality result for this enriched logarithmic derivative of the zeta function as an analogue of part of the Weil conjectures. We also compute several examples, including toric varieties, and show that the enrichment is a motivic measure.

2022-10-06T16:38:25Z 41 pages, to appear in Transactions of the AMS Margaret Bilu Wei Ho Padmavathi Srinivasan Isabel Vogt Kirsten Wickelgren http://arxiv.org/abs/2406.19326v1 2024-06-27T16:57:35Z

We prove a transformation formula for the Goresky-Hingston loop coproduct in string topology under homotopy equivalences of manifolds. The formula involves the trace of the Whitehead torsion of the homotopy equivalence. In particular, it implies that the loop coproduct is invariant under simple homotopy equivalences. In a sense, our results determine the Dennis trace of the simple homotopy type of a closed manifold from its framed configuration spaces of $\leq 2$ points. We also explain how the loop coproduct arises as a secondary operation in a 2-dimensional TQFT which elucidates a topological origin of the transformation formula.

2024-06-27T16:57:35Z 63 pages Florian Naef Pavel Safronov http://arxiv.org/abs/2406.16215v2 2024-06-26T18:39:00Z

Triple periodic minimal surfaces (TPMS) have garnered significant interest due to their structural efficiency and controllable geometry, making them suitable for a wide range of applications. This paper investigates the relationships between porosity and persistence entropy with the shape factor of TPMS. We propose conjectures suggesting that these relationships are polynomial in nature, derived through the application of machine learning techniques. This study exemplifies the integration of machine learning methodologies in pure mathematical research. Besides the conjectures, we provide the mathematical models that might have the potential implications for the design and modeling of TPMS structures in various practical applications.

2024-06-23T20:46:19Z 20 pages, 8 figures Sergei Ermolenko Pavel Snopov http://arxiv.org/abs/2406.18091v1 2024-06-26T05:59:08Z

Waldhausen categories were introduced to extend algebraic $K$-theory beyond Quillen's exact categories. In this article, we modify Waldhausen's axioms so that it matches better with the theory of extriangulated categories, introducing a weak Waldhausen category and defining its Grothendieck group. Examples of weak Waldhausen categories include any extriangulated category, hence any exact or triangulated category, and any Waldhausen category. A key feature of this structure is that it allows for "one-sided" extriangulated localization theory, and thus enables us to extract right exact sequences of Grothendieck groups that we cannot obtain from the theory currently available. To demonstrate the utility of our Weak Waldhausen Localization Theorem, we give three applications. First, we give a new proof of the Extriangulated Localization Theorem proven by Enomoto--Saito, which is a generalization at the level of $K_0$ of Quillen's classical Localization Theorem for exact categories. Second, we give a new proof that the index with respect to an $n$-cluster tilting subcategory $\mathscr{X}$ of a triangulated category $\mathscr{C}$ induces an isomorphism between $K_0^{\mathsf{sp}}(\mathscr{X})$ and the Grothendieck group of an extriangulated substructure of $\mathscr{C}$. Last, we produce a weak Waldhausen $K_0$-generalization of a localization construction due to Sarazola that involves cotorsion pairs but allows for non-Serre localizations. We show that the right exact sequences of Grothendieck groups obtained from our Sarazola construction and the Extriangulated Localization Theorem agree under a common setup.

2024-06-26T05:59:08Z v1:44 pages, comments welcome, Lemma 4.2 was taken from an earlier version of arXiv:2311.10576 (from which it has now been removed) Yasuaki Ogawa Amit Shah http://arxiv.org/abs/2406.17705v1 2024-06-25T16:42:54Z

For every natural number $n$ and a fixed prime $p$, we prove a new congruence for the orbifold Euler characteristic of a group. The $p$-adic limit of these congruences as $n$ tends to infinity recovers the Brown-Quillen congruence. We apply these results to mapping class groups and using the Harer-Zagier formula we obtain a family of congruences for Bernoulli numbers. We show that these congruences in particular recover classical congruences for Bernoulli numbers due to Kummer, Voronoi, Carlitz, and Cohen.

2024-06-25T16:42:54Z 22 pages Irakli Patchkoria