An extension of the Brown-Robinson equivalence theorem

In this paper we present an extension of the Brown–Robinson equivalence theorem on the core and competitive allocations of a nonstandard exchange economy. This has, as its implication, a corresponding extension of their result on the cores of large but finite economies. The extension is based on a result which shows that the core allocations of a nonstandard exchange economy with “integrable” endowments are “integrable.”     

Chevalley–Weil theorem and subgroups of class groups

We prove, under some mild hypothesis, that an ´etale cover of curves defined over a number field has infinitely many specializations into an everywhere unramified extension of number fields. This constitutes an “absolute” version of the Chevalley–Weil theorem. Using this result, we are able to generalise the techniques of Mestre, Levin and the second author for constructing and counting number fields with large class group.     

A note on disjoint arborescences

Recently Kamiyama, Katoh, and Takizawa have shown a theorem on packing arc-disjoint arborescences that is a proper extension of Edmonds’ theorem on disjoint spanning branchings. We show a further extension of their theorem, which makes clear an essential rôle of a reachability condition played in the theorem. The right concept required for the further extension is “convexity” instead of “reachability”.     

On simultaneous linear extensions of partial (pseudo)metrics

We consider the question of simultaneous extension of (pseudo) metrics defined on nonempty closed subsets of a compact metrizable space. The main result is a counterpart of the result due to Künzi and Shapiro for the case of extension operators of partial continuous functions and includes, as a special case, Banakh's theorem on linear regular operators extending (pseudo)metrics.

     

Entropy extension

We prove an “entropy extension-lifting theorem.” It consists of two inequalities for the covering numbers of two symmetric convex bodies. The first inequality, which can be called an “entropy extension theorem,” provides estimates in terms of entropy of sections and should be compared with the extension property of ?_∞. The second one, which can be called an “entropy lifting theorem,” provides estimates in terms of entropies of projections.     

A ruled residue theorem for function fields of conics

The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from 2 this theorem is extended here to function fields of conics. The main result is that there is at most one extension of a valuation on the base field to the function field of a conic for which the residue field extension is transcendental but not ruled. Furthermore the situation when this valuation is present is characterised.     

A note on the core

This note studies an exchange economy in which there are n traders and n “kinds” of commodities. Each trader has n utility functions corresponding to n “kinds” of commodities, respectively. Thus, a multiple non-transferable utility game can be derived from this exchange economy. It is shown that a sufficient condition for non-emptiness of the core of a multiple non-transferable utility game. The result is an extension of Scarf-Billera theorem.     

Automorphism groups of fields

We consider pairs (K,G) of an infinite field K or a formally real field K and a group G and want to find extension fields F of K with automorphism group G. If K is formally real then we also want F to be formally real and G must be right orderable. Besides showing the existence of the desired extension fields F, we are mainly interested in the question about the smallest possible size of such fields. From some combinatorial tools, like Shelah’s Black Box, we inherit jumps in cardinalities of K and F respectively. For this reason we apply different methods in constructing fields F: We use a recent theorem on realizations of group rings as endomorphism rings in the category of free modules with distinguished submodules. Fortunately this theorem remains valid without cardinal jumps. In our main result (Theorem 1) we will show that for a large class of fields the desired result holds for extension fields of equal cardinality. This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag     

Almost convexity on Abelian groups

The notion of almost convexity is studied and an extension of Kuczma’s theorem, originally proved in finite-dimensional spaces, is presented. The phrase “almost” is meant in the sense of abstract σ-ideals. The main result also generalizes the theorem proved in Jarczyk and Laczkovich (Math Inequal Appl 13:217–225, 2009).     

The intersection theorem for orderings of higher level in rings

This short note is ment as a supplement to the paper “On Rings admitting Orderings and 2-primary Orderings of Higher Level” by E. Becker and D. Gondard ([4]), where an intersection theorem for 2-primary orderings of higher level has been proved ([4]), Proposition 2.6). We will show that the same characterization holds for orderings of arbitrary level. This result finds several applications. For example, it is useful for the continuous representation of sums of 2n-th powers in function fields (see [8]) and it can be applied to derive several Null- and Positivstellensätze for generalized real closed fields (see [5]). As a further example we will prove a strict “Positivstellensatz of higher level” for a certain class of formally real fields. For unexplained notions we refer the reader to [4].     

Cubic polynomials over algebraic number fields

We prove that every cubic form in 16 variables over an algebraic number field represents zero, generalizing the corresponding result of Davenport for cubic forms over the rationals. (This has already been proved for cubic forms in 17 or more variables by Ryavec.) We present this result as a special case of a “local-implies-global” theorem for cubic polynomials.     

Chow’s Theorem for Semi-abelian Varieties and Bounds for Splitting Fields of Algebraic Tori

A theorem of Chow concerns homomorphisms of two abelian varieties under a primary field extension base change. In this paper, we generalize Chow's theorem to semi-abelian varieties. This contributes to different proofs of a well-known result that every algebraic torus splits over a finite separable field extension. We also obtain the best bound for the degrees of splitting fields of tori.     

