Closed subsets of the domain whose image has the dimension of the range

It is shown that if dim Y < ∞ and if f(X) = Y is a mapping between compact metric spaces such that 1 ? m ? dim f^-1(y)?n for all y ? Y, then there exists a closed set K ? X such that dim K ? n ? m and dim f(K) = dim Y. This answers a question posed by J. Keesling and D. Wilson.     

On varieties of maximal Albanese dimension

We study the birational geometry of varieties of maximal Albanese dimension in this article. Given a non-birational, generically finite, and surjective morphism f: X → Y between varieties of maximal Albanese dimension, we show that the plurigenera P _m (X) and P _m (Y) for some m?≥ 2 could be equal only in very restrictive situations. We also prove that the 5-th pluricanonical map of a variety of maximal Albanese dimension always induces the Iitaka model.     

On minima of rational indefinite quadratic forms

Let f(x) be an indefinite quadratic form with real coefficients in n variables with nonzero determinant d. The collection of all values of $\text{v(f) = |d|}{}^{\mathrm{<mtext>?1</mtext><mtext>n</mtext>}}\text{inf}\text{|f(x)|}$, where infimum is taken over x ∈ Zⁿ such that f(x) ≠ 0 (x ≠ 0) is called the spectrum of nonzero minima (spectrum of minima) of such forms. The spectrum is said to be discrete if for every δ > 0, there are only finitely many values of v(f) > δ. It is proved that for rational quadratic forms in n ≥ 3 variables and real quadratic forms in n ≥ 21 variables the spectra of nonzero minima are discrete. Also the spectra of minima of indefinite ternary and quaternary rational quadratic forms are discrete.     

Sets of nonnegative matrices with positive inhomogeneous products

Let X be a set of k×k matrices in which each element is nonnegative. For a positive integer n, let P(n) be an arbitrary product of n matrices from X, with any ordering and with repetitions permitted. Define X to be a primitive set if there is a positive integer n such that every P(n) is positive [i.e., every element of every P(n) is positive]. For any primitive set X of matrices, define the index g(X) to be the least positive n such that every P(n) is positive. We show that if X is a primitive set, then g(X)?2^k?2. Moreover, there exists a primitive set Y such that g(Y) = 2^k?2.     

On finding the K best cuts in a network

We show that the O(K · n⁴) algorithm of Hamacher (1982) for finding the K best cut-sets fails because it may produce cuts rather than cut-sets. With the convention that two cuts $\text{(X,}\text{X}\text{)}$ and $\text{(Y,}\text{Y}\text{)}$ are different whenever X ≠ Y the K best cut problem can be solved in O(K · n⁴).     

Finite-to-one maps into Euclidean manifolds and spaces with disjoint disks properties

It is shown that every Euclidean manifold M has the following property for any m?1: If f:X→Y is a perfect surjection between finite-dimensional metric spaces, then the mapping space C(X,M) with the source limitation topology contains a dense Gδ-subset of maps g such that dimBm(g)?mdimf+dimY−(m−1)dimM. Here, Bm(g)={(y,z)∈Y×M||f−1(y)∩g−1(z)|?m}. The existence of residual sets of finite-to-one maps into product of manifolds and spaces having disjoint disks properties is also obtained.     

On the root closedness of continuous function algebras

For a compact Hausdorff space X, C(X) denotes the algebra of all complex-valued continuous functions on X. For a positive integer n, we say that C(X) is n-th root closed if, for each f∈C(X), there exists g∈C(X) such that f=gn. It is shown that, for each integer m?2, there exists a compact Hausdorff space Xm such that C(Xm) is m-th root closed, but not n-th root closed for each integer n relatively prime to m. This answers a question posed by Countryman Jr. [R.S. Countryman Jr., On the characterization of compact Hausdorff X for which C(X) is algebraically closed, Pacific J. Math. 20 (1967) 433-438] et al.     

Adjoints and pluricanonical adjoints to an algebraic hypersurface

