https://arxiv.org/api/iKJ9strcyaXPrFY+F6it6dH3wIY 2026-03-16T06:38:19Z 14538 0 15 http://arxiv.org/abs/2403.19732v4 2026-03-13T08:00:54Z

We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization theorems for algebraic differential equations over $H$-fields, as a tool in solving such equations in suitable extensions. The results in this monograph are essential in our work on Hardy fields in [6].

2024-03-28T13:16:48Z 176 pp.; revised based on comments by reviewers. arXiv admin note: substantial text overlap with arXiv:2304.10846 Matthias Aschenbrenner Lou van den Dries Joris van der Hoeven http://arxiv.org/abs/2603.12496v1 2026-03-12T22:26:10Z

We consider the problem of lifting a regular cluster structure on a quasi-affine variety to the ambient affine space and a similar problem of defining a regular pullback of a regular cluster structure under a dominant rational map between affine spaces. We provide sufficient conditions for the existence of the corresponding object, called an almost-cluster structure, study its combinatorics, compatible Poisson bracket and the corresponding upper cluster algebra.

2026-03-12T22:26:10Z Misha Gekhtman Michael Shapiro Alek Vainshtein http://arxiv.org/abs/2603.12486v1 2026-03-12T22:11:08Z

In a recent work, we constructed a rational map from a simple Lie group $\mathcal G$ to itself that intertwines the standard Poisson--Lie structure on $\mathcal G$ with a Poisson homogeneous one defined by a pair of quasi-triangular solutions to the classical Yang--Baxter equation (CYBE) known as R-matrices. We also showed, in the case of $SL_n$, that if the combinatorial Belavin--Drinfeld data associated with these R-matrices satisfies certain aperiodicity conditions, the map is, in fact, birational and can be used to obtain an initial cluster for an exotic cluster structure on $SL_n$ via the pullback of Berenstein--Fomin--Zelevinsky cluster variables. The same strategy was later used by the first author and D.~Voloshyn to describe generalized cluster structures compatible with the Poisson dual of the Poisson--Lie bracket defined by a quasi-triangular R-matrix. In this paper we further promote the use of birational Poisson maps in constructing generalized cluster structures by applying it in the situation when the aperiodicity condition is not satisfied. To this end, we describe a generalized cluster structure on $GL_n$ compatible with the Poisson homogeneous bracket defined by two Cremmer--Gervais solutions to the CYBE related via conjugation by the longest element of the Weyl group. The key ingredient to our construction is a birational map that connects the bracket under consideration with two other Poisson brackets: the Poisson dual to Cremmer--Gervais Poisson--Lie bracket on $GL_{n-1}$ and the bracket on a certain space of complex rational functions of one variable closely related to cluster algebraic interpretation of Coxeter--Toda flows. New notions of a regular pullback of a seed and of an almost-cluster structure whose detailed description are given in a separate note also play an important role in our construction.

2026-03-12T22:11:08Z Misha Gekhtman Michael Shapiro Alek Vainshtein http://arxiv.org/abs/2601.07811v2 2026-03-12T21:09:44Z

In this paper, we explore the implications of the finiteness of complete intersection dimensions for RHom complexes and Ext modules. We prove various stability results and criteria for detecting finite complete intersection homological dimension of complexes and modules. In addition, we introduce and explore the concept of CI-perfect modules. We also study the vanishing of Ext when certain Hom module have finite complete intersection homological dimension. In this direction, we improve a result by Ghosh and Samanta, prove the Auslander-Reiten conjecture for finitely generated modules $M$ over a Noetherian local ring $R$ such that $\operatorname{Hom}_R(M,R)$ or $\operatorname{Hom}_R(M,M)$ has finite complete intersection injective dimension, and provide Gorenstein criteria.

2026-01-12T18:44:54Z 20 pages. Rewrites parts of the introduction, and cleans up fixes minor mistakes/typos throughout the paper Paulo Martins Victor D. Mendoza Rubio Zachary Nason http://arxiv.org/abs/2603.12441v1 2026-03-12T20:40:37Z

We determine properties of two-dimensional normal affine semigroup rings, and in particular of weighted Veronese rings, including determinantal presentation, Gröbner basis, graded Hilbert series and graded Betti numbers, the structure of their associated graded rings, and their Koszul property. We give examples in higher dimensions illustrating that the first and last properties may fail. Our approach leverages convex monomial ideals as introduced in Herzog-Qureshi-Saem(2019), which give rise to convex semigroups.

2026-03-12T20:40:37Z Bek Chase Luca Fiorindo Thiago Holleben Emanuela Marangone Thai Thanh Nguyen Alexandra Seceleanu Srishti Singh http://arxiv.org/abs/2603.12116v1 2026-03-12T16:18:12Z

