BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Dmitry Kerner

Dmitry Kerner appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.ACmath.RTmath.FAmath.GTmath.RA

Catalog footprint

What is connected

18works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2022arXiv

Unfoldings of maps, the first results on stable maps, and results of Mather-Yau/Gaffney-Hauser type in arbitrary characteristic

Consider the (formal/analytic/algebraic) map-germs Maps(X,(k^p,o)). Let G be the group of right/contact/left-right transformations. I extend the following (classical) results from the real/complex-analytic case to the case of arbitrary field k. * A separable unfolding is locally trivial iff it is infinitesimally trivial. * An unfolding is locally versal iff it is infinitesimally versal. * The criterion of factorization of map-germs in zero characteristic. * Criteria of trivialization of unfoldings over affine base. * Fibration of K-orbits into A-orbits. * A map is locally stable iff it is infinitesimally stable. * Stable maps are unfodings of their genotypes. * Stable maps are determined by their local algebras. * Results of Mather-Yau/Scherk/Gaffney-Hauser type. How does the module T^1_G f, or related algebras, determine the G-equivalence type of f?

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Approximation results of Artin-Tougeron-type for general filtrations and for $C^r$-equations

Artin approximation and other related approximation results are used in various areas. The traditional formulation of such results is restricted to filtrations by powers of ideals, $\{I^j\}$, and to Noetherian rings. In this paper we extend several approximation results both to rather general filtrations and to $C^r$-rings, for $2\le r\le\infty$. As an auxiliary step we establish the surjectivity of the completion map for rings of $C^\infty$ functions, for a very broad class of filtrations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Surjectivity of the completion map for rings of $C^\infty$-functions. (Whitney extension theorem for general filtrations)

The classical lemma of Borel reads: any power series with real coefficients is the Taylor series of a smooth function. Algebraically this means the surjectivity of the completion map at a point, $C^\infty(\Bbb{R}^n) \twoheadrightarrow \Bbb{R}[[\underline{x}]]$. Similarly, Whitney extension theorem implies the surjectivity of the completion at closed subsets of $\Bbb{R}^n$. For various applications one needs the surjectivity of completion for general $C^\infty$-rings and general filtrations. We establish the necessary and sufficient conditions for this surjectivity. Moreover, we prove: any element of the completion admits a $C^\infty$-representative that is real-analytic outside of the locus of completion, has any prescribed vanishing rate "at infinity", and the prescribed positivity behaviour at the finite part. Alternatively, one can impose on the smooth representative a set of (compatible) linear conditions.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A strong version of implicit function theorem

We suggest the necessary/sufficient criteria for the existence of a (order-by-order) solution y(x) of a functional equation F(x,y)=0 over a ring. In full generality, the criteria hold in the category of filtered groups, this includes the wide class of modules over (commutative, associative) rings. The classical implicit function theorem and its strengthening obtained by Tougeron and Fisher appear to be (weaker) particular forms of the general criterion. We obtain a special criterion for solvability of the equations arising from group actions, g(w)=w+u, here u is "small". As an immediate application we re-derive the classical criteria of determinacy, in terms of the tangent space to the orbit. Finally, we prove the Artin-Tougeron-type approximation theorem: if a system of C^\infty-equations has a formal solution and the derivative satisfies a Lojasiewicz-type condition then the system has a C^\infty-solution.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Finite determinacy of matrices over local rings.II. Tangent modules to the miniversal deformations for group-actions involving the ring automorphisms

We consider matrices with entries in a local ring, Mat(m,n;R). Fix an action of group G on Mat(m,n;R), and a subset of allowed deformations, Σin Mat(m,n;R). The standard question (along the lines of Singularity Theory) is the finite-(Σ,G)-determinacy of matrices. In our previous work this determinacy question was reduced to the study of the tangent spaces to Σand to the orbit, T_{(Σ,A)}, T_{(GA,A)}, and their quotient: the tangent module to the miniversal deformation. In particular, the order of determinacy is controlled by the annihilator of this tangent module. Then we have studied this tangent module for the group action GL(m,R)\times GL(n,R) on Mat(m,n;R) and for various natural subgroups of it. These are R-linear group actions. In the current work we study this tangent module for group actions that involve the automorphisms of the ring, or, geometrically, group-actions that involve the local coordinate changes. (These actions are not R-linear.) We obtain various bounds on the support of this module. This gives ready-to-use criteria of determinacy for matrices, (embedded) modules and (skew-)symmetric forms.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Group actions on filtered modules and finite determinacy. Finding large submodules in the orbit by linearization

