Any-Dimensional Invariant Universality

2026-05-22T02:07:27Z

Several machine learning models are defined for inputs of any size, such as graphs with different numbers of nodes and point clouds containing varying numbers of points. The universality properties of such any-dimensional models remain poorly understood, as universality is traditionally studied for models accepting inputs of a fixed size, defined on a compact subset of their domain. In sharp contrast, any-dimensional models can be viewed as sequences of functions defined on growing-sized inputs, and it is not clear in which sense they can be universal. We develop a systematic approach to establish any-dimensional universality, by identifying any-dimensional functions with a unique function taking inputs in a suitable infinite-dimensional limit space containing inputs of all finite sizes as well as their limits. Using the symmetries of these inputs and relations between inputs of different sizes, we show that this limit space admits a natural topology with rich families of compact sets on which any-dimensional universality can be established. We illustrate our approach by showing that several existing architectures fail to be universal, and we propose simple modifications that restore universality.

Real 2-blocks in quasi-simple groups

2026-05-21T18:56:42Z

We determine which quasi-simple groups have a non-principal $2$-block that is stable under complex conjugation. As a corollary, we determine that the Mathieu group $M_{22}$ is the only simple group not possessing a nontrivial irreducible Brauer character of quadratic type, answering a recent question of Gow and Murray.

Weighted Cycles on Weaves

2026-05-21T18:52:33Z

We introduce weighted cycles on weaves of general Dynkin types and define a skew-symmetrizable intersection pairing between weighted cycles. We prove that weighted cycles on a weave form a Laurent polynomial algebra and construct a quantization for this algebra using the skew-symmetric intersection pairing in the simply-laced case. We define merodromies along weighted cycles as functions on the decorated flag moduli space of the weave. We relate weighted cycles with cluster variables in a cluster algebra and prove that mutations of weighted cycles are compatible with mutations of cluster variables.

Irreducibility of Certain $\widehat{\mathfrak{sl}}_2$-Modules of Wakimoto Type

2026-05-21T18:14:38Z

We investigate the irreducible smooth $\widehat{\mathfrak{sl}}_{2}$-modules recently constructed in [Adv. Math. 481 (2025), 110559, 34 pages, arXiv:2404.03855], and demonstrate that these modules admit a Wakimoto-type realization at both critical and non-critical levels. In the critical level case, we identify simple quotients of these modules with the Wakimoto modules whose irreducibility was already established by Adamović. We also generalize some Wakimoto modules constructed in [Adv. Math. 289 (2016), 438-479, arXiv:1409.5354] and identify them as generalized Whittaker modules.

Relative Langlands duality and Koszul duality

2026-05-21T17:20:34Z

Consider a pair of $S$-dual hyperspherical varieties $G\circlearrowright X$ and $G^\vee\circlearrowright X^\vee$ equipped with equivariant quantizations $Q(X)$, $Q(X^\vee)$. Assume that the local conjecture of Ben-Zvi, Sakellaridis and Venkatesh holds for this pair, and also that $X\simeq T^*_ψ(Y)$ is polarized, so that $Q(X)=D_ψ(Y)$. Let $B\subset G$ (resp. $B^\vee\subset G^\vee$) be Borel subgroups. Then using a variant of the $S^1$-equivariant localization of arxiv:0706.0322, we deduce an equivalence between the ${\mathbb Z}/2$-graded $B$-equivariant category $(D_ψ(Y)\operatorname{-mod}^B)^{{\mathbb Z}/2}$ and the ${\mathbb Z}/2$-graded unipotent $B^\vee$-monodromic category $(Q(X^\vee)\operatorname{-mod}^{B^\vee,\operatorname{mon}})^{{\mathbb Z}/2}$.

Valuative independence and cluster theta reciprocity

2026-05-21T16:45:03Z

We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0} \operatorname{val}_v(\vartheta_u)$. As applications, we prove linear independence of theta functions with specialized coefficients and characterize when theta functions for cluster varieties are unchanged by the unfreezing of an index. This yields a general gluing result for theta functions from moduli of local systems on marked surfaces. We then prove that theta functions for cluster varieties satisfy a symmetry property called theta reciprocity: briefly, $\operatorname{val}_v(\vartheta_u)=\operatorname{val}_u(\vartheta_v)$. For this we utilize a new framework called a "seed datum" for understanding cluster-type varieties. One may apply valuative independence and theta reciprocity together to identify theta function bases for global sections of line bundles on partial compactifications of cluster varieties.

A Generalization of $Δ$U Rings

2026-05-21T16:43:08Z

