Search

The closest infinite dimensional relatives of compact Lie algebras are Hilbert-Lie algebras, i.e. real Hilbert spaces with a Lie algebra structure for which the scalar product is invariant. Locally affine Lie algebras (LALAs) correspond to double extensions of (twisted) loop algebras over simple Hilbert-Lie algebras $\mathfrak{k}$, also called affinisations of $\mathfrak{k}$. They possess a root space decomposition whose corresponding root system is a locally affine root system of one of the $7$ families $A_J^{(1)}$, $B_J^{(1)}$, $C_J^{(1)}$, $D_J^{(1)}$, $B_J^{(2)}$, $C_J^{(2)}$ and $BC_J^{(2)}$ for some infinite set $J$. To each of these types corresponds a "minimal" affinisation of some simple Hilbert-Lie algebra $\mathfrak{k}$, which we call standard. In this paper, we give for each affinisation $\mathfrak{g}$ of a simple Hilbert-Lie algebra $\mathfrak{k}$ an explicit isomorphism from $\mathfrak{g}$ to one of the standard affinisations of $\mathfrak{k}$. The existence of such an isomorphism could also be derived from the classification of locally affine root systems, but for representation theoretic purposes it is crucial to obtain it explicitely as a deformation between two twists which is compatible with the root decompositions. We illustrate this by applying our isomorphism theorem to the study of positive energy highest weight representations of $\mathfrak{g}$. In subsequent work, the present paper will be used to obtain a complete classification of the positive energy highest weight representations of affinisations of $\mathfrak{k}$., Comment: 22 pages; Minor corrections

Let X(n), for n ∊ ℕ, be the set of all subsets of a metric space (X, d) of cardinality at most n. The set X(n) equipped with the Hausdorff metric is called a finite subset space. In this paper we are concerned with the existence of Lipschitz retractions r: X(n)→ X(n − 1) for n ≥ 2. It is known that such retractions do not exist if X is the one-dimensional sphere. On the other hand, Kovalev has recently established their existence if X is a Hilbert space, and he also posed a question as to whether or not such Lipschitz retractions exist when X is a Hadamard space. In this paper we answer the question in the positive.

In a previous paper the authors showed that, under some technical conditions, the local Galois representations attached to the members of a non-CM family of ordinary cusp forms are indecomposable for all except possibly finitely many members of the family. In this paper we use deformation theoretic methods to give examples of non-CM families for which every classical member of weight at least two has a locally indecomposable Galois representation. School of Mathematics, Tata Institute of Fundamental Research, Mumbai 400005, India. e-mail: eghate@math.tifr.res.in Department of Mathematics, University of British Columbia, Vancouver, BC e-mail: vatsal@math.ubc.ca Received by the editors August 5, 2008. Published electronically December 29, 2010. AMS subject classification: 11F80. 1

Recent papers have shown that C1 maps whose Jacobians have constant eigenvalues can be completely characterized if either the eigenvalues are equal or F is a polynomial. Specifically, F = (u, v) must take the formfor some constants a, b, c, d, e, f , α, β and a C1 function ϕ in one variable. If, in addition, the function ϕ is not affine, thenThis paper shows how these theorems cannot be extended by constructing a real-analytic map whose Jacobian eigenvalues are ±1/2 and does not fit the previous form. This example is also used to construct non-obvious solutions to nonlinear PDEs, including the Monge—Ampère equation.

Let $\pi $ be an automorphic irreducible cuspidal representation of $\mathrm{GL}_{m}$ over $\mathbb {Q}$ . Denoted by $\lambda _{\pi }(n)$ the nth coefficient in the Dirichlet series expansion of $L(s,\pi )$ associated with $\pi $ . Let $\pi _{1}$ be an automorphic irreducible cuspidal representation of $\mathrm{SL}(2,\mathbb {Z})$ . Denoted by $\lambda _{\pi _{1}\times \pi _{1}}(n)$ the nth coefficient in the Dirichlet series expansion of $L(s,\pi _{1}\times \pi _{1})$ associated with $\pi _{1}\times \pi _{1}$ . In this paper, we study the cancellations of $\lambda _{\pi }(n)$ and $\lambda _{\pi _{1}\times \pi _{1}}(n)$ over Beatty sequences.

