https://arxiv.org/api/AgRDMANXR2uunDPAS8k9sxcudcU 2026-03-22T10:30:13Z 29619 75 15 http://arxiv.org/abs/2603.12623v1 2026-03-13T03:51:44Z

Let $k$ be an algebraically closed field and $G$ a connected reductive group over $k((t))$ satisfying some conditions. We define a stratification by conjugacy classes of twisted Levi subgroups of $G$ on each Moy-Prasad quotient $\mathfrak{k}_{x,r}/\mathfrak{k}_{x,r+}$ of $G$. We then calculate the strata in terms of the associated twisted Levi subgroups. This calculation is necessary for several followup papers on the local geometric Langlands program.

2026-03-13T03:51:44Z David Yang http://arxiv.org/abs/2602.15726v4 2026-03-13T02:52:42Z

We develop a stability theory for minimal projective resolutions of $\mathbf{P}$-modules, where $\mathbf{P}$ is a finite metric poset. On the module side, we use the Gülen-McCleary distance, a specialization of a metric introduced by Gülen and McCleary, defined by factoring two modules through a common apex poset via pairs of Galois insertions and measuring the maximal displacement in the index poset. This construction generalizes the interleaving distance in both the classical one-parameter and multiparameter settings, and yields an extended metric on isomorphism classes of $\mathbf{P}$-modules. On the homological side, we define a bottleneck distance between minimal projective resolutions by matching indecomposable projectives degreewise, with contractible cones playing the role of diagonal terms. Our main theorem shows that this resolution-level bottleneck distance is always bounded above by the Gülen-McCleary distance, providing a metric stability result formulated entirely at the level of modules and their minimal projective resolutions. We then treat persistence as an application. Passing to the interval poset and a kernel construction, we interpret persistence diagrams as minimal projective resolutions of kernel modules and obtain a corresponding stability inequality. In the one-parameter case this recovers classical bottleneck stability, while in the multiparameter setting it extends naturally to signed diagrams arising from minimal projective resolutions. Via a general relationship between minimal projective resolutions and Möbius inversion, these results can be interpreted as a stability theorem for Möbius homology, while remaining entirely phrased in the language of projective resolutions.

2026-02-17T17:02:01Z We have renamed the distance we called "Galois Transport Distance" to "Gülen-McCleary Distance" after Aziz Gülen and Alex McCleary who first introduced the concept. We have also removed our proof of the triangle inequality for this distance as it is already proved by them Hideto Asashiba Amit K. Patel http://arxiv.org/abs/2302.07376v2 2026-03-13T02:42:44Z

Fargues and Scholze proved the geometric Satake equivalence over the Fargues-Fontaine curve. This can be transferred to the geometric Satake equivalence concerning a Witt vector affine Grassmannian via nearby cycle. On the other hand, Zhu proved the geometric Satake equivalence concerning a Witt vector affine Grassmannian. In this paper, we explain the coincidence of these two geometric Satake equivalences, including the coincidence of the two symmetric monoidal structures on the Satake category.

2023-02-14T22:28:37Z 27 pages. Revised the statement and proof of Lemma 1.2 in the old version and deleted Theorem 1.3 and Section 6. Added Proposition 1.1. To appear in Journal de Théorie des Nombres de Bordeaux Katsuyuki Bando http://arxiv.org/abs/2101.11813v4 2026-03-13T01:03:22Z

The geometric Satake equivalence and the Springer correspondence are closely related when restricting to small representations of the Langlands dual group. We prove this result for étale sheaves, including the case of the mixed characteristic affine Grassmannian, assuming a sufficient ramification. In this process, we construct a monoidal structure on the restriction functor of Satake categories. We construct also a canonical isomorphism between a mixed characteristic affine Grassmannian under a sufficient ramification and an equal characteristic one.

2021-01-28T04:42:49Z 37 pages, changed the proof of Theorem 1.1(4.12) and the assumption on p and the proof of Theorem 1.2 Katsuyuki Bando http://arxiv.org/abs/2603.12542v1 2026-03-13T00:54:47Z

Fargues-Scholze developed a framework for the geometric Langlands program on the Fargues-Fontaine curve. In particular, they proved the geometric Satake equivalence on the moduli space of closed Cartier divisors on the curve. We prove the derived version of this equivalence with one leg. Namely, we show that the derived category of etale sheaves on the local Hecke stack is equivalent to the category of L-group-equivariant perfect complexes over the symmetric algebra of the shifted and (-1)-Tate-twisted Lie algebra.

2026-03-13T00:54:47Z 83 pages Katsuyuki Bando http://arxiv.org/abs/2603.12486v1 2026-03-12T22:11:08Z

