Cylinders in del Pezzo fibrations

We show that a del Pezzo fibration π: V → W of degree d contains a vertical open cylinder, that is, an open subset whose intersection with the generic fiber of π is isomorphic to Z × A_K¹ for some quasi-projective variety Z defined over the function field K of W, if and only if d ≥ 5 and π: V → W admits a rational section. We also construct twisted cylinders in total spaces of threefold del Pezzo fibrations π: V → P¹ of degree d ≤ 4.     

On the sectionwise connectedness of a contingent

Let X be a real normed space and let f: ? → X be a continuous mapping. Let T _f (t ₀) be the contingent of the graph G(f) at a point (t ₀, f(t ₀)) and let S ⁺ ? (0,∞) × X be the “right” unit hemisphere centered at (0, 0 _X ). We show that

1. 1.
   If dimX < ∞ and the dilation D(f, t ₀) of f at t ₀ is finite then T _f (t ₀) ∩ S ⁺ is compact and connected. The result holds for \(T_f (t_0 ) \cap \overline {S^ + } \) even with infinite dilation in the case f: [0,∞) → X.
    
2. 2.
   If dimX = ∞, then, given any compact set F ? S ⁺, there exists a Lipschitz mapping f: ? → X such that T _f (t ₀) ∩ S ⁺ = F.
    
3. 3.
   But if a closed set F ? S ⁺ has cardinality greater than that of the continuum then the relation T _f (t ₀) ∩ S ⁺ = F does not hold for any Lipschitz f: ? → X.
    

     

Multivariate discriminant and iterated resultant

In this paper,we study the relationship between iterated resultant and multivariate discriminant.We show that,for generic form f(x_n) with even degree d,if the polynomial is squarefreed after each iteration,the multivariate discriminant △(f) is a factor of the squarefreed iterated resultant.In fact,we find a factor Hp(f,[x_1,...,x_n]) of the squarefreed iterated resultant,and prove that the multivariate discriminant △(f) is a factor of Hp(f,[x_1,...,x_n]).Moreover,we conjecture that Hp(f,[x_1,...,x_n]) = △(f) holds for generic form/,and show that it is true for generic trivariate form f(x,y,z).     

The Euler obstruction of a function on a determinantal variety and on a curve

Given an analytic function germ f: (X, 0) → C on an isolated determinantal singularity or on a reduced curve, we present formulas relating the local Euler obstruction of f to the vanishing Euler characteristic of the fiber X ∩ f^-1(0) and to the Milnor number of f. Restricting ourselves to the case where X is a complete intersection, we obtain an easy way to calculate the local Euler obstruction of f as the difference between the dimension of two algebras.     

On boundary value problems for systems of nonlinear generalized ordinary differential equations

A general theorem (principle of a priori boundedness) on solvability of the boundary value problem dx = dA(t) · f(t, x), h(x) = 0 is established, where f: [a, b]×R ⁿ → R ⁿ is a vector-function belonging to the Carathéodory class corresponding to the matrix-function A: [a, b] → R ^n×n with bounded total variation components, and h: BV_s([a, b],R ⁿ ) → R ⁿ is a continuous operator. Basing on the mentioned principle of a priori boundedness, effective criteria are obtained for the solvability of the system under the condition x(t₁(x)) = B(x) · x(t ₂(x))+c ₀, where t _i: BV_s([a, b],R ⁿ ) → [a, b] (i = 1, 2) and B: BV_s([a, b], R ⁿ ) → R ⁿ are continuous operators, and c ₀ ∈ R ⁿ .     

On Lipschitz extension from finite subsets

We prove that for every n ∈ ? there exists a metric space (X, d _X), an n-point subset S ? X, a Banach space (Z, \({\left\| \right\|_Z}\)) and a 1-Lipschitz function f: S → Z such that the Lipschitz constant of every function F: X → Z that extends f is at least a constant multiple of \(\sqrt {\log n} \). This improves a bound of Johnson and Lindenstrauss [JL84]. We also obtain the following quantitative counterpart to a classical extension theorem of Minty [Min70]. For every α ∈ (1/2, 1] and n ∈ ? there exists a metric space (X, d _X), an n-point subset S ? X and a function f: S → ?₂ that is α-Hölder with constant 1, yet the α-Hölder constant of any F: X → ?₂ that extends f satisfies \({\left\| F \right\|_{Lip\left( \alpha \right)}} > {\left( {\log n} \right)^{\frac{{2\alpha - 1}}{{4\alpha }}}} + {\left( {\frac{{\log n}}{{\log \log n}}} \right)^{{\alpha ^2} - \frac{1}{2}}}\). We formulate a conjecture whose positive solution would strengthen Ball’s nonlinear Maurey extension theorem [Bal92], serving as a far-reaching nonlinear version of a theorem of König, Retherford and Tomczak-Jaegermann [KRTJ80]. We explain how this conjecture would imply as special cases answers to longstanding open questions of Johnson and Lindenstrauss [JL84] and Kalton [Kal04].     

The Fixed Points of Contractions of <Emphasis Type="Italic">f</Emphasis>-Quasimetric Spaces

