https://arxiv.org/api/XhlBJ6Hkjkqj9fW87ykRMxxMqmM 2026-03-25T02:13:44Z 6518 210 15 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 http://arxiv.org/abs/2111.09810v6 2025-11-22T09:32:10Z

This manuscript is an extended version of the author's habilitation thesis defended on May 21, 2021 at M.V. Lomonosov Moscow State University. It is devoted to the study of (co)stability of radicals, existence of (co)invariant Levi and Wedderburn decompositions, structure of the corresponding simple algebras and codimension growth of polynomial identities in (co)module algebras over bi- and Hopf algebras and their generalizations. The main difference between this manuscript and the "official" thesis are additional chapters dealing with equivalences of gradings and Hopf algebra (co)actions, V-universal (co)acting bi- and Hopf algebras and related categorical questions. (In Russian.)

2021-11-18T17:26:31Z 386 pages, in Russian; minor misprints corrected; based on arXiv:1112.6245, arXiv:1203.5384, arXiv:1205.0778, arXiv:1207.1699, arXiv:1210.2528, arXiv:1211.1272, arXiv:1212.1321, arXiv:1301.2446, arXiv:1309.3664, arXiv:1402.5272, arXiv:1409.0151, arXiv:1505.02893, arXiv:1508.03764, arXiv:1511.01860, arXiv:1704.07170, arXiv:1705.05809, arXiv:1805.04073, arXiv:1812.04563, arXiv:2005.12954 Alexey Gordienko http://arxiv.org/abs/2511.17169v1 2025-11-21T11:41:59Z

We provide a unified geometric realization of the classical deformation complexes. We construct GL-equivariant bilinear incidence varieties whose diagonal slices recover the varieties of associative, commutative, Leibniz, and Lie algebra structures on a finite-dimensional vector space. We prove that the fiber of the incidence map at a given algebra law is canonically isomorphic to the space of 2-cocycles in the corresponding cohomology theory (Hochschild, Harrison, Leibniz, or Chevalley--Eilenberg). Furthermore, we introduce invariant bilinear forms to define open strata of separable and semisimple algebras, and demonstrate that these strata consist of open GL-orbits, establishing the rigidity of generic points in the coarse moduli spaces for all four geometries.

2025-11-21T11:41:59Z Atabey Kaygun http://arxiv.org/abs/2511.15616v1 2025-11-19T17:02:43Z

Suppose $X$ is a smooth affine real variety and $\mathscr{E}$ is a vector bundle over $X$. We analyze the problem of splitting off a free rank one summand from $\mathscr{E}$ in corank $0$ and $1$. The problem in corank $0$ can be viewed as the search for a real analog of Murthy's celebrating splitting theorem in the algebraically closed case: to wit, beyond the vanishing of the top Chern class in Chow theory, are the obstructions to splitting ``purely topological''? In a sense, the answer in this case is yes, and we give a proof, using motivic techniques, of a mild extension of the results of Bhatwadekar-Sridharan and Bhatwadekar-Das-Mandal. In corank $1$, in the algebraically closed situation, Murthy's splitting conjecture (now a theorem in characteristic $0$) predicts that the vanishing of the top Chern class in Chow theory is the only obstruction to splitting off a free rank $1$ summand, and we can search for a suitable ``real'' analog of this assertion. We observe that several natural guesses for a ``real'' analog of Murthy's splitting conjecture cannot be true, i.e., that the situation over the real numbers is rather complicated.

2025-11-19T17:02:43Z 39 pages, comments welcome! Aravind Asok Jean Fasel Samuel Lerbet http://arxiv.org/abs/2505.24734v2 2025-11-18T18:50:33Z

We introduce a theory of syntomic cohomology for ring spectra with involution, which we call Real syntomic cohomology. We show that our construction extends the theory of syntomic cohomology for rings with involution due to Park. Our construction also refines syntomic cohomology as developed by Bhatt--Morrow--Scholze, Morin, Bhatt--Lurie, and Hahn--Raksit--Wilson. We compute the Real syntomic cohomology of Real topological K-theory and topological modular forms with level structure.

2025-05-30T15:55:14Z 71 pages, 8 figures. Streamlined exposition and updated references. Comments welcome! Gabriel Angelini-Knoll Hana Jia Kong J. D. Quigley http://arxiv.org/abs/2511.14731v1 2025-11-18T18:23:43Z

