On solvability of the jump problem

Let Γ be a closed non-rectifiable Jordan curve on the complex plane C. We consider the so-called jump problem, i.e. the boundary value problem for determination of a holomorphic in function with a given jump on Γ. The main result is a condition of solvability of the problem in terms of a new metric dimension of the curve.     

Adjoint divisors on algebraic curves

Let C be a numerically connected curve lying on a smooth algebraic surface. We show that if is an ample invertible sheaf satisfying some technical numerical hypotheses then is normally generated. As a corollary we show that the sheaf ω_C^⊗2 on a numerically connected curve C of arithmetic genus p_a?3 is normally generated if ω_C is ample and does not exist a subcurve B⊂C such that p_a(B)=1=B(C−B).     

Separator theorems and Turán-type results for planar intersection graphs

We establish several geometric extensions of the Lipton-Tarjan separator theorem for planar graphs. For instance, we show that any collection C of Jordan curves in the plane with a total of m crossings has a partition into three parts C=S∪C₁∪C₂ such that , , and no element of C₁ has a point in common with any element of C₂. These results are used to obtain various properties of intersection patterns of geometric objects in the plane. In particular, we prove that if a graph G can be obtained as the intersection graph of n convex sets in the plane and it contains no complete bipartite graph Kt,t as a subgraph, then the number of edges of G cannot exceed ctn, for a suitable constant ct.     

Uniformly minimum variance nonnegative quadratic unbiased estimation in a generalized growth curve model

Consider the generalized growth curve model subject to R(X_m)⊆?⊆R(X₁), where B_i are the matrices of unknown regression coefficients, and E=(ε₁,…,ε_s)^′ and are independent and identically distributed with the same first four moments as a random vector normally distributed with mean zero and covariance matrix Σ. We derive the necessary and sufficient conditions under which the uniformly minimum variance nonnegative quadratic unbiased estimator (UMVNNQUE) of the parametric function with C≥0 exists. The necessary and sufficient conditions for a nonnegative quadratic unbiased estimator with of to be the UMVNNQUE are obtained as well.     

A construction of covers of arithmetic schemes

Let X be a regular arithmetic scheme, i.e. a regular integral separated scheme flat and of finite type over SpecZ. Assume that for all closed irreducible subschemes C⊆X of dimension 1 with normalisation there are given open normal subgroups NC of , which fulfil the following compatibility condition: For all the pre-images of NC₁ and NC₂ in coincide. If the indices of the NC are bounded, then these data uniquely determine an open normal subgroup of π₁(X), whose pre-image in is NC for all C.     

An explicit method for finding common solutions of variational inequalities and systems of equilibrium problems and fixed points of an infinite family of nonexpansive mappings

Let H be a Hilbert space and C be a nonempty closed convex subset of H, {T_i}_i∈N be a family of nonexpansive mappings from C into H, G_i:C×C→R be a finite family of equilibrium functions (i∈{1,2,…,K}), A be a strongly positive bounded linear operator with a coefficient and -Lipschitzian, relaxed (μ,ν)-cocoercive map of C into H. Moreover, let , {α_n} satisfy appropriate conditions and ; we introduce an explicit scheme which defines a suitable sequence as follows:

     

Computing the minimal number of equations defining an affine curve ideal-theoretically

There is an algorithm which computes the minimal number of generators of the ideal of a reduced curve C in affine n-space over an algebraically closed field K, provided C is not a local complete intersection.The existence of such an algorithm follows from the fact that given , there exists , such that if is a height n−1 radical ideal in K[X₁,…,X_n], generated by polynomials of degree at most d, then admits a set of generators of minimal cardinality, with each generator having degree at most d′, except possibly when is an (unmixed) local complete intersection.     

Invariant manifolds around equilibria of Newtonian equations: Some pathological examples

Let the equation be periodic in time, and let the equilibrium x_∗≡0 be a periodic minimizer. If it is hyperbolic, then the set of asymptotic solutions is a smooth curve in the plane ; this is stated by the Stable Manifold Theorem. The result can be extended to nonhyperbolic minimizers provided only that they are isolated and the equation is analytic (Ureña, 2007 [6]). In this paper we provide an example showing that one cannot say the same for C² equations. Our example is pathological both in a global sense (the global stable manifold is not arcwise connected), and in a local sense (the local stable manifolds are not locally connected and have points which are not accessible from the exterior).     

Isogenies of elliptic curves and the Morava stabilizer group

Let S₂ be the p-primary second Morava stabilizer group, C a supersingular elliptic curve over , O the ring of endomorphisms of C, and ? a topological generator of (or if p=2). We show that for p>2 the group Γ⊆O[1/?]^× of quasi-endomorphisms of degree a power of ? is dense in S₂. For p=2, we show that Γ is dense in an index 2 subgroup of S₂.     

