Search arXiv⌕ Search

arXiv subjects

Janusz Adamus

Publications and source records attributed to Janusz Adamus.

At least 19 recordsLinked to original sources
arXiv2026

Arc-analytic functions on locally closed semialgebraic sets

We give a generalization of the Kurdyka theory of arc-analytic functions and arc-symmetric sets on Nash manifolds to the setting of arbitrary locally closed semialgebraic sets. In particular, we prove that the ideals of the ring of arc-analytic functions on a locally closed set $S$ satisfy an arc-analytic Nullstellensatz, their zero-sets are precisely the semialgebraic arc-symmetric subsets of $S$, which form the family of closed sets of a Noetherian topology on $S$, and the Krull dimension of the ring is equal to the Euclidean dimension of $S$ and to the Krull dimension of $S$ in that topology.

math.AG↗
arXiv2026

Arc-analytic subanalytic functions on complex manifolds

We show that an arc-analytic subanalytic function on a complex manifold M, which is holomorphic near one point, is a holomorphic function on M. More generally, an arc-analytic subanalytic function on a real analytic CR-manifold M, which is CR on a nonempty open subset of M, is a CR-function on the whole M.

math.CV↗
arXiv2026

Globally subanalytic arc-symmetric sets

It is shown that every C-semianalytic arc-symmetric set can be realized as the zero locus of an arc-analytic function. As a consequence, a Nash globally subanalytic arc-symmetric set is the zero locus of a continuous globally-subanalytic function which is arc-analytic outside a simple normal crossings divisor.

math.CV↗
arXiv2019

Equisingular algebraic approximation of real and complex analytic germs

We show that a Cohen-Macaulay analytic singularity can be arbitrarily closely approximated by germs of Nash sets which are also Cohen-Macaulay and share the same Hilbert-Samuel function. We also prove that every analytic singularity is topologically equivalent to a Nash singularity with the same Hilbert-Samuel function.

math.AG↗
arXiv2018

On solutions of linear equations with polynomial coefficients

We show that a linear functional equation with polynomial coefficients need not admit an arc-analytic solution even if it admits a continuous semialgebraic one. We also show that such an equation need not admit a Nash regulous solution even if it admits an arc-analytic one.

math.AG↗
arXiv2018

Extensions of arc-analytic functions

We prove that every arc-analytic semialgebraic function on an arc-symmetric set admits an arc-analytic semialgebraic extension to the whole ambient Euclidean space.

math.AG↗
arXiv2017

Geometric Auslander criterion for flatness

We prove that, if F is a coherent sheaf of modules over the source of a morphism f:X->Y of complex-analytic spaces, where Y is smooth, then the stalk of F at a point x in X is flat over R, the local ring of the target at f(x) if and only if the n-fold analytic tensor power of this stalk over R (where n = dim R) has no vertical elements. The result implies that if F is a finite module over a morphism f:X->Y of complex algebraic varieties, where Y is smooth and n=dim Y, then the stalk of F at x is R-flat if and only if its n-fold tensor power is a torsionfree R-module. The latter generalizes a classical freeness criterion of Auslander to modules that are not necessarily finitely generated over the base ring.

math.AC↗
arXiv2017

Tameness of holomorphic closure dimension in a semialgebraic set

Given a semianalytic set S in a complex space and a point p in S, there is a unique smallest complex-analytic germ at p which contains the germ of S, called the holomorphic closure of S at p. We show that if S is semialgebraic then its holomorphic closure is a Nash germ, for every p, and S admits a semialgebraic filtration by the holomorphic closure dimension. As a consequence, every semialgebraic subset of a complex vector space admits a semialgebraic stratification into CR manifolds satisfying a strong version of the condition of the frontier.

math.CV↗
arXiv2017

A proof of Kurdyka's conjecture on arc-analytic functions

We prove a conjecture of Kurdyka stating that every arc-symmetric semialgebraic set is precisely the zero locus of an arc-analytic semialgebraic function. This implies, in particular, that arc-symmetric semialgebraic sets are in one-to-one correspondence with radical ideals of the ring of arc-analytic semialgebraic functions.

math.AG↗
arXiv2017

CR-continuation of arc-analytic maps

Given a set E in a complex space and a point p in E, there is a unique smallest complex-analytic germ containing the germ of E at p, called the holomorphic closure of E at p. We study the holomorphic closure of semialgebraic arc-symmetric sets. Our main application concerns CR-continuation of semialgebraic arc-analytic mappings: A mapping f on a real-analytic CR manifold M which is semialgebraic arc-analytic and CR on a non-empty open subset of M is CR on the whole M.

math.CV↗
arXiv2017

A fast flatness testing algorithm in characteristic zero

We prove a fast computable criterion that expresses non-flatness in terms of torsion: Let R be a regular algebra of finite type over a field K of characteristic zero and let F be a module finitely generated over an R-algebra of finite type. Given a maximal ideal m in R, let S be the coordinate ring of the blowing-up of Spec(R) at the closed point m. Then F is flat over R localized in m if and only if the tensor product of F with S over R is a torsion-free module over R localized in m. If K is the field of reals or complex numbers, we give a stronger criterion - without the regularity assumption on R. We also show the corresponding results in the real- and complex-analytic categories.

math.AC↗
arXiv2017

Geometric Auslander criterion for openness of an algebraic morphism

We give an effective criterion for openness of a morphism of schemes of finite type over a field: Over a normal base of dimension n, failure of openness is detected by a vertical component in the n'th fibred power of the morphism. This is a topological analogue of a criterion for flatness that originates with Auslander.

math.AG↗
arXiv2017

Flatness testing over singular bases

We show that non-flatness of a morphism f of complex-analytic spaces with a locally irreducible target Y of dimension n manifests in the existence of vertical components in the n-fold fibred power of the pull-back of f to the desingularization of Y. An algebraic analogue follows: Let R be a locally (analytically) irreducible finite type complex-algebra and an integral domain of Krull dimension n, and let S be a regular n-dimensional algebra of finite type over R (but not necessarily a finite R-module), such that the induced morphism of spectra is dominant. Then a finite type R-algebra A is R-flat if and only if the tensor product of S with the n-fold tensor power of A over R is a torsion-free R-module.

math.AC↗
arXiv2017

Tameness of complex dimension in a real analytic set

Given a real analytic set X in a complex manifold and a positive integer d, denote by A(d) the set of points p in X at which there exists a germ of a complex analytic set of dimension d contained in X. It is proved that A(d) is a closed semianalytic subset of X.

math.CV↗
arXiv2017

On finite determinacy of complete intersection singularities

We give an elementary combinatorial proof of the following fact: Every real or complex analytic complete intersection germ X is equisingular -- in the sense of the Hilbert-Samuel function -- with a germ of an algebraic set defined by sufficiently long truncations of the defining equations of X.

math.CV↗
arXiv2016

Finite determinacy and stability of flatness of analytic mappings

It is proved that flatness of an analytic mapping germ from a complete intersection is determined by its sufficiently high jet. As a consequence, one obtains finite determinacy of complete intersections. It is also shown that flatness and openness are stable under deformations.

math.CV↗