We use derived methods to study the Gauss-Manin connection in Hochschild homology, infinitesimal cohomology, and derived de Rham cohomology. As applications, we give new approaches to nilinvariance, the Quillen spectral sequence, and the HKR filtration. We extend the results of Bhatt's work on de Rham cohomology in characteristic zero to infinitesimal cohomology in mixed characteristic and show that the comparison to Hartshorne's algebraic de Rham complex "is" the Gauss-Manin connection. Finally, we explain the main features of prismatic cohomology in characteristic zero via the Gauss-Manin connection.

2025-11-18T18:23:43Z Benjamin Antieau http://arxiv.org/abs/2505.04117v2 2025-11-18T00:56:30Z

This paper seeks to characterize some topological properties of pro-countable abelian topological groups. Using the Milnor exact sequence given by the controlled picture of $KK$-theory by Willett and Yu, we describe topological properties of the topological group $KK(A,B)$ with respect to the satisfaction of Mittag-Leffler and stability conditions of certain inverse systems.

2025-05-07T04:18:38Z Arturo Jaime http://arxiv.org/abs/2511.12720v1 2025-11-16T18:09:48Z

Topological Chern phases of quantum materials, as well as brane charges on M-theory orbifolds, have famously been argued to be classified by (orbi) topological K-theory, or possibly by other stable and, notably, complex-oriented cohomology theories, such as elliptic cohomology or Morava K-theory. However, closer inspection reveals that the most fine-grained "fragile" microscopic classification in both cases is in (orbi) Cohomotopy, which is the primordial "unstable" or nonabelian generalized cohomology. Coarsening takes the latter (fragile) to the former (stable) cohomology along an nonabelian cohomology operations. But what then is the role of complex orientation on the stable side? We observe here (i) that over gapped nodal lines in the 2D Brillouin torus and on probe M5-branes in 11D spacetime, the cohomotopical phases/charges lift through the complex/quaternionic Hopf fibration, and (ii) that measuring this fragile situation in stable cohomology means equivalently to ask for universal complex/quaternionic orientation on stable cohomology in four/ten dimensions! Then we give an explicit realization of such unstable four/ten-dimensional complex/quaternionic orientation in U(2)/Sp(2)-equivariant K-theory, using real division-algebraic tools within a new model of twisted orbifold K-theory in cohesive homotopy theory; and we explain this as an extraordinary character map from orbi Cohomotopy-twisted Cohomotopy to relative orbi K-theory. Finally, we discuss an application to the classification of 2-band crystalline topological insulator phases sensitive to the topology in the gapping process of their nodal line semimetal parent phase, and to the measurement of M-string charges inside M5-brane probes.

2025-11-16T18:09:48Z 105 amsart pages, 12 figures --- assorted chapters from the upcoming monograph "Geometric Orbifold Cohomology", CRC Press (2026) Hisham Sati Urs Schreiber http://arxiv.org/abs/2409.06228v2 2025-11-15T11:21:03Z

In this article, we revisit Weibel's conjecture for twisted $K$-theory. We also examine the vanishing of twisted negative $K$-groups for Prüfer domains. Furthermore, we observe that the homotopy invariance of twisted $K$-theory holds for (finite-dimensional) Prüfer domains.

2024-09-10T05:48:25Z Final Version. Minor changes made. Accepted for publication Vivek Sadhu http://arxiv.org/abs/2002.03303v3 2025-11-14T08:29:43Z

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the étale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed length) of the category $\operatorname{Perf}\mathcal{X}_V$. We use Artin's criterion to prove that, when $U$ is excellent, this is in fact an algebraic space which is moreover étale (though in general non-quasicompact and non-separated) over $U$. We moreover generalise the construction of the sheaf to families of geometric noncommutative schemes in the sense of Orlov. We also define a subfunctor classifying nontrivial semiorthogonal decompositions, and conjecture it is an open and closed subspace. Along the way, we prove that for a smooth and proper family of schemes, a semiorthogonal decomposition of the bounded derived category of coherent sheaves of a fibre uniquely deforms over an étale neighbourhood of the point.

2020-02-09T06:53:30Z 49 pages, extensively revised following referee reports, with former appendix moved to separate preprint, available at arXiv:2511.10312 Pieter Belmans Shinnosuke Okawa Andrea T. Ricolfi http://arxiv.org/abs/2511.07668v1 2025-11-10T22:23:45Z

In this survey, we explain how to compute both the quadratic Euler characteristic of nearby cycles, and the motivic monodromy, at a quasi-homogeneous singularity. This gives, for such singularity, a quadratic refinement to the Deligne--Milnor formula in characteristic zero, and an enhancement of the Picard--Lefschetz formula to Voevodsky motives with rational coefficients.

2025-11-10T22:23:45Z Survey article; 12 pages; comments welcome! Ran Azouri