REPRESENTATIONS OF A CLASS OF DRINFELD'S DOUBLES

Let k be a field and A_n(ω) be the Taft's n²-dimensional Hopf algebra. When n is odd, the Drinfeld quantum double D(A_n(ω)) of A_n(ω) is a ribbon Hopf algebra. In the previous articles, we constructed an n₄-dimensional Hopf algebra H_n(p, q) which is isomorphic to D(A_n(ω)) if p ≠ 0 and q = ω^?1 , and studied the irreducible representations of H_n(1, q) and the finite dimensional representations of H₃(1, q). In this article, we examine the finite-dimensional representations of H_n(l q), equivalently, of D(A_n(ω)) for any n ≥ 2. We investigate the indecomposable left H_n(1, q)-module, and describe the structures and properties of all indecomposable modules and classify them when k is algebraically closed. We also give all almost split sequences in mod H_n(1, q), and the Auslander-Reiten-quiver of H_n(1 q).     

The approximation property for spaces of holomorphic functions on infinite dimensional spaces II

Let H(U) denote the vector space of all complex-valued holomorphic functions on an open subset U of a Banach space E. Let τω and τδ respectively denote the compact-ported topology and the bornological topology on H(U). We show that if E is a Banach space with a shrinking Schauder basis, and with the property that every continuous polynomial on E is weakly continuous on bounded sets, then (H(U),τω) and (H(U),τδ) have the approximation property for every open subset U of E. The classical space c₀, the original Tsirelson space T^∗ and the Tsirelson^∗-James space are examples of Banach spaces which satisfy the hypotheses of our main result. Our results are actually valid for Riemann domains.     

The smooth Banach submanifold B*(E, F) in B(E, F)

Let E,F be two Banach spaces,B(E,F),B+(E,F),Φ(E,F),SΦ(E,F) and R(E,F) be bounded linear,double splitting,Fredholm,semi-Frdholm and finite rank operators from E into F,respectively. Let Σ be any one of the following sets:{T ∈Φ(E,F):Index T=constant and dim N(T)=constant},{T ∈ SΦ(E,F):either dim N(T)=constant< ∞ or codim R(T)=constant< ∞} and {T ∈ R(E,F):Rank T=constant< ∞}. Then it is known that Σ is a smooth submanifold of B(E,F) with the tangent space TAΣ={B ∈ B(E,F):BN(A)-R(A) } for any A ∈Σ. However,for ...     

A Combinatorial Characterization of Hermitian Curves

A unital U with parameter q is a 2 – (q ³ + 1, q + 1, 1) design. If a point set U in PG(2, q ²) together with its (q + 1)-secants forms a unital, then U is called a Hermitian arc. Through each point p of a Hermitian arc H there is exactly one line L having with H only the point p in common; this line L is called the tangent of H at p. For any prime power q, the absolute points and nonabsolute lines of a unitary polarity of PG(2, q ²) form a unital that is called the classical unital. The points of a classical unital are the points of a Hermitian curve in PG(2, q ²).Let H be a Hermitian arc in the projective plane PG(2, q ²). If tangents of H at collinear points of H are concurrent, then H is a Hermitian curve. This result proves a well known conjecture on Hermitian arcs.     

Functional equation helps in finding affine-covariant probability distributions

To select variables which provide the most relevant clustering, researchers use a probability density f that depends on the means E and the covariance matrix C of the data. Under the assumption that the distributions are normal, this density becomes proportional to f(C) = |det(C)| ^α for some real value α, where det(C) is the determinant of the matrix C. This function is affine-covariant in the sense that the ratios of the two density values do not change under an arbitrary affine transformation. In this paper, we show that only the functions f(C) = |det(C)| ^α satisfy the functional equation

Approximation by Maxwell–Herglotz‐fields

By a general argument, it is shown that Maxwell–Herglotz‐fields are dense (with respect to the C^∞(Ω)‐topology) in the space of all solutions to Maxwell's equations in Ω. This is used to provide corresponding approximation results in global spaces (e.g. in L²‐Sobolev‐spaces H^m(Ω)) and for boundary data. Proofs are given within the framework of generalized Maxwell's equations using differential forms. Copyright © 2004 John Wiley & Sons, Ltd.     

Iterative Methods for Fixed Points of Asymptotically Weakly Contractive Maps

