https://arxiv.org/api/7mkLLm0QijEbnEBeqpg5jizgDXs 2026-06-14T16:38:32Z 20068 405 15 http://arxiv.org/abs/2502.06520v3 2026-04-16T12:28:02Z

Discrete Morse theory helps us compute the homology groups of simplicial complexes in an efficient manner. A "good" gradient vector field reduces the number of critical simplices, simplifying the homology calculations by reducing them to the computation of homology groups of a simpler chain complex. This homology computation hinges on an efficient enumeration of gradient trajectories. The technique of cancelling pairs of critical simplices reduces the number of critical simplices, though it also perturbs the gradient trajectories. In this article, in a purely combinatorial manner, we derive an explicit formula for computing the modified boundary operators after cancelling a critical pair, in terms of the original boundary operators. The same formula can be obtained through a sequence of elementary row operations on the original boundary operators. Thus, it eliminates the need of enumeration of the new gradient trajectories. We also obtain a similar result for coboundary operators.

2025-02-10T14:41:54Z 20 pages, 7 figures, 1 appendix, 1 table Advances in Applied Mathematics, Volume 178, July 2026, 103094 Anupam Mondal Sajal Mukherjee Pritam Chandra Pramanik 10.1016/j.aam.2026.103094 http://arxiv.org/abs/2401.05185v6 2026-04-16T12:19:01Z

In this article, we first prove a general result in topology which states that every quasi-component of a quasi-spectral space is connected. \\ As an application, the structure of the connected components of every quasi-compact quasi-separated (qcqs) scheme $X$ is fully characterized. They are exactly of the form $f^{-1}(C)$ where $f:X\rightarrow\Spec(R)$ is the canonical morphism, $C$ is a connected component of $\Spec(R)$ and $R=\mathscr{O}_{X}(X)$ is the ring of global sections of $X$. \\ Next, we make new advances in understanding the structure of the connected components of projective spaces. In general, for an $\mathbb{N}$-graded ring $R=\bigoplus\limits_{n\geqslant0}R_{n}$, the structure of the connected components of scheme $\Proj(R)$ is still unknown. However, we show that for any scheme $S$ the connected components of the projective space $\mathbb{P}^{n}_{S}= \mathbb{P}^{n}_{\mathbb{Z}}\times_{\Spec(\mathbb{Z})}S$ are exactly of the form $\mathbb{P}^{n}_{C}$ where $C$ is a connected component of $S$ which is equipped with a closed subscheme structure.

2024-01-10T14:33:47Z 21 pages Abolfazl Tarizadeh http://arxiv.org/abs/2508.08753v5 2026-04-16T12:14:18Z

Let $(R,M,k)$ be a complete local ring (not necessarily Noetherian). As the first main result of this article, we prove that in the unequal characteristic case $\Char(R)\neq\Char(k)$, the natural surjective map between the groups of units $R^{\ast}\rightarrow k^{\ast}$ admits a splitting. \\ Next, we reprove by a new method that in the equi-characteristic case $\Char(R)=\Char(k)$, the natural surjective ring map $R\rightarrow k$ admits a splitting. In our proof there is no need for the existence of the coefficient fields for equi-characteristic complete local rings, whose existence is the most difficult part of the known proof. \\ As an application, we show that for any complete local ring $(R,M,k)$ the following short exact sequence of Abelian groups: $$\xymatrix{1\ar[r]&1+M\ar[r]& R^{\ast}\ar[r]&k^{\ast} \ar[r]&1}$$ is always split. In particular, we have an isomorphism of Abelian groups $R^{\ast}\simeq(1+M)\times k^{\ast}$. We also show with an example that the above exact sequence does not split for many incomplete local rings.

2025-08-12T08:57:49Z 15 pages Abolfazl Tarizadeh http://arxiv.org/abs/2309.15620v2 2026-04-16T12:05:04Z

The main result of this article is a fantastic generalization of a classical result in graded ring theory. In fact, our result states that if $S$ is a multiplicative set of homogeneous elements of an $M$-graded commutative ring $R=\bigoplus\limits_{m\in M}R_{m}$ with $M$ a commutative monoid, then the localization ring $S^{-1}R=\bigoplus\limits_{x\in G}(S^{-1}R)_{x}$ is a $G$-graded ring where $G$ is the Grothendieck group of $M$ and each homogeneous component $(S^{-1}R)_{x}$ is the set of all fractions $f\in S^{-1}R$ such that $f=0$ or it is of the form $f=r/s$ where $r$ is a homogeneous element of $R$ and $x=[\dg(r),\dg(s)]$. As an application, ...

