Fukaya categories of orbifold surfaces in representation theory

2026-02-19T13:51:20Z

We give an introduction to partially wrapped Fukaya categories of surfaces with orbifold singularities. Dissecting an orbifold surface $\mathbf S$ into polygons, certain dissections give rise to formal generators, inducing a triangulated equivalence between the derived Fukaya category of $\mathbf S$ and the perfect derived category of a graded associative algebra. This provides a geometric means for obtaining associative algebras -- conjecturally all -- which are derived equivalent to skew-gentle algebras. We include a new perspective on the partially wrapped Fukaya category of an orbifold disk which serves as a local model for the Fukaya categories of general orbifold surfaces. This perspective yields an equivalence between the perfect derived category of a quiver of type $\mathrm D_{n+1}$ and the perfect derived category of a graded quiver of type $\widetilde{\mathrm A}_{n-1}$, the latter being equipped with quadratic zero relations and a nontrivial A$_\infty$ structure. This equivalence elucidates the relationship between skew-gentle algebras and orbifold surfaces, and the role of deformation theory in this relationship.

Frobenius extensions about centralizer matrix algebras

2026-02-19T12:47:17Z

This paper investigates the conditions under which the centralizer algebra $S_n(c,R)$ of a matrix $ c\in M_n(R)$ is a (separable) Frobenius extension of the base algebra $R$. For an algebra $R$ over an integral domain $\mathbb{k}$, we provide necessary and sufficient conditions for $S_n(c,R)/R$ to be a (separable) Frobenius extension when $c$ is in Jordan canonical form with eigenvalues in $\mathbb{k}$. We extend this analysis to arbitrary matrices over a field and derive conditions for matrix diagonalizability through Frobenius extensions.

Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups

2026-02-19T11:46:06Z

Given a semigroup $S$, a diagonal subsemigroup $ρ$ is defined to be a reflexive and compatible relation on $S$, i.e. a subsemigroup of the direct square $S\times S$ containing the diagonal $\{ (s,s)\colon s\in S\}$. When $S$ is finite, we define the DSC coefficient $χ(S)$ to be the ratio of the number of congruences to the number of diagonal subsemigroups. In a previous work we observed that $χ(S) = 1$ if and only if $S$ is a group. Here we show that for any rational $α$ with $0 < α\leq 1$, there exists a semigroup with $χ(S) = α$. We do this by utilizing the Rees matrix construction and adapting the congruence classification of such semigroups to describe their diagonal subsemigroups.

A Generalization of the Ehresmann-Schein-Nambooripad Theorem to Two-Sided Ehresmann Semigroupoids

2026-02-18T21:03:15Z

We introduce the notion of two-sided Ehresmann semigroupoids and show that they are in correspondence with a specific class of categories, which we call local biordered Ehresmann categories. This correspondence provides a unified generalization of the Ehresmann-Schein-Nambooripad Theorem for both inverse semigroupoids and Ehresmann semigroups. In particular, two-sided restriction semigroupoids form a distinguished subclass of two-sided Ehresmann semigroupoids, and for this case we describe the associated class of categories, extending earlier results for restriction semigroups.

A Homogeneous Nullstellensatz for Joint Invariant Subspaces

2026-02-18T15:03:41Z

Jurij Volčič conjectured that a noncommutative polynomial $g$ belongs to the unital $\mathbb{K}$-algebra generated by finitely many noncommutative polynomials if and only if, for matrices of every size, every joint invariant subspace of the evaluations of the generators is also invariant under the evaluation of $g$. In this paper, we establish a homogeneous Nullstellensatz for joint invariant subspaces by proving that this equivalence holds whenever the generators are homogeneous. In contrast, we demonstrate that the statement fails in the general case, thereby settling the conjecture completely.

A Computation of Tamarkin-Tsygan Calculus

2026-02-18T11:37:09Z

We compute the full Tamarkin-Tsygan calculus of a Koszul algebra whose global dimension exceeds the number of generators. Our results show that even for algebras possessing an economic presentation and agreeable homological properties, the Hochschild (co)homology, as well as the structure of the Tamarkin--Tsygan calculus may exhibit a rather intricate behavior.