In a recent work, we constructed a rational map from a simple Lie group $\mathcal G$ to itself that intertwines the standard Poisson--Lie structure on $\mathcal G$ with a Poisson homogeneous one defined by a pair of quasi-triangular solutions to the classical Yang--Baxter equation (CYBE) known as R-matrices. We also showed, in the case of $SL_n$, that if the combinatorial Belavin--Drinfeld data associated with these R-matrices satisfies certain aperiodicity conditions, the map is, in fact, birational and can be used to obtain an initial cluster for an exotic cluster structure on $SL_n$ via the pullback of Berenstein--Fomin--Zelevinsky cluster variables. The same strategy was later used by the first author and D.~Voloshyn to describe generalized cluster structures compatible with the Poisson dual of the Poisson--Lie bracket defined by a quasi-triangular R-matrix. In this paper we further promote the use of birational Poisson maps in constructing generalized cluster structures by applying it in the situation when the aperiodicity condition is not satisfied. To this end, we describe a generalized cluster structure on $GL_n$ compatible with the Poisson homogeneous bracket defined by two Cremmer--Gervais solutions to the CYBE related via conjugation by the longest element of the Weyl group. The key ingredient to our construction is a birational map that connects the bracket under consideration with two other Poisson brackets: the Poisson dual to Cremmer--Gervais Poisson--Lie bracket on $GL_{n-1}$ and the bracket on a certain space of complex rational functions of one variable closely related to cluster algebraic interpretation of Coxeter--Toda flows. New notions of a regular pullback of a seed and of an almost-cluster structure whose detailed description are given in a separate note also play an important role in our construction.

2026-03-12T22:11:08Z Misha Gekhtman Michael Shapiro Alek Vainshtein http://arxiv.org/abs/2603.12472v1 2026-03-12T21:45:22Z

We study the residual Eisenstein cohomology of semisimple groups in the context of maximal parabolic subgroups which remain maximal over $\mathbb{R}$. Under certain general hypotheses, we show that these residual representations are cohomological one degree below middle, and one above; however, the classes above middle vanish in the full automorphic cohomology. The proof of this vanishing finds an explicit cochain which provides a primitive to the image of a nontrivial class from the cohomology of such a residual representation. This cochain is valued in regular Eisenstein series. Along the way, we study in detail the archimedean component of the relevant induced representation. In particular, we prove that it has a subrepresentation which is the sum of two discrete series, whose Harish-Chandra parameters we describe, and that the intertwining operator vanishes to order exactly $1$ on that subrepresentation.

2026-03-12T21:45:22Z 71 pages Sam Mundy http://arxiv.org/abs/2510.18175v2 2026-03-12T19:48:53Z

We study polynomial functors in the incompressible category $\text{Ver}_4^+$, which can be viewed as super polynomial functors in characteristic 2. Concretely, we classify additive, exact and simple polynomial functors, and describe how simple polynomial functors evaluate on arbitrary objects. We also determine which objects are not annihilated by any polynomial functors of a given degree and for which objects the symmetric group algebra acts faithfully via the braiding.

2025-10-20T23:56:13Z 29 pages Kevin Coulembier Serina Hu http://arxiv.org/abs/2603.12116v1 2026-03-12T16:18:12Z

In this expository paper, given a field $K$ and an automorphism $σ\in \mathrm{Aut}(K)$, we give a self-contained proof of the classification of finite dimensional $K$-vector spaces equipped with two operators $F$ and $V$, respectively $σ$-linear and $σ^{-1}$-linear, such that $FV = VF = 0$. This classification was originally due to the combined results of Gelfand and Ponomarev (1968), and of Kraft (1975). Following a recent suggestion of Chai (2025), we reworked their classification in light of the notion of Kraft quivers.

2026-03-12T16:18:12Z 42 pages, 5 figures Joseph Muller Chia-Fu Yu http://arxiv.org/abs/2510.14028v2 2026-03-12T15:40:29Z

The representation theory of tensor functions is a powerful mathematical tool for constitutive modeling of anisotropic materials. A major limitation of the traditional theory is that many point groups require fourth- or sixth-order structural tensors, which significantly impedes practical engineering applications. Recent advances have introduced a reformulated representation theory that enables the modeling of anisotropic materials using only lower-order structural tensors (i.e., second-order or lower). Building upon the reformulated theory, this work establishes the representations of tensor functions for three-dimensional centrosymmetric point groups. For each point group, we propose a lower-order structural tensor set and derive the representations of tensor functions explicitly. For scalar-valued and second-order symmetric tensor-valued functions, our theory is indeed applicable to all three-dimensional point groups because their representations are determined by the corresponding centrosymmetric groups. The representation theory presented here is broadly applicable for constitutive modeling of anisotropic materials.

