On the Existence of Trace for Elements of \mathbb{C}_p

Let T be a transcendental element of and the orbit of T. On we have a Haar measure . The goal of this paper is to characterize all the elements of for which the integral , called the trace of T, is well defined.Presented by A. Verschoren     

Deep Matrix Algebras of Finite Type

Deep matrix algebras based on a set over a ring are introduced and studied by McCrimmon when has infinite cardinality. Here, we construct a new -module that is faithful for of any cardinality. For a field of arbitrary characteristic and , is studied in depth. The algebra is shown to possess a unique proper non-zero ideal, isomorphic to . This leads to a new and interesting simple algebra, , the quotient of by its unique ideal. Both and the quotient algebra are shown to have centers isomorphic to . Via the new faithful representation, all automorphisms of are shown to be inner in the sense of Definition 18.Presented by D. Passman.     

On formulas for the index of the circular distributions

A circular distribution is a Galois equivariant map ψ from the roots of unity μ _∞ to an algebraic closure of such that ψ satisfies product conditions, for ϵ ∈ μ _∞ and , and congruence conditions for each prime number l and with (l, s) = 1, modulo primes over l for all , where μ _l and μ _s denote respectively the sets of lth and sth roots of unity. For such ψ, let be the group generated over by and let be , where U _s denotes the global units of . We give formulas for the indices and of and inside the circular numbers P _s and units C _s of Sinnott over . This work was supported by the SRC Program of Korea Science and Engineering Foundation (KOSEF) grant funded by the Korea government (MOST) (No. R11-2007-035-01001-0). This work was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD, Basic Research Promotion Fund) (KRF-2006-312-C00455).     

Semicrossed products of simple C*-algebras

Let and be C*-dynamical systems and assume that is a separable simple C*-algebra and that α and β are *-automorphisms. Then the semicrossed products and are isometrically isomorphic if and only if the dynamical systems and are outer conjugate. K. R. Davidson was partially supported by an NSERC grant. E. G. Katsoulis was partially supported by a summer grant from ECU     

A non-MRA C^r Frame Wavelet with Rapid Decay

A generalized filter construction is used to build an example of a non-MRA normalized tight frame wavelet for dilation by 2 in . This example has the same multiplicity function as the Journé wavelet, yet has a Fourier transform and can be made to be for any fixed postive integer . L. Baggett and P. Jorgensen were supported by a US–NSF Focused Research Group (FRG) grant.     

Relaxation of an area-like functional for the function $$\frac{x}{|x|}$$

We compute the relaxation

Sharp Weighted Young's Inequalities and Moser–Trudinger Inequalities on Heisenberg Type Groups and Grushin Spaces

We obtain sharp weighted Moser–Trudinger inequalities for first-layer symmetric functions on groups of Heisenberg type, and for -symmetric functions on the Grushin plane. To this end, we establish weighted Young's inequalities in the form , for first-layer radial weights on a general Carnot group and functions with first-layer symmetric. The proofs use some sharp estimates for hypergeometric functions.Research supported by NSF grant DMS-0228807.     

Numerically satisfactory solutions of Kummer recurrence relations

Pairs of numerically satisfactory solutions as for the three-term recurrence relations satisfied by the families of functions , , are given. It is proved that minimal solutions always exist, except when and z is in the positive or negative real axis, and that is minimal as whenever . The minimal solution is identified for any recurrence direction, that is, for any integer values of and . When the confluent limit , with fixed, is the main tool for identifying minimal solutions together with a connection formula; for , is the main tool to be considered.     

Stability results for scattered‐data interpolation on Euclidean spheres

Let denote the unit sphere in and the geodesic distance in . A spherical‐basis function approximant is a function of the form , where are real constants, is a fixed function, and is a set of distinct points in . It is known that if is a strictly positive definite function in , then the interpolation matrix is positive definite, hence invertible, for every choice of distinct points and every positive integer M. The paper studies a salient subclass of such functions , and provides stability estimates for the associated interpolation matrices. This revised version was published online in June 2006 with corrections to the Cover Date.     

Exponential Dichotomy on the Real Line and Admissibility of Function Spaces

The purpose of this paper is to give characterizations for uniform exponential dichotomy of evolution families on the real line. We consider a general class of Banach function spaces denoted and we prove that if with and the pair is admissible for an evolution family then is uniformly exponentially dichotomic. By an example we show that the admissibility of the pair for an evolution family is not a sufficient condition for uniform exponential dichotomy. As applications, we deduce necessary and sufficient conditions for uniform exponential dichotomy of evolution families in terms of the admissibility of the pairs and with      

Bifurcations of Positive and Negative Continua in Quasilinear Elliptic Eigenvalue Problems

The main result of this work is a Dancer-type bifurcation result for the quasilinear elliptic problem

Codes defined by forms of degree 2 on non-degenerate Hermitian varieties in $${\mathbb{P}^{4}(\mathbb{F}_q)}$$

