http://arxiv.org/api/kcGOxCZyCS2rb6z9/s0WCwAXWc4 2025-04-22T00:00:00-04:00 13629 75 15 http://arxiv.org/abs/2409.15445v3 2025-04-04T19:00:46Z 2024-09-23T18:12:39Z

Let $R$ be a commutative ring. One may ask when a general $R$-module $P$ that satisfies $P \oplus R \cong R^n$ has a free summand of a given rank. M. Raynaud translated this question into one about sections of certain maps between Stiefel varieties: if $V_r(\mathbb{A}^n)$ denotes the Stiefel variety $\textrm{GL}(n) / \textrm{GL}(n-r)$ over a field $k$, then the projection $V_r(\mathbb{A}^n) \to V_1(\mathbb{A}^n)$ has a section if and only if the following holds: any module $P$ over any $k$-algebra $R$ with the property that $P \oplus R \cong R^n$ has a free summand of rank $r-1$. Using techniques from $\mathbb{A}^1$-homotopy theory, we characterize those $n$ for which the map $V_r(\mathbb{A}^n) \to V_1(\mathbb{A}^n)$ has a section in the cases $r=3,4$ under some assumptions on the base field. We conclude that if $P \oplus R \cong R^{24m}$ and $R$ contains a field of characteristic $0$, then $P$ contains a free summand of rank $2$. If $R$ contains a quadratically closed field of characteristic $0$, or the field of real numbers, then $P$ contains a free summand of rank $3$. The analogous results hold for schemes and vector bundles over them.

Ben Williams W. S. Gant 15 pages http://arxiv.org/abs/2310.01521v3 2025-04-04T13:04:15Z 2023-10-02T18:11:39Z

The classical Artin approximation (AP) reads: any formal solution of a system of (analytic, resp. algebraic) equations of implicit function type is approximated by ``ordinary" solutions (i.e. analytic, resp. algebraic). Morphisms of scheme-germs, e.g. Maps((k^n,o),(k^m,o)) are usually studied up to the left-right equivalence. The natural question is the left-right version of Artin approximation: when is the formal left-right equivalence of morphisms approximated by the ``ordinary" (i.e. analytic, resp. algebraic) equivalence? In this case the standard Artin approximation is not directly applicable, as the involved (functional) equations are not of implicit function type. Moreover, the na\"ive extension does not hold in the analytic case, because of Osgood-Gabrielov-Shiota examples. The left-right version of Artin approximation (LRAP) was established by M. Shiota for morphisms that are either Nash or [real-analytic and of finite singularity type]. We establish LRAP and its stronger version of P\l oski (LRAPP) for Maps(X,Y) where X,Y are analytic/algebraic germs of schemes of any characteristic. More precisely: * LRAP, LRAPP, the inverse Artin approximation (and its P\l oski's version) hold for algebraic morphisms and for finite analytic morphisms. * LRAP holds for analytic morphisms of weakly-finite singularity type. (For char>0 we impose certain integrability condition.) This latter class of morphisms of ``weakly-finite singularity type" (which we introduce) is of separate importance. It extends naturally the traditional class of morphisms of ``finite singularity type", while preserving their non-pathological behavior. The definition goes via the higher critical loci and higher discriminants of morphisms with singular targets. We establish basic properties of these critical loci. In particular: any map is finitely (right) determined by its higher critical loci.

Dmitry Kerner The final version J. Lond. Math. Soc., II. Ser. 111, No. 1, (2025) http://arxiv.org/abs/2504.03414v1 2025-04-04T12:50:53Z 2025-04-04T12:50:53Z

Consider (analytic, resp. algebraic) map-germs, Maps((k^n,o),(k^m,o)). These germs are traditionally studied up to the right, let-right and contact equivalences. Below G is one of these groups. An important tool in this study is the Artin approximation: any formal G-equivalence of maps is approximated by ordinary (i.e. analytic, resp. algebraic) G-equivalence. We consider maps of (analytic, resp. algebraic) scheme-germs, with arbitrary singularities, Maps(X,Y), and establish stronger versions of this property (for G): the Strong Artin approximation and the P\l oski approximation. As a preliminary step we study the contact equivalence for maps with singular targets. In many cases one works with multi-germs of spaces, and with their ``muti-maps". More generally, ``quivers of map-germs" occur in various applications. The needed tools are the Strong Artin approximation for quivers and the P\l oski version. We establish these for directed rooted trees.

Dmitry Kerner http://arxiv.org/abs/2206.04126v3 2025-04-04T11:25:06Z 2022-06-08T18:48:31Z

