http://arxiv.org/api/KEw/ZIvINUPM8ikH0Ie7XYg7Vn8 2025-05-08T00:00:00-04:00 13668 480 15 http://arxiv.org/abs/2401.10146v2 2025-01-17T08:04:36Z 2024-01-18T17:19:31Z

This work explores bounds on the Rouquier dimension in the bounded derived category of coherent sheaves on Noetherian schemes. By utilizing approximations, we exhibit that Rouquier dimension is inherently characterized by the number of cones required to build all perfect complexes. We use this to prove sharper bounds on Rouquier dimension of singular schemes. Firstly, we show Rouquier dimension doesn't go up along \'{e}tale extensions and is invariant under \'{e}tale covers of affine schemes admitting a dualizing complex. Secondly, we demonstrate that the Rouquier dimension of the bounded derived category for a curve, with a delta invariant of at most one at closed points, is no larger than two. Thirdly, we bound the Rouquier dimension for the bounded derived category of a (birational) derived splinter variety by that of a resolution of singularities.

Pat Lank Noah Olander Current: Final version, to appear in Mosc. Math. J. Previous: v1, comments welcome! http://arxiv.org/abs/2501.10005v1 2025-01-17T07:39:54Z 2025-01-17T07:39:54Z

Let R be a commutative ring with identity and M be an R-module. The purpose of this paper is to introduce and investigate the dual notion of morphic modules over a commutative ring.

Faranak Farshadifar http://arxiv.org/abs/2205.10915v2 2025-01-17T04:28:20Z 2022-05-22T19:46:20Z

For any Kawamata log terminal (klt) singularity and any minimizer of its normalized volume function, we prove that the associated graded ring is always finitely generated, as conjectured by Chi Li. As a consequence, we complete the last step of establishing the Stable Degeneration Conjecture proposed by Chi Li and the first named author for an arbitrary klt singularity.

Chenyang Xu Ziquan Zhuang 42 pages. Accepted version. To appear in JAMS http://arxiv.org/abs/2501.05720v2 2025-01-17T03:03:35Z 2025-01-10T05:38:29Z

The notion of Khovanskii bases was introduced by Kaveh and Manon. It is a generalization of the notion of SAGBI bases for a subalgebra of polynomials. The notion of SAGBI bases was introduced by Robbiano and Sweedler as an analogue of Gr\"{o}bner bases in the context of subalgebras. A Hibi ideal is an ideal of a polynomial ring that arises from a distributive lattice. For the development of an analogy of the theory of Hibi ideals and Gr\"{o}bner bases within the framework of subalgebras, in this paper, we investigate when the set of the polynomials associated with a distributive lattice forms a Khovanskii basis of the subalgebras it generates. We characterize such distributive lattices and their underlying posets. In particular, generalized snake posets and $\{(2+2),(1+1+1)\}$-free posets appear as the characterization.

Akihiro Higashitani Koji Matsushita Koichiro Tani 14 pages, 12 figures http://arxiv.org/abs/2501.09613v1 2025-01-16T15:38:00Z 2025-01-16T15:38:00Z

We construct algebraic families of smooth affine $\mathbb{A}^1$-contractible varieties of every dimension $n\geq 4$ over fields of characteristic zero which are non-isomorphic to affine spaces and potential counterexamples to the Zariski Cancellation Problem. We further prove that these families of varieties are also counter examples to the generalized Cancellation problem.

Adrien Dubouloz Parnashree Ghosh Comments are welcome http://arxiv.org/abs/2111.05900v4 2025-01-16T14:03:09Z 2021-11-10T19:43:39Z

This article describes local normal forms of functions in noncommuting variables, up to equivalence generated by isomorphism of noncommutative Jacobi algebras, extending singularity theory in the style of Arnold's commutative local normal forms into the noncommutative realm. This generalisation unveils many new phenomena, including an ADE classification when the Jacobi ring has dimension zero and, by taking suitable limits, a further ADE classification in dimension one. These are natural generalisations of the simple singularities and those with infinite multiplicity in Arnold's classification. We obtain normal forms away from some exceptional Type E cases. Remarkably these normal forms have no continuous parameters, and the key new feature is that the noncommutative world affords larger families. This theory has a range of immediate consequences to the birational geometry of 3-folds. The normal forms of dimension zero are the analytic classification of smooth 3-fold flops, and one outcome of NC singularity theory is the first list of all Type D flopping germs, generalising Reid's famous pagoda classification of Type A, with variants covering Type E. The normal forms of dimension one have further applications to divisorial contractions to a curve. In addition, the general techniques also give strong evidence towards new contractibility criteria for rational curves.

Gavin Brown Michael Wemyss 10.1017/fmp.2025.2 49 pages. Final version, to appear Forum Math. Pi Forum of Mathematics, Pi 13 (2025) e8 http://arxiv.org/abs/2207.08710v3 2025-01-16T13:23:36Z 2022-07-05T09:54:49Z

This paper addresses the question: given a scalar group, can we determine all the additions that transform this scalar group into a (near-)field? A key approach to addressing this problem involves transporting (near-)field structures via multiplicative automorphisms. We compute the set of continuous multiplicative automorphisms of the real and complex fields and analyze their structures. Additionally, we characterize the endo-bijections on the scalar group that define these additions.