Structured Analytic Mappings for Point Set Registration

2026-02-18T06:51:29Z

We present an analytic approximation model for non-rigid point set registration, grounded in the multivariate Taylor expansion of vector-valued functions. By exploiting the algebraic structure of Taylor expansions, we construct a structured function space spanned by truncated basis terms, allowing smooth deformations to be represented with low complexity and explicit form. To estimate mappings within this space, we develop a quasi-Newton optimization algorithm that progressively lifts the identity map into higher-order analytic forms. This structured framework unifies rigid, affine, and nonlinear deformations under a single closed-form formulation, without relying on kernel functions or high-dimensional parameterizations. The proposed model is embedded into a standard ICP loop -- using (by default) nearest-neighbor correspondences -- resulting in Analytic-ICP, an efficient registration algorithm with quasi-linear time complexity. Experiments on 2D and 3D datasets demonstrate that Analytic-ICP achieves higher accuracy and faster convergence than classical methods such as CPD and TPS-RPM, particularly for small and smooth deformations.

On cyclic invariants of the free associative algebra

2026-02-18T05:52:09Z

Let $K\langle X_d\rangle$ be the free associative algebra of rank $d \geq 2$ over a field $K$. Lane in 1976 and Kharchenko in 1978 proved that the algebra of invariants $K\langle X_d\rangle^G$ is free for any subgroup $G \leq \text{GL}_d(K)$ and any field $K$. Later, Kharchenko introduced an additional action of the symmetric group $\text{Sym}(n)$ on the homogeneous component of degree $n$ of $K\langle X_d\rangle$, given by permuting the positions of the variables. This equips $K\langle X_d\rangle$ with the structure of a $(K\langle X_d\rangle,\circ)$-$S$-algebra. Then Koryukin showed that the algebra of invariants $K\langle X_d\rangle^G$ is finitely generated for every reductive group $G$ with respect to this action. In our paper we study the algebra $K\langle x_1,\ldots,x_d\rangle^{C_d}$ of invariants of the cyclic group $C_d$, $d\geq 2$, where $K$ is an arbitrary field of characteristic 0. We compute the Hilbert series of $K\langle x_1,\ldots,x_d \rangle^{C_d}$. When $K=\mathbb C$ we find a vector space basis of ${\mathbb C}\langle x_1,\ldots,x_d \rangle^{C_d}$ and explicitly describe the generators of ${\mathbb C}\langle x_1,\ldots,x_d \rangle^{C_d}$ as a free algebra. Moreover, we describe a finite generating set for the $S$-algebra $({\mathbb C}\langle x_1,\ldots,x_d \rangle^{C_d},\circ)$. We also transfer the results for $K=\mathbb C$ to the case of an arbitrary field of characteristic 0 for the $S$-algebra $(K\langle x_1,x_2,x_3 \rangle^{C_3},\circ)$ and find a minimal generating set for it as an $S$-algebra.

Zeta functions of solvable Lie algebras over finite fields -- with calculations in detail

2026-02-18T03:15:49Z

Let $L$ be a solvable Lie algebra of dimension less than or equal to 4 over finite fields. We compute and record, in explicit symbolic form, the zeta functions enumerating subalgebras or ideals of $L$, and study their properties. We also discuss the implications of our data, in particular in relation to the general theory of Lie algebras over finite fields and zeta functions of Lie algebras over commutative rings.

Cancellation problem via locally nilpotent derivations

2026-02-17T21:16:51Z

The Zariski cancellation problem plays a central role in affine algebraic geometry and noncommutative algebra, with locally nilpotent derivations providing a fundamental invariant-theoretic approach. This article presents a unified survey of cancellation phenomena in commutative algebras, noncommutative algebras, and skew (Ore-type) extensions, emphasizing the role of rigidity and the Makar--Limanov invariant. We explain how the locally nilpotent derivation framework successfully detects cancellation in rigid settings, while also identifying its inherent limitations, particularly in the skew case where Makar--Limanov stability fails. This perspective clarifies the scope and the boundaries of the locally nilpotent derivation method in cancellation theory.

