https://arxiv.org/api/+Or34a67sRJCLv73C3opE7+0Vo0 2026-07-24T15:50:13Z 30432 330 15 http://arxiv.org/abs/2606.26244v1 2026-06-24T18:00:09Z

We introduce an approach to distinguishing isomorphism types of graphs based on vector spaces of polynomials that are set-wise invariant under permutations ("separating modules," which are representations of the symmetric group), inspired by the Geometric Complexity Theory approach to separating complexity classes (Mulmuley & Sohoni, SIAM J. Comput., 2001). We characterize the power of this method for distinguishing non-isomorphic graphs under several different complexity measures: - We show that separating modules of "support-degree" $k$ (each monomial touches at most $k$ vertices) are equivalent to the counts of $O(k)$-vertex subgraphs. This is strictly weaker than $O(k)$-dimensional Weisfeiler--Leman (Fürer, ICALP '01). - We show that separating modules of symmetric circuit size $n^{Θ(k)}$ are equivalent to $Θ(k)$-WL. This generalizes and strengthens a result of Dawar & Wilsenach (CSL '18; ICALP '20; ACM Trans. Comput. Log., 2022; Theory Comput., 2025): they proved one direction of this equivalence for invariant polynomials; we generalize to separating modules and prove both directions. - When considering only the multiplicities of separating modules (as was proposed in GCT by Mulmuley & Sohoni, ibid., rather than the polynomials themselves), we show that two graphs are separated by multiplicities if and only if their automorphism groups have different cycle indices. The latter result is notable in the analogy with GCT, as it is the only result we are aware of in which the multiplicity approach to separating isomorphism types of objects has been given an "intrinsic" characterization in terms of the objects themselves. We use this to show that for graphs, multiplicity obstructions are stronger than occurrence obstructions. We also connect invariant polynomials to the Graph Reconstruction Conjectures and Forman's "invariants of finite type" (Adv. Math., 2004).

2026-06-24T18:00:09Z Joshua A. Grochow Jacob Urisman http://arxiv.org/abs/2511.20121v2 2026-06-24T16:26:23Z

The affine vertex operator algebras for $\mathfrak{sl}_2$ and the Virasoro minimal models are related by Drinfeld-Sokolov reduction and by the Goddard-Kent-Olive coset construction. In this work, we propose another connection based on certain character identities between these vertex operator algebras and their modules. This relates the simple affine vertex operator algebras $L_k(\mathfrak{sl}_2)$ at admissible levels $k=-2+q/p$ to the rational $(q,3p)$-minimal models $L_\mathrm{Vir}(c_{q,3p},0)$, and also extends to the nonadmissible levels with $q=1$. Several special cases are particularly interesting. In the nonadmissible case $q=1$, the character identities extend to certain abelian intertwining algebras, specifically $\mathcal{V}^{(p)}$ and the doublet $\mathcal{A}^{(3p)}$. Specialising further to $p=2$, where $\mathcal{V}^{(2)}$ is the simple small $\mathcal{N}=4$ superconformal algebra of central charge $c=-9$, this recovers, via the 4d/2d-correspondence, a known identity between the Schur indices of the 4d $\mathcal{N}=4$ supersymmetric Yang-Mills theory for $\mathrm{SU}(2)$ and the 4d $\mathcal{N}=2$ $(3,2)$ Argyres-Douglas theory. In the boundary admissible case $q=2$, in a similar vein, we obtain an identity between the Schur indices of 4d $\mathcal{N}=2$ Argyres-Douglas theories of types $(A_1,D_{2n+1})$ and $(A_1,A_{6n})$. On the other hand, for integral levels, $p=1$, where both involved vertex operator algebras are strongly rational, our character identity induces a Galois conjugation between the representation categories $\mathrm{Rep}(L_{-2+q}(\mathfrak{sl}_2))$ and $\mathrm{Rep}(L_\mathrm{Vir}(c_{q,3},0))$; and for small values of $q$, the characters are related by the action of certain Hecke operators. Finally, we also sketch how to extend the results of this paper to relaxed highest-weight and Whittaker modules.

2025-11-25T09:42:27Z 45 pages, LaTeX; minor changes; to appear in Math. Z Dražen Adamović Sven Möller http://arxiv.org/abs/1202.0427v2 2026-06-24T16:21:25Z

We develop some aspects of the model theory of additive structures, with particular emphasis on the abelian category of pp-imaginaries.

2012-02-02T13:28:51Z Correction in Section 5: elimination of pp-imaginaries, not general imaginaries Mike Prest http://arxiv.org/abs/2505.06147v3 2026-06-24T15:31:02Z

We provide a categorification of Oh and Suh's combinatorial Auslander-Reiten quivers in the simply laced case. We work within the perfectly valued derived category $\mathrm{pvd}(Π_Q)$ of the 2-dimensional Ginzburg dg algebra of a Dynkin quiver $Q$. For any commutation class $[i]$ of reduced words in the corresponding Weyl group, we define a subcategory $C([i])$ of $\mathrm{pvd}(Π_Q)$ whose objects are obtained by applying a sequence of spherical twist functors to the simple objects. We describe the Hom-order for $C([i])$ in terms of $[i]$, generalizing a result of Bédard. Furthermore, when $[i]$ is a commutation class for the longest element, we construct a category $D([i])$ generalizing the bounded derived category of $Q$. It is realized as a certain subquotient of $\mathrm{pvd}(Π_Q)$. We demonstrate the existence of particular distinguished triangles in $\mathrm{pvd}(Π_Q)$ with corners in $D([i])$, which allows us to extend the classical mesh-additivity to arbitrary commutation classes. Additionally, we define an analog of the Euler form and prove that its symmetrization yields the corresponding Cartan-Killing form. For commutation classes $[i]$ arising from Q-data, a generalization of Dynkin quivers with a height function introduced by Fujita and Oh, we establish the existence of a partial Serre functor on $D([i])$. Lastly, we apply our results to reinterpret a formula by Fujita and Oh for the inverse of the quantum Cartan matrix.

2025-05-09T15:58:08Z 51 pages. v3: corrected Remark 6.9. v2: improved Lemma 8.7 and Proposition 8.15, added Remarks 8.16 and 8.17, corrected typos; version in the JLMS J. London Math. Soc. (2) 113 (2026), no. 5, Paper No. e70579 Ricardo Canesin 10.1112/jlms.70579 http://arxiv.org/abs/2507.16492v2 2026-06-24T14:56:16Z

The Popov-Vinberg variety of a simply connected, split, semisimple algebraic group $G$ is a singular affine variety that contains the basic affine space $G/U$ as a Zariski open subset. It is defined as the spectrum of the ring of functions on $G/U$, and can also be identified with the universal symplectic implosion for the maximal compact subgroup of $G$. We provide a recursive procedure for computing the intersection cohomology of this variety, with an emphasis on the case where $G = \operatorname{SL}_n$.

2025-07-22T11:46:35Z Various minor edits. Final version, to appear in Transformation Groups Andrew Dancer Johan Martens Nicholas Proudfoot 10.1007/s00031-026-09982-y http://arxiv.org/abs/2606.25851v1 2026-06-24T14:02:08Z

In this paper, we improve the marked-vertex strategy introduced by Fu and Liang, and design the algorithm to compute all mutation paths and generator elements of cluster automorphism groups efficiently. As an application, we get generators of cluster automorphism groups of cluster algebras of finite mutation type of rank 4.

2026-06-24T14:02:08Z Jindong Zhao Haiyan Zhu http://arxiv.org/abs/2606.25848v1 2026-06-24T13:59:25Z

Given a smooth deformation of a Lie subalgebra, we establish a necessary and sufficient condition for its smooth triviality and derive an analogous criterion for Lie ideals. We then give a direct proof of the Moser trick for foliations, which forms the basis for extending this result to general Lie subalgebroids.

2026-06-24T13:59:25Z 16 pages. Comments welcome! Ilias Ermeidis http://arxiv.org/abs/2606.25694v1 2026-06-24T11:03:05Z

The preprojective algebra of a hereditary algebra $H$ can be defined as a certain orbit construction of the regular representation generated by the Auslander-Reiten translation. In this short survey, we will look at two important generalisations, namely, the contracted preprojective algebra and the total preprojective algebra. We will include several open problems and questions motivated by examples in the hope to stimulate future research on general orbit algebras of $H$-modules.

2026-06-24T11:03:05Z Aaron Chan Osamu Iyama Rene Marczinzik http://arxiv.org/abs/2606.25677v1 2026-06-24T10:43:22Z

Let $G$ be a finite group. We provide a description of the ordinary quiver of the complex monoid algebra of the wreath product $G \wr \mathrm{PT}_n$, where $\mathrm{PT}_n$ denotes the monoid of all partial functions on an $n$-element set. This description depends on the multiplicities of simple $G$-modules appearing in the decomposition of tensor products of simple $G$-modules. We also prove that the global dimension of this algebra is $n-1$. Both results are obtained by analyzing the associated Ehresmann EI-category related to the monoid. Finally, we describe the quiver of the algebra of the wreath product of $G$ with the submonoid of all order-preserving partial functions.

2026-06-24T10:43:22Z 37 pages Itamar Stein http://arxiv.org/abs/2606.23240v2 2026-06-24T10:18:53Z

Let $F$ be a local non-archimedian field, $L$ be a central division $F$-algebra of rank $n$ and ${\mathcal A}_n(L)$ be the convolution algebra of smooth compactly supported $Ad$-invariant complex-valued measures on $L^*$. It is known that for different division $F$-algebras $L$ of rank $n$ the algebras ${\mathcal A}_n(L)$ are canonically isomorphic. In this paper I propose a conjecture extending these isomorphisms to the algebras generated by Hecke operators on spaces of $1/2$-measures on the stacks of $L^*$-bundles on smooth complete curves over $F$.

2026-06-22T12:24:24Z v2: some typos fixed David Kazhdan http://arxiv.org/abs/2506.12663v2 2026-06-24T10:04:48Z

Let $ G $ be a connected reductive algebraic group over $ \mathbb{R} $, and $ H $ its symmetric subgroup. For parabolic subgroups $ P_{G} \subset G $ and $ P_{H} \subset H $, the product of flag varieties $ \mathfrak{X} = H/P_H \times G/P_G $ is called a double flag variety, on which $ H $ acts diagonally. Now let $G$ be either $\mathrm{U}(n,n)$ or $\mathrm{Sp}_{2n}(\mathbb{R})$. We classify the $H$-orbits on $ \mathfrak{X} $ in both cases and show that they admit exactly the same parametrization. Concretely, each orbit corresponds to a signed partial involution, which can be encoded by simple combinatorial graphs. The orbit structure reduces to several families of smaller flag varieties, and we find an intimate relation of the orbit decomposition to Matsuki duality and Matsuki-Oshima's notion of clans. We also compute the Galois cohomology of each orbit, which exhibits another classification of the orbits by explicit matrix representatives.

2025-06-14T23:42:52Z 63 pages Kyo Nishiyama Taito Tauchi http://arxiv.org/abs/2410.17476v2 2026-06-24T09:54:19Z

Let $G$ be a split reductive group over $F_q$, and let $M$ be a standard Levi subgroup of $G$. Let $Par_M(G)$ denote the set of parabolic subgroups of $G$ with Levi factor $M$. For $P$ and $P'$ in $Par_M(G)$, we let $U=R_u(P)$ and $U'=R_u(P')$ denote the unipotent radicals, and we denote by $\overline{G/U}$ and $\overline{G/U'}$ the affinizations of the corresponding homogeneous spaces. Extending the work of Kazhdan-Laumon and Braverman-Kazhdan (arXiv:math/9809112, arXiv:math/0206119) to general parabolic basic affine, or paraspherical, spaces, we propose a construction for certain intertwining operators $F_{P',P}: S(\overline{G/U}(F_q),C) \to S(\overline{G/U'}(F_q),C)$ for suitable function spaces $S$, defined via kernels analogous to those appearing in those works. We then study the extent to which these intertwiners are normalized. We show that, for opposite $(n-1)+1$ parabolics of $SL_n$, our transform reduces to the classical linear Fourier transform, and that, for opposite unipotents in $SL_3$ or opposite Siegel parabolics in $Sp_4$, our transforms are given by a Fourier transform on a quadric cone, with kernel coming from a Kloosterman sum. We prove Fourier inversion for this transform on a natural subclass of functions on the quadric cone, establishing a finite-field analogue of the quadric Fourier transform of Gurevich-Kazhdan, Getz-Hsu-Leslie, and Kobayashi-Mano (arXiv:2304.13993, arXiv:2103.10261, arXiv:0712.1769).

