https://arxiv.org/api/u34dUuKFgp8QdzCagQFj+qYTkFo 2026-07-26T05:34:20Z 30432 540 15 http://arxiv.org/abs/2603.16326v2 2026-06-08T07:27:24Z

In this paper, we investigate the geometric structures of $G$-fans associated with rank $3$ real cluster-cyclic exchange matrices. In this class, a simple recursion for tropical signs was found, which enables us to study the detailed properties of $c$-, $g$-vectors. We introduce two kinds of upper bounds of the $G$-fans. The first one is the global upper bound, which comes from a hyperbolic surface containing all $g$-vectors after an initial mutation. The second one is the local upper bound, which reflects the internal separateness structure. As applications, we prove that there is no periodicity among $g$-vectors, and we completely determine the sign of $g$-vectors. We also prove the monotonicity of $g$-vectors under the minimum assumption. Moreover, we show that the three global upper bounds can be simplified to a single uniform upper bound.

2026-03-17T09:58:48Z 59 pages, 13 figures, Comments are welcome. ver. 2: revise a mistake in Example 9.4 and some minor points Ryota Akagi Zhichao Chen http://arxiv.org/abs/2606.09069v1 2026-06-08T06:06:23Z

Let $H$ be a finite-dimensional, non-semisimple Hopf algebra over an algebraically closed field $\mathbf{k}$. This paper investigates the asymptotic behavior of the core of left $H$-modules through the lens of the gamma invariant $γ_{\mathfrak{X}}$ relative to a representation ideal $I_{\mathfrak{X}}$. We establish an equivalent characterization for the quotient of the Green ring $R_{\mathfrak{X}}$ to be a transitive fusion ring, demonstrating that transitivity is synonymous with the non-degeneracy of a naturally induced bilinear form and the collapse of the ideals $P_{+}$, $P_{-}$ and $I_{\operatorname{max}}$ into a single ideal. Furthermore, we prove that the Green ring exhibits the structure of a representation ring in the sense of Benson, provided that the square of the antipode is an inner automorphism and the equality $I_{\operatorname{max}}=I_{\operatorname{proj}}$ holds. As an explicit application of these frameworks, we analyze the Drinfeld double $D(H_4)$ of the Sweedler algebra, identifying an infinite family of distinct representation ideals and proving that the maximal gamma invariant $γ_{\operatorname{max}}$ induces a genuine ring homomorphism. Finally, for Hopf algebras of finite representation type under the assumption $P_{+} = P_{-} = I_{\operatorname{max}}$, we show that $γ_{\operatorname{max}}$ coincides precisely with the Frobenius--Perron dimension, and we explicitly compute the gamma invariants for the standard basis elements of the Green ring of the Taft algebra $H_n(q)$.

2026-06-08T06:06:23Z 14 pages Xinru Zhang Libin Li Yinhuo Zhang http://arxiv.org/abs/2109.08905v4 2026-06-08T05:13:04Z

In this paper, we derive a closed formula for the number of isomorphism classes of absolutely indecomposable semistable representations of an arbitrary quiver over a finite field with a fixed dimension vector. This generalises a formula for Kac polynomials given by Hua. A key step in the proof is to show that any representation of a quiver with a nilpotent endomorphism over an arbitrary field admits a structured filtration by subrepresentations compatible with the nilpotent action.

2021-09-18T11:32:36Z 25 pages Jiuzhao Hua http://arxiv.org/abs/2606.08989v1 2026-06-08T03:37:26Z

Let \(G\) be a finite group and let \(χ\) be an ordinary irreducible character. We give an elementary algorithm which constructs explicit matrices affording \(χ\). The regular representation provides a canonical ambient representation, and the usual central idempotent projects onto the \(χ\)-isotypic component. The main step is then to maximize the squared norm of a diagonal matrix coefficient on the unit sphere of this component. The maximum is \(1/χ(1)\), and it is attained precisely by vectors whose cyclic span is an irreducible subrepresentation affording \(χ\). Thus the construction reduces the passage from characters to matrices to a concrete optimization problem. The same extraction method applies inside any smaller ambient representation containing \(χ\), such as an induced representation from a subgroup. We complement the theory with a discussion on dimension reduction, robust numerical implementation, and an explicit \(S_4\) example.

2026-06-08T03:37:26Z Yu Hsuan Hsieh Ming-Hsuan Kang http://arxiv.org/abs/2507.09254v2 2026-06-08T03:19:04Z

In this paper, we introduce and study two cyclotomic level maps defined respectively on the set of nilpotent orbits $\underline{\mathcal{N}}$ in a complex semi-simple Lie algebra $\mathfrak{g}$ and the set of conjugacy classes $\underline{W}$ in its Weyl group, with values in positive integers. We show that these maps are compatible under Lusztig's map $\underline{W} \to \underline{\mathcal{N}}$, which is also the minimal reduction type map as shown by Yun. We also discuss their relationship with two-sided cells in affine Weyl groups. We use these maps to formulate a conjecture on the associated varieties of simple affine vertex algebras attached to $\mathfrak{g}$ at non-admissible integer levels, and provide some evidence for this conjecture.

