Type A Hecke algebras and related algebras

Let be the Hecke algebra of the symmetric group over a field K of characteristic and a primitive -th root of one in K. We show that an -module is projective if and only if its restrictions to any -parabolic subalgebra of is projective. Moreover, we give a new construction of blocks of -parabolic subalgebras, in terms of skew group algebras over local commutative algebras. Received: 30 June 2003     

Finite splitting fields of normal subgroups

Let G be a finite group, a normal subgroup, p a prime, a finite splitting field of characteristic p for G and We prove that is a splitting field for N, using the action of the Galois group of the field extension on the irreducible representations of N. As is a splitting field for the symmetric group S_n we get as a corollary that is a splitting field for the alternating group A_n. Received: 31 July 2003     

Critical eigenvalues for a nonlinear problem

We study the application, , where is the supremum of positive s such that the problem admits a solution. Where B ₁ is the unit ball in We show that is a decreasing function, with where is the unique solution of the problem . We also give the explicit solutions of the problem , when and show that . We show that the problem doesnt admit a solution. In the end, we give a numerical approximation of , when .     

A Helly-type theorem for countable intersections of starshaped sets

Let k and d be fixed integers, 0kd, and let be a collection of sets in If every countable subfamily of has a starshaped intersection, then is (nonempty and) starshaped as well. Moreover, if every countable subfamily of has as its intersection a starshaped set whose kernel is at least k-dimensional, then the kernel of is at least k-dimensional, too. Finally, dual statements hold for unions of sets.Received: 3 April 2004     

Non-collision periodic solutions for singular Hamiltonian systems

We study the existence of classical (non-collision) T-periodic solutions of the Hamiltonian system where and is a T-periodic function in t which has a singularity at like Under suitable conditions on H, we prove that if then (HS) possesses at least one non-collision solution and if then the generalized solution of (HS) obtained in [5] has at most one time of collision in its period.     

Weak Hopf Algebras Corresponding to Borcherds-Cartan Matrices

Let y be a generalized Kac-Moody algebra with an integral Borcherds-Cartan matrix. In this paper, we define a d-type weak quantum generalized Kac-Moody algebra wUq^d（y）, which is a weak Hopf algebra. We also study the highest weight module over the weak quantum algebra wUdq^d（y） and weak A-forms of wUq^d（y）.     

On the geometry of metric measure spaces. II

We introduce a curvature-dimension condition CD (K, N) for metric measure spaces. It is more restrictive than the curvature bound (introduced in [Sturm K-T (2006) On the geometry of metric measure spaces. I. Acta Math 196:65–131]) which is recovered as the borderline case CD(K, ∞). The additional real parameter N plays the role of a generalized upper bound for the dimension. For Riemannian manifolds, CD(K, N) is equivalent to and dim(M) ⩽ N. The curvature-dimension condition CD(K, N) is stable under convergence. For any triple of real numbers K, N, L the family of normalized metric measure spaces (M, d, m) with CD(K, N) and diameter ⩽ L is compact. Condition CD(K, N) implies sharp version of the Brunn–Minkowski inequality, of the Bishop–Gromov volume comparison theorem and of the Bonnet–Myers theorem. Moreover, it implies the doubling property and local, scale-invariant Poincaré inequalities on balls. In particular, it allows to construct canonical Dirichlet forms with Gaussian upper and lower bounds for the corresponding heat kernels.     

Ample vector bundles with zero loci of sectional genus two

Let X be a smooth complex projective variety and let be a smooth submanifold of dimension , which is the zero locus of a section of an ample vector bundle of rank on X. Let H be an ample line bundle on X, whose restriction H_Z to Z is generated by global sections. Triplets as above are classified under the assumption that is a polarized manifold of sectional genus 2. This can be regarded as a step towards the classification of ample vector bundles of corank one and curve genus two. Received: 6 June 2003     

A problem of Kusner on equilateral sets

R. B. Kusner [R. Guy, Amer. Math. Monthly 90, 196-199 (1983)] asked whether a set of vectors in such that the distance between any pair is 1, has cardinality at most d + 1. We show that this is true for p = 4 and any , and false for all 1<p<2 with d sufficiently large, depending on p. More generally we show that the maximum cardinality is at most if p is an even integer, and at least if 1<p<2, where depends on p. Received: 5 May 2003     

Products of characters and finite <Emphasis Type="Italic">p</Emphasis>-groups II

Let p be a prime number. Let G be a finite p-group and . Denote by the complex conjugate of . Assume that . We show that the number of distinct irreducible constituents of the product is at least . Received: 17 March 2003     

On spherical ideals of Borel subalgebras

The goal of this paper is to extend some previous results on abelian ideals of Borel subalgebras to so-called spherical ideals of These are ideals of such that their G-saturation is a spherical G-variety. We classify all maximal spherical ideals of for all simple G.Received: 25 March 2004     