We answer a 1975 question of G. R. Gordh by showing that if X is a homogeneous compactum which is the continuous image of a compact ordered space then at least one of the following holds: (i) X is metrizable, (ii) dimX = 0 or (iii) X is a union of finitely many pairwise disjoint generalized simple closed curves. We begin to examine the structure of homogeneous 0-dimensional spaces which are continuous images of ordered compacta. 1. Introduction. The aim of this paper is to investigate homogeneous spaces which are continuous images of ordered compacta. In 1975, G. R. Gordh proved that if a homo­ geneous and hereditarily unicoherent continuum is the continuous image of an ordered compactum, then it is metrizable, and so indecomposable (7, Theorem 3). Further, he asked if, in general, every homogeneous continuum which is the continuous image of an ordered compactum must be either metrizable or a generalized simple closed curve. Our Theorem 1 provides an affirmative answer to Gordh's question. Moreover, in Theorem 2, we prove that a homogeneous space which is not 0-dimensional and which is the continuous image of an ordered compactum is either metrizable or a union of finitely many pairwise disjoint generalized simple closed curves. Our methods of proof involve characterizations of continuous images of arcs obtained in ( 16) in terms of cyclic elements and T-sets. When dealing with the class A of all homogeneous and 0-dimensional spaces which are the continuous images of ordered compacta, the situation becomes less clear. By a recent theorem of M. Bell, each member of A is first countable. Moreover, by a result of (18), each member of A can be embedded into a dendron. We give a rather simple construction leading to a wide subclass of A. In particular, we show that not all members of A are orderable, and that there exists a strongly homogeneous space X which is the continuous image of an ordered compactum and which is not first countable. It follows that X $ A. Our investigations of the class A led to some natural questions which are stated at the end of the paper. All spaces considered in this paper are Hausdorff.

We show that the space of linear series of certain multi-degree (including the balanced ones) and rank $r$ on a general binary curve has the expected dimension if nonempty. This generalizes Theorem 24 of Caporaso's paper about binary curves from the case $r\leq 2$ to arbitrary rank, and shows that the space of Osserman-limit linear series on a general binary curve has the expected dimension, which was known for $r\leq 2$. In addition, we show that this space of linear series is still of expected dimension after imposing certain ramification conditions with respect to a sequence of increasing effective divisors supported on two general points lying on different components of the curve., Comment: Minor changes, to appear in Canadian Mathematical Bulletin

In this paper, we study the boundedness and compactness of the inclusion mapping from Dirichlet type spaces $\mathcal {D}^{p}_{p-1 }$ to tent spaces. Meanwhile, the boundedness, compactness, and essential norm of Volterra integral operators from Dirichlet type spaces $\mathcal {D}^{p}_{p-1 }$ to general function spaces are also investigated.

In this paper, we decompose $\overline {D}(a,M)$ into modular and mock modular parts, so that it gives as a straightforward consequencethe celebrated results of Bringmann and Lovejoy on Maass forms. Let $\overline {p}(n)$ be the number of partitions of n and $\overline {N}(a,M,n)$ be the number of overpartitions of n with rank congruent to a modulo M. Motivated by Hickerson and Mortenson, we find and prove a general formula for Dyson’s ranks by considering the deviation of the ranks from the average: $$ \begin{align*} \overline{D}(a,M) &=\sum\limits_{n=0}^{\infty}\Big(\overline{N}(a,M,n) -\frac{\overline{p}(n)}{M}\Big)q^{n}. \end{align*} $$ Based on Appell–Lerch sum properties and universal mock theta functions, we obtain the stronger version of the results of Bringmann and Lovejoy.

In this paper, we are interested in obtaining large values of Dirichlet L-functions evaluated at zeros of a class of L-functions, that is, $$ \begin{align*}\max_{\substack{F(\rho)=0\\ T\leq \Im \rho \leq 2T}}L(\rho,\chi), \end{align*} $$ where $\chi $ is a primitive Dirichlet character and F belongs to a class of L-functions. The class we consider includes L-functions associated with automorphic representations of $GL(n)$ over ${\mathbb {Q}}$ .

