The Change-Base Issue for Ω-Categories

Let G ： Ω→Ω＇ be a closed unital map between commutative, unital quantales. G induces a functor G^- from the category of Ω-categories to that of Ω＇-categories. This paper is concerned with some basic properties of G^-. The main results are： （1） when Ω, Ω＇ are integral, G ： Ω→Ω＇ and F ： Ω＇→Ω are closed unital maps, F is a left adjoint of G^- if and only if F is a left adjoint of G; （2） G^- is an equivalence of categories if and only if G is an isomorphism in the category of commutative unital quantales and closed unital maps; and （3） a sufficient condition is obtained for G^- to preserve completeness in the sense that GA is a complete Ω＇-category whenever A is a complete Ω-category.     

Distribution of Primitive A-Roots of Composite Moduli Ⅱ

Abstract We improve estimates for the distribution of primitive λ-roots of a composite modulus q yielding an asymptotic formula for the number of primitive λ-roots in any interval I of length ∣I∣ ≫ q ^1/2+∈. Similar results are obtained for the distribution of ordered pairs (x, x ⁻¹) with x a primitive λ-root, and for the number of primitive λ-roots satisfying inequalities such as |x − x ⁻¹| ≤ B. (Dedicated to Professor Wang Yuan on the occasion of his 75th birthday) *Project supported by the National Natural Science Foundation of China (No.19625102) and the 973 Project of the Ministry of Science and Technology of China.     

DOUBLE Φ-FUNCTION INEQUALITY FOR NONNEGATIVE SUBMARTINGALES

The authors establish a kind of inequalities for nonnegative submartingales which depend on two functions Φ and ψ, and obtain the equivalent conditions for Φ and ψ such that this kind of inequalities holds. In the casen Φ =ψ∈Δ2, it is proved that this necessary and sufficient condition is equivalent to qΦ > 1.     

Dirichlet Problem at Infinity for $\mathcal A$-Harmonic Functions

We study the Dirichlet problem at infinity for -harmonic functions on a Cartan–Hadamard manifold M and give a sufficient condition for a point at infinity x ₀∈M(∞) to be -regular. This condition is local in the sense that it only involves sectional curvatures of M in a set U∩M, where U is an arbitrary neighborhood of x ₀ in the cone topology. The results apply to the Laplacian and p-Laplacian, 1<p<∞, as special cases.      

A hyperbolicity criterion for subgroups of $\mathcal{RF}(G)$

This paper continues the investigation of the groups RF(G)\mathcal{RF}(G) first introduced in the forthcoming book of Chiswell and Müller “A Class of Groups Universal for Free ℝ-Tree Actions” and in the article by Müller and Schlage-Puchta (Abh. Math. Semin. Univ. Hambg. 79:193–227, 2009). We establish a criterion for a family {H_s}\{\mathcal{H}_{\sigma}\} of hyperbolic subgroups H_s ￡ RF(G)\mathcal{H}_{\sigma}\leq\mathcal{RF}(G) to generate a hyperbolic subgroup isomorphic to the free product of the H_s\mathcal{H}_{\sigma} (Theorem 1.2), as well as a local-global principle for local incompatibility (Theorem 4.1). In conjunction with the theory of test functions as developed by Müller and Schlage-Puchta (Abh. Math. Semin. Univ. Hambg. 79:193–227, 2009), these results allow us to obtain a necessary and sufficient condition for a free product of real groups to embed as a hyperbolic subgroup in RF(G)\mathcal{RF}(G) for a given group G (Corollary 5.4). As a further application, we show that the centralizers associated with a family of pairwise locally incompatible cyclically reduced functions in RF(G)\mathcal{RF}(G) generate a hyperbolic subgroup isomorphic to the free product of these centralizers (Corollary 5.2).     

Anharmonic Oscillators in the Complex Plane, $\boldsymbol{\mathcal{PT}}$-symmetry,and Real Eigenvalues

For integers m ≥ 3 and 1 ≤ ℓ ≤ m − 1, we study the eigenvalue problems − u ^″(z) + [( − 1)^ℓ(iz) ^m  − P(iz)]u(z) = λu(z) with the boundary conditions that u(z) decays to zero as z tends to infinity along the rays argz=-\fracp2±\frac(l+1)pm+2\arg z=-\frac{\pi}{2}\pm \frac{(\ell+1)\pi}{m+2} in the complex plane, where P is a polynomial of degree at most m − 1. We provide asymptotic expansions of the eigenvalues λ _n . Then we show that if the eigenvalue problem is PT\mathcal{PT}-symmetric, then the eigenvalues are all real and positive with at most finitely many exceptions. Moreover, we show that when gcd(m,l)=1\gcd(m,\ell)=1, the eigenvalue problem has infinitely many real eigenvalues if and only if one of its translations or itself is PT\mathcal{PT}-symmetric. Also, we will prove some other interesting direct and inverse spectral results.     

Thompson＇s Group F and the Linear Group GL∞（Z）