We study the functional codes of second order on a non-degenerate Hermitian variety as defined by G. Lachaud. We provide the best possible bounds for the number of points of quadratic sections of . We list the first five weights, describe the corresponding codewords and compute their number. The paper ends with two conjectures. The first is about minimum distance of the functional codes of order h on a non-singular Hermitian variety . The second is about distribution of the codewords of first five weights of the functional codes of second order on a non-singular Hermitian variety .      

A geometric inequality in the Heisenberg group and its applications to stable solutions of semilinear problems

In the Heisenberg group framework, we obtain a geometric inequality for stable solutions of in a domain . More precisely, if we denote the horizontal intrinsic Hessian by Hu, the mean curvature of a level set by h, its imaginary curvature by p, the intrinsic normal by ν and the unit tangent by υ, we have that

Generalised twists,stationary loops,and the Dirichlet energy over a space of measure preserving maps

Let be a bounded Lipschitz domain and consider the Dirichlet energy functional

Parameterized partition relations on the real numbers

We consider several kinds of partition relations on the set of real numbers and its powers, as well as their parameterizations with the set of all infinite sets of natural numbers, and show that they hold in some models of set theory. The proofs use generic absoluteness, that is, absoluteness under the required forcing extensions. We show that Solovay models are absolute under those forcing extensions, which yields, for instance, that in these models for every well ordered partition of there is a sequence of perfect sets whose product lies in one piece of the partition. Moreover, for every finite partition of there is and a sequence of perfect sets such that the product lies in one piece of the partition, where is the set of all infinite subsets of X. The proofs yield the same results for Borel partitions in ZFC, and for more complex partitions in any model satisfying a certain degree of generic absoluteness. This work was supported by the research projects MTM 2005-01025 of the Spanish Ministry of Science and Education and 2005SGR-00738 of the Generalitat de Catalunya. A substantial part of the work was carried out while the second-named author was ICREA Visiting Professor at the Centre de Recerca Matemàtica in Bellaterra (Barcelona), and also during the first-named author’s stays at the Instituto Venezolano de Investigaciones Científicas and the California Institute of Technology. The authors gratefully acknowledge the support provided by these institutions.     

SU(d)-Biinvariant Random Walks on SL\,{\left( {d,\,\mathbb{C}} \right)} and their Euclidean Counterparts

We establish a deformation isomorphism between the algebras of -biinvariant compactly supported measures on and -conjugation invariant measures on the Euclidean space of all Hermitian -matrices with trace . This isomorphism concisely explains a close connection between the spectral problem for sums of Hermititan matrices on one hand and the singular spectral problem for products of matrices from on the other, which has recently been observed by Klyachko [13]. From this deformation we further obtain an explicit, probability preserving and isometric isomorphism between the Banach algebra of bounded -biinvariant measures on and a certain (non-invariant) subalgebra of the bounded signed measures on . We demonstrate how this probability preserving isomorphism leads to limit theorems for the singular spectrum of -biinvariant random walks on in a simple way. Our construction relies on deformations of hypergroup convolutions and will be carried out in the general setting of complex semisimple Lie groups.Margit Rösler was partially supported by the Netherlands Organisation for Scientific Research (NWO), project nr. B 61-544.     

Homotopy Categories for Simply Connected Torsion Spaces

For each n > 1 and each multiplicative closed set of integers S, we study closed model category structures on the pointed category of topological spaces, where the classes of weak equivalences are classes of maps inducing isomorphism on homotopy groups with coefficients in determined torsion abelian groups, in degrees higher than or equal to n. We take coefficients either on all the cyclic groups with s ∈ S, or in the abelian group where is the group of fractions of the form with s ∈ S. In the first case, for n > 1 the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion. In the second case, for n > 1 we obtain that the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion and the nth homotopy group is divisible. These equivalences of categories are given by colocalizations , obtained by cofibrant approximations on the model structures. These colocalization maps have nice universal properties. For instance, the map is final (in the homotopy category) among all the maps of the form Y → X with Y an (n − 1)-connected CW-complex whose homotopy groups are S-torsion and its nth homotopy group is divisible. The spaces , are constructed using the cones of Moore spaces of the form M(T, k), where T is a coefficient group of the corresponding structure of models, and homotopy colimits indexed by a suitable ordinal. If S is generated by a set P of primes and S ^p is generated by a prime p ∈ P one has that for n > 1 the category is equivalent to the product category . If the multiplicative system S is generated by a finite set of primes, then localized category is equivalent to the homotopy category of n-connected Ext-S-complete CW-complexes and a similar result is obtained for .     

Sums of Bisectorial Operators and Applications

We study sums of bisectorial operators on a Banach space X and show that interpolation spaces between X and D(A) (resp. D(B)) are maximal regularity spaces for the problem Ay + By = x in X. This is applied to the study of regularity properties of the evolution equation u′ + Au = f on for or and the evolution equation u′ + Au = f on [0, 2π] with periodic boundary condition u(0) = u(2π) in or      

A note on <Emphasis Type="Italic">q</Emphasis>-multiplicative functions

We prove the following statement. Let , and let . Suppose that, for all and , the sequence satisfies the relation