Comparing the Kirwan and noncommutative resolutions of quotient varieties

2026-02-17T18:58:17Z

Let a reductive group $G$ act on a smooth variety $X$ such that a good quotient $X{/\!\!/}G$ exists. We show that the derived category of a noncommutative crepant resolution (NCCR) of $X{/\!\!/} G$, obtained from a $G$-equivariant vector bundle on $X$, can be embedded in the derived category of the (canonical, stacky) Kirwan resolution of $X{/\!\!/} G$. In fact the embedding can be completed to a semi-orthogonal decomposition in which the other parts are all derived categories of Azumaya algebras over smooth Deligne-Mumford stacks.

Conjugacy classes of regular integer matrices

2026-02-17T17:24:16Z

This paper is devoted to the theory of $GL_n({\mathbb Z})$-conjugacy classes of regular integer $n\times n$ matrices. Such a matrix is $GL_n({\mathbb Q})$-conjugate to the companion matrix of its characteristic polynomial. But the set of $GL_n({\mathbb Z})$-conjugacy classes of regular integer matrices with a fixed characteristic polynomial $f$ is usually nontrivial (finite if $f$ has simple roots, infinite if $f$ has multiple roots). It is in 1:1-correspondence to a subsemigroup of a certain quotient semigroup of the commutative semigroup of full lattices in the algebra ${\mathbb Q}[t]/(f)$. In its first part, the paper gives a survey on old and new results on full lattices and orders in a finite dimensional commutative ${\mathbb Q}$-algebra with unit element and on induced semigroups. In its longer second part, the paper applies this theory to many examples, essentially all cases with $n=2$, many cases with $n=3$ and two cases with arbitrary $n$, the case with $n$ different integer eigenvalues and the case of a single $n\times n$ Jordan block.

Semisimplifying Frank Lie algebras

2026-02-17T13:47:04Z

The Frank Lie algebras are simple Lie algebras that only occur over fields of characteristic 3. These come equipped with distinguished inner derivations that make them algebras in the category $\textbf{Rep}(α_3)$. We apply the semisimplification functor to these Frank Lie algebras and obtain modular contact Lie superalgebras. We also obtain a class of simple $J$-ternary algebras whose associated Jordan algebras are not simple.

Exact Borel subalgebras, idempotent quotients and idempotent subalgebras

2026-02-17T12:25:39Z

This article studies the compatibility of Koenig's notion of an exact Borel subalgebra of a quasi-hereditary or, more generally, standardly stratified algebra with taking idempotent subalgebras or quotients. As an application, we provide bounds for the multiplicities of indecomposable projectives in the principal blocks of BGG category $\mathcal{O}$ having basic regular exact Borel subalgebras.

Resolutions as directed colimits

2026-02-17T11:35:09Z

A general principle suggests that "anything flat is a directed colimit of countably presentable flats". In this paper, we consider resolutions and coresolutions of modules over a countably coherent ring $R$ (e.g., any coherent ring or any countably Noetherian ring). We show that any $R$-module of flat dimension $n$ is a directed colimit of countably presentable $R$-modules of flat dimension at most $n$, and any flatly coresolved $R$-module is a directed colimit of countably presentable flatly coresolved $R$-modules. If $R$ is a countably coherent ring with a dualizing complex, then any F-totally acyclic complex of flat $R$-modules is a directed colimit of F-totally acyclic complexes of countably presentable flat $R$-modules. The proofs are applications of an even more general category-theoretic principle going back to an unpublished 1977 preprint of Ulmer. Our proof of the assertion that every Gorenstein-flat module over a countably coherent ring is a directed colimit of countably presentable Gorenstein-flat modules uses a different technique, based on results of Saroch and Stovicek. We also discuss totally acyclic complexes of injectives and Gorenstein-injective modules, obtaining various cardinality estimates for the accessibility rank under various assumptions.