The normal subgroup structure of the extended Hecke groups

We consider the extended Hecke groups generated by T(z) = −1/z, S(z) = −1/(z + λ) and R(z) = 1/z with λ ≥ 2. In this paper, firstly, we study the fundamental region of the extended Hecke groups . Then, we determine the abstract group structure of the commutator subgroups , the even subgroup , and the power subgroups of the extended Hecke groups . Also, finally, we give some relations between them.     

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.     

Properties of Auto- and Antiautomorphisms of Maximal Chain Structures and their Relations to i-Perspectivities

Let E be a non empty set, let P : = E × E, := {x × E|x ∈ E}, := {E × x|x ∈ E}, and := {C ∈ 2 ^P |∀X ∈ : |C ∩ X| = 1} and let . Then the quadruple resp. is called chain structure resp. maximal chain structure. We consider the maximal chain structure as an envelope of the chain structure . Particular chain structures are webs, 2-structures, (coordinatized) affine planes, hyperbola structures or Minkowski planes. Here we study in detail the groups of automorphisms , , , related to a maximal chain structure . The set of all chains can be turned in a group such that the subgroup of generated by the left-, by the right-translations and by ι the inverse map of is isomorphic to (cf. (2.14)).     

On the Convergence of Products γ^-sh1hn in the Adams Spectral Sequence

Abstract Let A be the mod p Steenrod algebra and S the sphere spectrum localized at p, where p is an odd prime. In 2001 Lin detected a new family in the stable homotopy of spheres which is represented by （b0hn-h1bn-1）∈ ExtA^3,（p^n＋p）q（Zp,Zp） in the Adams spectral sequence. At the same time, he proved that i.（hlhn） ∈ExtA^2,（p^n＋P）q（H^＊M, Zp） is a permanent cycle in the Adams spectral sequence and converges to a nontrivial element ξn∈π（p^n＋p）q-2M. In this paper, with Lin＇s results, we make use of the Adams spectral sequence and the May spectral sequence to detect a new nontrivial family of homotopy elements jj′j^-γsi^-i′ξn in the stable homotopy groups of spheres. The new one is of degree p^nq ＋ sp^2q ＋ spq ＋ （s - 2）q ＋ s - 6 and is represented up to a nonzero scalar by hlhnγ-s in the E2^s＋2,＊-term of the Adams spectral sequence, where p ≥ 7, q = 2（p - 1）, n ≥ 4 and 3 ≤ s 〈 p.     

Blow-up criterion for 2-D Boussinesq equations in bounded domain

We extend the results for 2-D Boussinesq equations from ℝ² to a bounded domain Ω. First, as for the existence of weak solutions, we transform Boussinesq equations to a nonlinear evolution equation U _t + A(t, U) = 0. In stead of using the methods of fundamental solutions in the case of entire ℝ², we study the qualities of F(u, υ) = (u · ▽)υ to get some useful estimates for A(t, U), which helps us to conclude the local-in-time existence and uniqueness of solutions. Second, as for blow-up criterions, we use energy methods, Sobolev inequalities and Gronwall inequality to control and by and . Furthermore, can control by using vorticity transportation equations. At last, can control . Thus, we can find a blow-up criterion in the form of .      

Wavelets and Geometric Structure for Function Spaces

Abstract With Littlewood–Paley analysis, Peetre and Triebel classified, systematically, almost all the usual function spaces into two classes of spaces: Besov spaces and Triebel–Lizorkin spaces ; but the structure of dual spaces of is very different from that of Besov spaces or that of Triebel–Lizorkin spaces, and their structure cannot be analysed easily in the Littlewood–Paley analysis. Our main goal is to characterize in tent spaces with wavelets. By the way, some applications are given: (i) Triebel–Lizorkin spaces for p = ∞ defined by Littlewood–Paley analysis cannot serve as the dual spaces of Triebel–Lizorkin spaces for p = 1; (ii) Some inclusion relations among these above spaces and some relations among and L ¹ are studied. Supported by NNSF of China (Grant No. 10001027)     

Ultraproducts of real interpolation spaces between L p -spaces

Let , be a family of compatible couples of L^p-spaces. We show that, given a countably incomplete ultrafilter in , the ultraproduct of interpolation spaces defined by the real method is isomorphic to the direct sum of an interpolation space of type , an intermediate K?the space between and being a purely atomic measure space, and a K?the function space K(Ω₃) defined on some purely non atomic measure space (Ω₃, ν₃) in such a way that Ω₂ ∪ Ω₃ ≠∅. The research of first and third authors is partially supported by the MEC and FEDER project MTM2004-02262 and AVCIT group 03/050.     

On higher order Bessel potentials

The solutions of the equation in , where are investigated, Bessel potentials of higher order are defined, and recurrence relations between these solutions and these Bessel potentials are obtained. It is also proved that these solutions and the solutions of , under certain conditions, are identical. Received: 6 November 2002