2023-09-27T12:38:21Z 10 pages Abolfazl Tarizadeh http://arxiv.org/abs/2510.03775v2 2026-04-16T09:03:03Z

The classical Noether Normalization Lemma states that if $S$ is a finitely generated algebra over a field $k$, then there exist elements $x_1,\dots,x_n$ which are algebraically independent over $k$ such that $S$ is a finite module over $k[x_1,\dots,x_n]$. This lemma has been studied intensively in different flavors. In 2024, Elad Paran and Thieu N. Vo successfully generalized this lemma for the case when $S$ is a quotient ring of the skew polynomial ring $D[x_1,\dots,x_n;σ_1,\dots,σ_n]$. In this paper, we investigate this lemma in a more general setting when $S$ is a quotient ring of an iterated skew polynomial ring $D[x_1;σ_1,δ_1]\dots[x_n;σ_n,δ_n]$. We extend several key results of Elad Paran and Thieu N. Vo to this broader context and introduce a new version of Combinatorial Nullstellensatz over division rings.

2025-10-04T10:47:52Z Dinh Van Hoang Phan Thanh Toan http://arxiv.org/abs/2603.11533v2 2026-04-16T04:13:13Z

We give an explicit formula for the decomposition of the tensor product of any two indecomposable non-projective modules for the symmetric group algebra $F \mathfrak{S}_p$ modulo projective modules. In particular, we show that the tensor product of two simple modules is semisimple modulo projectives. We also compute the Benson--Symonds invariants for all such indecomposable non-projective modules.

2026-03-12T04:39:40Z Manzu Kua Kay Jin Lim http://arxiv.org/abs/2604.14425v1 2026-04-15T21:19:11Z

The paper is devoted to the description of the varieties of complex 5-dimensional nilpotent Jordan superalgebras. We find all representatives for the isomorphism classes, using the Jordan normal form, results of simultaneous matrix triangularization, the Jordan-Kronecker theorem for a pair of skew-symmetric bilinear forms and similar arguments developed for $Δ$-modules by Burde and Grunewald. We also provide a complete geometric classification, determining the irreducible components of the corresponding varieties and describing all possible degenerations and non-degenerations between these superalgebras, in particular, applying some $\mathbb{Z}_2$-graded subspaces as invariants.

2026-04-15T21:19:11Z Isabel Hernández Laiz Valim da Rocha Rodrigo Lucas Rodrigues http://arxiv.org/abs/2604.14420v1 2026-04-15T21:06:35Z

Platonov in 1991 conjectured that adjoint groups are rational as varieties over arbitrary infinite fields, and as a consequence have weak approximation. The rationality part of the conjecture was disproved by Merkurjev in 1996, but the question about weak approximation remained open. We settle this in the negative.

2026-04-15T21:06:35Z 9 pages Chayansudha Biswas http://arxiv.org/abs/2603.26883v2 2026-04-15T19:41:03Z

We consider Kleene and Stone algebras defined on the completion DM(RS) of the ordered set of rough sets induced by a reflexive relation. We focus on cases where the completion forms a spatial and completely distributive lattice. We derive the conditions under which DM(RS) is a regular pseudocomplemented Kleene algebra and a completely distributive double Stone algebra. Finally, we describe the reflexive relations for which DM(RS) forms a regular double Stone algebra, which is the same structure as in the case of equivalences. Our results generalise earlier findings on algebras of rough sets induced by equivalences, quasiorders, and tolerance relations.

2026-03-27T18:01:12Z 24 pages, 4 figures. Title updated. Introduction significantly rewritten to improve clarity. References updated Jouni Järvinen Sándor Radeleczki http://arxiv.org/abs/2605.08097v1 2026-04-15T18:26:39Z

