https://arxiv.org/api/fzloCYHGKnga+CHQJFHF6i0ruA8 2026-04-10T09:57:34Z 6535 660 15 http://arxiv.org/abs/1912.10544v3 2025-02-19T05:17:11Z

We prove that the set of concordance classes of sections of an infinity-sheaf on a manifold is representable, extending a theorem of Madsen and Weiss. This is reminiscent of an h-principle in which the role of isotopy is played by concordance. As an application, we offer an answer to the question: what does the classifying space of a Segal space classify?

2019-12-22T21:28:11Z 35 pages. Comments are very welcome. v2: Many expository improvements. v3: Identical to the journal version except for formatting and style Algebr. Geom. Topol. 24 (2024) 4891-4937 Daniel Berwick-Evans Pedro Boavida de Brito Dmitri Pavlov 10.2140/agt.2024.24.4891 http://arxiv.org/abs/2305.00789v2 2025-02-18T11:55:13Z

Classical polylogarithms give rise to a variation of mixed Hodge-Tate structures on the punctured projective line $S=\mathbb{P}^1\setminus \{0, 1, \infty\}$, which is an extension of the symmetric power of the Kummer variation by a trivial variation. By results of Beilinson-Deligne, Huber-Wildeshaus, and Ayoub, this polylogarithm variation has a lift to the category of mixed Tate motives over $S$, whose existence is proved by computing the corresponding space of extensions in both the motivic and the Hodge settings. In this paper, we construct the polylogarithm motive as an explicit relative cohomology motive, namely that of the complement of the hypersurface $\{1-zt_1\cdots t_n=0\}$ in affine space $\mathbb{A}^n_S$ relative to the union of the hyperplanes $\{t_i=0\}$ and $\{t_i=1\}$.

2023-05-01T12:38:06Z 32 pages Épijournal de Géométrie Algébrique, Volume 9 (February 23, 2025) epiga:11558 Clément Dupont Javier Fresán 10.46298/epiga.2025.11558 http://arxiv.org/abs/2311.07958v2 2025-02-18T05:58:43Z

Lurie and Gepner--Meier each define equivariant cohomology theories, namely \emph{tempered cohomology} and \emph{equivariant elliptic cohomology}, respectively, using derived algebraic geometry. We construct a natural equivalence between these theories where they overlap. Moreover, we emphasise the naturality and coherence of both these equivariant theories as well as our comparison. To demonstrate the use of this comparison, we show that the $G$-fixed points of equivariant topological modular forms is dualisable as a $\mathrm{TMF}$-module for all compact Lie groups $G$ that decompose as a product of a torus and a finite group by formally reducing to an argument of Gepner--Meier.

2023-11-14T07:21:17Z 26 pages, comments welcome, v2 generalises the set-up of abelian varieties to abelian sheaves and refines Conj.0.1 Jack Morgan Davies http://arxiv.org/abs/2502.10690v1 2025-02-15T06:36:58Z

This paper presents a comparison between two versions of Bott Periodicity Theorems: one in topological K-theory and the other in stable homotopy groups of classical groups. It begins with an introduction to K-theory, discussing vector bundles and their role in understanding the algebraic and topological aspects of these spaces. Then the two versions of Bott periodicity, as well as the topological notions necessary to understand them, are further explored. The aim is to illustrate the connections and distinctions between these two theorems, deepening our understanding of their underlying mathematical structures such as topological K-theory and fiber bundles.

2025-02-15T06:36:58Z 18 pages, 1 figure Ivan Z. Feng http://arxiv.org/abs/2502.09751v1 2025-02-13T20:09:48Z

Interview with Hyman Bass, whose mathematical life has spanned seven decades.

2025-02-13T20:09:48Z Notices of the AMS, 2025 Hyman Bass Lisa Carbone Yvonne Lai http://arxiv.org/abs/2110.04679v3 2025-02-11T17:58:23Z

We establish a Dwyer-Kan equivalence of relative categories of combinatorial model categories, presentable quasicategories, and other models for locally presentable (infinity,1)-categories. This implies that the underlying quasicategories of these relative categories are also equivalent.

