https://arxiv.org/api/WGP1isG+05TcShA+DzTRWfSN1bQ 2026-03-25T00:37:43Z 6516 195 15 http://arxiv.org/abs/1903.00813v2 2025-12-02T19:01:14Z

We study a two-parameter generalization of the Catalan numbers: $C_{d,p}(n)$ is the number of ways to subdivide the $d$-dimensional hypercube into $n$ rectangular blocks using orthogonal partitions of fixed arity $p$. Bremner \& Dotsenko introduced $C_{d,p}(n)$ in their work on Boardman--Vogt tensor products of operads; they used homological algebra to prove a recursive formula and a functional equation. We express $C_{d,p}(n)$ as simple finite sums, and determine their growth rate and asymptotic behaviour. We give an elementary proof of the functional equation, using a bijection between hypercube decompositions and a family of full $p$-ary trees. Our results generalize the well-known correspondence between Catalan numbers and full binary trees.

2019-03-03T03:10:09Z Journal of Integer Sequences 23 (2020) Article 20.1.4 Yu Hin Au Fatemeh Bagherzadeh Murray R. Bremner http://arxiv.org/abs/2506.02329v2 2025-12-02T16:44:37Z

In this note, we prove a generalization of Efimov's computation for the universal localizing invariant of categories of sheaves with certain microsupport constraints. The proof is based on certain categorical equivalences given by the Fourier-Sato transform, which is different from the original proof. As an application, we compute the universal localizing invariant of the category of almost quasi-coherent sheaves on the Novikov toric scheme introduced by Vaintrob.

2025-06-02T23:51:31Z 11 pages. Comments are welcome! v2: Minor revision. Final version, to appear in Proc. AMS Bingyu Zhang http://arxiv.org/abs/2512.02886v1 2025-12-02T15:45:04Z

We study the logarithmic syntomic cohomology of fine and saturated log schemes and its realization in the logarithmic motivic stable homotopy category $\mathrm{logSH}(\mathrm{pt}_\mathbb{N})$ of a log point. We prove that logarithmic prismatic and syntomic cohomology satisfy saturated descent under the sole assumption that the log structure is free, and that the presheaves $\mathrm{logTHH}$, $\mathrm{logTC}$, $\widehat{\mathbfΔ}$, and $\mathbb{Z}_p^\mathrm{syn}(i)$ are representable and $\square$-invariant in $\mathrm{logSH}_{\mathrm{k\acute{e}t}}^{\mathrm{eff}}(\mathrm{pt}_\mathrm{N})$. As an application, we compute $\mathbb{Z}_p^\mathrm{syn}(i)$ for the projective log coordinate axes $D$ in $\mathbb{P}^2$, obtaining \[ \mathbb{Z}_p^\mathrm{syn}(i)(D) \simeq \mathbb{Z}_p^\mathrm{syn}(i)(k,\mathbb{N})\oplus \mathbb{Z}_p^\mathrm{syn}(i-1)(k,\mathbb{N})[-2] \] Moreover, we determine logarithmic topological cyclic homology for truncated polynomial and semistable examples, directly from the syntomic calculations.

2025-12-02T15:45:04Z 27 pages. Comments welcome! Doosung Park Paul Arne Østvær http://arxiv.org/abs/2102.13372v5 2025-12-02T13:38:49Z

For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable $G$-$C^*$-algebras, and exhibit its universal property. Likewise, we consider an associated presentably symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}$ which receives a symmetric monoidal functor $\mathrm{kk}^{G}$ from possibly non-separable $G$-$C^*$-algebras and discuss its universal property. In addition to the symmetric monoidal structures, we construct various change-of-group functors relating these KK-categories for varying $G$. We use this to define and establish key properties of a (spectrum valued) equivariant, locally finite $K$-homology theory on proper and locally compact $G$-topological spaces, allowing for coefficients in arbitrary $G$-$C^*$-algebras. Finally, we extend the functor $\mathrm{kk}^{G}$ from $G$-$C^*$-algebras to $G$-$C^*$-categories. These constructions are key in a companion paper about a form of equivariant Paschke duality and assembly maps.

2021-02-26T09:47:27Z 108 pages. Minor corrections, References updated Ulrich Bunke Alexander Engel Markus Land http://arxiv.org/abs/2512.01923v1 2025-12-01T17:40:21Z