Fix a module M over a local ring R and a group action G on M, not necessarily R-linear. To understand how large is the G-orbit of an element z\in M one looks for the large submodules of M lying in Gz. We provide the corresponding (necessary/sufficient) conditions in terms of the tangent space to the orbit, T_{(Gz,z)}. This question originates from the classical finite determinacy problem of Singularity Theory. Our treatment is rather general, in particular we extend the classical criteria of Mather (and many others) to a broad class of rings, modules and group actions. When a particular `deformation space' is prescribed, Σ\subseteq M, the determinacy question is translated into the properties of the tangent spaces, T_{(Gz,z)}, T_{(\Si,z)}, and in particular to the annihilator of their quotient.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Many singularities are not stably equivalent to Newton-non-degenerate singularities

This paper has been withdrawn. Consider an isolated complex hypersurface singularity, f(x_1,..,x_n)=0. For Newton-non-degenerate singularities the local topology is completely determined by an associated polyhedral object, the Newton diagram. "Most" singularities are not Newton-non-degenerate, for any choice of local coordinates. An old question of Arnol'd asks whether for any hypersurface singularity there exists a stabilization, f(x_1,...,x_n)+z^2_1+...+z^2_r, that becomes Newton-non-degenerate after some change of coordinates. The answer is: "totally no". We give some simple obstructions and present particular examples of plane curve singularities that have no Newton-non-degenerate stabilization (in any local coordinates).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Recombination formulae for the spectrum of curve singularities and some applications

We obtain some recombination formulae for the spectra of (complex, reduced) plane curve singularities. As an application we prove: a generalization of Durfee's bound; a generalization of Givental's bound; the multiplicity of the curve singularity is determined by its spectrum; for many curve singularities all the multiplicities of exceptional divisors of the resolution are determined by the spectrum; etc.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Determinantal representations of singular hypersurfaces in P^n

A (global) determinantal representation of hypersurface in P^n is a matrix, whose entries are linear forms in homogeneous coordinates and whose determinant defines the hypersurface. We study the properties of such representations for singular (possibly reducible or non-reduced) hypersurfaces. In particular, we obtain the decomposability criteria for determinantal representations of globally reducible hypersurfaces. Further, we classify the determinantal representations in terms of the corresponding kernel sheaves on $X$. Finally, we extend the results to the case of symmetric/self-adjoint representations, with implications to hyperbolic polynomials and generalized Lax conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The 'corrected Durfee's inequality' for homogeneous complete intersections

We address the conjecture of [Durfee1978], bounding the singularity genus, p_g, by a multiple of the Milnor number, μ, for an n-dimensional isolated complete intersection singularity. We show that the original conjecture of Durfee, namely (n+1)!p_g\leq μ, fails whenever the codimension r is greater than one. Moreover, we propose a new inequality, and we verify it for homogeneous complete intersections. In the homogeneous case the inequality is guided by a `combinatorial inequality', that might have an independent interest.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A counterexample to Durfee conjecture

An old conjecture of Durfee 1978 bounds the ratio of two basic invariants of complex isolated complete intersection surface singularities: the Milnor number and the singularity (or geometric) genus. We give a counterexample for the case of non-hypersurface complete intersections, and we formulate a weaker conjecture valid in arbitrary dimension and codimension. This weaker bound is asymptotically sharp. In this note we support the validity of the new proposed inequality by its verification in certain (homogeneous) cases. In our subsequent paper we will prove it for several other cases and we will provide a more comprehensive discussion.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Decomposability of local determinantal representations of hypersurfaces

Let M be a matrix whose entries are power series in several variables and determinant det(M) does not vanish identically. The equation det(M)=0 defines a hypersurface singularity and the (co)-kernel of M is a maximally Cohen-Macaulay module over the local ring of this singularity. Suppose the determinant det(M) is reducible, i.e. the hypersurface is locally reducible. A natural question is whether the matrix is equivalent to a block-diagonal or at least to an upper-block-triangular. (Or whether the corresponding module is decomposable or at least is an extension.) We give various necessary and sufficient criteria. Two classes of such matrices of functions appear naturally in the study of decomposability: those with many generators (e.g. maximally generated or Ulrich maximal) and those that descend from birational modifications of the hypersurface by pushforwards (i.e. correspond to modules over bigger rings). Their properties are studied.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Milnor fibre signature is not semi-continuous

Consider the germ of an isolated surface singularity in $(\mC^3,0)$. The corresponding Milnor fibre possesses the homology lattice (the integral middle homology with a natural symmetric intersection form). An old question of A.Durfee (1978) asks: is the signature of this form non-increasing under degenerations? The present article answers negatively: We give examples of Newton non-degenerate families where the signature increases under degeneration.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Enumeration of uni-singular algebraic hypersurfaces

We enumerate complex algebraic hypersurfaces in $P^n$, of a given (high) degree with one singular point of a given singularity type. Our approach is to compute the (co)homology classes of the corresponding equi-singular strata in the parameter space of hypersurfaces. We suggest an inductive procedure, based on intersection theory combined with liftings and degenerations. The procedure computes the (co)homology class in question, whenever a given singularity type is properly defined and the stratum possesses good geometric properties. We consider in details the generalized Newton-non-degenerate singularities. We give also examples of enumeration in some other cases.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

On the equi-normalizable deformations of singularities of complex plane curves

We study a specific class of deformations of curve singularities: the case when the singular point splits to several ones, such that the total $δ$ invariant is preserved. These are also known as equi-normalizable or equi-generic deformations. We restrict primarily to the deformations of singularities with smooth branches. A natural invariant of the singular type is introduced: the dual graph. It imposes severe restrictions on the possible collisions/deformations. And allows to prove some bounds on the variation of classical invariants in equi-normalizable families. We consider in details deformations of ordinary multiple points, the deformations of a singularity into the collections of ordinary multiple points and deformations of the type $x^p+y^{pk}$ into the collections of $A_k$'s.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Automorphisms of $P_8$ singularities and the complex crystallographic groups

The paper completes the study of symmetries of parabolic function singularities with relation to complex crystallographic groups that was started in \cite{GM,X9}. We classify smoothable automorphisms of $P_8$ singularities which split the kernel of the intersection form on the second homology. For such automorphisms, the monodromy groups acting on the duals to the eigenspaces with degenerate intersection form are then identified as some of complex affine reflection groups tabled in \cite{P}.

0 citations0 reviewsNo code linkedOpen access