https://arxiv.org/api/2ZedAbRuWyn8KkzCWNQT9ZfMFyc 2026-04-10T17:26:29Z 6535 735 15 http://arxiv.org/abs/2412.16340v1 2024-12-20T21:02:42Z

In 1960, J.F. Adams introduced secondary cohomology operations that are defined on cohomology elements on which sufficiently many Steenrod algebra elements vanish. This led to his theorem on singly generated cohomology rings, which in turn led to his celebrated resolution of the Hopf invariant one problem. Here we advertise a conjecture that would extend Adams' result and prove it in a special case.

2024-12-20T21:02:42Z 14 pages John R. Harper Lee Kennard http://arxiv.org/abs/2412.15569v1 2024-12-20T05:05:27Z

Our primary aim in this paper is to introduce and study the cohomology of a Nijenhuis operator and of a Nijenhuis algebra. Our cohomology of a Nijenhuis algebra controls the simultaneous deformations of the underlying associative structure and the Nijenhuis operator. We interpret the second cohomology group as the space of all isomorphism classes of abelian extensions. Then we study the inducibility of a pair of Nijenhuis algebra automorphisms in a given abelian extension and show that the corresponding obstruction can be seen as the image of a suitable Wells-type map. We also consider skeletal and strict $2$-term homotopy Nijenhuis algebras and characterize them by third cocycles of Nijenhuis algebras and crossed modules of Nijenhuis algebras, respectively. Finally, we introduce strict homotopy Nijenhuis operators on $A_\infty$-algebras and show that they induce $NS_\infty$-algebras.

2024-12-20T05:05:27Z 30 pages Apurba Das http://arxiv.org/abs/2303.00263v2 2024-12-19T08:22:40Z

Given a domain of characteristic zero $R$, we functorially construct a rigid symmetric monoidal stable $\infty$-category whose $K_0$ is $R$, solving a problem of Khovanov. We also functorially construct for any reduced commutative ring $R$ a rigid braided monoidal stable $\infty$-category whose $K_0$ is $R$.

2023-03-01T06:35:47Z 13 pages, final version Ishan Levy 10.4171/qt/228 http://arxiv.org/abs/2312.17600v2 2024-12-18T13:14:03Z

We consider generalised Dirac--Schrödinger operators, consisting of a self-adjoint elliptic first-order differential operator D with a skew-adjoint 'potential' given by a (suitable) family of unbounded operators. The index of such an operator represents the pairing (Kasparov product) of the K-theory class of the potential with the K-homology class of D. Our main result in this paper is a generalisation of the Callias Theorem: the index of the Dirac--Schrödinger operator can be computed on a suitable compact hypersurface. Our theorem simultaneously generalises (and is inspired by) the well-known result that the spectral flow of a path of relatively compact perturbations depends only on the endpoints.

2023-12-29T13:31:13Z Accepted version, 33 pages. To appear in Forum Math. Sigma Forum of Mathematics, Sigma 13 (2025) e11 Koen van den Dungen 10.1017/fms.2024.157 http://arxiv.org/abs/2402.08665v4 2024-12-18T12:10:04Z

Given a C$^*$-algebra $A$ with an almost periodic time evolution $σ$, we define a new C$^*$-algebra $A_c$, which we call the crystal of $(A,σ)$, that represents the zero temperature limit of $(A, σ)$. We prove that there is a one-to-one correspondence between the ground states of $(A,σ)$ and the states on $A_c$, justifying the name. In order to investigate further the relation between low temperature equilibrium states on $A$ and traces on $A_c$, we define a Fock module $\mathcal F$ over the crystal and construct a vacuum representation of $A$ on $\mathcal F$. This allows us to show, under relatively mild assumptions, that for sufficiently large inverse temperatures $β$ the $σ$-KMS$_β$-states on $A$ are induced from traces on $A_c$ by means of the Fock module. In the second part, we compare the K-theoretic structures of $A$ and $A_c$. Previous work by various authors suggests that they have (rationally) isomorphic K-groups. We analyze this phenomenon in detail, confirming it under favorable conditions, but showing that, in general, there is apparently no easy way to relate these groups. As examples, we discuss in particular Exel's results on semi-saturated circle actions, and recent results of Miller on the K-theory of inverse semigroup C$^*$-algebras. In relation to the latter, we introduce the notion of a scale $N$ on an inverse semigroup $I$ and define a new inverse semigroup $I_c$, which we call the crystal of $(I,N)$.

2024-02-13T18:47:43Z 27 pages: v4: minor corrections, shortened last section, to appear in CIMP; v3: minor fixes, references added; v2: minor fixes Marcelo Laca Sergey Neshveyev Makoto Yamashita http://arxiv.org/abs/2411.07328v2 2024-12-18T01:21:21Z