Let $\unicode[STIX]{x1D707}$ be a positive finite Borel measure on the unit circle and ${\mathcal{D}}(\unicode[STIX]{x1D707})$ the associated harmonically weighted Dirichlet space. In this paper we show that for each closed subset $E$ of the unit circle with zero $c_{\unicode[STIX]{x1D707}}$ -capacity, there exists a function $f\in {\mathcal{D}}(\unicode[STIX]{x1D707})$ such that $f$ is cyclic (i.e., $\{pf:p\text{ is a polynomial}\}$ is dense in ${\mathcal{D}}(\unicode[STIX]{x1D707})$ ), $f$ vanishes on $E$ , and $f$ is uniformly continuous. Next, we provide a sufficient condition for a continuous function on the closed unit disk to be cyclic in ${\mathcal{D}}(\unicode[STIX]{x1D707})$ .

The main result of this paper is the following: anyweightedRiemannian manifold$(M,g,\unicode[STIX]{x1D707})$,i.e., a Riemannian manifold$(M,g)$endowed with a generic non-negative Radon measure$\unicode[STIX]{x1D707}$, isinfinitesimally Hilbertian, which means that its associated Sobolev space$W^{1,2}(M,g,\unicode[STIX]{x1D707})$is a Hilbert space.We actually prove a stronger result: the abstract tangent module (à la Gigli) associated with any weighted reversible Finsler manifold$(M,F,\unicode[STIX]{x1D707})$can be isometrically embedded into the space of all measurable sections of the tangent bundle of$M$that are$2$-integrable with respect to$\unicode[STIX]{x1D707}$.By following the same approach, we also prove that all weighted (sub-Riemannian) Carnot groups are infinitesimally Hilbertian.

We consider three point positivemasses moving onS2andH2. An Eulerian-relative equilibrium is a relative equilibrium where the three masses are on the same geodesic. In this paper we analyze the spectral stability of these kind of orbits where the mass at the middle is arbitrary and the masses at the ends are equal and located at the same distance from the central mass. For the case of S2, we found a positive measure set in the set of parameters where the relative equilibria are spectrally stable, and we give a complete classiûcation of the spectral stability of these solutions, in the sense that, except on an algebraic curve in the space of parameters, we can determine if the corresponding relative equilibriumis spectrally stable or unstable. OnH2, in the elliptic case, we prove that generically all Eulerian-relative equilibria are unstable; in the particular degenerate case when the two equal masses are negligible, we get that the corresponding solutions are spectrally stable. For the hyperbolic case we consider the system where the mass in the middle is negligible; in this case the Eulerian-relative equilibria are unstable.

Let $G$ denote a reductive algebraic group over $\mathbb{C}$ and $x$ a nilpotent element of its Lie algebra $\mathfrak{g}$. The Springer variety $\mathcal{B}_x$ is the closed subvariety of the flag variety $\mathcal{B}$ of $G$ parameterizing the Borel subalgebras of $\mathfrak{g}$ containing $x$. It has the remarkable property that the Weyl group $W$ of $G$ admits a representation on the cohomology of $\mathcal{B}_x$ even though $W$ rarely acts on $\mathcal{B}_x$ itself. Well-known constructions of this action due to Springer et al use technical machinery from algebraic geometry. The purpose of this note is to describe an elementary approach that gives this action when $x$ is what we call parabolic-surjective. The idea is to use localization to construct an action of $W$ on the equivariant cohomology algebra $H_S^*(\mathcal{B}_x)$, where $S$ is a certain algebraic subtorus of $G$. This action descends to $H^*(\mathcal{B}_x)$ via the forgetful map and gives the desired representation. The parabolic-surjective case includes all nilpotents of type $A$ and, more generally, all nilpotents for which it is known that $W$ acts on $H_S^*(\mathcal{B}_x)$ for some torus $S$. Our result is deduced from a general theorem describing when a group action on the cohomology of the fixed point set of a torus action on a space lifts to the full cohomology algebra of the space., 6 pages, title changed and made shorter, the presentation of the paper totally revised, final version to appear in the Canadian Mathematical Bulletin

Let G be a finite group and let A(G) denote the Burnside ring of G. Then an inverse limit L(G) of the groups A(H) for proper subgroups H of G and a homomorphism res from A(G) to L(G) are obtained in a natural way. Let Q(G) denote the cokernel of res. For a prime p, let N(p) be the minimal normal subgroup of G such that the order of G/N(p) is a power of p, possibly 1. In this paper we prove that Q(G) is isomorphic to the cartesian product of the groups Q(G/N(p)), where p ranges over the primes dividing the order of G.

