Full ideals of polynomial rings

An idealI of the ringK[x ₁, ...,x _n ] of polynomials over a fieldK inn indeterminates is a full ideal ifI is closed under substitution,f I,g ₁...g_n K[x ₁, ...,x _n ] implyf(g ₁, ...,g _n ) I. In this paper we continue the investigation of full ideals ofK[x ₁, ...,x _n ]. In particular we determine several classes of full ideals ofK[x, y] (K a finite field) and investigate properties of these classes.The first author gratefully acknowledges support from theDeutsche Forschungsgemeinschaft     

Elements of Small Orders in K2F Ⅱ

In "Elements of small orders in K2(F)" (Algebraic K-Theory, Lecture Notes in Math., 966, 1982, 1-6.), the author investigates elements of the form {a, Φn(a)} in the Milnor group K2F of a field F, where Φn(x) is the n-th cyclotomic polynomial. In this paper, these elements are generalized. Applying the explicit formulas of Rosset and Tate for the transfer homomorphism for K2, the author proves some new results on elements of small orders in K2F.     

Coxeter group actions on <Subscript>4</Subscript><Emphasis Type="Italic">F</Emphasis><Subscript>3</Subscript>(1) hypergeometric series

In this paper we investigate a certain linear combination K([(x)\vec])=K(a;b,c,d;e,f,g)K(\vec{x})=K(a;b,c,d;e,f,g) of two Saalschutzian hypergeometric series of type ₄ F ₃(1). We first show that K([(x)\vec])K(\vec{x}) is invariant under the action of a certain matrix group G _K , isomorphic to the symmetric group S ₆, acting on the affine hyperplane V={(a,b,c,d,e,f,g)∈ℂ⁷:e+f+g−a−b−c−d=1}. We further develop an algebra of three-term relations for K(a;b,c,d;e,f,g). We show that, for any three elements μ ₁,μ ₂,μ ₃ of a certain matrix group M _K , isomorphic to the Coxeter group W(D ₆) (of order 23040) and containing the above group G _K , there is a relation among K(m₁[(x)\vec])K(\mu_{1}\vec{x}), K(m₂[(x)\vec])K(\mu_{2}\vec{x}), and K(m₃[(x)\vec])K(\mu_{3}\vec{x}), provided that no two of the μ _j ’s are in the same right coset of G _K in M _K . The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in a,b,c,d,e,f,g.     

A sharp lower bound for the canonical volume of 3-folds of general type

Let V be a smooth projective 3-fold of general type. Denote by K ³, a rational number, the self-intersection of the canonical sheaf of any minimal model of V. One defines K ³ as the canonical volume of V. Assume p _g (V) ≥ 2. We show that , which is a sharp lower bound. Then we classify those V with small volume. We also give some new examples with p _g  = 2 which have maximal canonical stability index. Finally, we give an application to 4-folds of general type. The author is supported by the National Natural ScienceFoundation of China.     

Relatively hyperbolic extensions of groups and Cannon-Thurston maps

Let 1 → (K, K ₁) → (G, N _G (K ₁)) → (Q, Q ₁) → 1 be a short exact sequence of pairs of finitely generated groups with K ₁ a proper non-trivial subgroup of K and K strongly hyperbolic relative to K ₁. Assuming that, for all g ∈ G, there exists k _g ∈ K such that gK ₁ g ⁻¹ = k _g K ₁ k _g⁻¹, we will prove that there exists a quasi-isometric section s: Q → G. Further, we will prove that if G is strongly hyperbolic relative to the normalizer subgroup N _G (K ₁) and weakly hyperbolic relative to K ₁, then there exists a Cannon-Thurston map for the inclusion i: Γ _K → Γ _G .     

On Invariants and Strict Systems of Irreducible Polynomials Over Henselian Valued Fields

Let g(x) be a monic irreducible defectless polynomial over a henselian valued field (K, v), i.e., K(θ) is a defectless extension of (K, v) for any root θ of g(x). It is known that a complete distinguished chain for θ with respect to (K, v) gives rise to several invariants associated with g(x). Recently Ron Brown studied certain invariants of defectless polynomials by introducing strict systems of polynomial extensions. In this article, the authors establish a one-to-one correspondence between strict systems of polynomial extensions and conjugacy classes of complete distinguished chains. This correspondence leads to a simple interpretation of various results proved for strict systems. The authors give new characterizations of an invariant γ _g introduced by Brown.     

Sums of squares on real algebraic surfaces

Consider real polynomials g₁, . . . , g_r in n variables, and assume that the subset K = {g₁≥0, . . . , g_r≥0} of ℝⁿ is compact. We show that a polynomial f has a representation in which the s_e are sums of squares, if and only if the same is true in every localization of the polynomial ring by a maximal ideal. We apply this result to provide large and concrete families of cases in which dim (K) = 2 and every polynomial f with f|_K≥0 has a representation (*). Before, it was not known whether a single such example exists. Further geometric and arithmetic applications are given. Support by DFG travel grant KON 1823/2002 and by the European RAAG network HPRN-CT-2001-00271 is gratefully acknowledged. Part of this work was done while the author enjoyed a stay at MSRI Berkeley. He would like to thank the institute for the invitation and the very pleasant working conditions.     