In this paper, we introduce and study a new class of rings calling them {\it weakly $ΔU$-rings}, hereafter abbreviated as {\it $WΔU$-rings} for short. A ring $R$ is said to be $WΔU$ if every unit of $R$ can be expressed as $\pm 1 + d$ for some $d \in Δ(R)$, where $Δ(R)$ is the largest Jacobson radical of $R$ that is closed under multiplication by units. Utilizing the known structure of $Δ(R)$, we investigate the relationships between $WΔU$ rings and certain classical concepts such as $ΔU$-rings, $UJ$-rings, $WUJ$-rings, as well as clean and exchange rings. Among the main results, we show that a matrix ring $M_n(R)$ is never $WΔU$ for any $n \ge 2$. We also provide complete characterizations of local, semi-local, semi-simple and semi-regular rings that are $WΔU$. Furthermore, it is shown for exchange rings that the $WΔU$ property is equivalent to being $WUJ$. Furthermore, the behavior of $WΔU$-rings under various ring extensions, including skew polynomial rings, skew power series rings, triangular matrix rings, trivial extensions and group rings, is thoroughly examined. Several examples are given to illustrate that the class of $WΔU$-rings properly contains the class of $ΔU$-rings. Finally, necessary and sufficient conditions for a group ring $RG$ to be $WΔU$ are established too. Resuming all of the presented above, our results expanded those by Karabaçak et al. published in J. Algebra \& Appl. (2021).

Subnormalizers and character correspondences in $p$-solvable groups

2026-05-21T16:09:40Z

A new family of local-global conjectures in the representation theory of finite groups has recently been proposed by Moretó. We show that one of the strongest of these conjectures, the strong subnormalizer conjecture, holds for $p$-solvable groups when $p$ is odd, under the condition that the subnormalizer subset is a subgroup. We also prove it in general when $p$ is odd and the $p$-length of the group is 1 and, in the process, obtain new properties related to the Glauberman correspondence.

Complete invariants for simultaneous similarity

2026-05-21T15:32:29Z

Always dealing with an arbitrary field we consider the variety $(k^{n\times n})^{p}$ under the action of $GL_{n}$ by simultaneous similarity. We define discrete and continuous invariants which completely determine the orbits. The discrete invariants induce a disjoint decomposition of the variety into finitely many locally closed $GL_{n}$-stable subsets and for each of these we construct finitely many invariant morphisms to $k$ separating the orbits. The complicated action of $GL_{n}$ by similarity is reduced to left multiplication of a product of $GL_{l_{i}}$'s on a product of $k^{l_{i}\times m_{i}}$'s. An analogous result holds for the left-right action of $GL_{m}\times GL_{n}$ on $(k^{m\times n })^{p}$ and more generally for all varieties of finite dimensional modules over some finitely generated algebra.

Infinite sequences via Lie algebra actions for oligomorphic groups

2026-05-21T15:04:46Z

Many integer sequences arise as numbers of $G$-orbits on $\binom{X}{n}$ as $n$ varies, for a permutation group $G\subseteq \operatorname{Sym}(X)$. For finite $X$, Stanley proved that these finite sequences increase towards the middle using an action of the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$. For infinite sets $X$, and hence infinite sequences, Cameron provided an argument for monotonicity by identifying orbits with a vector space basis of the orbit algebra $\mathsf{H}_{G,X}^{\star}$, and proving injectivity of a certain operator $\mathsf{H}_{G,X}^{\star}\to \mathsf{H}_{G,X}^{\star+1}$. In this paper we generalize Stanley's approach to oligomorphic groups, and in particular extend Cameron's operator to a full $\mathfrak{sl}_2(\mathbb{C})$-action on $\mathsf{H}_{G,X}^{\star}$. As intermediate step, we define for every oligomorphic permutation group $G\subseteq \operatorname{Sym}(X)$ the $X$-th tensor power $(k^r)^{\otimes X}$, generalizing work of Entova-Aizenbud. We show that this space carries natural commuting actions of $G$ and the Lie algebra $\mathfrak{gl}_r(k)$, the latter depending on a Harman-Snowden measure $μ$ on $G$. We then show that $\mathsf{H}_{G,X}^{\star}\subseteq (\mathbb{C}^2)^{\otimes X}$ has an ascending filtration by $\mathfrak{sl}_2(\mathbb{C})$-Verma modules. We explain how our approach applies to Fibonacci numbers, Tribonacci numbers, etc. by constructing measures on products with $(\mathbb{Q},<)$.

Two remarks on decomposition numbers of standard modules for quantum affine $\mathfrak{sl}_2$

2026-05-21T14:49:32Z

We use Nakajima's geometric approach to representations of quantum affine algebras and recent results on explicit descriptions of specific canonical basis elements, to derive closed positive formulas for certain decomposition numbers of representations of quantum affine $\mathfrak{sl}_2$. Moreover, we obtain a piecewise-linear closed formula for the $q$-characters of irreducible representations of quantum affine $\mathfrak{sl}_2$.

