Category and compact leaves

We prove that if F is a C¹-foliation of a compact manifold M with finite transverse saturated LS category, , then F has a compact leaf. In contrast, we show that if F is expansive on some non-trivial minimal set of F, then . Examples of foliations are given to illustrate the main results of the paper.     

The Liouville equation in a half-plane

We classify the solutions of the equation Δu+aeu=0 in the half-plane that satisfy the Neumann boundary condition ∂u/∂t=ceu/2 on . An analogous problem in the once punctured disc D^∗⊂R² is also solved.     

On codimension one foliations with Morse singularities on three-manifolds

A closed, connected oriented three-manifold supporting a codimension one oriented smooth foliation with Morse singularities having more centers than saddles and without saddle connections is diffeomorphic to the three-sphere. The use of the Reeb Stability theorem in place of the Poincaré-Bendixson theorem paves the way to a three-dimensional version, for foliations with singularities of Morse type, of a classical result of Haefliger. Finally, we give an example of a codimension one C^∞ foliation in the closed ball , with only one singularity which is of saddle type 2-2 and transverse to the boundary S³=∂B⁴.     

Classification of solutions of a critical Hardy-Sobolev operator

In this article we classify all positive finite energy solutions of the equation in Rⁿ where and a point x∈Rⁿ is denoted as x=(y,z)∈R^k×R^n-k. As a consequence we obtain the best constant and extremals of a related Hardy-Sobolev inequality.     

Quartic, octic residues and Lucas sequences

Let be a prime and a,b∈Z with a²+b²≠p. Suppose p=x²+(a²+b²)y² for some integers x and y. In the paper we develop the calculation technique of quartic Jacobi symbols and use it to determine . As applications we obtain the congruences for modulo p and the criteria for (if ), where {Un} is the Lucas sequence given by U₀=0, U₁=1 and Un+1=bUn+k²Un−1(n?1). We also pose many conjectures concerning , or .     

Signatures of foliated surface bundles and the symplectomorphism groups of surfaces

For any closed oriented surface Σ_g of genus g?3, we prove the existence of foliatedΣ_g-bundles over surfaces such that the signatures of the total spaces are non-zero. We can arrange that the total holonomy of the horizontal foliations preserve a prescribed symplectic form ω on the fiber. We relate the cohomology class represented by the transverse symplectic form to a crossed homomorphism which is an extension of the flux homomorphism from the identity component to the whole group of symplectomorphisms of Σ_g with respect to the symplectic form ω.     

Stability of spacelike hypersurfaces in foliated spacetimes

Given a generalized Robertson-Walker spacetime whose warping function verifies a certain convexity condition, we classify strongly stable spacelike hypersurfaces with constant mean curvature. More precisely, we will show that given a closed, strongly stable spacelike hypersurface of with constant mean curvature H, if the warping function ? satisfying ?^″?max{H?^′,0} along M, then Mn is either maximal or a spacelike slice Mt₀={t₀}×F, for some t₀∈I.     

Quadratic addition rules for quantum integers

For every positive integer n, the quantum integer [n]_q is the polynomial [n]_q=1+q+q²+?+q^n-1. A quadratic addition rule for quantum integers consists of sequences of polynomials , , and such that for all m and n. This paper gives a complete classification of quadratic addition rules, and also considers sequences of polynomials that satisfy the associated functional equation .     

Monoids with sub-log-exponential free spectra

A classic result from the 1960s states that the asymptotic growth of the free spectrum of a finite group is sub-log-exponential if and only if is nilpotent. Thus a monoid is sub-log-exponential implies , the pseudovariety of semigroups with nilpotent subgroups. Unfortunately, little more is known about the boundary between the sub-log-exponential and log-exponential monoids.The pseudovariety consists of those finite semigroups satisfying (x^ωy^ω)^ω(y^ωx^ω)^ω(x^ωy^ω)^ω≈(x^ωy^ω)^ω. Here it is shown that a monoid is sub-log-exponential implies . A quick application: a regular sub-log-exponential monoid is orthodox. It is conjectured that a finite monoid is sub-log-exponential if and only if it is , the finite monoids in having nilpotent subgroups. The forward direction of the conjecture is proved; moreover, the conjecture is proved for when is completely (0)-simple. In particular, the six-element Brandt monoid (the Perkins semigroup) is sub-log-exponential.     

Quantum Schur superalgebras and Kazhdan-Lusztig combinatorics

We introduce the notion of quantum Schur (or q-Schur) superalgebras. These algebras share certain nice properties with q-Schur algebras such as the base change property, the existence of canonical Z[v,v⁻¹]-bases, the duality relation with Manin’s quantum matrix superalgebra A(m|n), and the bridging role between quantum enveloping superalgebras of gl(m|n) and the Hecke algebras of type A. We also construct a cellular -basis and determine its associated cells, called supercells, in terms of a Robinson-Schensted-Knuth supercorrespondence. In this way, we classify all irreducible representations over via supercell modules.     

Solution of a nonsymmetric algebraic Riccati equation from a two-dimensional transport model

For the steady-state solution of an integral-differential equation from a two-dimensional model in transport theory, we shall derive and study a nonsymmetric algebraic Riccati equation B^--XF^--F⁺X+XB⁺X=0, where , and with a nonnegative matrix P, positive diagonal matrices D^±, and nonnegative parameters f, and . We prove the existence of the minimal nonnegative solution X^∗ under the physically reasonable assumption , and study its numerical computation by fixed-point iteration, Newton’s method and doubling. We shall also study several special cases; e.g. when and P is low-ranked, then is low-ranked and can be computed using more efficient iterative processes in U and V. Numerical examples will be given to illustrate our theoretical results.     

On the stability of limit cycles for planar differential systems

We consider a planar differential system , , where P and Q are C¹ functions in some open set U⊆R², and . Let γ be a periodic orbit of the system in U. Let f(x,y):U⊆R²→R be a C¹ function such that

     

Index formulas for higher order Loewner vector fields

Let be the Cauchy-Riemann operator and f be a Cn real-valued function in a neighborhood of 0 in R² in which for all z≠0. In such cases, is known as a Loewner vector field due to its connection with Loewner's conjecture that the index of such a vector field is bounded above by n. The n=2 case of Loewner's conjecture implies Carathéodory's conjecture that any C²-immersion of S² into R³ must have at least two umbilics. Recent work of F. Xavier produced a formula for computing the index of Loewner vector fields when n=2 using data about the Hessian of f. In this paper, we extend this result and establish an index formula for for all n?2. Structurally, our index formula provides a defect term, which contains geometric data extracted from Hessian-like objects associated with higher order derivatives of f.