A key triviality result for support extension maps for motivic $\mathbb{A}^1$-homotopies of cellular motivic spaces $S$ over a DVR spectrum $B$ is proven. Combining with earlier known results on Gersten complex and the K-theory motivic spectrum we achieve a proof of the Gersten Conjecture for K-theory on essentially smooth local Henselian $B$-schemes. Additionally, we outline generalisations for Cousin complexes associated to motivic $\mathbb{A}^1$- and $\square$-homotopies of cellular $B$-spectra. The proof is based on two ingredients: (1) A new ``motivic localisation'' over $B$, called \emph{$φ$-motivic}, % localisation giving rise to the $φ$-motivic homotopy category such that the triviality of the support extension maps and the acyclicity of Cousin complexes hold for all objects $S$, not necessarily cellular. (2) An interpretation of some classes in the motivic $\mathbb{A}^1$-homotopies with support defined with respect to the Morel-Voevodsky motivic homotopy category of smooth $B$-schemes in terms of the construction of $φ$-motivic homotopy category mentioned in Point (1).

2025-12-01T17:40:21Z Andrei E Druzhinin http://arxiv.org/abs/2512.01813v1 2025-12-01T15:46:48Z

We show that the K-theory spectra of many assemblers, such as the assembler of polytopes in euclidean, hyperbolic or spherical geometry, as well as the assembler of definable sets, are equivalent to the K-theory spectrum of a squares category. We use this to lift the definable Euler characteristic of definable sets in an o-minimal structure to a map of K-theory spectra.

2025-12-01T15:46:48Z 24 pages, comments are very welcome Josefien Kuijper http://arxiv.org/abs/2512.01254v1 2025-12-01T03:58:49Z

Using algebraic cycles as a medium, we prove that the groups of the big (Hesselholt-Madsen) de Rham-Witt forms over arbitrary fields are isomorphic to the relative improved (Gabber-Kerz) Milnor $K$-groups of Artin local algebras of embedding dimension $1$. This answers an old problem on the relative Milnor $K$-groups studied since 1970s, especially in ${\rm char} (k) = p>0$. Applications include an interpretation of the big de Rham-Witt forms precisely as the vanishing cycles of the Elmanto-Morrow motivic cohomology of non-reduced schemes, as well as a construction of an extended logarithmic derivative map $d\log$ on the Milnor $K$-theory of some Artin rings to the de Rham-Witt forms.

2025-12-01T03:58:49Z 52 pages Jinhyun Park http://arxiv.org/abs/2502.03408v2 2025-11-28T11:09:39Z

We show that Klemenc's stable envelope of exact $\infty$-categories induces an equivalence between stable $\infty$-categories with a bounded heart structure and weakly idempotent complete exact $\infty$-categories. Moreover, we generalise the Gillet-Waldhausen theorem to the connective algebraic K-theory of exact $\infty$-categories and deduce a universal property of connective algebraic K-theory as an additive invariant on exact $\infty$-categories. A key tool is a generalisation of a theorem due to Keller which provides a sufficient condition for an exact functor to induce a fully faithful functor on stable envelopes.

2025-02-05T17:49:42Z 28 pages; many small improvements and expanded discussion of weight structures following referee reports; this version of the article has been accepted for publication, after peer review, but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: http://dx.doi.org/10.1007/s00209-025-03904-6 Math. Z. 312, 28 (2026) Victor Saunier Christoph Winges 10.1007/s00209-025-03904-6 http://arxiv.org/abs/2411.16540v3 2025-11-27T16:28:02Z

The main goal of this paper is to study relative versions of the category of modules over the isotropic motivic Brown-Peterson spectrum, with a particular emphasis on their cellular subcategories. Using techniques developed by Levine, we equip these categories with motivic $t$-structures, whose hearts are Tannakian categories over ${\mathbb F}_2$. This allows to define isotropic motivic fundamental groups, and to interpret relative isotropic Tate motives in the heart as their representations. Moreover, we compute these groups in the cases of the punctured projective line and split tori. Finally, we also apply Spitzweck's derived approach to establish an identification between relative isotropic Tate motives and representations of certain affine derived group schemes, whose 0-truncations coincide with the aforementioned isotropic motivic fundamental groups.

2024-11-25T16:24:14Z A few changes made Fabio Tanania http://arxiv.org/abs/2511.22489v1 2025-11-27T14:24:50Z

For an arbitrary field $k$, and an arbitrary regular henselian local $k$-scheme $X$ of dimension $1$ with the residue field $k$, we introduce two subcomplexes of the higher Chow complexes of $X$ using certain extended face intersection conditions. We define suitable equivalence relations on them, and prove that their Milnor range cycle class groups offer geometric presentations of the improved (Gabber-Kerz) Milnor $K$-groups of Artin local $k$-algebras of the embedding dimension $1$, and their relative groups, generalizing the theorem of Nesterenko-Suslin and Totaro. Using these, we prove the existence of the norm and trace maps for the Milnor $K$-groups of the Artin local algebras associated to arbitrary finite extensions of fields, generalizing the Bass-Tate and Kato norms on the Milnor $K$-theory of fields.