Generalized gluing for Einstein constraint equations

In this paper we construct a family of new (topologically distinct) solutions to the Einstein constraint equations by performing the generalized connected sum (or fiber sum) of two known compact m-dimensional constant mean curvature solutions (M ₁, g ₁, Π₁) and (M ₂, g ₂,Π₂) along a common isometrically embedded k-dimensional sub-manifold (K, g _K ). Away from the gluing locus the metric and the second fundamental form of the new solutions can be chosen as close as desired to the ones of the original solutions. The proof is essentially based on the conformal method and the geometric construction produces a polyneck between M ₁ and M ₂ whose metric is modeled fiber-wise (i. e. along the slices of the normal fiber bundle of K) around a Schwarzschild metric; for these reasons the codimension n : =  m − k of K in M ₁ and M ₂ is required to be  ≥  3. In this sense our result is a generalization of the Isenberg–Mazzeo–Pollack gluing, which works for connected sum at points and in dimension 3. The solutions we obtain for the Einstein constraint equations can be used to produce new short time vacuum solutions of the Einstein system on a Lorentzian (m + 1)-dimensional manifold, as guaranteed by a well known result of Choquet-Bruhat.     

The conformal plate buckling equation

The linear equation Δ²u = 1 for the infinitesimal buckling under uniform unit load of a thin elastic plate over ?² has the particularly interesting nonlinear generalization Δ_g²u = 1, where Δ_g = e^?2u Δ is the Laplace‐Beltrami operator for the metric g = e^2ug₀, with g₀ the standard Euclidean metric on ?². This conformal elliptic PDE of fourth order is equivalent to the nonlinear system of elliptic PDEs of second order Δu(x)+K_g(x) exp(2u(x)) = 0 and Δ K_g(x) + exp(2u(x)) = 0, with x ∈ ?², describing a conformally flat surface with a Gauss curvature function K_g that is generated self‐consistently through the metric's conformal factor. We study this conformal plate buckling equation under the hypotheses of finite integral curvature ∫ K_g exp(2u)dx = κ, finite area ∫ exp(2u)dx = α, and the mild compactness condition K₊ ∈ L¹(B₁(y)), uniformly w.r.t. y ∈ ?². We show that asymptotically for |x|→∞ all solutions behave like u(x) = ?(κ/2π)ln |x| + C + o(1) and K(x) = ?(α/2π) ln|x| + C + o(1), with κ ∈ (2π, 4π) and . We also show that for each κ ∈ (2π, 4π) there exists a K^* and a radially symmetric solution pair u, K, satisfying K(u) = κ and maxK = K^*, which is unique modulo translation of the origin, and scaling of x coupled with a translation of u. © 2001 John Wiley & Sons, Inc.     

Extremal K -Theory and Index for C*-Algebras

We develop the general theory for a new functor K _e on the category of C ^*-algebras. The extremal K-set, K _e (A), of a C ^*-algebra A is defined by means of homotopy classes of extreme partial isometries. It contains K ₁ (A) and admits a partially defined addition extending the addition in K ₁ (A), so that we have an action of K ₁ (A) on K _e (A). We show how this functor relates to K ₀ and K ₁, and how it can be used as a carrier of information relating the various K-groups of ideals and quotients of A. The extremal K-set is then used to extend the classical theory of index for Fredholm and semi-Fredholm operators.     

Extending analyticK-subanalytic functions

Letg:U→ℝ (U open in ℝⁿ) be an analytic and K-subanalytic (i. e. definable in ℝ _an ^K , whereK, the field of exponents, is any subfield ofℝ) function. Then the set of points, denoted Σ, whereg does not admit an analytic extension is K-subanalytic andg can be extended analytically to a neighbourhood of Ū\∑. Partially supported by the European RTN Network RAAG (contract no. HPRN-CT-00271)     

Lipschitzian retracts and curves as invariant sets

By an invariant set in a metric space we mean a non-empty compact set K such that K = ⋃ _i=1 ⁿ T _i (K) for some contractions T ₁, …, T _n of the space. We prove that, under not too restrictive conditions, the union of finitely many invariant sets is an invariant set. Hence we establish collage theorems for non-affine invariant sets in terms of Lipschitzian retracts. We show that any rectifiable curve is an invariant set though there is a simple arc which is not an invariant set.      

On sernisimple alternative loop algebras

Let QL be the loop algebra of an R.A. loop L over the rational field Q. Assume that the non-trivial commutator in L is not a square of a central element. In [1]: it is shown that QL determines L. In this paper we characterize all fields K, with char K ≠ 2, such that KL determines L for all R..A. 2-loops L with the above property.     

The Nielsen number for free fundamental groups and maps without remnant