Shading A-polynomials via huge representations of $U_q(\mathfrak{su}_N)$

2026-05-21T14:42:19Z

Classical A-polynomials $A(\ell,m)$ define constraints on coordinates $\ell$ and $m$ in $SL(2,\mathbb{C})$ (a complexification of $SU(2)$) character varieties associated to knot complements $S^3\setminus K$. Quantum A-polynomials $\hat A(\hat \ell,\hat m)$ are difference operators annihilating Jones polynomials believed to represent wave functions of 3d Chern-Simons theory with gauge group $SU(2)$ on a toroidal pipe surrounding the knot $K$ strand -- a boundary of the knot complements $S^3\setminus K$. We suggest a construction of classical shaded A-polynomials $A_a(\ell_b,m_c)$ associated to Lie groups $SU(N)$. We exploit a formalism of Clebsh-Gordan (CG) chords, where indices $a$, $b$, $c$ run over $1,\ldots,N-1$. CG chords have a natural interpretation in terms of 2d CFTs of WZW type, or, alternatively, in terms of quantum group $U_q(\mathfrak{su}_N)$. In the case of $\mathfrak{su}_2$ CG chords could be associated to Reeb chords in a knot contact homology (KCH) framework. KCH suggests its own analogue of A-polynomials known as augmentation polynomials allowed to have extra spurious roots in principle. Yet the CG chord formalism could be easily extended to arbitrary $\mathfrak{su}_N$ allowing us to generalize the construction of A(ugmentation)-polynomials to arbitrary $\mathfrak{su}_N$ and arbitrary representation as well. Primarily we aim at classical A-polynomials by considering a double scaling limit when $q=e^{\hbar}$, $\hbar\to 0$ and the representations are huge, in particular, highest weight vector components $w_i\to \infty$ so that $\hbar w_i\sim m_i$ remain finite. Still we expect the presented techniques would be helpful in deriving quantum A-polynomials for arbitrary Lie (super)algebras $\mathfrak{g}$. Also we discuss explicit examples of A-polynomials for knots $3_1$, $4_1$ and $5_1$ for $\mathfrak{g}=\mathfrak{su}_3$.

Categorical Lusztig cycles and weave schobers

2026-05-21T13:10:35Z

We establish the foundations of categorical weave calculus, developing the diagrammatic calculus of weaves and braid varieties within the study of Calabi-Yau triangulated categories and cluster tilting theory. This is achieved by associating a perverse sheaf of triangulated categories to each Demazure weave. A central contribution is the construction and study of the categorical Lusztig cycles and their duals, which we show form simple-minded and silting collections in the category of global sections of such a sheaf of categories. These categorical collections are built using the diagrammatics of weaves and we study their behavior under changes of weaves. For instance, we show that they undergo tilts under weave mutations. En route, we develop the study of categorical weighted braid words, as canonical rigid filtered dg modules over derived preprojective algebras, and the categorical incarnation of the tropical Lusztig rules, as a gluing mechanism for such filtered objects. Appendix A contains homological results, providing a novel construction of simple-minded and silting collections from full exceptional collections, and characterizing when these arise from a highest weight structure on an abelian category.

Partition division maps, symmetric functions and positivity

2026-05-21T08:03:25Z

We study a linear map on symmetric functions that ``divides'' a partition by a positive integer $k$, sending a Schur function indexed by a partition of $kn$ to a symmetric function indexed by partitions of $n$. We determine its Schur expansion explicitly for Schur and skew Schur functions, showing that the coefficients are enumerated by a new family of combinatorial objects, called $k$-Yamanouchi tableaux, which generalize the classical ballot (Yamanouchi) tableaux appearing in the Littlewood--Richardson rule. We also study the images of elementary symmetric functions under this map, derive the power-sum expansion of their $ω$-images, and establish power-sum positivity. A further application establishes a connection to work of Tewodros Amdeberhan, John Shareshian, and Richard Stanley on alternating permutations and Euler numbers.

Twisted Frobenius-Schur Indicators and Character Degree Sums in Dihedral Groups

2026-05-21T08:03:13Z

Let $G$ be a finite group and $T(G)$ be the sum of the degrees of its irreducible complex representations. We investigate the relationship between $T(G)$ and the number of twisted involutions $m_σ= |\{g \in G \mid σ(g) = g^{-1}\}|$ for an automorphism $σ$. While it is known that $T(G) = m_e$ for the identity automorphism $e$ in certain cases (e.g., real characters), we analyze this relation for non-identity automorphisms of groups of order $p, 2p, p^2$. We prove that for the family of Dihedral groups $D_n$, the inequality $T(D_n) \geq m_σ$ holds for all $σ\in \mathrm{Aut}(D_n)$. We provide a complete classification of $m_σ$ using number-theoretic properties of the automorphism parameters.