2025-07-12T11:25:31Z v1: 48 pages, 8 tables, 5 figures. v2: 46 pages, 8 tables, 5 figures; intro is rewritten to better emphasize the Langlands-style picture we are building; an equivalent definition of cl_n is added and the first theorem is reduced to a known result; some other references are added and typos corrected Peng Shan Wenbin Yan Qixian Zhao http://arxiv.org/abs/2501.13424v2 2026-06-08T02:36:36Z

In this paper, we show that stable functors of derived equivalences preserve the isomorphism classes of versal deformation rings of finitely generated Gorenstein-projective modules over finite dimensional $k$-algebras. Then we generalize Veléz-Marulanda's result \cite{V} in the case of singular equivalences of Morita type with levels for Gorenstein algebras. Moreover, we also prove that stable equivalences of Morita type preserve the isomorphism classes of versal deformation rings of finitely generated Gorenstein-projective modules over finite dimensional $k$-algebras.

2025-01-23T06:58:25Z The result is replaced by arXiv:2606.06648 Shengyong Pan http://arxiv.org/abs/2402.13544v5 2026-06-08T01:27:07Z

We introduce a monoidal analogue of Jantzen filtrations in the framework of monoidal abelian categories with generic braidings. It leads to a deformation of the multiplication of the Grothendieck ring. We conjecture, and we prove in many remarkable situations, that this deformation is associative so that our construction yields a quantization of the Grothendieck ring as well as analogs of Kazhdan-Lusztig polynomials. As a first main example, for finite-dimensional representations of simply-laced quantum loop algebras, we prove the associativity and we establish that the resulting quantization coincides with the quantum Grothendieck ring constructed by Nakajima and Varagnolo-Vasserot in a geometric manner. Hence, it yields a unified representation-theoretic interpretation of the quantum Grothendieck ring. As a second main example, we establish an analogous result for a monoidal category of finite-dimensional modules over symmetric quiver Hecke algebras categorifying the coordinate ring of a unipotent group associated with a Weyl group element. We obtain various applications, in particular on the homological structure of representations.

2024-02-21T05:53:28Z 61 pages, v5: fixed a few typos Adv. Math., 495 (2026), 110963 Ryo Fujita David Hernandez 10.1016/j.aim.2026.110963 http://arxiv.org/abs/2605.09828v2 2026-06-08T00:41:32Z

This paper introduces a Lie algebra analogue of the middle convolution functor, which is defined on the category of modules over certain Lie algebras, including, as typical motivating examples, free Lie algebras, Drinfeld-Kohno Lie algebras, and the holonomy Lie algebras of complements of hyperplane arrangements. First, we demonstrate that the middle convolution for Lie algebra representations can be regarded as a natural generalization of the infinitesimal analogue of the Long-Moody functor for Drinfeld-Kohno Lie algebras. Second, we show that our middle convolution recovers the Dettweiler-Reiter additive middle convolution for Fuchsian systems on the punctured Riemann sphere as a special case. Furthermore, we show that when applied to the holonomy Lie algebra of the complement of a hyperplane arrangement, our functor is compatible with Haraoka's middle convolution for logarithmic connections on such complements. Finally, we establish a Riemann-Hilbert correspondence between the middle convolution for the holonomy Lie algebra and the middle convolution for local systems on complements of hyperplane arrangements.

2026-05-11T00:08:35Z 41 pages, minor correction Kazuki Hiroe http://arxiv.org/abs/2601.13791v2 2026-06-08T00:26:39Z

In this paper, we first introduce the concept of Nijenhuis BiHom-Lie algebras. We then establish the equivalence relations between the Manin triples of Nijenhuis BiHom-Lie algebras, Nijenhuis BiHom-Lie bialgebras, and matched pairs of Nijenhuis BiHom-Lie algebras. Furthermore, we show that such an equivalence also holds for differential Lie bialgebras, together with their associated Manin triples and corresponding matched pairs.

2026-01-20T09:49:01Z Comments are welcome! 27 pages Jiaqi Liu Lin Gao Yuanyuan Zhang http://arxiv.org/abs/2509.06486v3 2026-06-07T13:46:56Z

We generalize the theory of integer $C$-, $G$-matrices in cluster algebras to the real case. By a skew-symmetrizing method, we can reduce the problem of skew-symmetrizable patterns to skew-symmetric patterns. In this sense, the sign-coherence of a more general real class called of quasi-integer type can be inherited directly from that of integer $C$-, $G$-matrices proved by Gross-Hacking-Keel-Kontsevich. However, the sign-coherence of real $C$-, $G$-matrices does not always hold in general. For this purpose, we classify all the rank $2$ case and the finite type case via the Coxeter diagrams. We also give two conjectures about the real exchange matrices and $C$-, $G$-matrices. Under these conjectures, the dual mutation, $G$-fan structure and synchronicity property hold. As an application, the isomorphism of several kinds of exchange graphs is studied.

