Embeddings of homology equivalent manifolds with boundary

We prove a theorem on equivariant maps implying the following two corollaries:(1) Let N and M be compact orientable n-manifolds with boundaries such that M⊂N, the inclusion M→N induces an isomorphism in integral cohomology, both M and N have (n−d−1)-dimensional spines and . Then the restriction-induced map Embm(N)→Embm(M) is bijective. Here Embm(X) is the set of embeddings X→Rm up to isotopy (in the PL or smooth category).(2) For a 3-manifold N with boundary whose integral homology groups are trivial and such that N?D³ (or for its special 2-spine N) there exists an equivariant map , although N does not embed into R³.The second corollary completes the answer to the following question: for which pairs (m,n) for each n-polyhedron N the existence of an equivariant map implies embeddability of N into Rm? An answer was known for each pair (m,n) except (3,3) and (3,2).     

Finite jet determination of CR mappings

We prove the following finite jet determination result for CR mappings: Given a smooth generic submanifold M⊂CN, N?2, that is essentially finite and of finite type at each of its points, for every point p∈M there exists an integer ?p, depending upper-semicontinuously on p, such that for every smooth generic submanifold M^′⊂CN of the same dimension as M, if are two germs of smooth finite CR mappings with the same ?p jet at p, then necessarily for all positive integers k. In the hypersurface case, this result provides several new unique jet determination properties for holomorphic mappings at the boundary in the real-analytic case; in particular, it provides the finite jet determination of arbitrary real-analytic CR mappings between real-analytic hypersurfaces in CN of D'Angelo finite type. It also yields a new boundary version of H. Cartan's uniqueness theorem: if Ω,Ω^′⊂CN are two bounded domains with smooth real-analytic boundary, then there exists an integer k, depending only on the boundary ∂Ω, such that if are two proper holomorphic mappings extending smoothly up to ∂Ω near some point p∈∂Ω and agreeing up to order k at p, then necessarily H₁=H₂.     

Integral of the Clarke subdifferential mapping and a generalized Newton-Leibniz formula

In the theory of Lebesgue integration it has been proved that if f is a real Lipschitz function defined on a segment [a,b]⊂R, then the Newton-Leibniz formula (the fundamental theorem of calculus) holds. This paper extends the fact to the case where the Fréchet derivative f^′(⋅) (which is defined almost everywhere on [a,b] by the Rademacher theorem) and the Lebesgue integral are replaced, respectively, by the Clarke subdifferential mapping ∂_Cf(⋅) and the Aumann (set-valued) integral. Among other things, we show that and the equality is valid if and only if f is strictly Hadamard differentiable almost everywhere on [a,b]. The result is derived from a general representation formula, which we obtain herein for the integral of the Clarke subdifferential mapping of a Lipschitz function defined on a separable Banach space.     

Super-stationary set, subword problem and the complexity

Let Ω⊂{0,1}^N be a nonempty closed set with N={0,1,2,…}. For N={N₀<N₁<N₂<?}⊂N and ω∈{0,1}^N, define ω[N]∈{0,1}^N by and

     

Quasi-convex sequences in the circle and the 3-adic integers

In this paper, we present families of quasi-convex sequences converging to zero in the circle group T, and the group J₃ of 3-adic integers. These sequences are determined by increasing sequences of integers. For an increasing sequence , put gn=an+1−an. We prove that

(a)

the set {0}∪{±³−(an+1)|n∈N} is quasi-convex in T if and only if a₀>0 and gn>1 for every n∈N;

(b)

the set {0}∪{±an³|n∈N} is quasi-convex in the group J₃ of 3-adic integers if and only if gn>1 for every n∈N.

Moreover, we solve an open problem from [D. Dikranjan, L. de Leo, Countably infinite quasi-convex sets in some locally compact abelian groups, Topology Appl. 157 (8) (2010) 1347-1356] providing a complete characterization of the sequences such that {0}∪{±²−(an+1)|n∈N} is quasi-convex in T. Using this result, we also obtain a characterization of the sequences such that the set {0}∪{±²−(an+1)|n∈N} is quasi-convex in R.     

The finiteness dimension of local cohomology modules and its dual notion

Let a be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. We explore the behavior of the two notions f_a(M), the finiteness dimension of M with respect to a, and, its dual notion q_a(M), the Artinianness dimension of M with respect to a. When (R,m) is local and r?f_a(M) is less than , the m-finiteness dimension of M relative to a, we prove that is not Artinian, and so the filter depth of a on M does not exceed f_a(M). Also, we show that if M has finite dimension and is Artinian for all i>t, where t is a given positive integer, then is Artinian. This immediately implies that if q?q_a(M)>0, then is not finitely generated, and so f_a(M)≤q_a(M).     

A generalization of a classical zero-sum problem

In this note, we supply the details of the proof of the fact that if a₁,…,a_n+Ω(n) are integers, then there exists a subset M⊂{1,…,n+Ω(n)} of cardinality n such that the equation

     

Primary decomposition II: Primary components and linear growth

We study the following properties about primary decomposition over a Noetherian ring R: (1) For finitely generated modules N⊆M and a given subset X={P₁,P₂,…,P_r}⊆Ass(M/N), we define an X-primary component of N?M to be an intersection Q₁∩Q₂∩?∩Q_r for some P_i-primary components Q_i of N⊆M and we study the maximal X-primary components of N⊆M; (2) We give a proof of the ‘linear growth’ property of Ext and Tor, which says that for finitely generated modules N and M, any fixed ideals I₁,I₂,…,I_t of R and any fixed integer i∈N, there exists a k∈N such that for any there exists a primary decomposition of 0 in (or 0 in ) such that every P-primary component Q of that primary decomposition contains (or ), where .     