2024-10-22T23:23:50Z Title change; simplified introduction stressing Kazhdan-Laumon's work. Comments welcome! Aaron Slipper http://arxiv.org/abs/2503.18412v2 2026-06-24T09:05:04Z

We study a category of semiinfinite sheaves on the affine flag variety of a connected reductive algebraic group, with coefficients in a field (of arbitrary characteristic different from that of the base field), generalizing some results of Gaitsgory and showing that this category behaves like familiar categories of sheaves on flag varieties in many respects. Our interest is motivated by expected relations with representation theory of the Lie algebra of the Langlands dual reductive group.

2025-03-24T07:44:06Z v1: 61p. v2: 63p. Minor revision after a referee's report Pramod N. Achar Gurbir Dhillon Simon Riche http://arxiv.org/abs/2606.25560v1 2026-06-24T08:37:28Z

We study the equivariant lifting of cleft extensions of abelian categories and its impact on singularity categories. Specifically, we establish the necessary framework for lifting a cleft extension to a G-equivariant cleft extension. Furthermore, we prove that a restriction functor associated to a cleft extension induces a singular equivalence if and only if its equivariant counterpart does. As a concrete application, we demonstrate that the skew group ring of a $G$-equivariant $θ$-extension is isomorphic to a $\widehatθ$-extension of the base skew group ring, allowing us to lift singular equivalences for these structures.

2026-06-24T08:37:28Z Comments are welcome! Miltiadis Karakikes http://arxiv.org/abs/2606.25516v1 2026-06-24T07:48:19Z

We define a notion of total positivity for the symmetric space $G/K$ by taking the Hausdorff closure of the image of Lusztig's totally positive part $G_{>0}$ in $G/K$. We introduce double Bruhat cells for the symmetric space and define their totally positive pieces. We prove a cell decomposition of the totally nonnegative symmetric space, give explicit positive parametrizations of all cells, establish closure relations, and show that the transition maps between the two natural families of parametrizations are subtraction-free.

2026-06-24T07:48:19Z 20 pages Huanchen Bao