Suppose K is a closed convex nonexpansive retract of a real uniformly smooth Banach space E with P as the nonexpansive retraction. Suppose T : K → E is an asymptotically d-weakly contractive map with sequence {k_n }, k_n ≥ 1, lim k_n = 1 and with F(T) _n int (K) ≠ ø F(T):= {x ∈ K: Tx = x}. Suppose {x _n } is iteratively defined by x _n+1 = P((l ? k_nα_n )x _n +k _n α _n T(PT) ^n?l x_n ), n = 1,2,...,x ₁ ∈ K, where α_n∈ (0,l) satisfies lim α_n = 0 and Σα_n = ∞. It is proved that {x _n } converges strongly to some x ^* ∈ F(T)∩ int K. Furthermore, if K is a closed convex subset of an arbitrary real Banach space and T is, in addition uniformly continuous, with F(T) ≠ ø, it is proved that {x_n } converges strongly to some x ^* ∈ F(T).     

The approximation property for spaces of holomorphic functions on infinite-dimensional spaces I

For an open subset U of a locally convex space E, let (H(U),τ₀) denote the vector space of all holomorphic functions on U, with the compact-open topology. If E is a separable Fréchet space with the bounded approximation property, or if E is a (DFC)-space with the approximation property, we show that (H(U),τ₀) has the approximation property for every open subset U of E. These theorems extend classical results of Aron and Schottenloher. As applications of these approximation theorems we characterize the spectra of certain topological algebras of holomorphic mappings with values in a Banach algebra.     

Codeterminants and <Emphasis Type="Italic">q</Emphasis>-Schur Algebras

We study codeterminants in the q-Schur algebra S _q (n,r) and prove that the standard ones form a basis of S _q (n,r), using a quantized version of the Désarménien matrix. We find elements of the form F _S 1_λ E _T in Lusztig’s modified enveloping algebra of gl(n), which, up to powers of q, map to the basis of standard codeterminants, where F _S ∈U ^– and E _T ∈U ⁺ are explicitly given products of root vectors, depending on Young tableaux S and T.     

Error estimates for the finite element approximation to a maxwell-type boundary value problem

Maxwell's boundary value problem for the time-harmonic case in a smooth, bounded domain G of R ² is considered. The optimal asymptotic L₂(G) and H₁(G)-error estimates 0(h²) and 0(h) resp, are derived for a piecewise linear finite element solution.     

Isometries of non-self-adjoint operator algebras

We study isometries of certain non-self-adjoint operator algebras by means of the structure of the complete holomorphic vector fields on their unit balls and the associated partial Jordan triple products. We show that isometries of nest sub-algebras of B(H) are of the form T UTW or T UJT^*JW, where U, W are suitable unitary operators and J a fixed involution of H.     

Lefschetz fixed point theory on fibrations

For a fibre preserving map ϕ: E → E on a fibration (E, π, B), we construct a grading preserving map T(ϕ, π) between H*(E) and H*(B) that generalizes the Lefschetz number. If T(ϕ, π) is an isomorphism between H ⁰(E) and H ⁰(B), then π restricts to a surjective local diffeomorphism on each connected component of the fixed point set of ϕ under a transversality condition. This yields a characterization for the bundle H → G → G/H to be trivial when π ₁ (G/H) = 0.     

Asymptotics for the Euclidean TSP with power weighted edges

Summary LetU ₁,...,U_n denote i.i.d. random variables with the uniform distribution on [0, 1]², and letT ²T²(U₁,...,U_n) denote the shortest tour throughU ₁,...,U_n with square-weighted edges. By drawing on the quasi-additive structure ofT ² and the boundary rooted dual process, it is shown that lim _n E T ²(U ₁,...,U_n)= for some finite constant .This work was supported in part by NSF Grant DMS-9200656, Swiss National Foundation Grant 21-298333.90, and the US Army Research Office through the Mathematical Sciences Institute of Cornell University, whose assistance is gratefully acknowledged     

Direct products of cyclic semigroups an unions of groups

We consider direct productsS×U_eεE G _e=S ₁×…×S _n × U_eεE G _e of non-group finite cyclic semigroupsS _i, 1 ≤i ≤n, and finite unions of finite groups U_eεE G _e We prove that if such a semigroup is isomorphic to another of the same form, sayT×U _fεF H _f =T ₁×…×U _fεF H _f , whereT _j are non-group cyclic semigroups, 1≤j≤l, and U _fεF H _f is a union of groups, thenS is isomorphic toT and U_eεE G _e is isomorphic to U_fεF H _f . We then determine when a finite semigroup has such a decomposition and show how the direct factors can be found.     