2021-10-10T01:40:30Z 35 pages. Comments and questions are welcome. v2: Minor corrections and improvements. v3: Identical to the journal version except for formatting and style Journal of Pure and Applied Algebra 229:2 (2025), 107860, 1-39 Dmitri Pavlov 10.1016/j.jpaa.2024.107860 http://arxiv.org/abs/2501.01567v2 2025-02-10T22:15:58Z

We take a fresh look at the relationship between $K$-regularity and regularity of schemes, proving two results in this direction. First, we show that $K_2$-regular affine algebras over fields of characteristic zero are normal. Second, we improve on Vorst's $K$-regularity bound in the case of local complete intersections; this is related to recent work on higher du Bois singularities.

2025-01-02T23:02:32Z v2 12 pages. Added a result on the dimension of the singular set of local complete intersection du Bois singularities, communicated to us by Wanchun Shen. Added acknowledgements and declarations necessary for submission Christian Haesemeyer Charles A. Weibel http://arxiv.org/abs/2502.04123v2 2025-02-10T13:08:13Z

In this paper we study the category of nuclear modules on an affine formal scheme as defined by Clausen and Scholze \cite{CS20}. We also study related constructions in the framework of dualizable and rigid monoidal categories. We prove that the $K$-theory (in the sense of \cite{E24}) of the category of nuclear modules on $\operatorname{Spf}(R^{\wedge}_I)$ is isomorphic to the classical continuous $K$-theory, which in the noetherian case is given by the limit $\varprojlim\limits_{n} K(R/I^n).$ This isomorphism was conjectured previously by Clausen and Scholze. More precisely, we study two versions of the category of nuclear modules: the original one defined in \cite{CS20} and a different version, which contains the original one as a full subcategory. For our category $\operatorname{Nuc}(R^{\wedge}_I)$ we give three equivalent definitions. The first definition is by taking the internal $\operatorname{Hom}$ in the category $\operatorname{Cat}_R^{\operatorname{dual}}$ of $R$-linear dualizable categories. The second definition is by taking the rigidification of the usual $I$-complete derived category of $R.$ The third definition is by taking an inverse limit in $\operatorname{Cat}_R^{\operatorname{dual}}.$ For each of the three approaches we prove that the corresponding construction is well-behaved in a certain sense. Moreover, we prove that the two versions of the category of nuclear modules have the same $K$-theory, and in fact the same finitary localizing invariants.

2025-02-06T14:55:07Z 121 pages; v2: minor changes, typos corrected Alexander I. Efimov http://arxiv.org/abs/2411.04614v2 2025-02-07T10:34:37Z

We introduce a general definition of a $n$-crossed module of $P$-algebras over an algebraic operad $P$, which coincides with historical definitions in the cases of the operads As and Lie and $n = 1$. We establish a natural isomorphism between the abelian group of equivalence classes of $n$-crossed modules over a pair $(A,M)$ for an operad $P$ and the $(n+1)^\text{th}$ operadic cohomology group of $A$ with coefficients in $M$.

2024-11-07T10:55:43Z 22 pages Johan Leray Salim Rivière Friedrich Wagemann http://arxiv.org/abs/2502.04546v1 2025-02-06T22:51:43Z

We prove that the Nakayama automorphism of a Frobenius algebra acts trivially on the Hochschild cohomology of the algebra. As an application of this fact, we show how to construct certain invariants attached to such algebras, and to their automorphisms and derivations.

2025-02-06T22:51:43Z 76 pages Mariano Suárez-Álvarez http://arxiv.org/abs/2405.12169v3 2025-02-06T12:33:26Z

In this paper we introduce and study the so-called continuous $K$-theory for a certain class of "large" stable $\infty$-categories, more precisely, for dualizable presentable categories. For compactly generated categories, the continuous $K$-theory is simply the usual (non-connective) $K$-theory of the full subcategory of compact objects. More generally, we show that any localizing invariant of small stable $\infty$-categories can be uniquely extended to a localizing invariant of dualizable categories. We compute the continuous $K$-theory for categories of sheaves on locally compact Hausdorff spaces. Using the special case for sheaves on the real line, we give an alternative proof of the theorem of Kasprowski and Winges \cite{KW19} on the commutation of $K$-theory with infinite products for small stable $\infty$-categories. We also study the general theory of dualizable categories. In particular, we give an "explicit" proof of Ramzi's theorem \cite{Ram24a} on the $ω_1$-presentability of the category of dualizable categories. Among other things, we prove that dualizability is equivalent to "flatness" in the category of presentable stable categories.

