On the estimates of the order of finitelya k -determined map-germs

In this paper we deal with the estimates of the order of determinacy of finitely determined map-germs. This problem has been noted by mathematicians for more than ten years. But the results given by some authors for the estimates of the order of determinacy are stated with respect toa, while those given in this paper are stated with respect toa _k , wherek may be any non-negative integer, and we havea ₀=a in particular. This paper was completed during the author's visit to the Institute of Mathematics, Now I'd like to express my heart-felt thanks to the Institute for its financial support and Prof. Li Peixin for his instruction.     

Error Bounds for Asymptotic Expansion of the Conditional Variance of the Scale Mixtures of the Multivariate Normal Distribution

Let X= A ^1/2 G be a scale mixture of a multivariate normal distribution with X, G ⁿ , Gis a multivariate normal vector, and A is a positive random variable independent of the multivariate random vector G. This study presents asymptotic results of the conditional variance-covariance, Cov(X ₂|X ₁), X ₁ ^m , m < n, under some moment expressions. A new representation form is also presented for conditional expectation of the scale variable on the random vector X ₁ ^m , m < n. Both the asymptotic expression and the representation are manageable and in computable form. Finally, an example is presented to illustrate how the computations are carried out.     

On Some Finitary Conditions Arising from the Axiomatisability of Certain Classes of Monoid Acts

This article considers those monoids S satisfying one or both of the finitary properties (R) and (r), focussing for the most part on inverse monoids. These properties arise from questions of axiomatisability of classes of S-acts, and appear to be of interest in their own right. If S is weakly right noetherian (WRN), that is, S has the ascending chain condition on right ideals, then certainly (r) holds. Other than this, we show that (R), (r), and (WRN) are independent. Our most detailed results are for Clifford monoids, in which case we completely characterise those S with trivial structure homomorphisms satisfying (R) or (r).     

Level Structures on the Weierstrass Family of Cubics

Let W → 𝔸 ² be the universal Weierstrass family of cubic curves over ?. For each N ≥ 2, we construct surfaces parameterizing the three standard kinds of level N structures on the smooth fibers of W. We then complete these surfaces to finite covers of 𝔸 ². Since W → 𝔸 ² is the versal deformation space of a cusp singularity, these surfaces convey information about the level structure on any family of curves of genus g degenerating to a cuspidal curve. Our goal in this note is to determine for which values of N these surfaces are smooth over (0, 0). From a topological perspective, the results determine the homeomorphism type of certain branched covers of S ³ with monodromy in SL₂ (?/N).     

Quotients of the congruence kernels of SL2 over arithmetic dedekind domains

LetC=C(C, P, k) be the coordinate ring of the affine curve obtained by removing a closed pointP from a (suitable) projective curveC over afinite fieldk. Let SL₂ (C,q) be the principal congruence subgroup of SL₂(C) andU ₂(C,q) be the subgroup generated by the all unipotent matrices in SL₂(C,q), whereq is aC-ideal. In this paper we prove that, for all but finitely manyq, the quotient SL₂(C,q)/U ₂(C,q) is a free group of finite,unbounded rank. LetC(SL₂(A)) be the congruence kernel of SL₂(A), whereA is an arithmetic Dedekind domain with only finitely many units. (e.g.A=C or ℤ) and letG be any finitely generated group. From the above (and previous results) we deduce that the profinite completion ofG,Ĝ, is a homonorphic image ofC(SL₂(A)). This is related to previous results of Lubotzky and Mel'nikov.     

Univalence Criteria Starting from the Method of Loewner Chains

The paper continues the work of Royster (Duke Math J 19:447–457, 1952), Mocanu [Mathematica (Cluj) 22(1):77–83, 1980; Mathematica (Cluj) 29:49–55, 1987], Cristea [Mathematica (Cluj) 36(2):137–144, 1994; Complex Var 42:333–345, 2000; Mathematica (Cluj) 43(1):23–34, 2001; Mathematica (Cluj), 2010, to appear; Teoria Topologica a Functiilor Analitice, Editura Universitatii Bucuresti, Romania, 1999] of extending univalence criteria for complex mappings to C ¹ mappings. We improve now the method of Loewner chains which is usually used in complex univalence theory for proving univalence criteria or for proving quasiconformal extensions of holomorphic mappings f : B → C ⁿ to C ⁿ . The results are surprisingly strong. We show that the usual results from the theory, like Becker’s univalence criteria remain true for C ¹ mappings and since we use a stronger form of Loewner’s theory, we obtain results which are stronger even for holomorphic mappings f : B → C ⁿ . In our main result (Theorem 4.1) we end the researches dedicated to quasiconformal extensions of K-quasiregular and holomorphic mappings f : B → C ⁿ to C ⁿ . We show that a C ¹ quasiconformal map f : B → C ⁿ can be extended to a quasiconformal map F : C ⁿ → C ⁿ , without any metric condition imposed to the map f.     