In 1882, Kronecker established that a given univariate formal Laurent series over a field can be expressed as a fraction of two univariate polynomials if and only if the coefficients of the series satisfy a linear recurrence relation. We introduce the notion of generalised linear recurrence relations for power series with exponents in an arbitrary ordered abelian group, and generalise Kronecker's original result. In particular, we obtain criteria for determining whether a multivariate formal Laurent series lies in the fraction field of the corresponding polynomial ring. Moreover, we study distinguished algebraic substructures of a power series field, which are determined by generalised linear recurrence relations. In particular, we identify generalised linear recurrence relations that determine power series fields satisfying additional properties which are essential for the study of their automorphism groups.

Lothar Sebastian Krapp Salma Kuhlmann Michele Serra 33 pages, accepted http://arxiv.org/abs/2504.03307v1 2025-04-04T09:33:03Z 2025-04-04T09:33:03Z

We study the behaviour of the algebraic degree of vectorial Boolean functions when their inputs are restricted to an affine subspace of their domain. Functions which maintain their degree on all subspaces of as high a codimension as possible are particularly interesting for cryptographic applications. For functions which are power functions $x^d$ in their univariate representation, we fully characterize the exponents $d$ for which the algebraic degree of the function stays unchanged when the input is restricted to spaces of codimension 1 or 2. For codimensions $k\ge 3$, we give a sufficient condition for the algebraic degree to stay unchanged. We apply these results to the multiplicative inverse function, as well as to the Kasami functions. We define an optimality notion regarding the stability of the degree on subspaces, and determine a number of optimal functions, including the multiplicative inverse function and the quadratic APN functions. We also give an explicit formula for counting the functions that keep their algebraic degree unchanged when restricted to hyperplanes.

Claude Carlet Serge Feukoua Ana Salagean 25 pages http://arxiv.org/abs/2409.15785v2 2025-04-04T07:53:44Z 2024-09-24T06:30:48Z

We present a unified construction of perfectoid towers from specific prisms which covers all the previous constructions of (p-torsion-free) perfectoid towers. By virtue of the construction, perfectoid towers can be systematically constructed for a large class of rings with Frobenius lift. Especially, any Frobenius lifting of a reduced $\mathbb{F}_p$-algebra has a perfectoid tower.

Ryo Ishizuka 32 pages, major update; add many new examples and generalize some constructions http://arxiv.org/abs/2502.21020v2 2025-04-04T05:22:18Z 2025-02-28T13:05:04Z

In this survey article we discuss key open problems which could serve as a guidance for further research directions of multiplicative ideal theory and factorization theory.

Alfred Geroldinger Hwankoo Kim K. Alan Loper To appear in: The Ideal Theory and Arithmetic of Rings, Monoids, and Semigroups, Contemporary Mathematics, AMS http://arxiv.org/abs/2504.02966v1 2025-04-03T18:35:24Z 2025-04-03T18:35:24Z

We prove that if $(A,\mathfrak{m})$ is a local ring of mixed characteristic $(0,p)$ and $A/pA$ is an analytically irreducible $F$-pure Gorenstein domain, then $A$ is perfectoid pure. Along the way, we give a list of sufficient conditions for a complete Gorenstein local domain of mixed characteristic to be the completion of a splinter.

Benjamin Baily Karina Dovgodko Austyn Simpson Jack Westbrook 9 pages, comments welcome http://arxiv.org/abs/2504.02813v1 2025-04-03T17:55:36Z 2025-04-03T17:55:36Z

Our work shows (the expected) cohomological characterization for regularity of (Noetherian) algebraic stacks; such a stack is regular if and only if all complexes with bounded and coherent cohomology are perfect. This naturally enables us to extend various statements known for schemes to algebraic stacks. In particular, the conjectures by Antieau--Gepner--Heller and Bondal--Van den Bergh, both resolved for schemes by Neeman, are proven for suitable algebraic stacks.

Timothy De Deyn Pat Lank Kabeer Manali Rahul Fei Peng v1, comments welcome! http://arxiv.org/abs/2305.11139v3 2025-04-03T17:44:33Z 2023-05-18T17:34:15Z

We systematically study the intersection flatness and Ohm-Rush properties for modules over a commutative ring, drawing inspiration from the work of Ohm and Rush and of Hochster and Jeffries. We establish new structural results for modules that are intersection flat/Ohm-Rush by exhibiting intimate connections between these notions and the seminal work of Raynaud and Gruson on Mittag-Leffler modules. In particular, we develop a theory of Ohm-Rush modules that is parallel to the theory of Mittag-Leffler modules. We also obtain descent and local-to-global results for intersection flat/Ohm-Rush modules. Our investigations reveal a particularly pleasing picture for flat modules over a complete local ring, in which case many otherwise distinct properties coincide.

