A New Inequality for Weakly （K1, K2）-Quasiregular Mappings

We obtain a new inequality for weakly （K1,K2）-quasiregular mappings by using the McShane extension method. This inequality can be used to derive the self-improving regularity of （K1, K2）-Quasiregular Mappings.     

Nikulin involutions on <Emphasis Type="Italic">K</Emphasis>3 surfaces

We study the maps induced on cohomology by a Nikulin (i.e. a symplectic) involution on a K3 surface. We parametrize the 11-dimensional irreducible components of the moduli space of algebraic K3 surfaces with a Nikulin involution and we give examples of the general K3 surface in various components. We conclude with some remarks on Morrison–Nikulin involutions, these are Nikulin involutions which interchange two copies of E ₈(−1) in the Néron Severi group. The second author is supported by DFG Research Grant SA 1380/1-1.     

Density theorems for generalized Henig proper efficiency

We develop a new, simple technique of proof for density theorems (i.e.,for the sufficient conditions to guarantee that the proper efficient points of a set are dense in the efficient frontier) in an ordered topological vector space. The results are the following: (i) the set of proper efficient points of any compact setQ is dense in the set of efficient points with respect to the original topology of the space whenever the ordering coneK is weakly closed and admits strictly positive functionals; moreover, ifK is not weakly closed, then there exists a compact set for which the density statement fails; (ii) ifQ is weakly compact, then we have only weak density, but ifK has a closed bounded base, then we can assert the density with respect to the original topology, (iii) there exists a similar possibility to assert the strong density for weakly compactQ if additional restrictions are placed onQ instead ofK. These three results are obtained in a unified way as corollaries of the same statement. In this paper, we use the concept of proper efficiency due to Henig. We extend his definition to the setting of a Hausdorff topological vector space.Research of the first author was supported by the Foundation of Fundamental Research of the Republic of Belarus. Authors are grateful to Professor Valentin V. Gorokhovik for suggesting the problem studied in this paper and for numerous fruitful conversations.     

d-Cube decompositions ofK n/K m

Necessary conditions onn, m andd are given for the existence of an edge-disjoint decomposition ofK _n/K _m into copies of the graph of ad-dimensional cube. Sufficiency is shown whend=3 and, in some cases, whend=2^t. We settle the problem of embedding 3-cube decompositions ofK _m into 3-cube decompositions ofK _n, wherenm.Research of P.A. and D.E.B. supported by Australian Research Council grant A49532750Research of D.E.B. supported by Australian Research Council grant ARCPDF015GResearch of S.I.E. and C.V.E. supported by Illinois State University Research Office     

An Existential Divisibility Lemma for Global Fields

We generalize the Existential Divisibility Lemma by Th. Pheidas [7] to all global fields K of characteristic not 2, and for all sets of primes that are inert in a quadratic extension L of K. We also remove the conditions in real and ramifying primes, which were present in Pheidas’ version. As a Corollary, we recover the known fact that the set of integral elements at a prime in a global field is existentially definable. The first author is a Research Assistant of the Research Foundation – Flanders (FWO – Vlaanderen). Work partially supported by the European Community’s Human Potential Programme under contract HPRN-CT-2002-00287.     

Webs related to K-loops and reflection structures

We give a characterization of webs (P,g ₁,g ₂,g) which are related to A₁-loops, weakK-loops,K-loops and reflection structures. We also obtain a geometric proof of Kreuzer’S result that the concept ofK-loop is equivalent to that of Brück loop. The first author was supported by a grant from the Vigoni project. The second author wishes to acknowledge the financial support of the Korea Research Foundation, 1997.     

The domestic levels ofK c are iterable

We show that the models produced by theK ^c construction before (if ever) it reaches a non-domestic premouse are all iterable. As a corollary we get thatPFA plus the existence of a measurable cardinal implies the existence of a non-domestic premouse. Partially supported by the Italian MURST. Research partially supported by NSF grant DMS 98-03292. Research partially supported by NSF grant DMS 98-03611.     

Asymptotic analysis for loss probability of queues with finite <Emphasis Type="Italic">GI</Emphasis>/<Emphasis Type="Italic">M</Emphasis>/1 type structure

