https://arxiv.org/api/+bjehfZ5Z4/NrqfJx2dhvATi3iM 2026-04-13T02:15:23Z 6536 960 15 http://arxiv.org/abs/2210.01664v2 2024-06-07T17:16:09Z

A complex $C^\bullet(C,D)(F,G)(η, θ)$, generalising the Davydov-Yetter complex of a monoidal category, is constructed. Here $C,D$ are $\Bbbk$-linear (dg) monoidal categories, $F,G\colon C\to D$ are $\Bbbk$-linear (dg) strict monoidal functors, $η,θ\colon F\Rightarrow G$ are monoidal natural transformations. Morally, it is a complex of ``derived modifications'' $η\Rrightarrow θ$, likewise for the case of dg categories one has the complex of ``derived natural transformations'' $F\Rightarrow G$, given by the Hochschild cochain complex of $C$ with coefficients in $C$-bimodule $D(F-,G=)$. As well, an intrinsic homological algebra interpretation of $C^\bullet(C,D)(F,G)(η,θ)$ as $RHom$ in an abelian category of 2-bimodules over $C$, is provided. The complex $C^\bullet(C,D)(F,G)(η,θ)$ naturally arises from a 2-cocellular dg vector space $A(C,D)(F,G)(η,θ)\colon Θ_2\to C^\bullet(\Bbbk)$, as its $Θ_2$-totalization (here $Θ_2$ is the category dual to the category of Joyal 2-disks). It is shown that $H^3(C^\bullet(C,C)(\mathrm{Id},\mathrm{Id})(\mathrm{id},\mathrm{id})))$ is isomorphic to the vector space of the outer infinitesimal deformations of the $\Bbbk$-linear monoidal category which we call {\it full} deformations. It means that the following data is to be deformed: (a) the underlying dg category structure, (b) the monoidal product on morphisms (the monoidal product on objects is a set-theoretical datum and is maintained under the deformation), (c) the associator. It is shown that $C^\bullet(C,D)(F,F)(\mathrm{id},\mathrm{id})$ is a homotopy $e_2$-algebra. Conjecturally, $C^\bullet(C,C)(\mathrm{Id},\mathrm{Id})(\mathrm{id},\mathrm{id})$ is a homotopy $e_3$-algebra; however the proof requires more sophisticated methods and we hope to complete it in our next paper.

2022-10-04T15:03:51Z v2, essentially improved and corrected, 69 pages Piergiorgio Panero Boris Shoikhet http://arxiv.org/abs/2402.08660v3 2024-06-06T20:20:26Z

We propose a solution to the "curvature problem" from arXiv:1505.03698 and arXiv:0905.3845 for infinitesimal deformations. Let $k$ be a field, $A$ a dg algebra over $k$ and $A_n = A[t]/(t^{n+1})$ a cdg algebra over $R_n = k[t]/(t^{n+1})$, $n \geq 0$, with reduction $A_n/tA_n = A$. We define the $n$-derived category $D^n(A_n)$ as the quotient of the homotopy category by the modules for which all quotients appearing in the associated graded object are acyclic. We prove this to be a compactly generated triangulated category with a semiorthogonal decomposition by $n + 1$ copies of $D(A)$, in which Positselski's semiderived category embeds admissibly.

2024-02-13T18:42:28Z 39 pages, no figures; v3: New introduction. Added Section 6.1 and Proposition 7.10 Alessandro Lehmann Wendy Lowen http://arxiv.org/abs/2306.16082v3 2024-06-06T07:41:51Z

We show that in a finite tensor category, the tensor product property holds for support varieties if and only if it holds between indecomposable periodic objects. We apply this to certain Hopf algebras in the form of skew group algebras. In particular, we show that the tensor product property holds for all objects in a symmetric finite tensor category over an algebraically closed field of characteristic zero.

2023-06-28T10:29:19Z 29 pages Petter Andreas Bergh Julia Yael Plavnik Sarah Witherspoon http://arxiv.org/abs/2308.01977v2 2024-06-04T11:02:06Z

We extend the notion of a spectral triple to that of a higher-order relative spectral triple, which accommodates several types of hypoelliptic differential operators on manifolds with boundary. The bounded transform of a higher-order relative spectral triple gives rise to a relative K-homology cycle. In the case of an elliptic differential operator on a compact smooth manifold with boundary, we calculate the K-homology boundary map of the constructed relative K-homology cycle to obtain a generalization of the Baum-Douglas-Taylor index theorem.