Alfred Schild established conditions where Lorentz transformations map world-vectors (ct, x, y, z) with integer coordinates onto vectors of the same kind. The problem was dealt with in the context of tensor and spinor calculus. Due to Schild’s number-theoretic arguments, the subject is also interesting when isolated from its physical background. Schild’s paper is not easy to understand. Therefore, we first present a streamlined version of his proof which is based on the use of null vectors. Then we present a purely algebraic proof that is somewhat shorter. Both proofs rely on the properties of Gaussian integers

In recent years the harmonic analysis of n-fold (n > 2) metaplectic coverings of GL2 has played an increasingly important role in certain aspects of algebraic number theory. In large part this has been inspired by the pioneering work of Kubota (see [3] for example); as an application one could cite the solution by Heath-Brown and Patterson [3] to a question of Kummer's on the distribution of the arguments of cubic Gauss sums. In that paper, Eisenstein series on the 3-fold metaplectic cover of GL2(A) play a crucial role.The object of this note is to point out that the theory of Eisenstein series can be made to work for a wide class of finite central coverings. Indeed, once the assumptions are made, the usual theory carries over readily, and one obtains a spectral decomposition of the appropriate L2-space of functions; this is done in Section 2 of this paper.

Let denote the space of functions holomorphic on an open Riemann surface R, where has the topology of uniform convergence on compact sets. In this note, we characterize the dual space *. The result is not new, for it is implicitly contained in the more general results of Tillmann [5] and, in case R is planar, in those of Köthe [4]. However, the paper of Gunning and Narasimhan [3], which appeared subsequently, allows us to give a short proof of this important result. Actually, our characterization is a natural one in terms of differentials, while the Köthe-Tillmann characterization is in terms of functions, but we show that these two characterizations are isomorphic. We end our paper by using our characterization to prove an interpolation result. The second author gratefully acknowledges a helpful discussion with Professor George Szekeres.

Let C(X) be the ring of all real-valued continuous functions on a completely regular topological space X, and let A﹛Y) be the ring of all functions analytic on a connected non-compact Riemann surface F. The ideal theories of these two function rings have been extensively studied since the fundamental papers of E. Hewitt on C﹛X)[12] and of M. Henriksen on the ring of entire functions [10; 11]. Despite the obvious differences between these two rings, it has turned out that there are striking similarities between their ideal theories. For instance, non-maximal prime ideals of A (F) [2; 11] behave very much like prime ideals of C﹛X)[13; 14], and primary ideals of A(Y) which are not powers of maximal ideals [19] resemble primary ideals of C(X) [15]. In this paper we show that there are very good reasons for these similarities. It turns out that much of the ideal theory of A (Y) is a special case of the ideal theory of rings of continuous functions. We develop machinery that enables one almost automatically to derive results about the ideal theory of A(Y) from corresponding known results of ideal theory for rings of continuous functions.

This paper is a continuation of [5]. As stated there, the problem is to explicitly decompose the space L2 = L2(G(F)\G(A)) into simpler invariant subspaces, and to deal with the associated continuous spectrum in case G is a connected reductive algebraic group defined over a global function field. In that paper the solution was begun by studying Eisenstein series associated to cusp forms on Levi components of parabolic subgroups; these Eisenstein series and the associated intertwining operators were shown to be rational functions satisfying functional equations. To go further it is necessary to consider more general Eisenstein series and intertwining operators, and to show that they have similar properties. Such Eisenstein series arise from the cuspidal ones by a residue taking process, which is detailed in a disguised form suitable for induction in the first part of this paper: the main result is a preliminary form of the spectral decomposition.

In an earlier paper [6] we considered the application of Lagrangian methods to the enumeration of plane rooted trees with given colour partition. We obtained an expression which generalised Tutte’s result [9], and a correspondence, which, when specialised, gives the de Bruijn-van Aardenne Ehrenfest-Smith-Tutte Theorem [1]. A corollary of these results is a one-to-one correspondence [4], between trees and generalised derangements, for which no combinatorial description has yet been found.In this paper we extend these methods to the enumeration of rooted labelled trees to demonstrate how another pair of well-known and apparently unrelated theorems may be obtained as the result of a single enumerative approach. In particular, we show that a generalisation of Good's result [3], also considered by Knuth [7], and the matrix tree theorem [8] have a common origin in a single system of functional equations, and that they correspond to different coefficients in the power series solution.

