https://arxiv.org/api/DaSyknXs5HkcwSW2Pr4Acvjjbn8 2026-04-12T13:29:16Z 6535 840 15 http://arxiv.org/abs/2409.18599v2 2024-10-07T08:12:18Z

This paper aims to find a unified approach to studying the cohomology theories of various operators on Leibniz algebras. We first introduce deformation maps in a proto-twilled Leibniz algebra to do this. Such maps generalize various well-known operators (such as homomorphisms, derivations, crossed homomorphisms, Rota-Baxter operators, modified Rota-Baxter operators, twisted Rota-Baxter operators, Reynolds operators etc) defined on Leibniz algebras and embedding tensors on Lie algebras. We define the cohomology of a deformation map unifying the existing cohomologies of all the operators mentioned above. Then we construct a curved $L_\infty$-algebra whose Maurer-Cartan elements are precisely deformation maps in a given proto-twilled Leibniz algebra. In particular, we get the Maurer-Cartan characterizations of modified Rota-Baxter operators, twisted Rota-Baxter operators and Reynolds operators on a Leibniz algebra. Finally, given a proto-twilled Leibniz algebra and a deformation map $r$, we construct two governing $L_\infty$-algebras, the first one controls the deformations of the operator $r$ while the second one controls the simultaneous deformations of both the proto-twilled Leibniz algebra and the operator $r$.

2024-09-27T10:00:16Z This is the first version and having 19 pages Apurba Das Suman Majhi Ramkrishna Mandal http://arxiv.org/abs/2410.04531v1 2024-10-06T15:59:57Z

In the tight-binding approximation, an Iwatsuka magnetic field is modeled by a function on $\mathbb{Z}^2$ with constant, but distinct values in the two parts of the lattice separated by a straight line of slope $α\in [-\infty,\infty]$. In this paper, the $K$-theory of the magnetic $C^*$-algebras generated by an Iwatsuka magnetic field for any possible $α$ is computed. One interesting aspect concerns the analysis of the behavior of the system in the transition from rational to irrational $α$. It turns out that when $α$ is irrational, the magnetic hull associated with the flux operator forms a Cantor set. On the other hand, for rational $α$ this set coincides with the two-point compactification of $\mathbb{Z}$. This characterization, along with the use of the Pimsner-Voiculescu exact sequence, is the main ingredient for the computation of the $K$-theory. Once the $K$-theory is known, with the use of the index theory one can deduce the bulk-interface correspondence for tight-binding Hamiltonians subjected to an Iwatsuka magnetic field. Notably, it occurs that the topological quantization of the interface currents remains independent of the slope $α$.

2024-10-06T15:59:57Z 35 pages. Keywords: Magnetic algebras, Iwatsuka magnetic field, bulk-interface correspondence, $K$-theory Giuseppe De Nittis Jaime Gomez Danilo Polo Ojito http://arxiv.org/abs/2410.04150v1 2024-10-05T13:18:29Z

It is proven that in the universal splitexact equivariant algebraic $KK$-theory for algebras, the $K$-theory groups coincide with classical $K$-theory in the sense of Phillips. This partially answers a question raised by Kasparov.

2024-10-05T13:18:29Z Bernhard Burgstaller http://arxiv.org/abs/2408.09390v2 2024-10-04T18:28:32Z

We compute the Chow ring of a quasi-split geometrically almost simple algebraic group assuming the coefficients to be a field. This extends the classical computation for split groups done by Kac to the non-split quasi-split case. For the proof we introduce and study equivariant conormed Chow rings, which are well adapted to the study of quasi-split groups and their homogeneous varieties.

2024-08-18T07:19:07Z 62 pages, v2: minor revision Alexey Ananyevskiy Nikita Geldhauser http://arxiv.org/abs/2410.03636v1 2024-10-04T17:42:36Z

We prove that a motivic equivalence of objects of the form \begin{equation*} X/(X-x)\simeq X^\prime/(X^\prime-x^\prime) \end{equation*} in $\mathbf{H}^\bullet(B)$ or $\mathbf{DM}(B)$ over a scheme $B$, where $x$ and $x^\prime$ are closed points of smooth $B$-schemes $X$ and $X^\prime$, implies an isomorphism of residue fields, i.e. \[x\cong x^\prime.\] For a given $d\geq 0$, $X,X^\prime\in\mathrm{Sm}_B$, $\operatorname{dim}_B X=d=\operatorname{dim}_B X^\prime$, and closed points $x$ and $x^\prime$ that residue fields are simple extensions of the ones of $B$, we show an isomorphism of groups \[\mathrm{Hom}_{\mathbf{DM}(B)}(X/(X-x),X^\prime/(X^\prime-x^\prime)))\cong\mathrm{Cor}(x,x^\prime),\] and prove that it leads to an equivalence of subcategories. Additionally, using the result on perverse homotopy heart by F.~Déglise and N.~Feld and F.~Jin and the strict homotopy invariance theorem for presheaves with transfers over fields by the first author, we prove an equivalence of the Rost cycle modules category and the homotopy heart of $\mathbf{DM}(k)$ over a field $k$ with integral coefficients.