For Y any space that has the homotopy type of a wedge of finitely many circles, and for g : Y → Y a map, the Nielsen number of g, N(g), is a homotopy invariant lower bound for the size of the fixed point set of any map homotopic to g. Such a map g has k-remnant if, roughly, there is limited cancellation in any product g _♯(u)g _♯(v) where g _♯ is the induced homomorphism and u, v ∈ π₁(Y) and |u| = |v| = k. We prove that such maps are (k + 1)-characteristic, meaning that in order to determine the Nielsen classes of fixed points, we need only test whether a limited, specified, set of elements z ∈ π₁(Y) are solutions to the equation z = W ⁻¹ _x f _♯(z)W _y , with x and y fixed points that are represented in the fundamental group by W _x and W _y , respectively. The number of elements to be tested is profoundly decreased by using abelianization as well. This work is a significant extension of Wagner’s results involving maps with remnant and Wagner’s algorithm. Our proofs involve new concepts and techniques. We present an algorithm for N(g) for any map g with k-remnant, and we provide examples for which no algebraic techniques previously known would work. One example shows that for any k there is a map that does not have (k − 1)-remnant but does have k-remnant. Dedicated to Edward Fadell for inspirational teaching and guidance as the thesis advisor of the first author     

Compact Hypergroup Characters and Finite Universal Korovkin Sets in L 1-Hypergroup Algebra

Let K be a compact hypergroup.We investigate Trig(K), the linear span of coordinate functions of the irreducible representations of K. Contrary to the group case, Trig(K) endowed with the usual multiplication does not bear an algebra structure, but it has a natural normed algebra structure when it inherits the convolution from , the algebra of all bounded Radon measures. We characterize the center of the algebras , L _p (K) and Trig(K) respectively, and consequently we obtain, for a certain class of hypergroups, the correspondence between the structure space of the center of L ₁(K) and the center of Trig(K). As an application we study the existence of a finite universal Korovkin set w.r.t. positive operators in the center of L ₁(K), in particular in L ₁(K), whenever K is commutative. The author was partially supported by the Romanian Academy under the grant No. 22/2007.     

On the Proper Homotopy Invariance of the Tucker Property

A non-compact polyhedron P is Tucker if, for any compact subset K begong to P, the fundamental group π1 （P - K） is finitely generated. The main result of this note is that a manifold which is proper homotopy equivalent to a Tucker polyhedron is Tucker. We use Poenaru＇s theory of the equivalence relations forced by the singularities of a non-degenerate simplicial map.     

Oscillation in the initial segment complexity of random reals

We study oscillation in the prefix-free complexity of initial segments of 1-random reals. For upward oscillations, we prove that _∑n∈ω²−g(n) diverges iff (^∃∞n)K(X?n)>n+g(n) for every 1-random X∈ω². For downward oscillations, we characterize the functions g such that (^∃∞n)K(X?n)<n+g(n) for almost every X∈ω². The proof of this result uses an improvement of Chaitin's counting theorem—we give a tight upper bound on the number of strings σ∈n² such that K(σ)<n+K(n)−m.The work on upward oscillations has applications to the K-degrees. Write XK_?Y to mean that K(X?n)?K(Y?n)+O(1). The induced structure is called the K-degrees. We prove that there are comparable () 1-random K-degrees. We also prove that every lower cone and some upper cones in the 1-random K-degrees have size continuum.Finally, we show that it is independent of ZFC, even assuming that the Continuum Hypothesis fails, whether all chains of 1-random K-degrees of size less than ℵ₀² have a lower bound in the 1-random K-degrees.     

Non-uniformly hyperbolic horseshoes arising from bifurcations of Poincaré heteroclinic cycles

In the present paper, we advance considerably the current knowledge on the topic of bifurcations of heteroclinic cycles for smooth, meaning C ^∞, parametrized families {g _t ∣t∈ℝ} of surface diffeomorphisms. We assume that a quadratic tangency q is formed at t=0 between the stable and unstable lines of two periodic points, not belonging to the same orbit, of a (uniformly hyperbolic) horseshoe K (see an example at the Introduction) and that such lines cross each other with positive relative speed as the parameter evolves, starting at t=0 and the point q. We also assume that, in some neighborhood W of K and of the orbit of tangency o(q), the maximal invariant set for g ₀=g _t=0 is K∪o(q), where o(q) denotes the orbit of q for g ₀. We then prove that, when the Hausdorff dimension HD(K) is bigger than one, but not much bigger (see (H.4) in Section 1.2 for a precise statement), then for most t, |t| small, g _t is a non-uniformly hyperbolic horseshoe in W, and so g _t has no attractors in W. Most t, and thus most g _t , here means that t is taken in a set of parameter values with Lebesgue density one at t=0.     

A New Inequality for Weakly （K1, K2）-Quasiregular Mappings

We obtain a new inequality for weakly （K1,K2）-quasiregular mappings by using the McShane extension method. This inequality can be used to derive the self-improving regularity of （K1, K2）-Quasiregular Mappings.