A dissectible polyhedron is a natural extension of a concept whose history dates back to at least 1758 and Euler [7]—the concept of a dissection of a polygon. An interesting historical survey of dissections of a polygon is given by Brown [4]. Some approaches to the classical problem have been given by Moon and Moser [9] and by Guy [8] ; the latter provides an approach which is the basis of the work in this paper. A summary of enumeration results on dissections of polygons and polyhedra by automorphism groups has been given by the authors [2].Recent extensions of the problem have been investigated in a series of papers by Brown and Tutte [3; 5; 14; 15] and b y Takeo [10; 11; 12; 13].

In this paper we consider a method for enumerating trees with respect to colour and degree information. The method makes use of elementary decompositions of trees, and the functional equations which are induced. A number of new results are obtained by this means. More specifically, we consider (Section 3) the enumeration of rooted plane X-coloured trees with given colour and edge partitions. Remarkably, the number of such trees which are planted is a multiple of the number of spanning arbores­ cences on a graph with the edge partition as its adjacency matrix. This result is used (Section 4) to obtain the number of rooted plane i£-chromatic trees with fixed chromatic partition, a number given by Tutte [5] for planted trees in the case K = 2. Finally, a new combinatorial correspon­ dence between two sets of trees is given (Section 5) which yields the de Bruijn-van Aardenne Ehrenfest-Smith-Tutte (BEST) theorem as a special case. We use a familiar decomposition of rooted trees. Associated with this is a system of functional equations which may be solved by a specialisa­ tion, given in Section 2, of the Lagrange theorem in many variables. The specialisation accounts for the persistence, in combinatorial enumeration, of determinants of matrices with row and column constraints (see, for example, [6]). Throughout this paper we use the notation: the number of non-root vertices of colour i is nt = ]C^i/

Norm closed (or weakly closed) Jordan algebras of self-adjoint operators on a Hilbert space were initially studied by Topping, Effros, and Stormer [15], [4], [12], [13]. These works are very “spatial”, in that the algebras are considered in one given representation. The introduction of their abstract counterparts, the JB- and JBW-algebras, has led to an increased interest in this subject. The author hopes this paper will support the view that a more “space-free” approach is fruitful, even if only the “concrete” algebras are under study. In accordance with this view, a “JC-algebra” in this paper will mean a normed Jordan algebra over the reals, which is isometrically isomorphic to a norm closed Jordan algebra of self-adjoint operators.Some of the results in this paper are closely related to, or rewordings of, results in the above-mentioned papers. However, I feel that the present approach is sufficiently different to be of interest in itself. In particular, many of the technical difficulties associated with earlier approaches are avoided.

Suppose that G is a reductive algebraic group defined over a number field F. The trace formula is an identityof distributions. The terms on the right are parametrized by “cuspidal automorphic data”, and are defined in terms of Eisenstein series. They have been evaluated rather explicitly in [3]. The terms on the left are parametrized by semisimple conjugacy classes and are defined in terms of related G(A) orbits. The object of this paper is to evaluate these terms.In previous papers we have already evaluated in two special cases. The easiest case occurs when corresponds to a regular semisimple conjugacy class in G(F). We showed in Section 8 of [1] that for such an , could be expressed as a weighted orbital integral over the conjugacy class of σ. (We actually assumed that was “unramified”, which is slightly more general.) The most difficult case is the opposite extreme, in which corresponds to {1}.

The existence of certain formulae analogous to Poisson's summation formula (9, pp. 60-64),where αβ = 2π, α > 0, and Fc(x) is the Fourier cosine transform of f(x), but involving number-theoretic functions as coefficients, was first demonstrated by Voronoï (10) in 1904. He proved thatwhere r(n) is an arithmetic function,/(x) is continuous in (a, b) and a(x) and i?(x) are analytic functions dependent on τ(n). Later, numerous papers were published by various authors giving formulae of this type involving d(n), the number of divisors of n (3), and rp(n), the number of ways of expressing n as the sum of p squares of integers (8).In 1937, Ferrar (4) developed a general theory of summation formulae, using complex analysis. Around that time, Guinand (5) also published papers where he developed the general theory from a different point of view. He applied the theory of mean convergence for the transforms of class L2(0, ∞ ). Later in 1950, Bochner (1) gave a general summation formula.