On unramified normal coverings of hyperelliptic curves

It is well known that the number of unramified normal coverings of an irreducible complex algebraic curve C with a group of covering transformations isomorphic to Z₂⊕Z₂ is (2^4g−3⋅2^2g+2)/6. Assume that C is hyperelliptic, say . Horiouchi has given the explicit algebraic equations of the subset of those covers which turn out to be hyperelliptic themselves. There are of this particular type. In this article, we provide algebraic equations for the remaining ones.     

An analogue of Hartshorne and Serre problems for 1-convex surfaces

Let C be an elliptic curve and let L∈Pic(C). If c₁(L)<0, a well known result of Grauert tells us that L is rigid. On the other hand, Arnold provided a criterion for the rigidity of L when c₁(L)=0. However, a concrete example of such a bundle is hard to come by. In this paper, we construct explicitly such an L which turns out to be the line bundle associated to some toroidal group , viewed as topologically trivial -bundle over C. This example turns out to be the counterexample to the following analogue of a problem of Serre for 1-convex surfaces:Let X be a compactifiable surface such that - for all p?0 and q?1. Is X always 1-convex?Also a cohomological characterization of toroidal groups of finite type is established, as well as an analogue of a problem of Hartshorne for 1-convex surfaces will be discussed.     

Approximation of the semigroup generated by the Robin Laplacian in terms of the Gaussian semigroup

We consider the Laplacian ΔR subject to Robin boundary conditions on the space , where Ω is a smooth, bounded, open subset of RN. It is known that ΔR generates an analytic contraction semigroup. We show how this semigroup can be obtained from the Gaussian semigroup on C₀(RN) via a Trotter formula. As the main ingredient, we construct a positive, contractive, linear extension operator Eβ from to C₀(RN) which maps an operator core for ΔR into the domain of the generator of the Gaussian semigroup.     

The compactified Picard scheme of the compactified Jacobian

Let C be an integral projective curve in any characteristic. Given an invertible sheaf L on C of degree 1, form the corresponding Abel map , which maps C into its compactified Jacobian, and form its pullback map , which carries the connected component of 0 in the Picard scheme back to the Jacobian. If C has, at worst, double points, then is known to be an isomorphism. We prove that always extends to a map between the natural compactifications, , and that the extended map is an isomorphism if C has, at worst, ordinary nodes and cusps.     

Strong convergence of the composite Halpern iteration

Let C be a closed convex subset of a uniformly smooth Banach space E and let T:C→C be a nonexpansive mapping with a nonempty fixed points set. Given a point u∈C, the initial guess x₀∈C is chosen arbitrarily and given sequences , and in (0,1), the following conditions are satisfied:

(i)

;

(ii)

αn→0, βn→0 and 0<a?γn, for some a∈(0,1);

(iii)

, and . Let be a composite iteration process defined by

     

Heat flow, BMO, and the compactness of Toeplitz operators

In this paper, it is shown that the Berezin-Toeplitz operator Tg is compact or in the Schatten class Sp of the Segal-Bargmann space for 1?p<∞ whenever (vanishes at infinity) or , respectively, for some s with , where is the heat transform of g on Cn. Moreover, we show that compactness of Tg implies that is in C₀(Cn) for all and use this to show that, for g∈BMO¹(Cn), we have is in C₀(Cn) for some s>0 only if is in C₀(Cn) for alls>0. This “backwards heat flow” result seems to be unknown for g∈BMO¹ and even g∈L^∞. Finally, we show that our compactness and vanishing “backwards heat flow” results hold in the context of the weighted Bergman space , where the “heat flow” is replaced by the Berezin transform Bα(g) on for α>−1.     

C-Weierstrass for compact sets in Hilbert space

The C¹-Weierstrass approximation theorem is proved for any compact subset X of a Hilbert space . The same theorem is also proved for Whitney 1-jets on X when X satisfies the following further condition: There exist finite dimensional linear subspaces such that ?_n?1H_n is dense in and π_n(X)=X∩H_n for each n?1. Here, is the orthogonal projection. It is also shown that when X is compact convex with and satisfies the above condition, then C¹(X) is complete if and only if the C¹-Whitney extension theorem holds for X. Finally, for compact subsets of , an extension of the C¹-Weierstrass approximation theorem is proved for C¹ maps with compact derivatives.     

Composition operators from the Hardy space to the nth weighted-type space on the unit disk and the half-plane

The boundedness of the composition operator C_φf(z)=f(φ(z)) from the Hardy space , where X is the upper half-plane or the unit disk D={z∈C:|z|<1} in the complex plane C, to the nth weighted-type space, where φ is an analytic self-map of X, is characterized.