Rankeya Datta Neil Epstein Kevin Tucker Substantial revision and reduction in length, including a title change. Removed prime characteristic applications, which will appear in forthcoming work http://arxiv.org/abs/2504.02601v1 2025-04-03T14:03:52Z 2025-04-03T14:03:52Z

In this paper, we plan to build upon significant results by Amnon Neeman regarding the homotopy category of flat modules to study ${\mathbb{K}}({S\rm{SF}}\mbox{-}R)$, the homotopy category of $S$-strongly flat modules, where $S$ is a multiplicatively closed subset of a commutative ring $R$. The category ${\mathbb{K}}({S\rm{SF}}\mbox{-}R)$ is an intermediate triangulated category that includes ${\mathbb{K}}({\rm{Prj}\mbox{-}} R)$, the homotopy category of projective $R$-modules, which is always well generated by a result of Neeman, and is included in ${\mathbb{K}}({\rm{Flat}}\mbox{-} R)$, the homotopy category of flat $R$-modules, which is well generated if and only if $R$ is perfect, by a result of \v{S}\'{t}ov\'{i}\v{c}ek. We analyze corresponding inclusion functors and the existence of their adjoints. In this way, we provide a new, fully faithful embedding of the homotopy category of projectives to the homotopy category of $S$-strongly flat modules. We introduce the notion of $S$-almost well generated triangulated categories. If $R$ is an $S$-almost perfect ring, ${\mathbb{K}}({\rm{Flat}}\mbox{-} R)$ is $S$-almost well generated. We show that the converse is true under certain conditions on the ring $R$. We hope that this approach provides insights into the largely mysterious class of $S$-strongly flat modules.

Javad Asadollahi Somayeh Sadeghi Comments are welcome http://arxiv.org/abs/2504.02493v1 2025-04-03T11:15:59Z 2025-04-03T11:15:59Z

For a commutative ring $R$, the zero-divisor graph of $R$ is a simple graph with the vertex set as the set of all zero-divisors of $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $xy = 0$. This article attempts to predict the structure of the zero-divisor graph of the ring of Gaussian integers modulo $2$ to the power $n$ and determine the size, chromatic number, clique number, independence number, and matching through associate classes of divisors of $2^n$ in $\mathbb{Z}_{2^n}[i]$. In addition, a few topological indices of the corresponding zero-divisor graph, are obtained.

Aruna Venkatesan Krishnan Paramasivam M. Sabeel K http://arxiv.org/abs/2504.02371v1 2025-04-03T08:04:24Z 2025-04-03T08:04:24Z

Let $Q$ be a finite acyclic quiver and $A_Q$ the cluster algebra of $Q$. It is well-known that for each field $k$, the additive equivalence classes of support tilting $kQ$-modules correspond bijectively with the clusters of $A_Q$. The aim of this paper is to generalize this result to any ring indecomposable commutative Noetherian ring $R$, that is, the additive equivalence classes of 2-term silting complexes of $RQ$ correspond bijectively with the clusters of $A_Q$. As an application, for a Dynkin quiver $Q$, we prove that the torsion classes of $\mathrm{mod} RQ$ corresponds bijectively with the order preserving maps from $\mathrm{Spec} R$ to the set of clusters.

Osamu Iyama Yuta Kimura 10 pages http://arxiv.org/abs/2504.02360v1 2025-04-03T07:51:21Z 2025-04-03T07:51:21Z

In this paper we consider the graded going-down property of graded integral domains in pullbacks. It then enables us to give original examples of these domains.

Parviz Sahandi Nematollah Shirmohammadi 13 pages, final version http://arxiv.org/abs/2501.15080v2 2025-04-02T22:46:50Z 2025-01-25T05:14:43Z

Consider the conjugation action of the general linear group $\operatorname{GL}_{2}(K)$ on the polynomial ring $K[X_{2 \times 2}]$. When $K$ is an infinite field, the ring of invariants is a polynomial ring generated by the trace and the determinant. We describe the ring of invariants when $K$ is a finite field, and show that it is a hypersurface. We also consider the other classical subgroups, and the polynomial rings corresponding to other subspaces of matrices such as the traceless and symmetric matrices. In each case, we show that the invariant ring is either a polynomial ring or a hypersurface.

Aryaman Maithani are welcome! Updated to include the actions for all classical subgroups. 18 pages