Estimates of the number of singular points of a complex hypersurface and related questions

It is well known that the number of isolated singular points of a hypersurface of degree d in ℂP^m does not exceed the Arnol’d number A_m(d), which is defined in combinatorial terms. In the paper it is proved that if b _m−1 ^± (d) are the inertia indices of the intersection form of a nonsingular hypersurface of degree d in ℂP^m, then the inequality A_m(d)<min{b _m−1 ⁺ (d), b _m−1 ⁻ (d)} holds if and only if (m−5)(d−2)≥18 and (m,d)≠(7,12). The table of the Arnol’d numbers for 3≤m≤14, 3≤d≤17 and for 3≤m≤14, d=18, 19 is given. Bibliography: 6 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 231, 1995, pp. 180–190. Translated by O. A. Ivanov and N. Yu. Netsvetev.     

Effective algebraic degeneracy

We show that for every smooth projective hypersurface X⊂ℙ ⁿ⁺¹ of degree d and of arbitrary dimension n ≥2, if X is generic, then there exists a proper algebraic subvariety Y ⊊ X such that every nonconstant entire holomorphic curve f :ℂ→X has image f(ℂ) which lies in Y, as soon as its degree satisfies the effective lower bound d\geqslant 2ⁿ⁵d\geqslant 2^{n^{5}} .     

On degrees of maps between Grassmannians

Let G_n,k denote the oriented grassmann manifold of orientedk-planes in ℝⁿ. It is shown that for any continuous mapf: G_n,k → G_n,k, dim G_n,k = dim G_m,l = l(m −l), the Brouwer’s degree is zero, providedl > 1,n ≠ m. Similar results for continuous mapsg: ℂG_m,l → ℂG_n,k,h: ℍG_m,l → ℍG_n,k, 1 ≤ l < k ≤ n/2, k(n — k) = l(m — l) are also obtained.     

Growth Behavior and Zero Distribution of Rational Approximants

We investigate the growth and the distribution of zeros of rational uniform approximations with numerator degree ≤n and denominator degree ≤m _n for meromorphic functions f on a compact set E of ℂ where m _n =o(n/log n) as n→∞. We obtain a Jentzsch–Szegő type result, i.e., the zero distribution converges weakly to the equilibrium distribution of the maximal Green domain E _ρ(f) of meromorphy of f if f has a singularity of multivalued character on the boundary of E _ρ(f). The paper extends results for polynomial approximation and rational approximation with fixed degree of the denominator. As applications, Padé approximation and real rational best approximants are considered.     

On the generalized critical values of a polynomial mapping

 Let be a polynomial dominant mapping and let deg f _i ≤d. We prove that the set K(f) of generalized critical values of f is contained in the algebraic hypersurface of degree at most D=(d+s(m−1)(d−1)) ⁿ , where . This implies in particular that the set B(f) of bifurcations points of f is contained in the hypersurface of degree at most D=(d+s(m−1)(d−1)) ⁿ . We give also an algorithm to compute the set K(f) effectively. Received: 11 June 2001 / Revised version: 1 July 2002 Published online: 24 January 2003 The author is partially supported by the KBN grant 2 PO3A 017 22. Mathematics Subject Classification (2000): 14D06, 14Q20, 51N10, 51N20, 15A04     

About entire functions with specialL 2-properties on one-dimensional subspaces of ℂ n

In this paper we consider special elements of the Fock space #x2131; _n . That is the space of entire functionsf:ℂ: ⁿ →ℂ, such that the followingL ²- condition is satisfied: . Here we show that there exists an entire functiong:ℂ ⁿ →ℂ such that for every one-dimensional subspace Π⊂ℂ ⁿ and for all 0<∈<2 we have , but in the limit case ∈=0 we have . This result is analogue to a result from [1]. There holomorphic functions on the unit-ball are investigated. Furthermore the proof — as the one in [1] — uses a theorem from [2]. Therefore we give another application of the results from [2] — namely for spaces of entire functions.     

A problem on simultaneous approximation and a conjecture of Hasson