2025-09-08T09:49:23Z In this version, we improved the exposition and the structure throughout the paper (especially the Sections 4, 6, 7 in the last version). We also added some explanations and references concerning related works. Moreover, we simplified several unnecessary proofs and made the statements more clear (especially about Proposition 3.7, Proposition 4.13 and Proposition 6.1 in the present version) Ryota Akagi Zhichao Chen http://arxiv.org/abs/2606.08627v1 2026-06-07T13:37:36Z

In this paper, we develop a bialgebra theory for diassociative algebras. Inspired by the notion of a quadratic diassociative algebra, we introduce the concept of a Manin triple of diassociative algebras. We then define a diassociative bialgebra, which is shown to be equivalent to a Manin triple of diassociative algebras through a specific matched pair of diassociative algebras. We further formulate the diassociative Yang-Baxter equation (DYBE) in a diassociative algebra, and prove that symmetric solutions of the DYBE give rise to diassociative bialgebras. To construct such solutions, we also introduce relative Rota-Baxter operators and pre-diassociative algebras. As a key application, we lift the known relationships between diassociative algebras and other algebraic structures to the bialgebra level. In particular, we show that every diassociative bialgebra naturally induces a Leibniz bialgebra, thereby extending Loday's classical result that a diassociative algebra gives rise to a Leibniz algebra. Moreover, we provide explicit constructions of Lie bialgebras via tensor products of diassociative bialgebras and quadratic dendriform algebras.

2026-06-07T13:37:36Z 30 pages. Comments welcome Hui Hu Yizhen Li Guilai Liu Shanghua Zheng http://arxiv.org/abs/2602.14383v2 2026-06-07T12:23:33Z

The paper develops a Brown--Comenetz dual framework for Neeman's representability theorems for triangulated categories with a single compact generator (Invent. math., 244:531-616, 2026). Starting from a locally Hom-finite approximable triangulated category, we use the Brown--Comenetz duals of compact objects to construct a triangulated subcategory $\E$, which plays the role of an injective-side analogue of the compact subcategory $\T^c$. We introduce the intrinsic subcategory $\T_c^+$, dual to Neeman's subcategory $\T_c^-$, and characterize its objects by strong $\E$-coapproximating systems and homotopy inverse limits. Under the compact silting hypothesis, we prove Brown representability theorems identifying $(\T_c^+)^{\op}$ with locally finite $\E$-homological functors and $(\T_c^b)^{\op}$ with finite $\E$-homological functors. We also establish localization results for recollements on the Brown--Comenetz side and derive applications to derived categories of finite-dimensional algebras.

2026-02-16T01:16:21Z 35 pages. Comments are welcome Xiaohu Chen Yongliang Sun Yaohua Zhang http://arxiv.org/abs/2606.08570v1 2026-06-07T10:52:30Z

We construct Newton--Okounkov polytopes of Schubert varieties in partial flag varieties of arbitrary type using the cluster structure on a unipotent cell. When the governing cluster algebra is of infinite type, we prove that for any very ample homogeneous line bundle over a simply laced partial flag variety, the resulting family of Newton--Okounkov polytopes contains infinitely many pairwise nonequivalent polytopes up to integral affine transformation. As an application to symplectic geometry, we construct infinitely many distinct monotone Lagrangian tori in a broad class of simply laced partial flag varieties.

2026-06-07T10:52:30Z 45 pages, 11 figures Yunhyung Cho Myungho Kim Yoosik Kim Euiyong Park http://arxiv.org/abs/2512.13315v2 2026-06-07T10:23:55Z

We prove a conjecture of Odaka--Oshima, which says that there is an algebraic description of the Gromov--Hausdorff compactification of all unit-diameter hyperkähler metrics on K3 surfaces. As a corollary, we obtain a classification of the Gromov--Hausdorff limits of those hyperkähler K3 surfaces with a fixed complex structure or with a fixed polarization.

2025-12-15T13:33:03Z 43 pages, minor revision Zexuan Ouyang Gang Tian http://arxiv.org/abs/2606.08299v1 2026-06-06T18:52:03Z

We study a canonical $G_2$-equivariant operator $h:\mathbb{O}\otimes_{\mathbb{R}}V\to \mathbb{O}\otimes_{\mathbb{R}}V$ defined using only octonion multiplication, where $V$ is the standard $7$-dimensional $G_2$-module. We first compute its ordinary real spectrum using the $G_2$-decomposition of $\mathbb{O}\otimes_{\mathbb{R}}V$. We then analyze the octonionic right-eigenvalue problem $$ h(\widehat w)=\widehat wλ, \qquad λ\in\mathbb{O}. $$ After fixing a complex slice $\mathbb{R}\oplus\mathbb{R}\widehat u\subset\mathbb{O}$, the problem becomes a real spectral problem for $H_{u,Q}=h-Q R_{\widehat u}$, whose residual symmetry is $\mathrm{SU}(3)$. The resulting $\mathrm{SU}(3)$-block decomposition yields two explicit spectral loci in each slice: a quartic curve and a circle. The equations defining these loci are independent of the slice, and the full right spectrum is obtained by allowing $\widehat u$ to vary over the unit sphere in $\operatorname{Im}\mathbb{O}$.

2026-06-06T18:52:03Z 56 pages, 1 figure Sergey Grigorian