2025-10-15T19:09:08Z Mohammad Madadi Pu Zhang http://arxiv.org/abs/2603.12049v1 2026-03-12T15:23:34Z

We show that the observable category of q-tame multiparameter persistence modules satisfies good metric and algebraic properties: it forms a complete metric space with respect to the interleaving distance, and it is Krull--Schmidt in the sense that every object admits an essentially unique decomposition into indecomposables. Moreover, we show that these metric and algebraic structures are compatible: two objects are at distance zero if and only if they are isomorphic. We argue that the observable category of q-tame multiparameter persistence modules is the right setup for multiparameter persistence by showing that many of the categories already considered in the literature form full subcategory of this category. We also characterize precompact sets in terms of finite representation type of certain discretizations, and show that the image of several of the main constructions in multiparameter persistence is precompact.

2026-03-12T15:23:34Z 35 pages Ulrich Bauer Cameron Gusel Luis Scoccola http://arxiv.org/abs/2402.13142v4 2026-03-12T08:56:09Z

Let $R$ be a ring with unity and $\mathcal{X}$ a semibrick in the module category $\mathrm{Mod}\,R$, that is, a class of pairwise orthogonal finitely presented modules whose endomorphism rings are division rings. We study the full subcategory $\mathrm{Filt}(\mathcal{X})$ consisting of all modules admitting a filtration with factors in $\mathcal{X}$. We show that $\mathrm{Filt}(\mathcal{X})$ is a wide subcategory of $\mathrm{Mod}\,R$. For the Ext-orthogonal class \[ \mathcal{X}^{\perp} = \{M \in \mathrm{Mod}\,R \mid \operatorname{Ext}^1_R(X,M)=0 \text{ for all } X \in \mathcal{X}\} \] we construct, for every module $Y$, an $\mathcal{X}^{\perp}$-envelope $Y_{\mathcal{X}}(\infty)$ as a direct limit of iterated universal short exact sequences. Assume that every $X \in \mathcal{X}$ has projective dimension at most one and that $\operatorname{Hom}_R(X,R)=0$ for all $X \in \mathcal{X}$. Then the envelope $R_{\mathcal{X}}(\infty)$ of the regular module is isomorphic to the universal localization $R_{\mathcal{X}}$ of $R$ at $\mathcal{X}$ in the sense of Schofield. The $\mathcal{X}^{\perp}$-envelopes of modules in $\mathcal{X}$ are called Prüfer modules since they share many properties with classical Prüfer groups and with Prüfer modules over tame hereditary algebras. We prove that every injective object in $\mathrm{Filt}(\mathcal{X})$ is a direct sum of such Prüfer modules.

2024-02-20T16:56:20Z Accepted for publication in Journal of Pure and Applied Algebra Frank Lukas http://arxiv.org/abs/2603.11651v1 2026-03-12T08:21:24Z

In this paper, we compute the automorphism group and derivation algebra of the Hamiltonian Lie algebra $\mathcal{H}_{N}$ and its derived subalgebra $\mathcal{H}_{N}'$, where $N$ is an even positive integer. The automorphism groups are shown to be $\mathbf{GSp}_{N}(\mathbb{Z})\ltimes (\mathbb{\mathbb{K}}^{\times})^{N}$ for both Lie algebras and we prove that all derivations are inner for the Hamiltonian Lie algebra, also we compute the full derivation space for the derived subalgebra of Hamiltonian Lie algebra.

2026-03-12T08:21:24Z Pradeep Bisht Suman Rani Santanu Tantubay http://arxiv.org/abs/2511.10454v2 2026-03-12T07:30:20Z

We prove that the homological and Balmer spectra in tensor-triangular geometry are functorial in certain definable functors, thereby providing an alternative perspective on functoriality in tensor-triangular geometry from the viewpoint of purity, and generalising current results in the literature.

2025-11-13T16:19:09Z v1: 11pp. The results are an improved and generalised version of results that appeared in the original version of arXiv:2310.02159. v2: minor changes. Version accepted in Pacific J. Math Pacific J. Math. 341 (2026) 33-44 Isaac Bird Jordan Williamson 10.2140/pjm.2026.341.33 http://arxiv.org/abs/2603.11602v1 2026-03-12T06:55:42Z

In this article, we explicitly construct local Arthur packets for metaplectic groups over non-Archimedean local fields of characteristic zero. Our construction is a generalization of Atobe's construction of local Arthur packets for classical groups. As a result, we prove that the local Arthur packets are multiplicity free. Moreover, we generalize Moeglin's earlier work about the Adams conjecture to metaplectic groups.

2026-03-12T06:55:42Z Jiahe Chen