. We develop the theory of canonical and pluricanonical adjoints, of global canonical and pluricanonical adjoints, and of adjoints and global adjoints to an irreducible, algebraic hypersurface V?? ⁿ , under certain hypotheses on the singularities of V. We subsequently apply the results of the theory to construct a non-singular threefold of general type X, desingularization of a hypersurface V of degree six in ?⁴, having the birational invariants q ₁=q ₂=p _g =0, P ₂=P ₃=5. We demonstrate that the bicanonical map ? _|2KX| is birational and finally, as a consequence of the Riemann–Roch theorem and vanishing theorems, we prove that any non-singular model Y, birationally equivalent to X, has the canonical divisors K _Y that do not (simultaneously) satisfy the two properties: (K _Y ³)>0 and K _Y numerically effective.     

The pexiderized Go?a?b-Schinzel functional equation

Let X be a linear space over a commutative field K. We characterize a general solution f,g,h,k:X→K of the pexiderized Go?a?b-Schinzel equation f(x+g(x)y)=h(x)k(y), as well as real continuous solutions of the equation.     

Increasing and decreasing operators on complete lattices

The (isotone) map f: X → X is an increasing (decreasing) operator on the poset X if f(x) ? f²(x) (f²(x) ? f(x), resp.) holds for each x ∈ X. Properties of increasing (decreasing) operators on complete lattices are studied and shown to extend and clarify those of closure (resp. anticlosure) operators. The notion of the decreasing closure, $\text{f}$, (the increasing anticlosure, $\text{f}$,) of the map f: X → X is introduced extending that of the transitive closure, $\text{f}\text{?}$, of f. $\text{f}\text{f}$, and $\text{f}$ are all shown to have the same set of fixed points. Our results enable us to solve some problems raised by H. Crapo. In particular, the order structure of H(X), the set of retraction operators on X is analyzed. For X a complete lattice H(X) is shown to be a complete lattice in the pointwise partial order. We conclude by claiming that it is the increasing-decreasing character of the identity maps which yields the peculiar properties of Galois connections. This is done by defining a u-v connection between the posets X and Y, where u: X → X (v: Y → Y) is an increasing (resp. decreasing) operator to be a pair f, g of maps f; X → Y, g: Y → X such that gf ? u, fg ? v. It is shown that the whole theory of Galois connections can be carried over to u-v connections.     

Orthogonally additive polynomials on spaces of continuous functions

We show that, for every orthogonally additive homogeneous polynomial P on a space of continuous functions C(K) with values in a Banach space Y, there exists a linear operator S:C(K)→Y such that P(f)=S(fn). This is the C(K) version of a related result of Sundaresam for polynomials on Lp spaces.     

Projective varieties with projectively equivalent singular 0-dimensional sections

Fix integers m, n such that 1 ≤ m ≤ n ? 3. Let X ? Pⁿ be an integral non-degenerate m-dimensional variety. Assume either char(K) = 0 or char(K) > deg(X). Here we prove that all general 0-dimensional sections of X containing a tangent vector to a smooth point of X are protectively equivalent if and only if n ? m + 1 ≤ deg(X) ≤ n ? m + 2.     

Some Pólya-Type Irreducibility Criteria for Multivariate Polynomials

We provide irreducibility criteria for multivariate polynomials with coefficients in an arbitrary field that extend a classical result of Pólya for polynomials with integer coefficients. In particular, we provide irreducibility conditions for polynomials of the form f(X)(Y ? f ₁(X))…(Y ? f _n (X)) + g(X), with f, f ₁, ?, f _n , g univariate polynomials over an arbitrary field.     

On locally repeated values of certain arithmetic functions,I

Let ν(n) denote the number of distinct prime factors of n. We show that the equation n + ν(n) = m + ν(m) has many solutions with n ≠ m. We also show that if ν is replaced by an arbitrary, integer-valued function f with certain properties assumed about its average order, then the equation n + f(n) = m + f(m) has infinitely many solutions with n ≠ m.     

Probabilities of maximal deviations for nonparametric regression function estimates