On the U-Invariant of P-Adic Function Fields

ABSTRACT

We show that a quadratic form defined over the rational function field ?(x ₁ , …, _{x n} ) of dimension at least 4.2 ⁿ  + 1 is isotropic over all fields ? _p (x ₁ , …, _{x n} ), except for finitely many primes. Partial results concerning the u-invariant of p-adic function fields are also shown.     

A Note on the Double Affine Hecke Algebra of Type GL2

We express the double affine Hecke algebra ? associated to the general linear group GL₂(k) (here, k is a field with char(k) ≠ 2) as an amalgamated free product of quadratic extensions over the three-dimensional quantum torus 𝒪_q((k^×)³). With an eye towards proving ring-theoretic results pertaining to ?, a general treatment of amalgamated products of Ore and quadratic extensions is given. We prove an analogue of the Hilbert Basis Theorem for an amalgamated product Q of quadratic extensions and determine conditions for when the one-sided ideals of Q are principal or doubly-generated. Furthermore, we determine sufficient conditions which imply Q is a principal ideal ring. Finally, we construct an explicit isomorphism from ? to the amalgamated free product ring of quadratic extensions over 𝒪_q((k^×)³), a ring known to be noetherian. Therefore, it follows that ? is noetherian.     

On the category Q-Mod

In this paper we consider the category Q-Mod of modules over a given quantale Q. The paper is motivated by constructions and results from the category of modules over a ring. We show that the category Q-Mod is monadic, consider its relation to the category Q-Top of Q-topological spaces and generalize a method of completion of partially ordered sets. Received December 20, 2005; accepted in final form December 4, 2006.     

On the Connection Between the Projection and the Extension of a Parallelotope

This paper presents a result concerning the connection between the parallel projection P _v,H of a parallelotope P along the direction v (into a transversal hyperplane H) and the extension P + S(v), meaning the Minkowski sum of P and the segment S(v) = {λv | −1 ≤ λ ≤ 1}. A sublattice L _v of the lattice of translations of P associated to the direction v is defined. It is proved that the extension P + S(v) is a parallelotope if and only if the parallel projection P _v,H is a parallelotope with respect to the lattice of translations L _v,H , which is the projection of the lattice L _v along the direction v into the hyperplane H.     

Deconvolving Multivariate Density from Random Field

We consider the problem of estimating a continuous bounded multivariate probability density function (pdf) when the random field X _i , i ∈ Z ^d from the density is contaminated by measurement errors. In particular, the observations Y _i , i ∈ Z ^d are such that Y _i = X _i + ε _i , where the errors ε _i are a sample from a known distribution. We improve the existing results in at least two directions. First, we consider random vectors in contrast to most existing results which are only concerned with univariate random variables. Secondly, and most importantly, while all the existing results focus on the temporal cases (d = 1), we develop the results for random vectors with a certain spatial interaction. Precise asymptotic expressions and bounds on the mean-squared error are established, along with rates of both weak and strong consistencies, for random fields satisfying a variety of mixing conditions. The dependence of the convergence rates on the density of the noise field is also studied. This revised version was published online in June 2006 with corrections to the Cover Date.     

On automorphisms of the degrees that preserve jumps

IfF is an automorphism of the degrees of unsolvability that preserves the jump operator, thenF leaves fixed all the degreesc that satisfyc≧0 ⁽³⁾. The results of this paper were part of the author’s PhD thesis (Illinois 1977), supervised by Carl G. Jockusch, Jr.     

Polya's inequalities, global uniform integrability and the size of plurisubharmonic lemniscates