Cohomologie galoisienne des groupes quasi-déployés sur des corps de dimension cohomologique ≤2; Galois cohomology of quasi-split groups over fields of cohomological dimension ≤ 2

Let k be a perfect field with cohomological dimension 2. Serre's conjecture II claims that the Galois cohomology set H ¹(k,G) is trivial for any simply connected semi-simple algebraic G/k and this conjecture is known for groups of type ¹ A _n after Merkurjev–Suslin and for classical groups and groups of type F ₄ and G ₂ after Bayer–Parimala. For any maximal torus T of G/k, we study the map H ¹(k, T) H ¹(k, G) using an induction process on the type of the groups, and it yields conjecture II for all quasi-split simply connected absolutely almost k-simple groups with type distinct from E ₈. We also have partial results for E ₈ and for some twisted forms of simply connected quasi-split groups. In particular, this method gives a new proof of Hasse principle for quasi-split groups over number fields including the E ₈-case, which is based on the Galois cohomology of maximal tori of such groups.     

Existence and nonexistence of global solutions to the Cauchy problem for a nonlinear beam equation

The paper studies the existence and nonexistence of global solutions to the Cauchy problem for a nonlinear beam equation arising in the model in variational form for the neo–Hookean elastomer rod where k₁, k₂>0 are real numbers, g(s) is a given nonlinear function. When g(s)=sⁿ (where n?2 is an integer), by using the Fourier transform method we prove that for any T>0, the Cauchy problem admits a unique global smooth solution u∈C^∞((0, T]; H^∞( R ))∩C([0, T]; H³( R ))∩C¹([0, T]; H^?1( R )) as long as initial data u₀∈W^{4, 1}( R )∩H³( R ), u₁∈L¹( R )∩H^?1( R ). Moreover, when (u₀, u₁)∈H²( R ) × L²( R ), g∈C²( R ) satisfy certain conditions, the Cauchy problem has no global solution in space C([0, T]; H²( R ))∩C¹([0, T]; L²( R ))∩H¹(0, T; H²( R )). Copyright © 2009 John Wiley & Sons, Ltd.     

Representations of Hardy Algebras: Absolute Continuity,Intertwiners, and Superharmonic Operators

Suppose T₊(E){\mathcal{T}_{+}(E)} is the tensor algebra of a W*-correspondence E and H ^∞(E) is the associated Hardy algebra. We investigate the problem of extending completely contractive representations of T₊(E){\mathcal{T}_{+}(E)} on a Hilbert space to ultra-weakly continuous completely contractive representations of H ^∞(E) on the same Hilbert space. Our work extends the classical Sz.-Nagy–Foiaş functional calculus and more recent work by Davidson, Li and Pitts on the representation theory of Popescu’s noncommutative disc algebra.     

Exposants de Lyapounov pour opérateurs de Schrödinger discrètes quasi-périodiquesLyapounov exponents for discrete,quasi-periodic Schrödinger operators

We consider quasi-periodic Schrödinger operators H on $\text{Z}$ of the form H=H_λ,x,ω=λv(x+nω)δ_n,n′+Δ where v is a non-constant real analytic function on the d-torus $\text{T}{}^{\mathrm{d}}\text{(d?1)}$ and Δ denotes the discrete lattice Laplacian on $\text{Z}$. Denote by L_ω(E) the Lyapounov exponent, considered as function of the energy E and the rotation vector $\text{ω∈}\text{T}{}^{\mathrm{d}}$. It is shown that for |λ|>λ₀(v), there is the uniform minoration $\text{L}{}_{\mathrm{\omega }}\text{(E)>}\text{1}\text{2}\text{log}\text{|λ|}$ for all E and ω. For all λ and ω, L_ω(E) is a continuous function of E. Moreover, L_ω(E) is jointly continuous in (ω,E), at any point $\text{(ω}{}_0\text{,E}{}_0\text{)∈}\text{T}{}^{\mathrm{d}}\text{×}\text{R}$ such that k·ω₀≠0 for all $\text{k∈}\text{Z}{}^{\mathrm{d}}\text{?{0}}$. To cite this article: J. Bourgain, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 529–531.