The definition and some of the properties of what may be called a Perron second integral (P2-integral) were given in a previous paper [4]. This integral starts with a function f(x) defined in an interval (a, c) and goes directly to a second primitive F(x) with the property that the generalized second derivative D2F is equal to f(x) for almost all x in (a, c). In the present paper the definition is changed slightly and further properties are deduced.

The theorem that every properly primitive binary quadratic form is capable of representing infinitely many prime numbers was first proved completely by H. Weber (5). The purpose of this paper is to give an elementary proof of the case where the form is ax2 + 2bxy + cy2, with a > 0, (a, 2b, c) = 1, and D = b2 — ac not a square. The cases where the form is ax2 + bxy + cy2 with b odd, and the case where the form is ax2+ 2bxy + cy2 with D a square, can be settled very simply once the first case is taken care of, and this is done in a page and a half in the Weber paper.

The purpose of this paper is to record some progress on the problem of determining which (bounded, linear) operators A on a separable Hilbert space H are commutators, in the sense that there exist bounded operators B and C on H satisfying A = BC — CB. It is thus natural to consider this paper as a continuation of the sequence (2; 3; 5). In §2 we show that many infinite diagonal matrices (with scalar entries) are commutators and that every weighted unilateral and bilateral shift is a commutator.

Our aim in this paper is to generalize certain ideas and results of Bary (1) on biorthogonal systems in separable Hilbert spaces to their counterparts in separable lp-spaces, 1 < p.The main result of Bary is to characterize a natural generalization of the concept of orthonormal basis for a Hilbert space. That of this paper is to characterize the concept of a Bary basis which is a generalization of the idea of standard basis of an lp-space. The result is interesting for lp-spaces because of the paucity of standard bases in these spaces.Before summarizing our results, we shall introduce some notation and recall a few pertinent definitions and facts. The symbols and denote mutually conjugate lp-spaces, where is the space lt and the space lswith 1 < r <2 and 2 < s = r/(r – 1).

Letbe an ordinary differential operator of order h whose coefficients are (η, η) matrices defined on the interval 0 ≤ x < ∞, hη = n = 2v. Let the operator L0 be formally self adjoint and let v boundary conditions be given at x = 0 such that the eigenvalue problem(1.1)has no non-trivial square integrable solution. This paper deals with the perturbed operator L∈ = L0 + ∈q where ∈ is a real parameter and q(x) is a bounded positive (η, η) matrix operator with piecewise continuous elements 0 ≤ x < ∞. Sufficient conditions involving L0, q are given such that L∈ determines a selfadjoint operator H∈ and such that the spectral measure E∈(Δ′) corresponding to H∈ is an analytic function of ∈, where Δ′ is a subset of a fixed bounded interval Δ = [α, β]. The results include and improve results obtained for scalar differential operators in an earlier paper (3).

In a paper (5) published in the Proceedings of the Cambridge Philosophical Society, Primrose obtained the formulae for the number of points contained in a non-degenerate quadric in PG(n, s), the finite projective geometry of n dimensions based on a Galois field GF(s). In § 3 of the present paper the formulae for the number of p-flats contained in a non-degenerate quadric in PG(n, s) are obtained. In § 4 an interesting property of a non-degenerate quadric in PG(2k, 2m) is proved. These properties of a quadric will be used in solving some combinatorial problems of statistical interest in a later paper.

It is the purpose of this paper to establish a closer connection between the logarithmic capacity of sets and double trigonometric series. In (9), closed sets of logarithmic capacity zero were established as sets of uniqueness for a particular class of double trigonometric series under circular (C, 1) summability. By slightly changing this class of series but still maintaining closed sets of logarithmic capacity zero as sets of uniqueness, it is shown in this paper that closed sets of positive logarithmic capacity form sets of multiplicity.

Let b ∊ BMO(ℝn) and TΩ be the singular integral operator with kernel Ω(x)/|x|n, where Ω is homogeneous of degree zero, integrable, and has mean value zero on the unit sphere Sn-1. In this paper, using Fourier transform estimates and approximation to the operator TΩ by integral operators with smooth kernels, it is proved that if b ∊ CMO(ℝn) and satisfies certain minimal size condition, then the commutator generated by b and TΩ is a compact operator on Lp(ℝn) for appropriate index p. The associated maximal operator is also considered.

