Hyperbolic Chevalley groups on ℂ<Superscript>2</Superscript>

Let Γ ? U (1, 1) be the subgroup generated by the complex reflections. Suppose that Γ acts discretely on the domain K = {(z ₁, z ₂) ∈ ?² ||z ₁|² ? |z ₂|² < 0} and that the projective group PΓ acts on the unit disk B = {|z ₁/z ₂| < 1} as a Fuchsian group of signature (n ₁, ..., n _s ), s ? 3, n _i ? 2. For such groups, we prove a Chevalley type theorem, i.e., find a necessary and sufficient condition for the quotient space K/Γ to be isomorphic to ?² ? {0}.     

On nice equivalence relations on <Superscript>λ</Superscript>2

Let E be an equivalence relation on the powerset of an uncountable set, which is reasonably definable. We assume that any two subsets with symmetric difference of size exactly 1 are not equivalent. We investigate whether for E there are many pairwise non equivalent sets. I would like to thank Alice Leonhardt for the beautiful typing.This research was supported by The Israel Science Foundation. Publication 724. Mathematics Subject Classification (2000): 03E47, 03E35; 20K20, 20K35     

A study on Zoladek's example

In this paper, we consider an example of third-order polynomial planar system, proposed by Zoladek who claimed that this example had eleven small-amplitude limit&nbsp;cycles around a center. We use focus value computation to show that for this example there may exist maximal nine small-amplitude limit cycles around the center due to Hopf bifurcation.     

Monge–Ampère measures on subvarieties

In this article we address the question whether the complex Monge–Ampère equation is solvable for measures with large singular part. We prove that under some conditions there is no solution when the right-hand side is carried by a smooth subvariety in Cⁿ${\mathbb{C}}^n$ of dimension k<n$k<n$.     

Jensen’s functional equation on the symmetric group S<Subscript>n</Subscript>

Two natural extensions of Jensen’s functional equation on the real line are the equations f(xy) + f(xy ⁻¹) =  2f(x) and f(xy) + f(y ⁻¹ x) =  2f(x), where f is a map from a multiplicative group G into an abelian additive group H. In a series of papers (see Ng in Aequationes Math 39:85–99, 1990; Ng in Aequationes Math 58:311–320, 1999; Ng in Aequationes Math 62:143–159, 2001), Ng solved these functional equations for the case where G is a free group and the linear group GL_n(R), R=\mathbbZ,\mathbbR{{GL_n(R), R=\mathbb{Z},\mathbb{R}}} , is a quadratically closed field or a finite field. He also mentioned, without a detailed proof, in the above papers and in (see Ng in Aequationes Math 70:131–153, 2005) that when G is the symmetric group S _n , the group of all solutions of these functional equations coincides with the group of all homomorphisms from (S _n , ·) to (H, + ). The aim of this paper is to give an elementary and direct proof of this fact.     

Fisher–KPP equation on the Heisenberg group

In this paper, we consider the Fisher–KPP equation on the Heisenberg group. We discuss the existence of global solutions, asymptotic behavior of global solutions and blow-up solutions. Moreover, we extend the obtained results to the time-fractional Fisher–KPP equation on the Heisenberg group.     

Almost-all results on the <Emphasis Type=”Italic”>p</Emphasis><Superscript>&;#955;</Superscript> problem

Summary  We describe a procedure to construct a 4-coloured graph representing a closed, connected 3-manifold Italic>M starting from a Heegaard diagram of Italic>M. As a consequence, we prove that, to each Heegaard diagram of a (closed) 3-manifold Italic>M, canonically corresponds a spine (Italic>Heegaard spine) of Italic>M.     

Uniformity seminorms on ℓ<Superscript>∞</Superscript> and applications

A key tool in recent advances in understanding arithmetic progressions and other patterns in subsets of the integers is certain norms or seminorms. One example is the norms on ℤ/Nℤ introduced by Gowers in his proof of Szemerédi’s Theorem, used to detect uniformity of subsets of the integers. Another example is the seminorms on bounded functions in a measure preserving system (associated to the averages in Furstenberg’s proof of Szemerédi’s Theorem) defined by the authors. For each integer k ≥ 1, we define seminorms on ℓ^∞(ℤ) analogous to these norms and seminorms. We study the correlation of these norms with certain algebraically defined sequences, which arise from evaluating a continuous function on the homogeneous space of a nilpotent Lie group on a orbit (the nilsequences). Using these seminorms, we define a dual norm that acts as an upper bound for the correlation of a bounded sequence with a nilsequence. We also prove an inverse theorem for the seminorms, showing how a bounded sequence correlates with a nilsequence. As applications, we derive several ergodic theoretic results, including a nilsequence version of the Wiener-Wintner ergodic theorem, a nil version of a corollary to the spectral theorem, and a weighted multiple ergodic convergence theorem.     

On finite groups acting on ℤ<Subscript>2</Subscript>-homology 3-spheres

We consider finite groups G admitting orientation-preserving actions on homology 3-spheres (arbitrary, i.e. not necessarily free actions), concentrating on the case of nonsolvable groups. It is known that every finite group G admits actions on rational homology 3-spheres (and even free actions). On the other hand, the class of groups admitting actions on integer homology 3-spheres is very restricted (and close to the class of finite subgroups of the orthogonal group SO(4), acting on the 3-sphere). In the present paper, we consider the intermediate case of ₂-homology 3-spheres (i.e., with the ₂-homology of the 3-sphere where ₂ denote the integers mod two; we note that these occur much more frequently in 3-dimensional topology than the integer ones). Our main result is a list of finite nonsolvable groups G which are the candidates for orientation-preserving actions on ₂-homology 3-spheres. From this we deduce a corresponding list for the case of integer homology 3-spheres. In the integer case, the groups of the list are closely related to the dodecahedral group or the binary dodecahedral group most of these groups are subgroups of the orthogonal group SO(4) and hence admit actions on S³. Roughly, in the case of ₂-homology 3-spheres the groups PSL(2,5) and SL(2,5) get replaced by the groups PSL(2,q) and SL(2,q), for an arbitrary odd prime power q. We have many examples of actions of the groups PSL(2,q) and SL(2,q) on ₂-homology 3-spheres, for various small values of q (constructed as regular coverings of suitable hyperbolic 3-orbifolds and 3-manifolds, using computer-supported methods to calculate the homology of the coverings). We think that all of them occur but have no method to prove this at present (in particular, the exact classification of the finite nonsolvable groups admitting actions on ₂-homology 3-spheres remains still open).