In 1980, M. Hasson raised a conjecture as follows: Let N≥1, then there exists a function f₀(x)∈C _[−1,1] ^2N , for N+1≤k≤2N, such that p _n ^(k) (f₀,1)→f ₀ ^(k) (1), n→∞, where p_n(f,x) is the algebraic polynomial of best approximation of degree ≤n to f(x). In this paper, a, positive answer to this conjecture is given.     

Preimages of CR submanifolds with generic holomorphic maps

We investigate the notion of CR transversality of a generic holomorphic map f: ℂ ⁿ → ℂ ^m to a smooth CR submanifold M of ℂ ^m . We construct a stratification of the set of non-CR transversal points in the preimage M′ = f ⁻¹ (M) by smooth submanifolds, consisting of points where the CR dimension of M′ is constant. We show the existence of a Whitney stratification for sets which are locally diffeomorphic to the product of an open set and an analytic set. Work on this paper was supported by ARRS, Republic of Slovenia.     

Sign changes in rational L w 1 -approximation

Let f ∈ L _w ¹ [−1, 1], let r _n,m(f) be the best rational L _w ¹ -approximation for f with respect to real rational functions of degree at most n in the numerator and of degree at most m in the denominator, let m = m(n), and let lim _{n → ∞} (n-m(n)) = ∞. In this case, we show that the counting measures of certain subsets of sign changes of f-r _n,m (f) converge weakly to the equilibrium measure on [−1, 1] as n → ∞. Moreover, we prove estimates for discrepancy between these counting measures and the equilibrium measure. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 2, pp. 283–287, February, 2006.     

Geometric structure in stochastic approximation

1. IntroductionLet f: Re -- R be a differelltiable fUnction. f reaChes its extremes on the setJ = {x E R"lfx(x) = 0}, (1.1)where,x(X) = (V,..., V)". (1.2)If jx can be observed exactly at any x e R", then there are various numerical methods toconstruct {xh}, xk E Re such that the distance d(xk, J) between uk and J tends to zero ask -- co. However, in many application problems jx can only be observed with noise, i.e.,the observation at time k 1 isYk 1 = fi(~k) (k 1, (1'3)where xk is …     

Summation rational operators of the Jackson type

Summation rational positive operatorsD _4n−n(x; f) of the Jackson type are constructed on the real axis. The corresponding approximations of continuous functionsf onℝwith coinciding finite limits lim_x→−∞ f(x) and lim_x→+∞ f(x) are estimated. Translated fromMatematischeskie Zametki, Vol. 61, No. 2, pp. 270–277, February, 1997. Translated by N. K. Kulman     

On the iteration of holomorphic self-maps of ℂ*

Letf be a holomorphic self-map of the punctured plane ℂ^*=ℂ\{0} with essentially singular points 0 and ∞. In this note, we discuss the setsI ₀(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞} andI _∞(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞}. We try to find the relation betweenI ₀(f),I _∞(t) andJ(f). It is proved that both the boundary ofI ₀(f) and the boundary ofI _∞)f) equal toJ(f),I ₀(f) ∩J(f) ≠ θ andI _∞(f) ∩J(f) ≠ θ. As a consequence of these results, we find bothI ₀(f) andI _∞(f) are not doubly-bounded. Supported by the National Natural Science Foundation of China     

Non-wandering points and the depth for graph maps

Let G be a graph and f:G→G be continuous.Denote by R(f) andΩ(f) the set of recurrent points and the set of non-wandering points of f respectively.LetΩ_0(f) = G andΩ_n(f)=Ω(f|_(Ω_(n-1)(f))) for all n∈N.The minimal m∈NU {∞} such thatΩ_m(f)=Ω_(m 1)(f) is called the depth of f.In this paper,we show thatΩ_2 (f)=(?) and the depth of f is at most 2.Furthermore,we obtain some properties of non-wandering points of f.     

Coconvex approximation of periodic functions