In this paper, we discuss the isometric embedding problem in hyperbolic space with nonnegative extrinsic curvature. We prove a priori bounds for the trace of the second fundamental form H and extend the result to n-dimensions. We also obtain an estimate for the gradient of the smaller principal curvature in 2 dimensions., Comment: 27 pages

In this paper, we consider a generalized Kähler–Einstein equation on a Kähler manifold M. Using the twisted 𝒦–energy introduced by Song and Tian, we show that the existence of generalized Kähler–Einstein metrics with semi–positive twisting (1, 1)–form θ is also closely related to the properness of the twisted 𝒦-energy functional. Under the condition that the twisting form θ is strictly positive at a point or M admits no nontrivial Hamiltonian holomorphic vector field, we prove that the existence of generalized Kähler–Einstein metric implies a Moser–Trudinger type inequality.

In this paper we regularize the Kepler problem on S3 in several different ways. First, we perform a Moser-type regularization. Then, we adapt the Ligon–Schaaf regularization to our problem. Finally, we show that the Moser regularization and the Ligon–Schaaf map we obtained can be understood as the composition of the corresponding maps for the Kepler problem in Euclidean space and the gnomonic transformation.

“Co-Frobenius” coalgebras were introduced as dualizations of Frobenius algebras. We previously showed that they admit left-right symmetric characterizations analogous to those of Frobenius algebras. We consider the more general quasi-co-Frobenius (QcF) coalgebras. The first main result in this paper is that these also admit symmetric characterizations: a coalgebra is QcF if it is weakly isomorphic to its (left, or right) rational dual Rat(C*) in the sense that certain coproduct or product powers of these objects are isomorphic. Fundamental results of Hopf algebras, such as the equivalent characterizations of Hopf algebras with nonzero integrals as left (or right) co-Frobenius, QcF, semiperfect or with nonzero rational dual, as well as the uniqueness of integrals and a short proof of the bijectivity of the antipode for such Hopf algebras all follow as a consequence of these results. This gives a purely representation theoretic approach to many of the basic fundamental results in the theory of Hopf algebras. Furthermore, we introduce a general concept of Frobenius algebra, which makes sense for infinite dimensional and for topological algebras, and specializes to the classical notion in the finite case. This will be a topological algebra A that is isomorphic to its complete topological dual Aν. We show that A is a (quasi)Frobenius algebra if and only if A is the dual C* of a (quasi)co-Frobenius coalgebra C. We give many examples of co-Frobenius coalgebras and Hopf algebras connected to category theory, homological algebra and the newer q-homological algebra, topology or graph theory, showing the importance of the concept.

In this paper we study the balayage of semi-Dirichlet forms. We present new results on balayaged functions and balayagedmeasures of semi-Dirichlet forms. Some of the results are new even in the Dirichlet forms setting.

A diagonal ind-group is a direct limit of classical affine algebraic groups of growing rank under a class of inclusions that contains the inclusionas a typical special case. If G is a diagonal ind-group and B ⊂ G is a Borel ind-subgroup, we consider the ind-variety G/B and compute the cohomology H𝓁(G/B,𝒪−λ) of any G-equivariant line bundle 𝒪−λ on G/B. It has been known that, for a generic λ, all cohomology groups of 𝒪−λ vanish, and that a non-generic equivariant line bundle 𝒪−λ has at most one nonzero cohomology group. The new result of this paper is a precise description of when Hj (G/B,𝒪−λ) is nonzero and the proof of the fact that, whenever nonzero, Hj (G/B,𝒪−λ) is a G-module dual to a highest weight module. The main difficulty is in defining an appropriate analog WB of the Weyl group, so that the action of WB on weights of G is compatible with the analog of the Demazure “action” of the Weyl group on the cohomology of line bundles. The highest weight corresponding to Hj (G/B,𝒪−λ) is then computed by a procedure similar to that in the classical Bott–Borel–Weil theorem.

In this paper we prove holomorphy for certain intertwining operators arising from the theory of Eisenstein series. To do that we need to normalize using the Langlands–Shahidi's normalization arising from the twisted endoscopy and the associated representations of the general linear group.

In this paper we obtain a complete description of nontrivial minimal reducing subspaces of the multiplication operator by a Blaschke product with four zeros on the Bergman space of the unit disk via the Hardy space of the bidisk.