The authors study the finite decomposition complexity of metric spaces of H, equipped with different metrics, where H is a subgroup of the linear group GL_∞(ℤ). It is proved that there is an injective Lipschitz map φ: (F, d _S ) → (H, d), where F is the Thompson’s group, dS the word-metric of F with respect to the finite generating set S and d a metric of H. But it is not a proper map. Meanwhile, it is proved that φ: (F, d _S ) → (H, d ₁) is not a Lipschitz map, where d ₁ is another metric of H.     

The $(1-\mathbb{E})$-transform in combinatorial Hopf algebras

We extend to several combinatorial Hopf algebras the endomorphism of symmetric functions sending the first power-sum to zero and leaving the other ones invariant. As a “transformation of alphabets”, this is the (1-\mathbbE)(1-\mathbb{E})-transform, where \mathbbE\mathbb{E} is the “exponential alphabet,” whose elementary symmetric functions are e_n=\frac1n!e_{n}=\frac{1}{n!}. In the case of noncommutative symmetric functions, we recover Schocker’s idempotents for derangement numbers (Schocker, Discrete Math. 269:239–248, 2003). From these idempotents, we construct subalgebras of the descent algebras analogous to the peak algebras and study their representation theory. The case of WQSym leads to similar subalgebras of the Solomon–Tits algebras. In FQSym, the study of the transformation boils down to a simple solution of the Tsetlin library in the uniform case.     

On the existence of a p-adic metaplectic Tate-type $\widetilde {\gamma}$-factor

Let \mathbbF\mathbb{F} be a p-adic field, let χ be a character of \mathbbF^*\mathbb{F}^{*}, let ψ be a character of \mathbbF\mathbb{F} and let g_y^-1\gamma_{\psi}^{-1} be the normalized Weil factor associated with a character of second degree. We prove here that one can define a meromorphic function [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi ,s,\psi) via a similar functional equation to the one used for the definition of the Tate γ-factor replacing the role of the Fourier transform with an integration against y·g_y^-1\psi\cdot\gamma_{\psi}^{-1}. It turns out that γ and [(g)\tilde]\widetilde{\gamma} have similar integral representations. Furthermore, [(g)\tilde]\widetilde{\gamma} has a relation to Shahidi‘s metaplectic local coefficient which is similar to the relation γ has with (the non-metalpectic) Shahidi‘s local coefficient. Up to an exponential factor, [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi,s,\psi) is equal to the ratio \fracg(c²,2s,y)g(c,s+\frac12,y)\frac{\gamma(\chi^{2},2s,\psi)}{\gamma(\chi,s+\frac{1}{2},\psi)}.     

The $\bar{\partial}$ -Approach to Monochromatic Inverse Scattering in Three Dimensions

We discuss a method for monochromatic inverse scattering in three dimensions of [Novikov in Int. Math. Res. Papers 2005(6):287–349, [2005]] and implemented numerically in [Alekseenko et al. in Acoust. J. 54(3), [2008]]. This method is obtained as a development of the -approach to inverse scattering at fixed energy in dimension d≥3 of [Beals and Coifman in Proc. Symp. Pure Math. 43:45–70, [1985]] and [Henkin and Novikov in Usp. Mat. Nauk 42(3):93–152, [1987]] and involves, in particular, some results of [Faddeev in Itogi Nauki Tech. Sovr. Prob. Math. 3:93–180, [1965], [1974]] and some ideas of the soliton theory (in particular, some ideas going back to [Manakov in Usp. Mat. Nauk 31(5):245–246, [1976]] and [Dubrovin et al. in Dokl. Akad. Nauk SSSR 229:15–18, [1976]]). Also, our studies go back, in particular, to [Regge in Nuovo Cimento 14:951–976, [1959]]. This article is an extended version of the talk given at International Conference in Mathematics in honor of G. Henkin at the occasion of his 65th birthday.      

Quasi-convex Mappings on the Unit Polydisk in $\mathbb{C}^{n}$

In this paper, the sharp estimates of all homogeneous expansions for f are established, where f(z) = (f ₁(z), f ₂(z), …, f _n (z))′ is a k-fold symmetric quasi-convex mapping defined on the unit polydisk in ℂ ⁿ and

The coarse Lipschitz geometry of \ell_p\oplus\ell_q

We show that for 1 < p < ∞ with p ≠ 2 the space L _p (0,1) is not uniformly homeomorphic to . We also show that if 1 < p < 2 < q < ∞ the space has unique uniform structure, answering a question of Johnson, Lindenstrauss and Schechtman (Geom. Funct. Anal. 6:430–470, 1996). The first author was supported by NSF grant DMS-0555670 and the second author was supported by NSF grant DMS-0701097.     

Group-cograded Multiplier Hopf ${\left( { * {\text{ - }}} \right)}$algebras