Let (X, Y) have regression function m(x) = E(Y | X = x), and let X have a marginal density f₁(x). We consider two nonparameteric estimates of m(x): the Watson estimate when f₁ is known and the Yang estimate when f₁ is known or unknown. For both estimates the asymptotic distribution of the maximal deviation from m(x) is proved, thus extending results of Bickel and Rosenblatt for the estimation of density functions.     

A family of cohen-macaulay modules over singularities of type xt + y3

Let K be a field with char K ≠ 3 and it two positive integers such that 1 ≤i <t/2,t ≠ 3i. The classification problem for maximal Cohen-Macaulay modules over K[[X,Y]]/(X^t+Y³ ) is complicated if t≥ 6, because there exist parameter families of non-isomorphic maximal Cohen-Macaulay modules [Sc], or [GK], [Yo, Ch.9] and [DG]). Here we describe parameter families of such modules N, such that N/YN is a direct sum of copies of K[[X]]/(X ⁱ)K[[X]]/(X^t-i ).     

The intersection number of real polynomial mappings

Let X=V(f₁,…,fn−m)⊂Rn be a compact real algebraic set and g:X→R2m be a continuous function. If the diagonal in X×X is isolated in the set of self-intersection points of g, we define the intersection number of g. In the case where X is a manifold and g is an immersion it is the intersection number defined by Whitney. In the case where g is a polynomial mapping, we present an effective formula for this number.     

Direct and Inverse Problems of Baire Classification of Integrals Depending on a Parameter

We study the problem of the Baire classification of integrals g (y) = (If)(y) = ∫ _X f(x, y)dμ(x), where y is a parameter that belongs to a topological space Y and f are separately continuous functions or functions similar to them. For a given function g, we consider the inverse problem of constructing a function f such that g = If. In particular, for compact spaces X and Y and a finite Borel measure μ on X, we prove the following result: In order that there exist a separately continuous function f : X × Y → ℝ such that g = If, it is necessary and sufficient that all restrictions g| _{Y n} of the function g: Y → ℝ be continuous for some closed covering { Y _n : n ∈ ℕ} of the space Y.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 56, No. 11, pp. 1443–1457, November, 2004.     

Lelek maps and n-dimensional maps from compacta to polyhedra

For a natural number m?0, a map from a compactum X to a metric space Y is an m-dimensional Lelek map if the union of all non-trivial continua contained in the fibers of f is of dimension ?m. In [M. Levin, Certain finite-dimensional maps and their application to hyperspaces, Israel J. Math. 105 (1998) 257-262], Levin proved that in the space C(X,I) of all maps of an n-dimensional compactum X to the unit interval I=[0,1], almost all maps are (n−1)-dimensional Lelek maps. Moreover, he showed that in the space C(X,Ik) of all maps of an n-dimensional compactum X to the k-dimensional cube Ik (k?1), almost all maps are (n−k)-dimensional Lelek maps. In this paper, we generalize Levin's result. For any (separable) metric space Y, we define the piecewise embedding dimension ped(Y) of Y and we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a complete metric ANR Y, almost all maps are (n−k)-dimensional Lelek maps, where k=ped(Y). As a corollary, we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a Peano curve Y, almost all maps are (n−1)-dimensional Lelek maps and in the space C(X,M) of all maps of an n-dimensional compactum X to a k-dimensional Menger manifold M, almost all maps are (n−k)-dimensional Lelek maps. It is known that k-dimensional Lelek maps are k-dimensional maps for k?0.     

Characterization of a class of bivariate distribution functions

Let F_X,Y(x,y) be a bivariate distribution function and P_n(x), Q_m(y), n, m = 0, 1, 2,…, the orthonormal polynomials of the two marginal distributions F_X(x) and F_Y(y), respectively. Some necessary conditions are derived for the co-efficients c_n, n = 0, 1, 2,…, if the conditional expectation E[P_n(X) ∥ Y] = c_nQ_n(Y) holds for n = 0, 1, 2,…. Several examples are given to show the application of these necessary conditions.