In this expository paper, given a field $K$ and an automorphism $σ\in \mathrm{Aut}(K)$, we give a self-contained proof of the classification of finite dimensional $K$-vector spaces equipped with two operators $F$ and $V$, respectively $σ$-linear and $σ^{-1}$-linear, such that $FV = VF = 0$. This classification was originally due to the combined results of Gelfand and Ponomarev (1968), and of Kraft (1975). Following a recent suggestion of Chai (2025), we reworked their classification in light of the notion of Kraft quivers.

2026-03-12T16:18:12Z 42 pages, 5 figures Joseph Muller Chia-Fu Yu http://arxiv.org/abs/2410.23052v4 2026-03-12T15:26:33Z

Tambara functors are the analogue of commutative rings in equivariant algebra. Nakaoka defined ideals in Tambara functors, leading to the definition of the Nakaoka spectrum of prime ideals in a Tambara functor. In this work, we continue the study of the Nakoaka spectra of Tambara functors. We describe, in terms of the Zariski spectra of ordinary commutative rings, the Nakaoka spectra of many Tambara functors. In particular: we identify the Nakaoka spectrum of the fixed point Tambara functor of any $G$-ring with the GIT quotient of its classical Zariski spectrum; we describe the Nakaoka spectrum of the complex representation ring Tambara functor over a cyclic group of prime order $p$; we describe the affine line (the Nakaoka spectra of free Tambara functors on one generator) over a cyclic group of prime order $p$ in terms of the Zariski spectra of $\mathbb{Z}[x]$, $\mathbb{Z}[x,y]$, and the ring of cyclic polynomials $\mathbb{Z}[x_0,\ldots,x_{p-1}]^{C_p}$. To obtain these results, we introduce a "ghost construction" which produces an integral extension of any $C_p$-Tambara functor, the Nakaoka spectrum of which is describable. To relate the Nakaoka spectrum of a Tambara functor to that of its ghost, we prove several new results in equivariant commutative algebra, including a weak form of the Hilbert basis theorem, going up, lying over, and levelwise radicality of prime ideals in Tambara functors. These results also allow us to compute the Krull dimensions of many Tambara functors.

2024-10-30T14:19:31Z 46 pages. Comments welcome! v2: Improved exposition in section 3.2; updated remark 7.8 v3: Improved introduction and tightened the exposition elsewhere. Shortened paper v4: Final version as published in Advances in Mathematics Advances in Mathematics 493 (2026) 110908 David Chan David Mehrle J. D. Quigley Ben Spitz Danika Van Niel 10.1016/j.aim.2026.110908 http://arxiv.org/abs/2603.11961v1 2026-03-12T14:07:35Z

Let $R$ be a Noetherian ring, $I$ an ideal of $R$, and $M$ a finitely generated $R$-module. In this article, we prove that $$\mathrm{Ass}_R(M/I^{n} M) = \mathrm{Ass}_R(0:_{M} I) \cup \mathrm{Ass}_R(I^{n-1} M/I^{n} M) \text{ for all } n \gg 0.$$ We then investigate the asymptotic behaviour of the (local) Vasconcelos invariant of $M/I^{n} M$ as a function of $n$, when $R$ is $\mathbb{N}$-graded, $I$ is homogeneous, and $M$ is $\mathbb{Z}$-graded. When $I$ is generated by elements of positive degree, we show that, for sufficiently large n, the (local) Vasconcelos invariant of $M/I^{n} M$ either coincides with that of the colon submodule $(0 :_{M} I)$, or is a polynomial in $n$ of degree one whose leading coefficient is one of the degrees of the generators of $I$. This dichotomy depends exclusively on two cases determined by $(0:_{M} I)$. Thus, we recover and considerably strengthen the main results of Fiorindo-Ghosh [Nagoya Math. J. 258 (2025), 296-310.], where asymptotic linearity was shown under the additional assumption that $(0:_{M} I)=0$.

2026-03-12T14:07:35Z 16 pages, Comments and suggestions are welcome Dipankar Ghosh Ramakrishna Nanduri Siddhartha Pramanik http://arxiv.org/abs/2511.10454v2 2026-03-12T07:30:20Z

We prove that the homological and Balmer spectra in tensor-triangular geometry are functorial in certain definable functors, thereby providing an alternative perspective on functoriality in tensor-triangular geometry from the viewpoint of purity, and generalising current results in the literature.

2025-11-13T16:19:09Z v1: 11pp. The results are an improved and generalised version of results that appeared in the original version of arXiv:2310.02159. v2: minor changes. Version accepted in Pacific J. Math Pacific J. Math. 341(1):33-44, 2026 Isaac Bird Jordan Williamson 10.2140/pjm.2026.341.33 http://arxiv.org/abs/2603.11592v1 2026-03-12T06:25:02Z