The recent articles of Arutyunov and Greshnov extend the Banach and Hadler Fixed-Point Theorems and the Arutyunov Coincidence-Point Theorem to the mappings of (q₁, q₂)-quasimetric spaces. This article addresses similar questions for f-quasimetric spaces.Given a function f: R ₊² → R₊ with f(r₁, r₂) → 0 as (r₁, r₂) → (0, 0), an f-quasimetric space is a nonempty set X with a possibly asymmetric distance function ρ: X² → R+ satisfying the f-triangle inequality: ρ(x, z) ≤ f(ρ(x, y), ρ(y, z)) for x, y, z ∈ X. We extend the Banach Contraction Mapping Principle, as well as Krasnoselskii’s and Browder’s Theorems on generalized contractions, to mappings of f-quasimetric spaces.     

On calculating residuated approximations

For an order-preserving map f : L → Q between two complete lattices L and Q, there exists a largest residuated map ρ _f under f, which is called the residuated approximation of f. Andreka, Greechie, and Strecker introduced the notion of the shadow σ _f of f Iterations of the shadow are called the umbral mappings. The umbral mappings form a decreasing net that converges to the residuated approximation ρ _f of f. The umbral number u _f of f is the smallest ordinal number α such that the equation \({\sigma^{(\alpha)}_{f} = \rho_{f}}\) holds. In order to speed up the computation of the umbral number u _f of f and find some relation between the structure of L and u _f , we present the concept of the order skeleton of a lattice \({L, \tilde{L} = L/\sim}\), determined by a certain congruence relation ~ on L where each equivalence class [x] is the maximal autonomous chain containing x. If [x] is finite for each \({x \in L}\), then \({L_{o} := \{ \Lambda [x]\,|\, x \in L \}}\) is a join-subcomplete sub-semilattice of L isomorphic to the order skeleton \({\tilde{L}}\) of L; for every order-preserving mapping f : L → Q from such a lattice L to a complete lattice Q, we define f _o : L _o → Q by \({f_{o} := f|_{{L}_{o}}}\) and prove that \({u_{f} = u_{{f}_{o}}}\). For a lattice L with no infinite chains, the order skeleton \({\tilde{L}}\) of L is distributive if and only if the shadow σ _f of f is residuated for every complete lattice Q and every mapping f : L → Q. Related topics are discussed.     

Toy Teichmüller spaces of real dimension 2: the pentagon and the punctured triangle

Let \(f: S\longrightarrow B\) be a non-trivial fibration from a complex projective smooth surface S to a smooth curve B of genus b. Let \(c_f\) the Clifford index of the general fibre F of f. In Barja et al. (Journal für die reine und angewandte Mathematik, 2016) it is proved that the relative irregularity of f, \(q_f=h^{1,0}(S)-b\) is less or equal than or equal to \(g(F)-c_f\). In particular this proves the (modified) Xiao’s conjecture: \(q_f\le \frac{g(F)}{2} +1\) for fibrations of general Clifford index. In this short note we assume that the general fiber of f is a plane curve of degree \(d\ge 5\) and we prove that \(q_f\le g(F)-c_f-1\). In particular we obtain the conjecture for families of quintic plane curves. This theorem is implied for the following result on infinitesimal deformations: let F a smooth plane curve of degree \(d\ge 5\) and let \(\xi \) be an infinitesimal deformation of F preserving the planarity of the curve. Then the rank of the cup-product map \(H^0(F,\omega _F) {\overset{ \cdot \xi }{\longrightarrow }} H^1(F,O_F)\) is at least \(d-3\). We also show that this bound is sharp.     

The barycenter property for robust and generic diffeomorphisms

Let f:M~d→M~d(d≥2) be a diffeomorphism on a compact C~∞ manifold on M.If a diffeomorphism f belongs to the C~1-interior of the set of all diffeomorphisms having the barycenter property,then f is Ω-stable.Moreover,if a generic diffeomorphism f has the barycenter property,then f is Ω-stable.We also apply our results to volume preserving diffeomorphisms.     

More on stability of almost surjective <Emphasis Type="Italic">ε</Emphasis>-isometries of Banach spaces

Let X and Y be two Banach spaces, and f: X → Y be a standard ε-isometry for some ε ≥ 0. In this paper, by using a recent theorem established by Cheng et al. (2013–2015), we show a sufficient condition guaranteeing the following sharp stability inequality of f: There is a surjective linear operator T: Y → X of norm one so that

$$\left\| {Tf(x) - x} \right\| \leqslant 2\varepsilon , for all x \in X.$$

As its application, we prove the following statements are equivalent for a standard ε-isometry f: X → Y:

1. (i)
   lim inf _t→∞ dist(ty, f(X))/|t| < 1/2, for all y ∈ S _Y ;
    
2. (ii)
   \(\tau(f)\equiv sup_{y\epsilon S_{Y}}\) lim inf _t→∞dist(ty, f(X))/|t| = 0;
    
3. (iii)
   there is a surjective linear isometry U: X → Y so that

   $$\left\| {f(x) - Ux} \right\| \leqslant 2\varepsilon , for all x \in X.$$
    