The Jackson inequality relates the value of the best uniform approximation E _n (f) of a continuous 2π-periodic function f: ℝ → ℝ by trigonometric polynomials of degree ≤ n − 1 to its third modulus of continuity ω ₃(f, t). In the present paper, we show that this inequality is true if continuous 2π-periodic functions that change their convexity on [−π, π) only at every point of a fixed finite set consisting of an even number of points are approximated by polynomials coconvex to them. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 1, pp. 29–43, January, 2007.     

On an Asymptotic Behavior of Exponential Functional Equation

The stability problems of the exponential （functional） equation on a restricted domain will be investigated, and the results will be applied to the study of an asymptotic property of that equation. More precisely, the following asymptotic property is proved： Let X be a real （or complex） normed space. A mapping f ： X → C is exponential if and only if f（x ＋ y） - f（x）f（y） → 0 as ｜｜x｜｜ ＋ ｜｜y｜｜ → ∞ under some suitable conditions.     

On zeros of functions of given proximate formal order analytic in a half-plane

We describe sequences of zeros of functionsf≢0 that are analytic in the half-plane ℂ₊={z:Rez> and satisfy the condition

When is a Markovian Semigroup Induced by a Semiflow?

t , for t ≥ 0, be a strongly continuous Markovian semigroup acting on C(X), where X is a compact Hausdorf space, and let D denote the domain of its infinitesimal generator Z. Suppose D contains a (perhaps finite) family of functions f separating the points of X and satisfying Zf² = 2fZf. If either (1) there exists δ > 0 such that (T^t f)²∈ D if 0 ≤ t ≤δ for each f in this family; or (1′) for some core D′ of Z, g ∈ D′ implies g²∈ D, then the underlying Markoff process on X is deterministic. That is, there exists a semiflow — a semigroup (under composition) of continuous functions φ_t from X into X — such that T^tf(x) = f(φ_t (x)). If the domain D should be an algebra then conditions (1) and (1′) hold trivially. Conversely, if we have a separating family satisfying Zf² = 2fZf then each of these conditions implies that D is an algebra. It is an open question as to whether these conditions are redundant. If the functions φ_t are homeomorphisms from X onto X, then of course we have a Markovian group induced by a flow. This result is obtained by first providing general results about the null-space N of the (function-valued) positive semidefinite quadratic form defined by < f, g > = Z(fg) - fZg - gZf. The set N can be defined for any generator Z of a strongly continuous Markovian semigroup and is equivalently given by N = {f ∈ D| f²∈ D and Zf² = 2fZf} = {f ∈ D| T^t(f²)-(T^tf)² is o(t²) in C(X)}. In the general case N is an algebra closed under composition with any C¹-function φ from the reals to the reals, and Z(φ[f]) = (Zf)φ′[f] if f ∈ N. This "chain rule" on N (on which Z must act as a derivation) is a special case of a theorem for C²-functions φ which holds more generally for all f in d, viz., Z(φ[f] = (Zf) φ′[f] + ? <f, f> φ″[f], Provided Z is a local operator and D is an algebra. In this case the form < f, g > itself enjoys the relation < φ[f], ψ[g] > = φ′ [f] ψ′[g] < f, g >, for C²functions φ and ψ. Some of the results and their proofs continue to hold when the setting is switched from the commutative C*-algebra C(X) to a general (noncommutative) C*-algebra A. In the norm continuous case we obtain a sharp characterization of Markovian semigroups that are groups: Let T^t = e^tz , defined for t ≥ 0, be a Markovian semigroup acting on a C*-algebra A that is norm continuous, i.e., ||T^t - I|| ⇒ 0 as t ⇒ 0 +. Assume Z(a²) = a(Za) + (Za) a for some (perhaps finite) set of self-adjoint elements a that generate a Jordan algebra dense among the self-adjoint elements of A. The e^tz , -∞ < t < ∞, is a group of Markovian operators.     

Realization of primitive branched coverings over closed surfaces following the hurwitz approach

Let V be a closed surface, H⊑π₁(V) a subgroup of finite index l and D=[A ₁,...,A _m ] a collection of partitions of a given number d≥2 with positive defect v(D). When does there exist a connected branched covering f:W→V of order d with branch data D and f∶W→V It has been shown by geometric arguments [4] that, for l=1 and a surface V different from the sphere and the projective plane, the corresponding branched covering exists (the data D is realizable) if and only if the data D fulfills the Hurwitz congruence v(D)э0 mod 2. In the case l>1, the corresponding branched covering exists if and only if v(D)э0 mod 2, the number d/l is an integer, and each partition A _i ∈D splits into the union of l partitions of the number d/l. Here we give a purely algebraic proof of this result following the approach of Hurwitz [11]. The realization problem for the projective plane and l=1 has been solved in [7,8]. The case of the sphere is treated in [1, 2, 12, 7].     

On the local Artin conductor f<Subscript>Artin</Subscript> (Χ) of a character Χ of Gal(E/K) — II: Main results for the metabelian case

This paper which is a continuation of [2], is essentially expository in nature, although some new results are presented. LetK be a local field with finite residue class fieldK _k. We first define (cf. Definition 2.4) the conductorf(E/K) of an arbitrary finite Galois extensionE/K in the sense of non-abelian local class field theory as wheren _G is the break in the upper ramification filtration ofG = Gal(E/K) defined by . Next, we study the basic properties of the idealf(E/K) inO _k in caseE/K is a metabelian extension utilizing Koch-de Shalit metabelian local class field theory (cf. [8]). After reviewing the Artin charactera _G : G → ℂ ofG := Gal(E/K) and Artin representationsA _g G → G →GL(V) corresponding toa _G : G → ℂ, we prove that (Proposition 3.2 and Corollary 3.5) where Χ_gr : G → ℂ is the character associated to an irreducible representation ρ: G → GL(V) ofG (over ℂ). The first main result (Theorem 1.2) of the paper states that, if in particular,ρ : G → GL(V) is an irreducible representation ofG(over ℂ) with metabelian image, then where Gal(E^ker(ρ)/E^ker(ρ)•) is any maximal abelian normal subgroup of Gal(E^ker(ρ)/K) containing Gal(E^ker(ρ) /K)′, and the break n_G/ker(ρ) in the upper ramification filtration of G/ker(ρ) can be computed and located by metabelian local class field theory. The proof utilizes Basmaji’s theory on the structure of irreducible faithful representations of finite metabelian groups (cf. [1]) and on metabelian local class field theory (cf. [8]). We then discuss the application of Theorem 1.2 on a problem posed by Weil on the construction of a ‘natural’A _G ofG over ℂ (Problem 1.3). More precisely, we prove in Theorem 1.4 that ifE/K is a metabelian extension with Galois group G, then Kazim İlhan ikeda whereN runs over all normal subgroups of G, and for such anN, V _n denotes the collection of all ∼-equivalence classes [ω]∼, where ‘∼’ denotes the equivalence relation on the set of all representations ω : (G/N)^• → ℂ^Χ satisfying the conditions Inert(ω) = {δ ∈ G/N : ℂ_δ} = ω =(G/N) and where δ runs over R((G/N)^•/(G/N)), a fixed given complete system of representatives of (G/N)^•/(G/N), by declaring that ω₁ ∼ ω₂ if and only if ω₁ = ω _2,δ for some δ ∈ R((G/N)^•/(G/N)). Finally, we conclude our paper with certain remarks on Problem 1.1 and Problem 1.3.     

On algebraic automorphisms and their rational invariants

Let X be an affine irreducible variety over an algebraically closed field k of characteristic zero. Given an automorphism Φ, we denote by k(X)^Φ its field of invariants, i.e., the set of rational functions f on X such that f o Φ = f. Let n(Φ) be the transcendence degree of k(X)^Φ over k. In this paper we study the class of automorphisms Φ of X for which n(Φ) = dim X - 1. More precisely, we show that under some conditions on X, every such automorphism is of the form Φ = ϕ_g, where ϕ is an algebraic action of a linear algebraic group G of dimension 1 on X, and where g belongs to G. As an application, we determine the conjugacy classes of automorphisms of the plane for which n(Φ) = 1.