L. Boonzaaier S. Marques http://arxiv.org/abs/2501.09437v1 2025-01-16T10:09:09Z 2025-01-16T10:09:09Z

We show that any homomorphism between Noetherian $F$-finite rings can be factored into a regular morphism between Noetherian $F$-finite rings followed by a surjection. This result establishes an analog of the 'smooth-by-surjective' factorization for finite type maps. As part of our analysis, we observe that for maps of Noetherian $F$-finite rings, regularity and formal smoothness are both equivalent to $L$-smoothness, meaning that the cotangent complex, as in the smooth case, is a locally free module of finite rank concentrated in degree zero. Our findings may also be viewed as a relative version of Gabber's final remark in \citep{Gab04}, which states that any Noetherian $F$-finite ring is a quotient of a regular Noetherian $F$-finite ring.

Manuel Blickle Daniel Fink 19 pages http://arxiv.org/abs/2501.09272v1 2025-01-16T03:43:21Z 2025-01-16T03:43:21Z

The Casas-Alvero conjecture states that if $f(X)$ is a monic univariate polynomial of degree $d$ over a characteristic $0$ field $\mathbb{K}$ such that $\gcd(f, f_{i})$ is non-trivial for each $i=1, \dots, d-1$, then $f(X)=(X-\alpha)^d$ for some $\alpha\in \mathbb{K}$. In this paper, we prove the Casas-Alvero conjecture for polynomials of any degree $d\geq 3$ over any characteristic $0$ field using Koszul homology.

Soham Ghosh comments welcome http://arxiv.org/abs/2312.11904v3 2025-01-15T05:40:16Z 2023-12-19T07:13:25Z

We present a natural and explicit multigraded minimal free resolution for each generalized co-letterplace ideal (see Definition 1.1). Our resolution differs significantly from the ones presented in the works of Ene et al. \cite{EHM} and D'Al{`\i} et al. \cite{DFN}. Additionally, we show that each power of a large class of generalized co-letterplace ideals can be represented as the quotient of another generalized co-letterplace ideal by a regular sequence of variable differences. Finally, we provide a new class of simplicial spheres

Dancheng Lu Zexin Wang 25 pages Comments are welcome to appear in Journal of algebra http://arxiv.org/abs/2410.22581v2 2025-01-15T05:32:14Z 2024-10-29T22:52:11Z

This article investigates under which conditions the symbolic powers of the extension of an ideal is the same as the extension of the symbolic powers. Our result generalizes the known scenarios. As an application, we prove formulas for the resurgence of sum of two homogeneous ideals in finitely generated k-algebra domains, where k is algebraically closed. Initially, these were known for ideals in polynomial rings.

Sankhaneel Bisui Haoxi Hu Comments are welcome! http://arxiv.org/abs/2406.10545v2 2025-01-14T20:01:05Z 2024-06-15T07:58:19Z

We investigate existence, uniqueness and maximality of solutions $T$ for equations $S_1+T=S_2$ and inequalities $S_1+T\subseteq S_2$ where $S_1$ and $S_2$ are final segments of ordered abelian groups. Since cuts are determined by their upper cut sets, which are final segments, this gives information about the corresponding equalities and inequalities for cuts. We apply our results to investigate existence, uniqueness and maximality of solutions $J$ for equations $I_1 J=I_2$ and inequalities $I_1 J\subseteq I_2$ where $I_1$ and $I_2$ are ideals of valuation rings. This enables us to compute the annihilators of quotients of the form $I_1/I_2\,$.

Franz-Viktor Kuhlmann Katarzyna Kuhlmann Significantly improved revised version http://arxiv.org/abs/2501.08260v1 2025-01-14T17:15:43Z 2025-01-14T17:15:43Z

We prove that the type of nearly Gorenstein numerical semigroups minimally generated by $5$ integers is bounded. In particular, if such a semigroup is not almost symmetric, then its type is at most $40$. Finally, we make some considerations in higher embedding dimension.

Alessio Moscariello Francesco Strazzanti Accepted for publication in Communications in Algebra http://arxiv.org/abs/2501.08175v1 2025-01-14T14:57:38Z 2025-01-14T14:57:38Z

We introduce $\mathcal{Q}^N$ quivers and construct maximal green sequences for these quivers. We prove that any finite connected full subquiver of the quivers defined by Hernandez and Leclerc, arising in monoidal categorifications of cluster algebras, is a special case of $\mathcal{Q}^N$ quivers. Moreover, we prove that the trees of oriented cycles introduced by Garver and Musiker are special cases of $\mathcal{Q}^N$ quivers. This result resolves an open problem proposed by Garver and Musiker, providing a construction of maximal green sequences for quivers that are trees of oriented cycles. Furthermore, we prove that quivers that are mutation equivalent to an orientation of a type AD Dynkin diagram can also be recognized as special cases of $\mathcal{Q}^N$ quivers.

Jingmin Guo Bing Duan Yanfeng Luo http://arxiv.org/abs/2310.00484v2 2025-01-14T14:07:32Z 2023-09-30T20:44:51Z

We described a minimal separating set for the algebra of $O(F_q)$-invariant polynomial functions of $m$-tuples of two-dimensional vectors over a finite field $F_q$.

Artem Lopatin Pedro Antonio Muniz Martins 10 pages Linear Algebra Applications, 692 (2024), 71-83