https://arxiv.org/api/BqCdcGUQE0jlOTvUQbnQNC32pw0 2026-03-24T18:37:38Z 6516 135 15 http://arxiv.org/abs/2509.21483v2 2026-01-08T17:55:37Z

Let $X$ be a graded Liouville domain. Fix a pair of infinite loop spaces $Ψ= (Θ\to Φ)$ living over $(BO \to BU)$. This determines a spectral Fukaya category $\mathcal{F}(X;Ψ)$ whenever $TX$ lifts to $Φ$, containing closed exact Lagrangians $L$ for which $TL$ lifts compatibly to $Θ$; and by Bott periodicity and index theory, a Thom spectrum $R$ with bordism theory $R_*$. This paper has two main goals: we incorporate rank one spectral local systems $ξ: L \to BGL_1(R)$ into the spectral category; and we prove that the bordism class $[(L,ξ)]$ defined by the open-closed map differs from the class $[L]$ by a multiplicative two-torsion element in $R^0(L)^{\times}$ determined by an action of the stable homotopy class of the Hopf map $η\in π_1^{st}$ on $ξ$. Methods include a twisting construction associating flow categories to spectral local systems, and a model for the open-closed map incorporating Schlichtkrull's construction of the trace map $BGL_1(R) \subseteq K(R) \to R$. The companion paper \cite{PS4} shows that (for Lagrangians which themselves admit spectral lifts) one can lift quasi-isomorphisms from $\mathbb{Z}$ to $Ψ$ at the cost of introducing rank one local systems. Together with the open-closed computation given here, this gives an essentially complete picture of the bordism-theoretic consequences of quasi-isomorphism in the classical exact Fukaya category.

2025-09-25T19:44:55Z Minor changes Noah Porcelli Ivan Smith http://arxiv.org/abs/2110.03733v2 2026-01-08T13:51:09Z

We show that the map from $K({\mathbb S})$ to its chromatic completion is a connective cover and identify the fiber in $K$-theoretic terms. We combine this with recent work of Land-Mathew-Meier-Tamme to prove a form of "Waldhausen's Chromatic Convergence Conjecture": we show that the map $K({\mathbb S}_{(p)})_{(p)}\to \mathop{\rm holim} K(L^{f}_{n}{\mathbb S})_{(p)}$ is the inclusion of a wedge summand.

2021-10-07T18:31:43Z corrections, clarifications, and restructuring Andrew J. Blumberg Michael A. Mandell Allen Yuan http://arxiv.org/abs/2307.00423v4 2026-01-07T17:30:04Z

Motivated by the Freed-Hopkins-Teleman theorem we study graded equivariant higher twists of $K$-theory for the groups $G = SU(n)$ induced by exponential functors. We compute the rationalisation of these groups for all $n$ and all non-trivial functors. Classical twists use the determinant functor and yield equivariant bundles of compact operators that are classified by Dixmier-Douady theory. Their equivariant $K$-theory reproduces the Verlinde ring of conformal field theory. Higher twists give equivariant bundles of stable UHF algebras, which can be classified using stable homotopy theory. Rationally, only the $K$-theory in degree $\dim(G)$ is again non-trivial. The non-vanishing group is a quotient of a localisation of the representation ring $R(G) \otimes \mathbb{Q}$ by a higher fusion ideal $J_{F,\mathbb{Q}}$. We give generators for this ideal and prove that these can be obtained as derivatives of a potential. For the exterior algebra functor, which is exponential, we show that the determinant bundle over $LSU(n)$ has a non-commutative counterpart where the fibre is the unitary group of the UHF algebra.

2023-07-01T20:37:05Z 52 pages, two figures, final version before publication Comm. Amer. Math. Soc. 5 (2025), 897-942 David E. Evans Ulrich Pennig 10.1090/cams/60 http://arxiv.org/abs/2601.03176v1 2026-01-06T16:54:28Z

We revisit a classical theme of (general or translation invariant) valuations on convex polyhedra. Our setting generalizes the classical one, in a ``dual'' direction to previously considered generalizations: while previous research was mostly concerned with variations of ground fields/rings, over which the vertices of polytopes are defined, we consider more general collections of defining hyperplanes. No algebraic structures are imposed on these collections. This setting allows us to uncover a close relationship between scissors congruence problems on the one hand and finite hyperplane arrangements on the other hand: there are many parallel results in these fields, for which the parallelism seems to have gone unnoticed. In particular, certain properties of the Varchenko--Gelfand algebras for arrangements translate to properties of polytope rings or valuations. Studying these properties is possible in a general topological setting, that is, in the context of the so-called topological arrangements, where hyperplanes do not have to be straight and may even have nontrivial topology.