We develop a correspondence between presentations of compactly generated triangulated categories as localizations of derived categories of ring spectra and proxy-small objects, and explore some consequences. In addition, we give a characterization of proxy-smallness in terms of coproduct preservation of the associated corepresentable functor `up to base change'.

2024-11-11T19:37:41Z 17 pages; minor changes and additions Benjamin Briggs Srikanth B. Iyengar Greg Stevenson http://arxiv.org/abs/2008.08566v3 2024-12-17T15:15:46Z

Inspired by the work of Bell on the dynamical Mordell-Lang conjecture, and by family Floer cohomology, we construct p-adic analytic families of bimodules on the Fukaya category of a monotone or negatively monotone symplectic manifold, interpolating the bimodules corresponding to iterates of a symplectomorphism $φ$ isotopic to the identity. This family can be thought of as a $p$-adic analytic action on the Fukaya category. Using this, we deduce that the ranks of the Floer cohomology groups $HF(φ^k(L),L';Λ)$ are constant in $k\in\mathbb{Z}$, with finitely many possible exceptions. We also prove an analogous result without the monotonicity assumption for generic $φ$ isotopic to the identity by showing how to construct a p-adic analytic action in this case. We give applications to categorical entropy and a conjecture of Seidel.

2020-08-19T17:50:07Z 47 pages, 9 figures Yusuf Barış Kartal http://arxiv.org/abs/2412.12421v1 2024-12-17T00:05:57Z

Beilinson and Deligne proved a weak version of Zagier's conjucture on special values of Dedekind zeta functions assuming the existence of a category of mixed Tate motives which has certain properties. We show that Bloch-Kriz category of mixed Tate motives together with a Hodge realization which we constructed has the required properties.

2024-12-17T00:05:57Z 21 pages. arXiv admin note: substantial text overlap with arXiv:1604.03216 Kenichiro Kimura http://arxiv.org/abs/2412.03239v2 2024-12-16T12:11:17Z

Let $A$ be a $1$-algebra. The Kontsevich Swiss Cheese conjecture [K2] states that the homotopy category $\mathrm{Ho}(\mathrm{Act}(A))$ of actions of $2$-algebras on $A$ has a final object and that this object is weakly equivalent to the pair $(\mathrm{Hoch}(A), A),$ where $\mathrm{Hoch}(A)$ is the Hochschild complex of $A$. Here the category of actions is the category whose objects are pairs $(B,A)$ which are algebras of the chain Swiss Cheese operad such that the induced action of the little interval operad on the component $A$ coincides with the $1$-structure on $A$. We prove that there is a colored dg operad ${O}$ with 2 colors, weakly equivalent to the chain Swiss Cheese operad for which the following ``stricter" version of the Kontsevich Swiss Cheese conjecture holds. Denote the two colors of ${O}$ by $a$ (for the 1-algebra argument) and $b$ (for the 2-algebra argument), denote by $E_1^{O}$ the restriction of ${O}$ to the color $a$, and by $E_2^{O}$ the restriction of ${O}$ to the color $b$. Let $\mathrm{Alg}({O})$ be the category of dg algebras over ${O}$. For a fixed $1$-algebra $A$ we also have the the category of action $\mathrm{Alg}({O})_A$ (equal to $\mathrm{Act}(A)$ in case of the Swiss Cheese operad). We prove that there is an equivalence of categories $$\mathrm{Alg}({O})_A \cong \mathrm{Alg}(E_2^{O})/\mathrm{Hoch}(A)$$ We stress that for this particular model of Swiss Cheese operad the statement holds on the chain level, without passage to the homotopy category.

2024-12-04T11:42:02Z 19 pages v2: typos are corrected Michael Batanin Boris Shoikhet http://arxiv.org/abs/2311.18594v5 2024-12-16T08:57:49Z

We prove a theorem that computes, for any augmented operad $\mathcal{O}$, the stable homology of the Lie algebra of derivations of the free algebra $\mathcal{O}(V)$ with twisted bivariant coefficients (here stabilization occurs as $\dim(V)\to\infty$) out of the homology of the wheeled bar construction of $\mathcal{O}$; this can further be used to prove uniform mixed representation stability for the homology of the positive part of that Lie algebra with constant coefficients. This result generalizes both the Loday-Quillen-Tsygan theorem on the homology of the Lie algebra of infinite matrices and the Fuchs stability theorem for the homology of the Lie algebra of vector fields. We also prove analogous theorems for the Lie algebras of derivations with constant and zero divergence, in which case one has to consider the wheeled bar construction of the wheeled completion of $\mathcal{O}$. Similarly to how cyclic homology of an algebra $A$ may be viewed as an additive version of the algebraic $K$-theory of $A$, our results hint at the additive $K$-theoretic nature of the wheeled bar construction.

2023-11-30T14:37:16Z 51 pages, final version accepted for publication in Compositio Mathematica Compositio Math. 161 (2025) 756-799 Vladimir Dotsenko 10.1112/S0010437X25007055 http://arxiv.org/abs/2111.06954v3 2024-12-14T08:54:47Z

The étale homotopy groups of schemes as defined by Artin and Mazur have the disadvantage of being homotopy invariant only in characteristic zero. This and other related problems led to the definition of the tame topology which is coarser than the étale topology by disallowing wild ramification along the boundary of compactifications. The object of this paper is to show that the associated tame homotopy groups are indeed ($\mathbb{A}^1$-)homotopy invariant, at least for regular schemes.

2021-11-12T21:39:28Z Minor revision Alexander Schmidt http://arxiv.org/abs/2412.10746v1 2024-12-14T08:29:03Z

In this note we give a simple argument for the fact that the coarse assembly map for a strong coarse homology theory with weak transfers and a bornological coarse space of weakly finite homotopical asymptotic dimension is a phantom equivalence.

2024-12-14T08:29:03Z 11 pages Ulrich Bunke http://arxiv.org/abs/2304.13345v2 2024-12-12T08:41:55Z

Boundary groupoids were introduced by the second author, which can be used to model many analysis problems on singular spaces. In order to investigate index theory on boundary groupoids, we introduce the notion of {\em a deformation from the pair groupoid}.Under the assumption that a deformation from the pair groupoid $M \times M$ exists for Lie groupoid $\mathcal{G}\rightrightarrows M$, we construct explicitly a deformation index map relating the analytic index on $\mathcal{G}$ and the index on the pair groupoid. We apply this map to boundary groupoids of the form $\mathcal{G} = M_0 \times M_0 \sqcup G \times M_1 \times M_1 \rightrightarrows M=M_0\sqcup M_1$, where $G$ is an exponential Lie group, to obtain index formulae for (fully) elliptic (pseudo)-differential operators on $\mathcal{G}$, with the aid of the index formula by M. J. Pflaum, H. Posthuma, and X. Tang. These results recover and generalize our previous results for renormalizable boundary groupoids via the method of renormalized trace.

2023-04-26T07:33:56Z Journal of Noncommutative Geometry, 2025 Yu Qiao Bing Kwan So 10.4171/JNCG/579 http://arxiv.org/abs/2108.04592v3 2024-12-12T08:30:42Z

We consider the index problem of certain boundary groupoids of the form $\mathcal{G} = M _0 \times M _0 \cup \mathbb{R}^q \times M _1 \times M _1$. Since it has been shown that for the case that $q \geq 3$ is odd, $K _0 (C^* (\mathcal{G})) \cong \bbZ $, and moreover the $K$-theoretic index coincides with the Fredholm index, we attempt in this paper to derive a numerical formula for elliptic differential operators on $\mathcal{G}$. Our approach is similar to that of renormalized trace of Moroianu and Nistor \cite{Nistor;Hom2}. However, we find that when $q \geq 3$, the eta term vanishes, and hence the $K$-theoretic and Fredholm indices of elliptic (respectively fully elliptic) pseudo-differential operators on these groupoids are given only by the Atiyah-Singer term. As for the $q=1$ case we find that the result depends on how the singularity set $M_1$ lies in $M$.

2021-08-10T11:11:46Z 20 pages. arXiv admin note: substantial text overlap with arXiv:1804.10426 Journal of Operator Theory, 2024 Yu Qiao Bing Kwan So 10.7900/jot.2022sep12.2399 http://arxiv.org/abs/2105.01143v3 2024-12-11T03:00:25Z

We construct a circle-invariant trace from the factorization homology of the circle $ {\sf trace} \colon \int^α_{{\mathbb S}^1} \\underline{\sf End}(V) \longrightarrow \uno $ associated to a dualizable object $V\in {\boldsymbol{\mathfrak X}}$ in a symmetric monoidal $\infty$-category. This proves a conjecture of Toën--Vezzosi on existence of circle-invariant traces. Underlying our construction is a calculation of the factorization homology over the circle of the walking adjunction in terms of the paracyclic category of Getzler--Jones: $ \int_{{\mathbb S}^1} {\sf Adj} ~\simeq~ {\bDelta_{\circlearrowleft}}^{\triangleleft\!\triangleright} ~. $ This calculation exhibits a form of Poincaré duality for 1-dimensional factorization homology.

2021-05-03T19:50:35Z 33 pages David Ayala John Francis