In this paper, we prove some results on the asymptotic behavior arising in the representation theory of modular representations of cyclic groups and syzygies and cosyzygies of the trivial module over abelian $p$-groups. We show that the representation ring of a cyclic $p$-group can be embedded into a real algebra of functions, and that the dimension of the non-projective part of $n$-th tensor power of a direct sum of syzygies and cosyzygies of the trivial module is approximately $Cγ^nn^α$. Using the existence of a non-integer exponent $α$, we answer a question of Benson and Symonds in negative, that is, there is an $Ω$-algebraic module where the dimension of the core of $M^{\otimes n}$ is not eventually recursive.

2026-03-12T06:25:02Z Cheng Meng http://arxiv.org/abs/2603.11491v1 2026-03-12T03:16:13Z

Much progress has been made in classifying when the weak Lefschetz property holds for $A=\mathbb{F}[x,y,z]/I$ where $\text{char}(\mathbb{F})=0$ and $I=(x_{1}^{d_{1}},y^{d_{2}},z^{d_{3}},x^{a_{1}}y^{a_{2}}z^{a_{3}})$ is a monomial almost complete intersection. We connect this problem to the setting of two variables through a certain relation. In so doing, we are led to determine explicit formulas for the generators of the colon ideal $(x^{d_{1}},y^{d_{2}}):(x+y)^{a_{3}}$. With these generators in hand, we construct a matrix and show that failure of WLP for $A$ is dictated by the vanishing of a certain polynomial (namely the determinant of our matrix) when $A$ is level. We further show in the level case that a conjecture first posed by Migliore, Miró-Roig, and Nagel is true in a few new cases.

2026-03-12T03:16:13Z 26 pages Matthew Davidson Booth Adela Vraciu http://arxiv.org/abs/2603.11038v1 2026-03-11T17:57:33Z

We show that three notions of rank for matrices of multilinear forms are equivalent. This result generalizes a classical result of Flanders, corrects a minor hole in work of Fortin and Reutenauer, answers a question of Lampert on the relation between the analytic and slice ranks of trilinear forms, and establishes a special case of the conjecture that the analytic and partition ranks of a tensor are equivalent.

2026-03-11T17:57:33Z 17 pages Guy Moshkovitz Daniel G. Zhu http://arxiv.org/abs/2407.01152v3 2026-03-11T16:11:19Z

We describe the rings of invariants for the finite orthogonal groups of plus type in odd characteristic acting on the defining representations. We also describe the invariants of the corresponding Sylow subgroups in the defining characteristic. In both cases we construct minimal algebra generating sets and describe the relations among the generators. Both rings of invariants are shown to be complete intersections and thus are Cohen-Macaulay. We expect the techniques we use will generalise to give a systematic computation for rings of invariants for all of the finite classical groups in odd characteristic.

2024-07-01T10:19:21Z The second version includes a number of minor corrections. The third version includes a number of revisions and some changes in notation which clarify the exposition H. E. A. Campbell R. James Shank David L. Wehlau http://arxiv.org/abs/2504.12179v2 2026-03-11T15:05:14Z

Consider the special linear group of degree $2$ over an arbitrary finite field, acting on the full space of $2 \times 2$-matrices by transpose. We explicitly construct a generating set for the corresponding modular matrix invariant ring, demonstrating that this ring is a hypersurface. Using a recent result on $a$-invariants of Cohen-Macaulay algebras, we determine the Hilbert series of this invariant ring, and our method avoids seeking the generating relation. Additionally, we prove that the modular matrix invariant ring of the group of upper triangular $2 \times 2$-matrices is also a hypersurface.

2025-04-16T15:34:50Z To appear in Finite Fields Appl Yin Chen Shan Ren http://arxiv.org/abs/2603.10837v1 2026-03-11T14:43:44Z

A combinatorial code $\mathcal{C}$ is a collection of subsets of $[n]$, or equivalently a set of points in $\{0,1\}^n$. A morphism of codes is a map from one combinatorial code to another such that the coordinates of points in the image can be expressed as products of coordinates in the domain. By representing morphisms of codes as binary matrices, we show that any morphism of codes is part of a Galois connection where its adjoint is boolean multiplication by the representative matrix. We use this to characterize those morphisms of codes which allow to factor a boolean matrix, with applications to estimating boolean matrix rank. Morphisms also induce a partial order on (isomorphism classes of) codes. We determine the covering relations in this partial order for which the two adjoint maps are mutual inverses in terms of \emph{free} neurons, a combinatorial condition on the index corresponding to the covering maps. We introduce the \emph{defect} of a code as a new tool to study this poset and show that defect decreases by exactly 0 or 1 under a covering map.

2026-03-11T14:43:44Z 26 pages, 2 figures Juliann Geraci Alexander B. Kunin Alexandra Seceleanu