2026-01-06T16:54:28Z 49 pages Askold Khovanskii Valentina Kiritchenko Vladlen Timorin http://arxiv.org/abs/2304.08409v4 2026-01-05T21:49:40Z

We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When the coalgebras under consideration are conilpotent and the algebras are dg, i.e. uncurved, this corresponds to the ordinary dg Koszul duality of Positselski and Keller-Lefèvre. As an application we construct global noncommutative moduli spaces for flat connections on vector bundles, holomorphic structures on almost complex vector bundles, dg modules over a dg algebra, objects in a dg category, and others.

2023-04-17T16:24:23Z 81 pages. v2: section 4.5 rewritten, other minor changes. v3: significant reordering of content, new material mostly in Sections 6,8,12. v4: corrections to 6.8 and sections 8,9 Matt Booth Andrey Lazarev http://arxiv.org/abs/2509.06226v2 2026-01-05T20:47:54Z

We study variants of Hikita conjecture for Nakajima quiver varieties and corresponding Coulomb branches. First, we derive the equivariant version of the conjecture from the non-equivariant one for a set of gauge theories. Second, we suggest a variant of the conjecture, with K-theoretic Coulomb branches involved. We show that this version follows from the usual (homological) one for a set of theories. We apply this result to prove the conjecture in finite ADE types. In the course of the proof, we show that appropriate completions of K-theoretic and homological (quantized) Coulomb branches are isomorphic.

2025-09-07T22:10:50Z 56 pages. version 2: formulae in Section 3.4 fixed; other minor corrections Ilya Dumanski Vasily Krylov http://arxiv.org/abs/2409.16858v2 2026-01-05T10:30:48Z

We define a derived enhancement of the hyperquot scheme (also known as nested Quot scheme), which classically parametrises flags of quotients of a perfect coherent sheaf on a projective scheme. We prove it is representable by a derived scheme, and we compute its global tangent complex. As an application, we provide a natural obstruction theory on the classical hyperquot scheme. The latter recovers the virtual fundamental class recently constructed by the first and third author in the context of the enumerative geometry of hyperquot schemes on smooth projective curves.

2024-09-25T12:13:52Z 34 pages, comments welcome, v2: typos fixed Sergej Monavari Emanuele Pavia Andrea T. Ricolfi http://arxiv.org/abs/2512.01071v2 2026-01-03T09:05:05Z

In this survey paper we study parametric versions of writing a matrix in $SL_n (\mathbb{C})$ as a product of lower and upper unitriangular matrices in interchanging order as well as generalizations to other classical groups. We give an account of algebraic, continuous and holomorphic factorization results, from the standpoint of Several Complex Variables. Out of the wealth of algebraic results, we only concentrate on those which are related to holomorphic factorization and often formulate them in a specific form, e.g. for the field of complex numbers in place of more general fields or principal ideal domains. The number of unitriangular matrices needed is a difficult problem and is solved in very specific cases only. We give a new lower bound for factorizing matrices in $SL_2 (\mathbb{C})$ continuously parametrized by normal topological spaces of dimension bigger than one.

2025-11-30T20:44:26Z minor changes Gaofeng Huang Frank Kutzschebauch http://arxiv.org/abs/2601.00351v1 2026-01-01T14:10:56Z

Firstly, for a finite group algebra, we provide a computational framework $\widehat{m}_n$ for the Tate-Hochschild cochain complex in terms of the additive decomposition, by decomposing each planar n-ary tree into local two children and local three children. Secondly, we give all $\widehat{m}_2$ formulas of the Tate-Hochschild cochain complex in terms of the additive decomposition. Thirdly, we give explicit $A_{\infty}$-multiplication formulas for both the Hochschild cochain complex and the Hochschild chain complex under additive decompositions. Finally, we give $A_{\infty}$-multiplication formulas in the context of abelian groups.

2026-01-01T14:10:56Z Xiuli Bian Longfei Li Yuming Liu Tianyun Wang Zhengfang Wang Guodong Zhou http://arxiv.org/abs/2306.04860v2 2026-01-01T04:14:21Z

We prove that within a natural class of E_3-algebras, the graded Tor group induced by a span of E_3-algebra maps carries a graded algebra structure generalizing the classical structure when the algebras are genuine commutative differential graded algebras. We attempt to prove, as a topological corollary, that Munkholm's Eilenberg--Moore collapse result for pullbacks of spaces with polynomial cohomology can be enhanced to a ring isomorphism. This is not achieved, and in fact the claim as stated in the previous drafts is false. If additionally, 2 is assumed to be a unit of the base ring, then that claim is true (not that the results in this paper establish it) and is known due to previous work of the author and Franz, and also, as it turns out, to Huebschmann's unpublished 1983 habilitation work.