2023-08-03T18:12:01Z 34 pages Magnus Fries http://arxiv.org/abs/2406.01212v1 2024-06-03T11:28:21Z

Let $k$ be a field of positive characteristic $p$, and $X$ be a separated of finite type $k$-scheme of dimension $d$. We construct a cycle map from the additive cycle complex to the residual complex of Serre-Grothendieck coherent duality theory. This map is compatible with a cubical version of the map constructed in [Ren23] arXiv:2104.09662 when $k$ is perfect. As a corollary, we get injectivity statements for (additive) higher Chow groups as well as for motivic cohomology (with modulus) with $\mathbb{Z}/p$ coefficients when $k$ is algebraically closed.

2024-06-03T11:28:21Z 13 pages. v2 comes soon Fei Ren http://arxiv.org/abs/2310.00275v2 2024-06-02T11:55:48Z

Using higher descent for chromatically localized algebraic $K$-theory, we show that the higher semiadditive cardinality of a $π$-finite $p$-space $A$ at the Lubin-Tate spectrum $E_n$ is equal to the higher semiadditive cardinality of the free loop space $LA$ at $E_{n-1}$. By induction, it is thus equal to the homotopy cardinality of the $n$-fold free loop space $L^n A$. We explain how this allows one to bypass the Ravenel-Wilson computation in the proof of the $\infty$-semiadditivity of the $T(n)$-local categories.

2023-09-30T06:47:47Z 9 page, final version International Mathematics Research Notices, 2024, rnae109 Shay Ben-Moshe Shachar Carmeli Tomer M. Schlank Lior Yanovski 10.1093/imrn/rnae109 http://arxiv.org/abs/2301.11383v2 2024-05-31T20:41:18Z

Let $\mathfrak{sl}(2)\ltimes \mathfrak{h}_n$, $n\ge 1$, be the Galilean Lie algebra over a field of characteristic zero, here $\mathfrak{h}_{n}$ is the Heisenberg Lie algebra of dimension $2n+1$, and $\mathfrak{sl}(2)$ acts on $\mathfrak{h}_{n}$ so that $\mathfrak{h}_n\simeq V(2n-1)\oplus V(0)$ as $\mathfrak{sl}(2)$-modules (here $V(k)$ denotes the irreducible $\mathfrak{sl}(2)$-module of highest weight $k$). In this paper, we study the tensor product of two uniserial representations of $\mathfrak{sl}(2)\ltimes \mathfrak{h}_n$. We obtain the $\mathfrak{sl}(2)$-module structure of the socle of $V\otimes W$ and we describe the space of intertwining operators $\text{Hom}_{\mathfrak{sl}(2)\ltimes \mathfrak{h}_n}(V,W)$, where $V$ and $W$ are uniserial representations of $\mathfrak{sl}(2)\ltimes \mathfrak{h}_n$. The structure of the radical of $V\otimes W$ follows from that of the socle of $V^*\otimes W^*$. The result is subtle and shows how difficult is to obtain the whole socle series of arbitrary tensor products of uniserials. In contrast to the serial associative case, our results for $\mathfrak{sl}(2)\ltimes \mathfrak{h}_n$ reveal that these tensor products are far from being a direct sum of uniserials; in particular, there are cases in which the tensor product of two uniserial $\big(\mathfrak{sl}(2)\ltimes \mathfrak{h}_n\big)$-modules is indecomposable but not uniserial. Recall that a foundational result of T. Nakayama states that every finitely generated module over a serial associative algebra is a direct sum of uniserial modules. This article extends a previous work in which we obtained the corresponding results for the Lie algebra $\mathfrak{sl}(2)\ltimes \mathfrak{a}_m$ where $\mathfrak{a}_m$ is the abelian Lie algebra of dimension $m+1$ and $\mathfrak{sl}(2)$ acts so that $\mathfrak{a}_m\simeq V(m)$ as $\mathfrak{sl}(2)$-modules.

2023-01-26T19:53:39Z To appear in Annali di Matematica Pura ed Applicata (1923 -). arXiv admin note: text overlap with arXiv:2201.10605 Leandro Cagliero Iván Gómez Rivera 10.1007/s10231-024-01439-x http://arxiv.org/abs/2405.20942v1 2024-05-31T15:40:58Z