First we prove a new inequality comparing uniformly the relative volume of a Borel subset with respect to any given complex euclidean ballB⊂C ⁿ with its relative logarithmic capacity inC ⁿ with respect to the same ballB. An analogous comparison inequality for Borel subsets of euclidean balls of any generic real subspace ofC ⁿ is also proved. Then we give several interesting applications of these inequalities. First we obtain sharp uniform estimates on the relative size of plurisubharmonic lemniscates associated to the Lelong class of plurisubharmonic functions of logarithmic singularities at infinity onC ⁿ as well as the Cegrell class of plurisubharmonic functions of bounded Monge-Ampère mass on a hyperconvex domain Ω⊂(C ⁿ . Then we also deduce new results on the global behaviour of both the Lelong class and the Cegrell class of plurisubharmonic functions. This work was partially supported by the programmes PARS MI 07 and AI.MA 180.     

Groupwise density and the cofinality of the infinite symmetric group

We study the relationship between the cofinality of the infinite symmetric group and the cardinal invariants and . In particular, we prove the following two results. Theorem 0.1 It is consistent with ZFC that there exists a simple $P_{\omega_{1}}$ -point and that $c(Sym(\omega)) = \omega_{2} = 2^{\omega}$ . Theorem 0.2 If there exist both a simple $P_{\omega_{1}}$ -point and a $P_{\omega_{2}}$ -point, then $c(Sym(\omega)) = \omega_{1}$ . Received: 7 March 1996     

Pointfree Aspects of the Td Axiom of Classical Topology

Abstract

Abstraction from the condition defining To-spaces leads to the following notion in an arbitrary frame L: a filter F in L is called slicing if it is prime and there exist a, b e L such that a £ F, b e F, and a is covered by 6. This paper deals with various aspects of these slicing filters. As a first step, we present several results about the original td condition. Next, concerning slicing filters, we show they are completely prime and characterize them in various ways. In addition, we prove for the frames £>X of open subsets of a space X that every slicing filter is an open neighbourhood filter U(x) and X is td iff every U(x) is slicing. Further, for Top_D and Prm_D the categories of td spaces and their continuous maps, and all frames and those homomorphisms whose associated spectral maps preserve the completely prime elements, respectively, we show that the usual contravariant functors between Top and Frm induce analogous functors here, providing a dual equivalence between Top_D and the subcategory of Prm_D given by the To-spatial frames (not coinciding with the spatial ones). In addition, we show that Top_D is mono-coreflective in a suitable subcategory of Top. Finally, we provide a comparison between Jo-separation and sobriety showing they may be viewed, in some sense, as mirror images of each other.     

On the vector valued Hausdorff-Young inequality

This paper studies Banach space valued Hausdorff-Young inequalities. The largest part considers ways of changing the underlying group. In particular the possibility to deduce the inequality for open subgroups as well as for quotient groups arising from compact subgroups is secured. A large body of results concerns the classical groupsT ⁿ ,R ⁿ andZ _k . Notions of Fourier type are introduced and they are shown to be equivalent to properties expressed by finite groups alone.     

Multiplicative character sums with the sum of g-ary Digits Function

We establish upper bounds for multiplicative character sums with the function σ_g (n) which computes the sum of the digits of n in a fixed base g ≥ 2. Our results may be viewed as analogues of some previously known results for exponential sums with sum of g-ary digits function. 2000 Mathematics Subject Classification Primary—11A63, 11B50, 11L40     

Pure ℓ-Ideals in Lattice-Ordered Rings#

An ?-ideal I of a commutative lattice-ordered ring R with positive identity element is called a pure ?-ideal if R  =  I  + ?( x ) for each x  ∈  I , where ?(x) is the ?-annihilator of x in R . In this article, we give some results on pure ?-ideals and study the ?-ideal structure of a commutative lattice-ordered ring with positive identity element by using pure ?-ideals.     

An active index algorithm for the nearest point problem in a polyhedral cone

We consider the problem of finding the nearest point in a polyhedral cone C={x∈R ⁿ :D x≤0} to a given point b∈R ⁿ , where D∈R ^m×n . This problem can be formulated as a convex quadratic programming problem with special structure. We study the structure of this problem and its relationship with the nearest point problem in a pos cone through the concept of polar cones. We then use this relationship to design an efficient algorithm for solving the problem, and carry out computational experiments to evaluate its effectiveness. Our computational results show that our proposed algorithm is more efficient than other existing algorithms for solving this problem.     

Idempotency of Extensions via the Bicompletion

Let Top ₀ be the category of topological T ₀-spaces, QU ₀ the category of quasi-uniform T ₀-spaces, T : QU ₀ → Top ₀ the usual forgetful functor and K : QU ₀ → QU ₀ the bicompletion reflector with unit k : 1 → K. Any T-section F : Top ₀ → QU ₀ is called K-true if KF = FTKF, and upper (lower) K-true if KF is finer (coarser) than FTKF. The literature considers important T-sections F that enjoy all three, or just one, or none of these properties. It is known that T(K,k)F is well-pointed if and only if F is upper K-true. We prove the surprising fact that T(K,k)F is the reflection to Fix(TkF) whenever it is idempotent. We also prove a new characterization of upper K-trueness. We construct examples to set apart some natural cases. In particular we present an upper K-true F for which T(K,k)F is not idempotent, and a K-true F for which the coarsest associated T-preserving coreflector in QU ₀ is not stable under K. We dedicate this paper to the memory of Sérgio de Ornelas Salbany (1941–2005).