This paper discusses the asymptotic behavior of the loss probability for general queues with finite GI/M/1 type structure such as GI/M/c/K, SM/M/1/K and GI/MSP/1/K queues. We find an explicit expression for the asymptotic behavior of the loss probability as K tends to infinity. With the result, it is shown that the loss probability tends to 0 at a geometric rate. This research was supported by the MIC (Ministry of Information and Communication), Korea, under the ITRC (Information Technology Research Center) support program supervised by the IITA (Institute of Information Technology Assessment).     

Full groups of Cantor minimal systems

We associate different types of full groups to Cantor minimal systems. We show how these various groups (as abstract groups) are complete invariants for orbit equivalence, strong orbit equivalence and flip conjugacy, respectively. Furthermore, we introduce a group homomorphism, the socalled mod map, from the normalizers of the various full groups to the automorphism groups of the (ordered)K ⁰-groups, which are associated to the Cantor minimal systems. We show how this in turn is related to the automorphisms of the associatedC ^*-crossed products. Our results are analogues in the topological dynamical setting of results obtained by Dye, Connes-Krieger and Hamachi-Osikawa in measurable dynamics. Research supported in part by operating grants from NSERC (Canada). Research supported in part by the Norwegian Research Council for Science and Humanities.     

A geometrical property ofC(K) spaces

We introduce a geometrical property of norm one complemented subspaces ofC(K) spaces which is useful for computing lower bounds on the norms of projections onto subspaces ofC(K) spaces. Loosely speaking, in the dual of such a space ifx* is a w* limit of a net (x _a ^* ) andx*=x*₁+x*₂ with ‖x*‖=‖x*₁‖ + ‖x*₂‖, then we measure how efficiently thex _a ^* 's can be split into two nets converging tox*₁ andx*₂, respectively. As applications of this idea we prove that if for everyε>0,X is a norm (1+ε) complemented subspace of aC(K) space, then it is norm one complemented in someC(K) space, and we give a simpler proof that a slight modification of anl ₁-predual constructed by Benyamini and Lindenstrauss is not complemented in anyC(K) space. Research partially supported by a grant of the U.S.-Israel Binational Science Foundation. Research of the first-named author is supported in part by NSF grant DMS-8602395. Research of the second-named author was partially supported by the Fund for the Promotion of Research at the Technion, and by the Technion VPR-New York Metropolitan Research Fund.     

The <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-saturation for linear combination of Bernstein-Kantorovich operators

We study the L _p -saturation for the linear combination of Bernstein-Kantorovich operators. As a result we obtain the saturation class by using K-functional as well as some modulus of smoothness. Research supported by National Natural Science Foundation of China (10671019) and Zhejiang Provincial Natural Science Foundation of China (102005).     

PAC fields over finitely generated fields

We prove the following theorem for a finitely generated field K: Let M be a Galois extension of K which is not separably closed. Then M is not PAC over K. Research supported by the Minkowski Center for Geometry at Tel Aviv University, established by the Minerva Foundation. This work constitutes a part of the Ph.D. dissertation of L. Bary-Soroker done at Tel Aviv University under the supervision of Prof. Dan Haran.     

On a question of K. Bezdek and T. Odor on Γ-parallelotops

K. Bezdek and T. Odor proved the following statement in [1]: If a covering ofE ³ is a lattice packing of the convex compact bodyK with packing lattice Λ (K is a Λ-parallelotopes) then there exists such a 2-dimensional sublattice Λ′ of Λ which is covered by the set ∪(K+z∣z ∈ Λ′). (K ∪L(Λ′) is a Λ′-parallelotopes). We prove that the statement is not true in the case of the dimensionsn=6, 7, 8. Supported by Hung. Nat. Found for Sci. Research (OTKA) grant no. 1615 (1991).     

On the range sets of variational inequalities