A Diophantine duality applied to the KAM and Nekhoroshev theorems

In this paper, we use geometry of numbers to relate two dual Diophantine problems. This allows us to focus on simultaneous approximations rather than small linear forms. As a consequence, we develop a new approach to the perturbation theory for quasi-periodic solutions dealing only with periodic approximations and avoiding classical small divisors estimates. We obtain two results of stability, in the spirit of the KAM and Nekhoroshev theorems, in the model case of a perturbation of a constant vector field on the $n$ -dimensional torus. Our first result, which is a Nekhoroshev type theorem, is the construction of a “partial” normal form, that is a normal form with a small remainder whose size depends on the Diophantine properties of the vector. Then, assuming our vector satisfies the Bruno–Rüssmann condition, we construct an “inverted” normal form, recovering the classical KAM theorem of Kolmogorov, Arnold and Moser for constant vector fields on torus.     

On mountain pass type algorithms

We consider constructive proofs of the mountain pass lemma, the saddle point theorem and a linking type theorem. In each, an initial “path” is deformed by pushing it downhill using a (pseudo) gradient flow, and, at each step, a high point on the deformed path is selected. Using these high points, a Palais–Smale sequence is constructed, and the classical minimax theorems are recovered. Because the sequence of high points is more accessible from a numerical point of view, we investigate the behavior of this sequence in the final two sections. We show that if the functional satisfies the Palais–Smale condition and has isolated critical points, then the high points form a Palais–Smale sequence, and—passing to a subsequence—the high points will in fact converge to a critical point.     

Minimal Lipschitz Extensions to Differentiable Functions Defined on a Hilbert Space

We generalize the Lipschitz constant to fields of affine jets and prove that such a field extends to a field of total domain \mathbbRⁿ{\mathbb{R}^n} with the same constant. This result may be seen as the analog for fields of the minimal Kirszbraun’s extension theorem for Lipschitz functions and, therefore, establishes a link between Kirszbraun’s theorem and Whitney’s theorem. In fact this result holds not only in Euclidean \mathbbRⁿ{\mathbb{R}^n} but also in general (separable or not) Hilbert space. We apply the result to the functional minimal Lipschitz differentiable extension problem in Euclidean spaces and we show that no Brudnyi–Shvartsman-type theorem holds for this last problem. We conclude with a first approach of the absolutely minimal Lipschitz extension problem in the differentiable case which was originally studied by Aronsson in the continuous case.     

带逐段常变量微分方程的伪概周期解

利用伪概周期函数唯一分解性质,研究相关差分方程的伪概周期序列解,并以此为工具得出一类带逐段常变量微分方程伪概周期解的存在唯一性.     

Irreducible values of polynomials

Schinzel's Hypothesis H is a general conjecture in number theory on prime values of polynomials that generalizes, e.g., the twin prime conjecture and Dirichlet's theorem on primes in arithmetic progression. We prove a quantitative arithmetic analog of this conjecture for polynomial rings over pseudo algebraically closed fields. This implies results over large finite fields via model theory. A main tool in the proof is an irreducibility theorem à la Hilbert.     

Vitushkin’s germ theorem for engel-type CR manifolds

We study real analytic CR manifolds of CR dimension 1 and codimension 2 in the three-dimensional complex space. We prove that the germ of a holomorphic mapping between “nonspherical” manifolds can be extended along any path (this is an analog of Vitushkin’s germ theorem). For a cubic model surface (“sphere”), we prove an analog of the Poincaré theorem on the mappings of spheres into ?². We construct an example of a compact “spherical” submanifold in a compact complex 3-space such that the germ of a mapping of the “sphere” into this submanifold cannot be extended to a certain point of the “sphere.”     

Slow convergence of sequences of linear operators II: Arbitrarily slow convergence

We study the rate of convergence of a sequence of linear operators that converges pointwise to a linear operator. Our main interest is in characterizing the slowest type of pointwise convergence possible. This is a continuation of the paper Deutsch and Hundal (2010) [14]. The main result is a “lethargy” theorem (Theorem 3.3) which gives useful conditions that guarantee arbitrarily slow convergence. In the particular case when the sequence of linear operators is generated by the powers of a single linear operator, we obtain a “dichotomy” theorem, which states the surprising result that either there is linear (fast) convergence or arbitrarily slow convergence; no other type of convergence is possible. The dichotomy theorem is applied to generalize and sharpen: (1) the von Neumann–Halperin cyclic projections theorem, (2) the rate of convergence for intermittently (i.e., “almost” randomly) ordered projections, and (3) a theorem of Xu and Zikatanov.     

On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions

We provide universal algebraic characterizations (in the sense of not involving any “logical notion”) of some elementary classes of structures whose definitions involve universal d-Horn sentences and universally closed disjunctions of atomic formulas. These include, in particular, the classes of fields, of non-trivial rings, and of directed graphs without loops where every two elements are adjacent. The classical example of this kind of characterization result is the HSP theorem, but there are myriad other examples (e.g., the characterization of elementary classes using isomorphic images, ultraproducts and ultrapowers due to Keisler and Shelah).