2024-10-04T17:42:36Z Theorems A, B ware not presented before. Theorem C was once presented and already deleted in arxiv: 2311.16264 before it was included in this new preprint A. E. Druzhinin A. A. Urazbaev http://arxiv.org/abs/2409.19677v2 2024-10-02T08:13:15Z

The Graded Classification Conjecture states that for finite directed graphs $E$ and $F$, the associated Leavitt path algebras $L_\K(E)$ and $L_\K(F)$ are graded Morita equivalent, i.e., $\Gr L_\K(E) \approx_{\gr} \Gr L_\K(F)$, if and only if, their graded Grothendieck groups are isomorphic $K_0^{\gr}(L_\K(E)) \cong K_0^{\gr}(L_\K(F))$ as order-preserving $\mathbb Z[x,x^{-1}]$-modules. Furthermore, if under this isomorphism, the class $[L_\K(E)]$ is sent to $[L_\K(F)]$ then the algebras are graded isomorphic, i.e., $L_\K(E) \cong _{\gr} L_\K(F)$. In this note we show that, for finite graphs $E$ and $F$ with so sinks and sources, an order-preserving $\mathbb Z[x,x^{-1}]$-module isomorphism $K_0^{\gr}(L_\K(E)) \cong K_0^{\gr}(L_\K(F))$ gives that the categories of locally finite dimensional graded modules of $L_\K(E)$ and $L_\K(F)$ are equivalent, i.e., $\fGr[\mathbb{Z}] L_\K(E)\approx_{\gr} \fGr[\mathbb{Z}]L_\K(F).$ We further obtain that the category of finite dimensional (graded) modules are equivalent, i.e., $\fModd L_\K(E) \approx \fModd L_\K(F)$ and $\fGr L_\K(E) \approx_{\gr} \fGr L_\K(F)$.

2024-09-29T12:10:15Z Wolfgang Bock Roozbeh Hazrat Alfilgen Sebandal http://arxiv.org/abs/2410.00647v1 2024-10-01T13:00:48Z

We study a construction of diagrams of dualizable presentable stable $\infty$-categories associated with certain fiber-cofiber sequences over rigid bases, which are sent by localizing invariants, in particular continuous K-theory, to limit diagrams. We apply this to investigate two closely related types of diagrams pertinent to the formal gluing situation; we recover Clausen--Scholze's gluing of continuous K-theory along punctured tubular neighborhoods via Efimov's nuclear module category, and we verify a continuous version of adelic descent statement for localizing invariants on dualizable categories.

2024-10-01T13:00:48Z 41 pages, comments welcome Hyungseop Kim http://arxiv.org/abs/2309.00430v3 2024-10-01T08:16:18Z

Let $S$ and $T$ be smooth projective varieties over an algebraically closed field. Suppose that $S$ is a surface admitting a decomposition of the diagonal. We show that, away from the characteristic of $k$, if an algebraic correspondence $T \to S$ acts trivially on the unramified cohomology, then it acts trivially on any normalized, birational, and motivic functor. This generalizes Kahn's result on the torsion order of $S$. We also exhibit an example of $S$ over $\mathbb{C}$ for which $S \times S$ violates the integral Hodge conjecture.

2023-09-01T12:50:17Z 28 pages J. Inst. Math. Jussieu 24 (2025) 2283-2315 Kanetomo Sato Takao Yamazaki 10.1017/S1474748025100996 http://arxiv.org/abs/2410.00276v1 2024-09-30T23:06:22Z

2-Segal spaces arise not only from $S_\dotp$-constructions associated to Waldhausen and (proto) exact categories, but also from $S_\dotp$-constructions associated to certain double-categorical structures. A major step in this direction is due to the work of Bergner--Osorno--Ozornova--Rovelli--Scheimbauer, who propose augmented stable double Segal objects as a natural input for an $S_\dotp$-construction. More recently, another such input has been put forth: ACGW categories. ACGW categories have the advantage that they are combinatorial in nature (as opposed to homotopical or algebraic), and thus have fewer difficult coherence issues to work with. The goal of this paper is to introduce the reader to the key ideas and techniques for working with ACGW categories. To do so, we focus on how homology theory generalizes to ACGW categories, particularly in the central example of finite sets. We show how the ACGW formalism can be used to produce various classical homological algebra results such as the Snake lemma and long exact sequences of relative pairs.

2024-09-30T23:06:22Z Maru Sarazola Brandon Shapiro Inna Zakharevich http://arxiv.org/abs/2409.20523v1 2024-09-30T17:21:56Z

