Processing math: 100%

Commutative Algebra

2025-04-07 | | Total: 3

#1 Further results on Artin approximation, for group-actions on mapping-germs Maps(X,Y) and for quivers of maps [PDF] [Copy] [Kimi] [REL]

Author: Dmitry Kerner

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ł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łoski version. We establish these for directed rooted trees.

Subjects: Commutative Algebra , Algebraic Geometry

Publish: 2025-04-04 12:50:53 UTC


#2 On the algebraic degree stability of vectorial Boolean functions when restricted to affine subspaces [PDF] [Copy] [Kimi] [REL]

Authors: Claude Carlet, Serge Feukoua, Ana Salagean

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 xd 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 k3, 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.

Subjects: Commutative Algebra , Cryptography and Security

Publish: 2025-04-04 09:33:03 UTC


#3 F-purity deforms to perfectoid purity in Gorenstein domains [PDF] [Copy] [Kimi] [REL]

Authors: Benjamin Baily, Karina Dovgodko, Austyn Simpson, Jack Westbrook

We prove that if (A,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.

Subject: Commutative Algebra

Publish: 2025-04-03 18:35:24 UTC