This paper investigates the closedness and convexity of the range sets of the variational inequality (VI) problem defined by an affine mappingM and a nonempty closed convex setK. It is proved that the range set is closed ifK is the union of a polyhedron and a compact convex set. Counterexamples are given such that the range set is not closed even ifK is a simple geometrical figure such as a circular cone or a circular cylinder in a three-dimensional space. Several sufficient conditions for closedness and convexity of the range set are presented. Characterization for the convex hull of the range set is established in the case whereK is a cone, while characterization for the closure of the convex hull of the range set is established in general. Finally, some applications to stability of VI problems are derived.This work was supported by the Australian Research Council.We are grateful to Professors M. Seetharama Gowda, Olvi Mangasarian, Jong-Shi Pang, and Steve Robinson for references. We are thankful to Professor Jim Burke for discussions on Theorem 2.1 and Counterexample 3.5.     

Quasiconformal homogeneity of hyperbolic manifolds

We exhibit strong constraints on the geometry and topology of a uniformly quasiconformally homogeneous hyperbolic manifold. In particular, if n3, a hyperbolic n-manifold is uniformly quasiconformally homogeneous if and only if it is a regular cover of a closed hyperbolic orbifold. Moreover, if n3, we show that there is a constant K_n>1 such that if M is a hyperbolic n-manifold, other than which is K–quasiconformally homogeneous, then KK_n.Mathematics Subject Classification (2000): 30C60Research supported in part by NSF grant 070335 and 0305704.Research supported in part by NSF grant 0203698.Research supported in part by the NZ Marsden Fund and the Royal Society (NZ).Research supported in part by NSF grant 0305704.     

Semialgebraic sets and some versions of Tarski-Seidenberg-MacIntyre theorem

LetK be a local field of characteristic zero. We give a new definition of semialgebraic sets, which is then ettended to subsets of K-points of algebraicK-varieties. For algebraically closed fields, this notion is shown to be analogous to the concept of a constructible set. This follows from the various versions of the title theorem, according to which a projection .of any semiaigebraic set is again a semialgebraic set. One of such versions isTHEOREM 3. LetN be a quasiprojective algebraicK-variety andp: N → M a regularK-rational map ofN into the projectiveK-varietyM. Under this map~ then, the imageN(K) is a semialgebraic set inM(K). Using Hironaka's results on the resolution of singularities, we obtain a new proof of Theorem 3. Translated fromAlgebra i Logika, Vol. 34, No. 3, pp. 329-346, May-June, 1995. Supported by the Russian Foundation for Fundamental Research, grant No. 93-011-01520.     

External rays to periodic points

We prove that for every polynomial-like holomorphic mapP, ifaεK (filled-in Julia set) and the componentK _aofK containinga is either a point ora is accessible along a continuous curve from the complement ofK andK _ais eventually periodic, thena is accessible along an external ray. Ifa is a repelling or parabolic periodic point, then the set of arguments of the external rays converging toa is a nonempty closed “rotation set”, finite (ifK _ais not a one point) or Cantor minimal containing a pair of arguments of external rays of a critical point in ℂ. In the Appendix we discuss constructions via cutting and glueing, fromP to its external map with a “hedgehog”, and backward. Partially supported by the Edmund Landau Center for Research in Mathematical Analysis, sponsored by the Minerva Foundation (Germany). Supported by the Polish KBN Grants 210469101 “Iteracje i Fraktale” and 210909101 “Uklady Dynamiczne”.     

Convergence of random zeros on complex manifolds

We show that the zeros of random sequences of Gaussian systems of polynomials of in- creasing degree almost surely converge to the expected limit distribution under very general hypotheses. In particular,the normalized distribution of zeros of systems of m polynomials of degree N,orthonor- malized on a regular compact set K(?)C~m,almost surely converge to the equilibrium measure on K as N→∞.     

Gelfand pairs,K-spherical means and injectivity on the Heisenberg group

We study the injectivity properties of the spherical mean value operators associated to the Gelfand pairs (H ⁿ,K), whereK is a compact subgroup ofU(n). We show that these spherical mean value operators are injective onL ^p Hⁿ) for 1≤p<∞. Forp=∞, these operators are not injective. Nevertheless, if the spherical meansf*μ _i overK-orbits of sufficiently many points (z _i,t _i) ∈H ⁿ vanish, we identify a necessary and sufficient condition on the points (z _i,t _i) which guaranteesf=0. ForK=U(n), this is equivalent to the condition for the two-radius theorem. Research supported by N.B.H.M. Research Grant, Govt. of India.