In this note, we prove that $K_{2i} (\mathbb{Z}/p^n) \neq 0$ if and only if $p-1$ divides $i$ and $0 \leq i \leq (p-1) p^{n-2}$, refining the even vanishing theorem of Antieau, Nikolaus and the first author in this case. As a corollary of our proof, we determine that the nilpotence order of $v_1$ in $π_* K(\mathbb{Z}/p^n)/p$ is equal to $\frac{p^n-1}{p-1}$. Our proof combines the recent crystallinity result for reduced syntomic cohomology of Hahn, Levy and the second author with the explicit complex computing the syntomic cohomology of $\mathcal{O}_K /\varpi^n$ constructed by Antieau, Nikolaus and the first author.

2024-09-30T17:21:56Z 10 pages Achim Krause Andrew Senger http://arxiv.org/abs/2410.00041v1 2024-09-27T12:30:28Z

Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected (but different from) group homology. It also gives a version of algebraic $K$-theory for rings by the simple functorial mapping assigning to a ring $R$ the (perfect>) commutator subgroup $E ( R )$ of the infinitedimensional general linear group over $R$.

2024-09-27T12:30:28Z 50 pages Ulrich Haag http://arxiv.org/abs/2410.07212v1 2024-09-26T14:54:12Z

The article gives the second part of the treatise on Regular Algebraic $K$-theory (Sections V & VI) of the author. Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected to (but different from) ordinary group homology. It also gives a version of algebraic $K$-theory for rings by the simple functorial mapping assigning to the ring $R$ the (perfect) commutator subgroup $E ( R )$ of the infinitedimensional general linear group over $R$.

2024-09-26T14:54:12Z 89 pages Ulrich Haag http://arxiv.org/abs/2401.14309v3 2024-09-25T07:08:01Z

The André-Quillen cohomology of an algebra with coefficients in a module is defined by deriving a functor based on Kähler differential forms. It can be computed using a cofibrant resolution of the algebra in a model category structure where weak equivalences are quasi-isomorphisms. This construction works for algebras over an operad, providing a cohomology theory tailored for each type of algebra. For curved algebras however, the notion of quasi-isomorphism is meaningless. The occurrence and importance of curved structures in various research topics (symplectic topology, deformation theory, derived geometry, mathematical physics) motivate the development of their homotopy theory and André-Quillen cohomology theory. To get a homotopical context with an appropriate notion of weak equivalence, we consider filtered complete modules with a predifferential inducing a differential on the associated graded. Curved algebras in such modules are algebras over a curved operad. In this article, we consider curved operads which are not necessarily augmented. Bar and cobar constructions adapted to these curved operads are developed, as well as Koszul duality theory. Consequently, we obtain homotopy versions of our curved algebras and make it explicit for interesting cases. Two main examples are the curved operads encoding curved unital associative algebras and curved complex Lie algebras. In particular, homotopy curved unital associative algebras describe the structure of Floer complexes of lagrangian submanifolds and Fukaya categories in symplectic topology. Bar and cobar constructions for curved algebras are also developed, and we obtain resolutions from which we compute their André-Quillen cohomology with module coefficients. Our computations in the case of curved complex Lie algebras reveal an interesting link between their André-Quillen cohomology and derived complex analytic geometry.

2024-01-25T16:57:44Z Some typos have been corrected. Comments welcome! Joan Bellier-Millès Sinan Yalin http://arxiv.org/abs/2408.09359v2 2024-09-24T05:03:30Z

We introduce a hierarchy for unital Kirchberg algebras with finitely generated K-groups by which the first and second homotopy groups of the automorphism groups serve as a complete invariant of classification. We also introduce an invariant called the total extension group which is the direct sum of the strong and weak extension groups. In the case of unital Kirchberg algebras with finitely generated K-groups, the total extension group gives a complete invariant and provides a useful tool to classify the Cuntz--Krieger algebras.

2024-08-18T04:48:27Z The title is changed, and several typos are corrected Kengo Matsumoto Taro Sogabe http://arxiv.org/abs/2409.14966v1 2024-09-23T12:37:18Z

For a stopped Liouville manifold arising from a Liouville sector, we construct a symplectic analogue of the formal neighborhood of the stop on the level of Fukaya categories. This geometric construction is performed via Floer-theoretic methods by allowing wrappings in the negative direction. On the other hand, inspired by homological mirror symmetry for pairs, where the mirror is the formal neighborhood of a divisor in an ambient projective variety, there is a different approach by taking a `categorical formal completion' introduced by Efimov. Our main results establishes equivalence of these two approaches, confirms computability of this new type of Floer theory by categorical and algebraic means, and indicates contributions from and to computations in homological mirror symmetry.

2024-09-23T12:37:18Z 58 pages, comments welcome Yuan Gao