This gives an affirmative answer to a question proposed by Vestfrid (2004, 2015).     

Representation and Approximation of Positivity Preservers

We consider a closed set S?? ⁿ and a linear operator

$\Phi \colon \mathbb{R}[X_1,\ldots,X_n]\rightarrow \mathbb{R}[X_1,\ldots,X_n]$

that preserves nonnegative polynomials, in the following sense: if f≥0 on S, then Φ(f)≥0 on S as well. We show that each such operator is given by integration with respect to a measure taking nonnegative functions as its values. This can be seen as a generalization of Haviland’s Theorem, which concerns linear functionals on ?[X ₁,…,X _n ]. For compact sets S we use the result to show that any nonnegativity preserving operator is a pointwise limit of very simple nonnegativity preservers with finite dimensional range.

     

Classification of zeta functions of bielliptic surfaces over finite fields

Let S be a bielliptic surface over a finite field, and let an elliptic curve B be the Albanese variety of S; then the zeta function of the surface S is equal to the zeta function of the direct product P¹ × B. Therefore, the classification problem for the zeta functions of bielliptic surfaces is reduced to the existence problem for surfaces of a given type with a given Albanese curve. In the present paper, we complete this classification initiated in [1].     

The kernel of the second order Cauchy difference on semigroups

Let S be a semigroup, H a 2-torsion free, abelian group and \(C^2f\) the second order Cauchy difference of a function \(f:S \rightarrow H\). Assuming that H is uniquely 2-divisible or S is generated by its squares we prove that the solutions f of \(C^2f = 0\) are the functions of the form \(f(x) = j(x) + B(x,x)\), where j is a solution of the symmetrized additive Cauchy equation and B is bi-additive. Under certain conditions we prove that the terms j and B are continuous, if f is. We relate the solutions f of \(C^2f = 0\) to Fréchet’s functional equation and to polynomials of degree less than or equal to 2.     

Meromorphic Solutions for a Class of Differential Equations and Their Applications

In this note, we study the admissible meromorphic solutions for algebraic differential equation fⁿf' + P_n?1(f) = R(z)e^α(z), where P_n?1(f) is a differential polynomial in f of degree ≤ n ? 1 with small function coefficients, R is a non-vanishing small function of f, and α is an entire function. We show that this equation does not possess any meromorphic solution f(z) satisfying N(r, f) = S(r, f) unless P_n?1(f) ≡ 0. Using this result, we generalize a well-known result by Hayman.     

On the rank of odd hyper-quasi-polynomials

Given any nonzero entire function g: ? → ?, the complex linear space F(g) consists of all entire functions f decomposable as f(z + w)g(z - w)=φ₁(z)ψ₁(w)+???+ φ_n(z)ψ_n(w) for some φ₁, ψ₁, …, φ_n, ψ_n: ? → ?. The rank of f with respect to g is defined as the minimum integer n for which such a decomposition is possible. It is proved that if g is an odd function, then the rank any function in F(g) is even.     

Solution of Functional Equations Related to Elliptic Functions

Functional equations of the form f(x + y)g(x ? y) = Σ _j=1 ⁿ α _j (x)β _j (y) as well as of the form f₁(x + z)f₂(y + z)f₃(x + y ? z) = Σ _j=1 ^m φ _j (x, y)ψ _j (z) are solved for unknown entire functions f, g,α _j , β _j : ? → ? and f₁, f₂, f₃, ψ _j : ? → ?, φ _j : ?² → ? in the cases of n = 3 and m = 4.     

The degree of biholomorphic mappings between special domains in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> preserving 0

Let G _i be a closed Lie subgroup of U(n), Ω _i be a bounded G _i -invariant domain in C ⁿ which contains 0, and \(O{\left( {{\mathbb{C}^n}} \right)^{{G_i}}} = \mathbb{C}\), for i = 1; 2. If f: Ω₁ → Ω₂ is a biholomorphism, and f(0) = 0, then f is a polynomial mapping (see Ning et al. (2017)). In this paper, we provide an upper bound for the degree of such polynomial mappings. It is a natural generalization of the well-known Cartan’s theorem.     

On a class of strongly contractive quadratic recurrent systems

We consider a class of nonlinear recurrent systems of the form \( {\Lambda_p} = \frac{1}{p}\sum\limits_{{p_1} = 1}^{p - 1} {f\left( {\frac{{{p_1}}}{p}} \right){\Lambda_{{p_1}}}{\Lambda_{p - {p_1}}}} \), p > 1, where f is a given function on the interval [0, 1] and Λ₁ = x is an adjustable real-valued parameter. Under some suitable assumptions on the function f, we show that there exists an initial value x ^* for which Λ _p = Λ _p (x ^* ) → const as p → ∞. More precise asymptotics of Λ _p is also derived.     

Hyperquasipolynomials for the Theta-Function

Let g be a linear combination with quasipolynomial coefficients of shifts of the Jacobi theta function and its derivatives in the argument. All entire functions f: ? → ? satisfying f(x+y)g(x?y) = α₁(x)β₁(y)+· · ·+α_r(x)β_r(y) for some r ∈ ? and α_j, β_j: ? → ? are described.