Let \(R\) be a commutative ring and \(M\) an \(R\)-module. We develop a localization and local-global theory for \(C4\)-modules, \(C4^{\ast}\)-modules, strongly \(C4^{\ast}\)-modules, \(C4\)-hulls, and pseudo-continuous hulls over commutative rings. The problem is structural: these notions are defined through decompositions, summand conditions, and minimal extensions, while localization changes decomposition data, support, and hull minimality. We prove forward localization theorems for the \(C4\), \(C4^{\ast}\), and strongly \(C4^{\ast}\) conditions under exact lifting hypotheses formulated through decomposition lifting, morphism lifting, and submodule lifting. We also prove converse local-global theorems under descent and patching hypotheses, showing when primewise or maximal-local \(C4^{\ast}\) behavior implies global \(C4^{\ast}\) behavior. In addition, we establish obstruction results showing that no unrestricted local-global principle can hold. We compare the localization of a global \(C4\)-hull or pseudo-continuous hull with the hull formed after localization. We show that hull commutation requires both localization stability of the hull class and envelope-type axioms for hull minimality and uniqueness, and we prove conditional patching theorems for reconstructing global hulls from compatible local hulls. Our method is purely algebraic and support-theoretic, based on summand descent, patching of local witnesses, support control, and dimension-stratified transfer on \(\operatorname{Spec} R\). As applications, we show that for commutative artinian rings these properties are detected exactly on the local factors, and that for finitely generated torsion modules over a Dedekind domain they are detected exactly on the primary components, equivalently on the localizations at maximal ideals in the support.

2026-04-15T18:26:39Z Chandrasekhar Gokavarapu Department of Mathematics, Government College http://arxiv.org/abs/2301.06479v2 2026-04-15T14:57:26Z

We get new Hopf algebras (HA): 1. A wealth of quotient HA's of the Malvenuto-Reutenauer HA (the Loday-Ronco HA being a special case). They consist of the permutations avoiding an {\it arbitrary} set of permutations without global descents, 2. A HA of pairs of parking filtrations, and 3. Four HA of pairs of preorders. New concepts in this setting are: 1. a category Set$_{\mathbb N}$ whose objects are sets, but morphisms are represented by matrices of natural numbers, and 2. restriction species ${\mathsf S}$ on sets coming with pairs of natural transformations $π_1, π_2 : {\mathsf S} \rightarrow$ Pre to the species of preorders. These induce two coproducts $Δ_1$ and $Δ_2$. Dualizing $Δ_1$ gives product $μ_1$ and coproduct $Δ_2$, giving bimonoid species.

2023-01-16T15:38:14Z 43 pages Advances in Applied Mathematics, 176, (2026) Gunnar Fløystad 10.1016/j.aam.2026.103055 http://arxiv.org/abs/2604.13916v1 2026-04-15T14:22:07Z

We show that the centralizer of a nonscalar element in the coproduct $k\langle X\rangle *k[Y]$ of a free associative algebra and a polynomial algebra over a given field is commutative. For $k\langle X \rangle$ this is part of Bergman's centralizer theorem. Our proof relies on a reduction given in Bergman's proof and is of combinatorial nature, employing a strict order structure of the coproduct monoid.

2026-04-15T14:22:07Z Jakob Jurij Snoj http://arxiv.org/abs/2604.13809v1 2026-04-15T12:45:32Z

We present CubicJordanMatrixAlg, a GAP package for symbolic computation in cubic Jordan matrix algebras and in related Lie-theoretic structures. As an application, we use it to compute certain (commutator) relations in $F_4$-graded groups that were constructed by De Medts and the author from cubic Jordan matrix algebras.

2026-04-15T12:45:32Z 13 pages Torben Wiedemann http://arxiv.org/abs/2512.23839v2 2026-04-15T11:54:58Z

In this article, we disprove a conjecture of F. Alarcón and D. Anderson and give a complete classification of the prime ideals in the one variable polynomial semiring with coefficients in Boolean semifield. We group the prime ideals of $\mathbb{B}[x]$ into three classes, indexed by integers.

2025-12-29T20:06:26Z Kalina Mincheva Naufil Sakran http://arxiv.org/abs/2604.13698v1 2026-04-15T10:25:41Z

We introduce a notion of global dimension for a triangulated category relative to a compact silting object. We prove that the finiteness of this dimension is an intrinsic property of the triangulated category itself and, therefore, independent of the choice of the silting object. Focusing on the setup of connective differential graded (dg) algebras, we analyse the behaviour of global dimension under dg algebra homomorphisms and establish explicit bounds. This allows us to deduce a bound for the global dimension of certain dg quiver algebras. We also relate the regularity of the big singularity category of a proper connective dg algebra to the finiteness of its global dimension.

2026-04-15T10:25:41Z 9 pages, comments welcome Panagiotis Kostas