A Riemannian manifold (M, ρ) is called Einstein if the metric ρ satisfies the condition Ric(ρ) = c · ρ for some constant c. This paper is devoted to the investigation of G-invariant Einstein metrics, with additional symmetries, on some homogeneous spaces G/H of classical groups. As a consequence, we obtain new invariant Einstein metrics on some Stiefel manifolds SO(n)/SO(l). Furthermore, we show that for any positive integer p there exists a Stiefelmanifold SO(n)/SO(l) that admits at least p SO(n)-invariant Einstein metrics.

In this paper, we characterize unitary representations of π := π1(S2\{s1, … , sl}) whose generators u1, … , ul (lying in conjugacy classes fixed initially) can be decomposed as products of two Lagrangian involutions uj = σjσj+1 with σl+1 = σ1. Our main result is that such representations are exactly the elements of the fixed-point set of an anti-symplectic involution defined on the moduli space ℳᘓ := Homᘓ(π, U(n))/U(n). Consequently, as this fixed-point set is non-empty, it is a Lagrangian submanifold of ℳᘓ. To prove this, we use the quasi-Hamiltonian description of the symplectic structure of ℳᘓ and give conditions on an involution defined on a quasi-Hamiltonian U-space (M, ω, μ: M → U) for it to induce an anti-symplectic involution on the reduced space M//U := μ–1({1})/U.

We characterize diametrically maximal and constant width sets inC(K), whereKis any compact Hausdorff space. These results are applied to prove that the sum of two diametrically maximal sets needs not be diametrically maximal, thus solving a question raised in a paper by Groemer. A characterization of diametrically maximal sets inis also given, providing a negative answer to Groemer's problem in finite dimensional spaces. We characterize constant width sets inc0(I), for everyI, and then we establish the connections between the Jung constant of a Banach space and the existence of constant width sets with empty interior. Porosity properties of families of sets of constant width and rotundity properties of diametrically maximal sets are also investigated. Finally, we present some results concerning non-reflexive and Hilbert spaces.

In this paper we study nonlinear elliptic problems of Neumann type driven by the p-Laplacian differential operator. We look for situations guaranteeing the existence of multiple solutions. First we study problems which are strongly resonant at infinity at the first (zero) eigenvalue. We prove five multiplicity results, four for problems with nonsmooth potential and one for problems with a C1-potential. In the last part, for nonsmooth problems in which the potential eventually exhibits a strict super-p-growth under a symmetry condition, we prove the existence of infinitely many pairs of nontrivial solutions. Our approach is variational based on the critical point theory for nonsmooth functionals. Also we present some results concerning the first two elements of the spectrum of the negative p-Laplacian with Neumann boundary condition.

The main result of the paper is a reciprocity law which proves that compatible systems of semisimple, abelianmod p representations (of arbitrary dimension) of absolute Galois groups of number fields, arise from Hecke characters. In the last section analogs for Galois groups of function fields of these results are explored, and a question is raised whose answer seems to require developments in transcendence theory in characteristic p.

Let k be a field of characteristic 0, R = k[x1, … , xd] be a polynomial ring, and m its maximal homogeneous ideal. Let I ⊂ R be a homogeneous ideal in R. Let λ(M) denote the length of an Rmodule M. In this paper, we show thatalways exists. This limit has been shown to be e(I)/d! form-primary ideals I in a local Cohen–Macaulay ring, where e(I) denotes the multiplicity of I. But we find that this limit may not be rational in general. We give an example for which the limit is an irrational number thereby showing that the lengths of these extension modules may not have polynomial growth.

In this paper, first, we will investigate the Dirichlet problem for one type of vortex equation, which generalizes the well-known Hermitian Einstein equation. Secondly, we will give existence results for solutions of these vortex equations over various complete noncompact Kähler manifolds.

Let be a cusp form with integer weight k ≥ 2 that is not a linear combination of forms with complex multiplication. For n ≥ 1, letConcerning bounded values of i f (n) we prove that for ∊ > 0 there exists M = M(∊, f ) such that Using results of Wu, we show that if f is a weight 2 cusp form for an elliptic curve without complex multiplication, then . Using a result of David and Pappalardi, we improve the exponent to for almost all newforms associated to elliptic curves without complex multiplication. Inspired by a classical paper of Selberg, we also investigate i f (n) on the average using well known bounds on the Riemann Zeta function.