2024-05-20T16:52:58Z 133 pages; v3: some results added, exposition expanded, typos corrected, references added Alexander I. Efimov http://arxiv.org/abs/2406.16329v3 2025-02-05T10:30:14Z

Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category of right H-comodules given in Farina's paper. In the first part of this paper, we show that the category of left A-module objects in the category of right H-comodules admits a model structure, which becomes a model subcategory of the category of H*-equivariant A-modules endowed with a model structure given in the author's previous paper if H is finite dimensional with a certain assumption. Note that this category is not a Frobenius category in general. We also construct a functorial cofibrant replacement by proceeding the similar argument as in Qi's paper. In the latter half of this paper, we see that cyclic H-comodules which give Hopf-cyclic (co)homology with coefficients in Hopf H-modules are contructible in the homotopy category of right H-comodules, and we investigate a Hopf-cyclic (co)homology in slightly modified setting by assuming A a right H-comodule k-Hopf algebra with H-colinear bijective antipode in stable category of right H-comodules and give an analogue of the characteristic map. We remark that, as an expansion of an idea of taking trivial comodule k as the coefficients, if we take an A-coinvariant part of M assuming M a Hopf A-module in the category of right H-comodules, we have the degree shift of cyclic modules.

2024-06-24T05:46:58Z 23 pages (Revised on Jul.2: we take another injective embedding of M, and modify cylinder and suspention. And, so we remove the condition Ληis not equal to zero, which is cosemisimple condition and it has slipped my mind !) Journal of Algebra, Volume 668, 15 April 2025, Pages 365-389 Mariko Ohara 10.1016/j.jalgebra.2025.01.011 http://arxiv.org/abs/2502.02325v1 2025-02-04T13:52:37Z

Let $M$ be a closed spin manifold, in this paper, we show that if there is a foliation $(M,F)$ and a Riemannian metric on $M$ that has leafwise positive scalar curvature then the Rosenberg index of $M$ is zero.

2025-02-04T13:52:37Z Guangxiang Su Zelin Yi http://arxiv.org/abs/2305.09997v3 2025-02-04T13:23:08Z

We revisit the procedure of deformation of $C^*$-algebras via coactions of locally compact groups and extend the methods to cover deformations for maximal, reduced, and exotic coactions for a given group $G$ and circle-valued Borel $2$-cocycles on $G$. In the special case of reduced (or normal) coactions our deformation method substantially differs from -- but turns out to be equivalent to -- the ones used by previous authors, specially those given by Bhowmick, Neshveyev, and Sangha in [7]. Our approach yields all expected results, like a good behaviour of deformations under nuclearity, continuity of fields of $C^*$-algebras and $K$-theory invariance under mild conditions.

2023-05-17T06:43:13Z 38 pages, final version to appear in Studia Math Alcides Buss Siegfried Echterhoff http://arxiv.org/abs/2502.01967v1 2025-02-04T03:26:24Z

In this paper, we give an explicit chain map, which induces the algebra isomorphism between the Hochschild cohomology ${\bf HH}^{\bullet}(B)$ and the $H$-invariant subalgebra ${\bf H}^{\bullet}(A, B)^{H}$ under two mild hypotheses, where $H$ is a finite dimensional semisimple Hopf algebra and $B$ is an $H$-Galois extension of $A$. In particular, the smash product $B=A\#H$ always satisfies the mild hypotheses. The isomorphism between ${\bf HH}^{\bullet}(A\#H)$ and ${\bf H}^{\bullet}(A, A\#H)^{H}$ generalizes the classical result of group actions. As an application, Hochschild cohomology and cup product of the smash product of the quantum $(-1)$-plane and Kac--Paljutkin Hopf algebra are computed.

2025-02-04T03:26:24Z Liyu Liu Wei Ren Shengqiang Wang