In the first part of the paper, we define the concept of a $G$-table of a $G$-(co)algebra and we compute the $G$-table of some $G$-(co)algebras (here a $G$-algebra is an algebra on which $G$ acts, semisimply, by algebra automorphisms). The $G$-table of a $G$-(co)algebra $A$ is a set of scalars that provides very precise and concise information about both the algebra structure and the $G$-module structure of $A$. In particular, the ordinary multiplication table of $A$ can be derived from the $G$-table of $A$. From the $G$-table of a $G$-algebra $A$ we define a plain algebra $P(A)$ associated to it and we present some basic functoriality results about $P$. Obtaining the $G$-table of a given $G$-algebra $A$ requires a considerable amount of work but, the result, is a very powerful tool as shown in the second part of the paper. Here we compute the $SL(2)$-tables of the Poisson algebra structure of the even-degree part of the cohomology associated to the cotangent bundle of the 3-dimensional Heisenberg Lie group with Lie algebra $h$, that is $H_E(h)=H_E^{\bullet}(h,\bigwedge^{\bullet}h)$. This Poisson $SL(2)$-algebra has dimension 18. From these $SL(2)$-tables we deduce that the underlying Lie algebra of $H_E(h)$ is isomorphic to $gl(3)\ltimes gl(3)_{ab}$ with the first factor acting on the second (abelian) one by the adjoint representation. We find it remarkable that the Lie algebra structure on $H_{E}(h)$ contains a semisimple Lie subalgebra (in this case $sl(3)$) strictly larger than the Levi factor of $\text{Der}(h)$, which in this case is $sl(2)\subset H^{1}(h,h)$. This means that the Levi factor of the Lie algebra $H_{E}(h)$ has nontrivial elements outside $H^{1}(h,h)$. Finally, this leads us to find a family of commutative Poisson algebras whose underlying Lie structure is $gl(n)\ltimes gl(n)_{ab}$ (arbitrary $n$) such that, for $n=3$, is isomorphic to $H_E(h)$.

2024-05-31T15:40:58Z Leandro Cagliero Gonzalo Gutierrez http://arxiv.org/abs/2405.20854v1 2024-05-31T14:37:21Z

In this article we study the homotopy theory of pre-Calabi-Yau morphisms, viewing them as Maurer-Cartan elements of an $L_{\infty}$-algebra. We give two different notions of homotopy: a notion of weak homotopy for morphisms between $d$-pre-Calabi-Yau categories whose underlying graded quivers on the domain (resp. codomain) are the same, and a notion of homotopy for morphisms between fixed pre-Calabi-Yau categories $(\mathcal{A},s_{d+1}M_{\mathcal{A}})$ and $(\mathcal{B},s_{d+1}M_{\mathcal{B}})$. Then, we show that the notion of homotopy is stable under composition and that homotopy equivalences are quasi-isomorphisms. Finally, we prove that the functor constructed by the author in a previous article between the category of pre-Calabi-Yau categories and the partial category of $A_{\infty}$-categories of the form $\mathcal{A}\oplus\mathcal{A}^*[d-1]$, for $\mathcal{A}$ a graded quiver, together with hat morphisms sends homotopic $d$-pre-Calabi-Yau morphisms to weak homotopic $A_{\infty}$-morphisms.

2024-05-31T14:37:21Z 54 pages Marion Boucrot http://arxiv.org/abs/2405.18885v1 2024-05-29T08:41:49Z

In equivariant topology, Greenlees and May used Mackey functors to show that, rationally, the stable homotopy category of $G$-spectra over a finite group $G$ splits as a product of simpler module categories. We extend the algebraic part (also independently proved by Thévenaz and Webb) of this classical result to Mackey modules over an arbitrary Green functor, and use the case of the complex representation ring Green functor to obtain an algebraic model of the rational equivariant Kasparov category of $G$-cell algebras.

2024-05-29T08:41:49Z 15 pages Serge Bouc Ivo Dell'Ambrogio Rubén Martos http://arxiv.org/abs/2405.17854v1 2024-05-28T06:13:32Z