2025-11-27T14:24:50Z 55 pages Jinhyun Park http://arxiv.org/abs/2511.21586v1 2025-11-26T17:03:45Z

Let G be a compact Lie group and let X be an oriented Witt G-pseudomanifold. Using intersection cohomology it is possible to define Sign(G,X) in R(G), the G-signature of X. Let g be an element in G. Assuming that the inclusion of the fixed point set associated to g is normally non-singular, we prove a formula for Sign(g,X), the G-signature of X computed at g, thus extending to Witt G-pseudomanifolds the fundamental result proved by Atiyah, Segal and Singer on smooth compact G-manifolds. Along the way, we give a detailed study of the fixed point set of a Thom-Mather G-space X and our main result in this direction is a sufficient condition ensuring that the fixed point set associated to G is included in X in a normally non-singular manner. This latter result provides many examples where our formula applies.

2025-11-26T17:03:45Z 29 pages Markus Banagl Eric Leichtnam Paolo Piazza http://arxiv.org/abs/2510.26711v2 2025-11-26T14:53:02Z

Working in a generic derived algebro-geometric context, we lay the foundations for the general study of affineness and local descendability. When applied to $\mathbf{E}_\infty$ rings equipped with the fpqc topology, these foundations give an $\infty$-category of spectral stacks, a viable functor-of-points alternative to Lurie's approach to nonconnective spectral algebraic geometry. Specializing further to spectral stacks over the moduli stack of oriented formal groups, we use chromatic homotopy theory to obtain a large class of $0$-affine stacks, generalizing Mathew--Meier's famous $0$-affineness result. We introduce a spectral refinement of Hopkins' stack construction of an $\mathbf{E}_\infty$ ring, and study when it provides an inverse to the global sections of a spectral stack. We use this to show that a large class of stacks, which we call reconstructible, are naturally determined by their global sections, including moduli stacks of oriented formal groups of bounded height and the moduli stack of oriented elliptic curves.

2025-10-30T17:12:53Z 90 pages, comments welcome! v2 has only minor formatting changes William Balderrama Jack Morgan Davies Sil Linskens http://arxiv.org/abs/2509.25869v2 2025-11-26T08:24:17Z

A result of Dadarlat shows that nonzero even rational cohomology obstructs the matricial stability of many discrete groups. In the author's previous work, 2-cohomology is used to argue that certain groups are not stable in unnormalized Schatten $p$-norms for $p > 1$, although 2-cohomology is known not to obstruct stability in the unnormalized 2-norm in general. The main result of this paper demonstrates that we should not expect $2k$ cohomology to obstruct in the unnormalized Schatten $p$-norm for $p\le k$, because the invariant in Dadarlat's argument vanishes for maps that are asymptotically multiplicative in the Schatten $p$-norm.

2025-09-30T07:06:27Z Forrest Glebe http://arxiv.org/abs/2511.19904v1 2025-11-25T04:29:46Z

Sullivan--Simons developed a Cheeger--Simons differential character analogue for degree (0 mod 2) differential K-theory, giving a complete set of numerical invariants that determine a complex vector bundle with unitary connection on a base manifold X, up to Chern--Simons equivalence of the connection. In this paper we develop a degree (0 mod 8) differential KO-analogue. Namely, given a real vector bundle with orthogonal connection, we construct R/Z -valued eta-invariants in the context of Atiyah--Patodi--Singer and Z2 Atiyah--Singer index invariants that completely determine differential KO-theory in degree (0 mod 8); we call this the differential KO-character. In the second part, for a Riemannian submersion X to B with closed 8k-dimensional spin fibers, we develop two family index theorems in differential KO -theory: one in the differential KO -character model and one in the structured-bundle model. The fact that these two pushforwards agree follows from the Bismut--Cheeger adiabatic limit theorem, providing a new interpretation of that result.

2025-11-25T04:29:46Z 52 pages, 1 figure Tan Su http://arxiv.org/abs/2511.19618v1 2025-11-24T19:00:16Z

We define and study the parabolic K-motivic Hecke category of a (possibly disconnected) Kac-Moody group. Our main result is a combinatorial description via singular K-theory Soergel bimodules which arise from the equivariant algebraic K-theory of parabolic Bott-Samelson resolutions. In the spherical affine case, the K-motivic Hecke category serves as one side of a conjectural quantum K-theoretic derived Satake equivalence, addressing a conjecture of Cautis-Kamnitzer.

2025-11-24T19:00:16Z Jens Niklas Eberhardt Arnaud Eteve