Let G be a group and assume that (A _p ) _p∈G is a family of algebras with identity. We have a Hopf G-coalgebra (in the sense of Turaev) if, for each pair p,q ∈ G, there is given a unital homomorphism Δ _p,q : A _pq → A _p ⊗ A _q satisfying certain properties. Consider now the direct sum A of these algebras. It is an algebra, without identity, except when G is a finite group, but the product is non-degenerate. The maps Δ _p,q can be used to define a coproduct Δ on A and the conditions imposed on these maps give that (A,Δ) is a multiplier Hopf algebra. It is G-cograded as explained in this paper. We study these so-called group-cograded multiplier Hopf algebras. They are, as explained above, more general than the Hopf group-coalgebras as introduced by Turaev. Moreover, our point of view makes it possible to use results and techniques from the theory of multiplier Hopf algebras in the study of Hopf group-coalgebras (and generalizations). In a separate paper, we treat the quantum double in this context and we recover, in a simple and natural way (and generalize) results obtained by Zunino. In this paper, we study integrals, in general and in the case where the components are finite-dimensional. Using these ideas, we obtain most of the results of Virelizier on this subject and consider them in the framework of multiplier Hopf algebras. Presented by Ken Goodearl.     

$\mathcal{C}^{2}$ surface diffeomorphisms have symbolic extensions

We prove that C²\mathcal{C}^{2} surface diffeomorphisms have symbolic extensions, i.e. topological extensions which are subshifts over a finite alphabet. Following the strategy of Downarowicz and Maass (Invent. Math. 176:617–636, 2009) we bound the local entropy of ergodic measures in terms of Lyapunov exponents. This is done by reparametrizing Bowen balls by contracting maps in a approach combining hyperbolic theory and Yomdin’s theory.     

$\mathcal{P}$-kernel normal systems for $\mathcal{P}$-inversive semigroups

As a generalization of Preston’s kernel normal systems, P\mathcal{P}-kernel normal systems for P\mathcal{P}-inversive semigroups are introduced, and strongly regular P\mathcal{P}-congruences on P\mathcal{P}-inversive semigroups in terms of their P\mathcal{P}-kernel normal systems are characterized. These results generalize the corresponding results for P\mathcal{P}-regular semigroups and P\mathcal{P}-inversive semigroups.     

Classification of quasifinite\mathcal{W}_\infty -modules-modules

It is proved that an irreducible quasifinite -module is a highest or lowest weight module or a module of the intermediate series; a uniformly bounded indecomposable weight -module is a module of the intermediate series. For a nondegenerate additive subgroup Λ ofF _n, whereF is a field of characteristic zero, there is a simple Lie or associative algebraW(Λ,n)⁽¹⁾ spanned by differential operatorsuD ₁ ^m …D ₁ ^m foru ∈F[Γ] (the group algebra), andm _i≥0 with , whereD _i are degree operators. It is also proved that an indecomposable quasifinite weightW(Λ,n)⁽¹⁾-module is a module of the intermediate series if Λ is not isomorphic to ℤ. Supported by NSF grant no. 10471091 of China and two grants “Excellent Young Teacher Program” and “Trans-Century Training Programme Foundation for the Talents” from the Ministry of Education of China.     

Remarks on the local regularity of the\overline \partial

Summary Let Ω⊂⊂C ⁿ be a pseudo-convex domain with smooth real-analytic boundarybΩ; the local regularity in of the is then strictly related not only with the subellipticity of such problem, but also with certain geometric conditions onbΩ: ifn=2 and α is a (0,1)-form, such relations are equivalences.

---

Riassunto Se Ω⊂⊂C ⁿ è un dominio pseudo-convesso con frontierabΩ definita da una funzione analitica reale e ?liscia?, la regolarità locale delle soluzioni in del αè in stretta relazione non solo con la subellitticità di tale problema ma anche con certe condizioni geometriche sulla struttura dibΩ: sen=2 ed α è una (0,1)-forma, tali relazioni sono delle equivalenze.

---

---

Lavoro eseguito nell'ambito del G.N.S.A.G.A. del C.N.R.     

A division problem for\bar \partial _b - CLOSED forms

LetG ₁,…,G_m be bounded holomorphic functions in a strictly pseudoconvex domainD such that . We prove that for each (0,q)-form ϕ inL ^p(∂D), 1<p<∞, there are formsu ₁, …,u _m inL ^p(∂D) such that ΣG _ju_j=ϕ. This generalizes previous results forq=0. The proof consists in delicate estimates of integral representation formulas of solutions and relies on a certainT1 theorem due to Christ and Journé. For (0,n−1)-forms there is a simpler proof that also gives the result forp=∞. Restricted to one variable this is precisely the corona theorem. The author was partially supported by the Swedish Natural Research Council.     

Diophantine quadruples in $\mathbb {Z}[\sqrt {4k+3}]$

It this paper, we study the existence of Diophantine quadruples with property D(z) in the ring , where d is such that the Pellian equation x ²−dy ²=±2 is solvable. This existence is characterized by the representability of z as a difference of two squares.