We study Schubert calculus in the torus-equivariant quantum $K$-ring of the Lagrangian Grassmannian $\mathrm{LG}(n)$. Our main tool is the $K$-theoretic Peterson map due to Kato. The map is from the (localized) equivariant $K$-homology ring $K_{*}^{T}(\mathrm{Gr}_{G})$ of the affine Grassmannian $\mathrm{Gr}_{G}$ of the symplectic group $G=\mathrm{Sp}_{2n}(\mathbb{C})$ to the (localized) torus-equivariant quantum $K$-ring $QK_{T}(\mathrm{LG}(n))$. We determine explicitly the kernel of this map.

2024-05-28T06:13:32Z 18 pages Takeshi Ikeda Takafumi Kouno Yusuke Nakayama Kohei Yamaguchi http://arxiv.org/abs/2405.03204v2 2024-05-28T01:30:42Z

A $λ$-graph system is a labeled Bratteli diagram with certain additional structure, which presents a subshift. The class of the $C^*$-algebras $\mathcal{O}_{\frak L}$ associated with the $λ$-graph systems is a generalized class of the class of Cuntz--Krieger algebras. In this paper, we will compute the strong extension groups $\operatorname{Ext}_{\operatorname{s}}(\mathcal{O}_{\frak L})$ for the $C^*$-algebras associated with $λ$-graph systems ${\frak L}$ and study their relation with the weak extension group $\operatorname{Ext}_{\operatorname{w}}(\mathcal{O}_{\frak L})$.

2024-05-06T07:05:20Z Several typos were corrected. 25 pages Kengo Matsumoto http://arxiv.org/abs/2310.06064v3 2024-05-26T23:28:10Z

Topological T-duality is a relationship between pairs (E, P ) over a fixed space X, where E over X is a principal torus bundle and P over E is a twist, such as a gerbe of principal PU(H)-bundle. This is of interest to topologists because of the T-duality transformation: a T-duality relation between pairs (E, P ) and (F, Q ) comes with an isomorphism (with degree shift) between the twisted K-theory of E and the twisted K-theory of F. We formulate topological T-duality in the equivariant setting, following the definition of Bunke, Rumpf, and Schick. We define the T-duality transformation in equivariant K-theory and show that it is an isomorphism for actions of compact Lie groups, equal to its own inverse and uniquely characterized by naturality and a normalization for trivial situations.

2023-10-09T18:14:14Z 36 pages, v2: added discussion of uniqueness of T-duality transform, correction of typos, update of references. v3 Added reference on physics background. Stressed that we deal with circle bundle case -final version, to appear in Communications in Mathematical Physics Commun. Math. Phys. (2024) 405:179 Tom Dove Universität Göttingen Thomas Schick Universität Göttingen 10.1007/s00220-024-05044-0 http://arxiv.org/abs/2210.02332v3 2024-05-26T15:27:00Z

The paper is devoted to the index theory of orbital and transverse elliptic operators on manifolds with a proper Lie group action. It corrects errors of my previous paper (published in JNCG in 2016) on transverse operators and contains new results. The two index theories, orbital and transverse, are very much intertwined and interdependent, and are treated together. The theory of orbital operators is developed from the basic definitions to the final index theorem. The KK-theoretic proofs of index theorems for elliptic, t-elliptic and orbital elliptic operators are given in sections 9, 10, 11. Throughout the paper, we use a simpler method in constructing pseudo-differential operators.

2022-10-05T15:36:41Z 52 pages Gennadi Kasparov http://arxiv.org/abs/2405.14465v1 2024-05-23T11:54:04Z

This paper proposes a connection between algebraic K-theory and foam cobordisms, where foams are stratified manifolds with singularities of a prescribed form. We consider $n$-dimensional foams equipped with a flat bundle of finitely-generated projective $R$-modules over each facet of the foam, together with gluing conditions along the subfoam of singular points. In a suitable sense which will become clear, a vertex (or the smallest stratum) of an $n$-dimensional foam replaces an $(n+1)$-simplex with a total ordering of vertices. We show that the first K-theory group of a ring $R$ can be identified with the cobordism group of decorated 1-foams embedded in the plane. A similar relation between the $n$-th algebraic K-theory group of a ring $R$ and the cobordism group of decorated $n$-foams embedded in $\mathbb{R}^{n+1}$ is expected for $n>1$. An analogous correspondence is proposed for arbitrary exact categories. Modifying the embedding and other conditions on the foams may lead to new flavors of K-theory groups.

2024-05-23T11:54:04Z 57 pages, many figures David Gepner Mee Seong Im Mikhail Khovanov Nitu Kitchloo