2023-06-08T01:12:40Z Substantial corrections to the preceding draft are enumerated: briefly, the central claimed topological result is false without a modification which renders it already known; other results in the paper are true but do not accomplish what was desired. All this is elaborated upon in detail in a new preface Jeffrey D. Carlson http://arxiv.org/abs/2307.04248v2 2025-12-31T07:52:04Z

We compute the mod $(p,v_1)$ and mod $(2,η,v_1)$ $\mathrm{THH}$ of many variants of the image-of-$J$ spectrum. In particular, we do this for $j_ζ$, whose $\mathrm{TC}$ is closely related to the $K$-theory of the $K(1)$-local sphere. We find in particular that the failure for $\mathrm{THH}$ to satisfy $\mathbb{Z}_p$-Galois descent for the extension $j_ζ \to \ell_p$ corresponds to the failure of the $p$-adic circle to be its own free loop space. For $p>2$, we also prove the Segal conjecture for $j_ζ$, and we compute the $K$-theory of the $K(1)$-local sphere in degrees $\leq 4p-6$.

2023-07-09T19:01:35Z Minor updates. 43 pages, 4 figures. To appear in Advances in Mathematics David Jongwon Lee Ishan Levy http://arxiv.org/abs/2212.06946v2 2025-12-30T15:22:56Z

We introduce an abstract framework of Cartesian squares beyond the context of fiber products, and use it to extend the notion of pullback from classical to compact quantum principal bundles. Based only on our abstract notion of a Cartesian square, we extend key concepts of Equivariant Topology, such as the pullback of a family of group actions, orbit spaces, slices and global sections, change of base and structure group, free actions, and the groupoid of compact principal bundles. Finally, we embed the thus extended Equivariant Topology inside the 2-category of Grothendieck categories in such a way that our notion of a Cartesian square becomes the appropriate Beck-Chevalley condition.

2022-12-13T23:33:00Z v2: 52 pages. We split the paper in two parts. This is the first part about Cartesian squares. The second part about multiplicative K-theory will appear in a subsequent preprint Francesco D'Andrea Tomasz Maszczyk http://arxiv.org/abs/2412.02483v2 2025-12-29T16:09:08Z

We obtain lower bounds for the dimension of fixed loci of diagonalizable $p$-groups acting on smooth projective varieties. Those bounds depend on the modulo $p$ Chern numbers of the ambient variety, and are expressed in a natural way by introducing an appropriate filtration on the "modulo $p$ cobordism ring" (for $p=2$ this is Thom's unoriented cobordism ring $MO^*$). They are obtained using equivariant localization methods, via the concentration theorem for the Chow ring, and by a technique of "partition dividing". As applications we derive statements in the spirit of Boardman's Five-Halves Theorem for involutions on manifolds.

2024-12-03T14:46:47Z 20 pages Olivier Haution http://arxiv.org/abs/2512.23224v1 2025-12-29T06:01:02Z

We study relations of $λ_{y}$-classes associated to tautological bundles over the flag manifold of type $C$ in the quantum $K$-ring. These relations are called the quantum $K$-theoretic Whitney relations. The strategy of the proof of the quantum $K$-theoretic Whitney relations is based on the method of semi-infinite flag manifolds and the Borel-type presentation. In addition, we observe that the quantum $K$-theoretic Whitney relations give a complete set of the defining relations of the quantum $K$-ring. This gives a presentation of the quantum $K$-ring of the flag manifold of type $C$, called the Whitney-type presentation, as a quotient of a polynomial ring, different from the Borel-type presentation.

2025-12-29T06:01:02Z 27 pages Takafumi Kouno http://arxiv.org/abs/2512.22517v1 2025-12-27T08:30:26Z

We investigate the spectral and index-theoretic properties of the Hodge-Dirac operator $D = \mathrm{d} + \mathrm{d}^*$ acting on the Banach space $\mathrm{L}^p(Ω^\bullet(M))$ of differential forms over an oriented compact Riemannian manifold $M$. Relying on the compactness of $M$, we establish the existence of a bounded bisectorial $\mathrm{H}^\infty$ functional calculus for $D$, without curvature assumptions. This result enables us to prove that the triple $(\mathrm{C}(M), \mathrm{L}^p(Ω^\bullet(M)), D)$ constitutes a compact Banach spectral triple. We then define a consistent pairing between the Banach K-homology and the K-theory of the manifold, proving the invariance of the Fredholm index with respect to $p$. We recover the classical Euler characteristic and the Hirzebruch signature as $\mathrm{L}^p$-indices, demonstrating the effectiveness of Banach noncommutative geometry for geometric analysis, beyond the Hilbertian setting.

2025-12-27T08:30:26Z 40 pages Cédric Arhancet