Sum of graphs of continuous functions and boundedness of additive operators

Assume that and are uniformly continuous functions, where D₁,D₂⊂X are nonempty open and arc-connected subsets of a real normed space X. We prove that then either f and g are affine functions, that is f(x)=x^∗(x)+a and g(x)=x^∗(x)+b with some x^∗∈X^∗ and a,b∈R or the algebraic sum of graphs of functions f and g has a nonempty interior in a product space X×R treated as a normed space with a norm .     

Modified zeta functions as kernels of integral operators

The modified zeta functions _∑n∈Kn−s, where K⊂N, converge absolutely for . These generalise the Riemann zeta function which is known to have a meromorphic continuation to all of C with a single pole at s=1. Our main result is a characterisation of the modified zeta functions that have pole-like behaviour at this point. This behaviour is defined by considering the modified zeta functions as kernels of certain integral operators on the spaces L²(I) for symmetric and bounded intervals I⊂R. We also consider the special case when the set K⊂N is assumed to have arithmetic structure. In particular, we look at local Lp integrability properties of the modified zeta functions on the abscissa for p∈[1,∞].     

Maps of several variables of finite total variation. II. E. Helly-type pointwise selection principles

Given a=(a₁,…,an), b=(b₁,…,bn)∈Rn with a<b componentwise and a map f from the rectangle into a metric semigroup M=(M,d,+), denote by the Hildebrandt-Leonov total variation of f on , which has been recently studied in [V.V. Chistyakov, Yu.V. Tretyachenko, Maps of several variables of finite total variation. I, J. Math. Anal. Appl. (2010), submitted for publication]. The following Helly-type pointwise selection principle is proved: If a sequence{fj}_j∈Nof maps frominto M is such that the closure in M of the set{fj(x)}_j∈Nis compact for eachandis finite, then there exists a subsequence of{fj}_j∈N, which converges pointwise onto a map f such that. A variant of this result is established concerning the weak pointwise convergence when values of maps lie in a reflexive Banach space (M,‖⋅‖) with separable dual M^∗.     

Cubic and quartic congruences modulo a prime

Let p>3 be a prime, and denote the number of solutions of the congruence . In this paper, using the third-order recurring sequences we determine the values of N_p(x³+a₁x²+a₂x+a₃) and N_p(x⁴+ax²+bx+c), and construct the solutions of the corresponding congruences, where a₁,a₂,a₃,a,b,c are integers.     

Normal families and value distribution in connection with composite functions

We prove a value distribution result which has several interesting corollaries. Let k∈N, let α∈C and let f be a transcendental entire function with order less than 1/2. Then for every nonconstant entire function g, we have that (f○g)^(k)−α has infinitely many zeros. This result also holds when k=1, for every transcendental entire function g. We also prove the following result for normal families. Let k∈N, let f be a transcendental entire function with ρ(f)<1/k, and let a₀,…,ak−1,a be analytic functions in a domain Ω. Then the family of analytic functions g such that

     

Self-adjointness of Schrödinger-type operators with locally integrable potentials on manifolds of bounded geometry

We consider a Schrödinger-type differential expression , where ∇ is a C^∞-bounded Hermitian connection on a Hermitian vector bundle E of bounded geometry over a manifold of bounded geometry (M,g) with metric g and positive C^∞-bounded measure dμ, and V∈L_loc¹(EndE) is a linear self-adjoint bundle map. We define the maximal operator H_V,max associated to H_V as an operator in L²(E) given by H_V,maxu=H_Vu for all , where ∇∗∇u in is understood in distributional sense. We give a sufficient condition for the self-adjointness of H_V,max. The proof adopts Kato's technique to our setting, but it requires a more general version of Kato's inequality for Bochner Laplacian operator as well as a result on the positivity of u∈L²(M) satisfying the equation (Δ_M+b)u=ν, where Δ_M is the scalar Laplacian on M, b>0 is a constant and ν?0 is a positive distribution on M. For local estimates, we use a family of cut-off functions constructed with the help of regularized distance on manifolds of bounded geometry.     

Harmonicity of unit vector fields with respect to Riemannian g-natural metrics

Let (M,g) be a compact Riemannian manifold and T₁M its unit tangent sphere bundle. Unit vector fields defining harmonic maps from (M,g) to , being the Sasaki metric on T₁M, have been extensively studied. The Sasaki metric, and other well known Riemannian metrics on T₁M, are particular examples of g-natural metrics. We equip T₁M with an arbitrary Riemannian g-natural metric , and investigate the harmonicity of a unit vector field V of M, thought as a map from (M,g) to . We then apply this study to characterize unit Killing vector fields and to investigate harmonicity properties of the Reeb vector field of a contact metric manifold.     

Notes on ordered reproducing Hilbert spaces over the complex plane

Let f, g be entire functions. If there exist M₁,M₂>0 such that |f(z)|?M₁|g(z)| whenever |z|>M₂ we say that f?g. Let X be a reproducing Hilbert space with an orthogonal basis . We say that X is an ordered reproducing Hilbert space (or X is ordered) if f?g and g∈X imply f∈X. In this note, we show that if then X is ordered; if then X is not ordered. In the case , there are examples to show that X can be of order or opposite.     

Existence of Gevrey approximate solutions for certain systems of linear vector fields applied to involutive systems of first-order nonlinear pdes

Given a Gs-involutive structure, (M,V), a Gevrey submanifold X⊂M which is maximally real and a Gevrey function u₀ on X we construct a Gevrey function u which extends u₀ and is a Gevrey approximate solution for V. We then use our construction to study Gevrey micro-local regularity of solutions, u∈C²(RN), of a system of nonlinear pdes of the form