On Macbeath-Singerman symmetries of Belyi surfaces with PSL(2,p) as a group of automorphisms

The famous theorem of Belyi states that the compact Riemann surface X can be defined over the number field if and only if X can be uniformized by a finite index subgroup Γ of a Fuchsian triangle group Λ. As a result such surfaces are now called Belyi surfaces. The groups PSL(2,q),q=p ⁿ are known to act as the groups of automorphisms on such surfaces. Certain aspects of such actions have been extensively studied in the literature. In this paper, we deal with symmetries. Singerman showed, using acertain result of Macbeath, that such surfaces admit a symmetry which we shall call in this paper the Macbeath-Singerman symmetry. A classical theorem by Harnack states that the set of fixed points of a symmetry of a Riemann surface X of genus g consists of k disjoint Jordan curves called ovals for some k ranging between 0 and g+1. In this paper we show that given an odd prime p, a Macbetah-Singerman symmetry of Belyi surface with PSL(2,p) as a group of automorphisms has at most     

Some greedyt-intersecting families of finite sequences

Letn, s ₁,s ₂, ... ands _n be positive integers. Assume is an integer for eachi}. For , , and , denotes _p (a)={j|1jn,a _j p}, , and . is called anI _t ^p -intersecting family if, for any a,b ,a _i b _i =min(a _i ,b _i )p for at leastt i's. is called a greedyI _t ^P -intersecting family if is anI _t ^p -intersecting family andW _p (A)W _p (B+A ^c ) for anyAS _p ( ) and any with |B|=t–1.In this paper, we obtain a sharp upper bound of | | for greedyI _t ^p -intersecting families in for the case 2ps _i (1in) ands ₁>s ₂>...>s _n .This project is partially supported by the National Natural Science Foundation of China (No.19401008) and by Postdoctoral Science Foundation of China.     

Representation of finite groups and the first Betti number of branched coverings of a universal Borromean orbifold

The paper studies the first homology of finite regular branched coverings of a universal Borromean orbifold called B _4,4,4ℍ³. We investigate the irreducible components of the first homology as a representation space of the finite covering transformation group G. This gives information on the first betti number of finite coverings of general 3-manifolds by the universality of B _4,4,4. The main result of the paper is a criterion in terms of the irreducible character whether a given irreducible representation of G is an irreducible component of the first homology when G admits certain symmetries. As a special case of the motivating argument the criterion is applied to principal congruence subgroups of B _4,4,4. The group theoretic computation shows that most of the, possibly nonprincipal, congruence subgroups are of positive first Betti number. This work is partially supported by the Sonderforschungsbereich 288.     

The minimizing of the Nielsen root classes

Given a map f: X→Y and a Nielsen root class, there is a number associated to this root class, which is the minimal number of points among all root classes which are H-related to the given one for all homotopies H of the map f. We show that for maps between closed surfaces it is possible to deform f such that all the Nielsen root classes have cardinality equal to the minimal number if and only if either N R[f]≤1, or N R[f]>1 and f satisfies the Wecken property. Here N R[f] denotes the Nielsen root number. The condition “f satisfies the Wecken property is known to be equivalent to |deg(f)|≤N R[f]/(1−χ(M ₂)−χ(M ₁0/(1−χ(M ₂)) for maps between closed orientable surfaces. In the case of nonorientable surfaces the condition is A(f)≤N R[f]/(1−χ(M ₂)−χ(M ₂)/(1−χ(M ₂)). Also we construct, for each integer n≥3, an example of a map f: K _n →N from an n-dimensionally connected complex of dimension n to an n-dimensional manifold such that we cannot deform f in a way that all the Nielsen root classes reach the minimal number of points at the same time.     

The L p -curvature images of convex bodies and L p -projection bodies

Associated with the L _p -curvature image defined by Lutwak, some inequalities for extended mixed p-affine surface areas of convex bodies and the support functions of L _p -projection bodies are established. As a natural extension of a result due to Lutwak, an L _p -type affine isoperimetric inequality, whose special cases are L _p -Busemann-Petty centroid inequality and L _p -affine projection inequality, respectively, is established. Some L _p -mixed volume inequalities involving L _p -projection bodies are also established.     

Exact Convergence Rate for the Distributions of GI/M/c/K Queue as K Tends to Infinity

We obtain the exact convergence rate of the stationary distribution ^(K) of the embedded Markov chain in GI/M/c/K queue to the stationary distribution of the embedded Markov chain in GI/M/c queue as K. Similar result for the time-stationary distributions of queue size is also included. These generalize Choi and Kim's results of the case c=1 by nontrivial ways. Our results also strengthen the Simonot's results [5].     

On the lattice of deductive systems of a BL-algebra

For a BL-algebra A we denote by Ds(A) the lattice of all deductive systems of A. The aim of this paper is to put in evidence new characterizations for the meet-irreducible elements on Ds(A). Hyperarchimedean BL-algebras, too, are characterized.     

Local properties of the solution set of the operator equation in Banach spaces in a neighbourhood of a bifurcation point

In this work we study the problem of the existence of bifurcation in the solution set of the equation F(x, λ)=0, where F: X×R ^k →Y is a C ²-smooth operator, X and Y are Banach spaces such that X⊂Y. Moreover, there is given a scalar product 〈·,·〉: Y×Y→R ¹ that is continuous with respect to the norms in X and Y. We show that under some conditions there is bifurcation at a point (0, λ₀)∈X×R ^k and we describe the solution set of the studied equation in a small neighbourhood of this point.     

On the weak non-defectivity of veronese embeddings of projective spaces

Fix integers n, x, k such that n≥3, k>0, x≥4, (n, x)≠(3, 4) and k(n+1)<( _n ^n+x ). Here we prove that the order x Veronese embedding ofP ⁿ is not weakly (k−1)-defective, i.e. for a general S⊃P ⁿ such that #(S) = k+1 the projective space | I _2S (x)| of all degree t hypersurfaces ofP ⁿ singular at each point of S has dimension ( _n ^/n+x )−1− k(n+1) (proved by Alexander and Hirschowitz) and a general F∈| I _2S (x)| has an ordinary double point at each P∈ S and Sing (F)=S. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

Realization of primitive branched coverings over closed surfaces following the hurwitz approach

Let V be a closed surface, H⊑π₁(V) a subgroup of finite index l and D=[A ₁,...,A _m ] a collection of partitions of a given number d≥2 with positive defect v(D). When does there exist a connected branched covering f:W→V of order d with branch data D and f∶W→V It has been shown by geometric arguments [4] that, for l=1 and a surface V different from the sphere and the projective plane, the corresponding branched covering exists (the data D is realizable) if and only if the data D fulfills the Hurwitz congruence v(D)э0 mod 2. In the case l>1, the corresponding branched covering exists if and only if v(D)э0 mod 2, the number d/l is an integer, and each partition A _i ∈D splits into the union of l partitions of the number d/l. Here we give a purely algebraic proof of this result following the approach of Hurwitz [11]. The realization problem for the projective plane and l=1 has been solved in [7,8]. The case of the sphere is treated in [1, 2, 12, 7].     

A unified theory of R-continuity

We introduce and investigate R-M-continuous functions defined between sets satisfying some minimal conditions. The functions enable us to formulate a unified theory of modifications of R-continuity [22]: R-irresoluteness [6], R-preirresoluteness [7].      

Nonadaptive search problem with sets of equal sum

Consider the set A={1,2,3,…,2 ⁿ }, n≥3 and let x∈ A be unknown element. For given natural number S we are allowed to ask whether x belongs to a subset B of A such that the sum of the elements of B equals S. We investigate for which S it is possible to find x using a nonadaptive search.     

Approximation in the mean by rational functions

In this paper we proved that for a large class of compact subsetsK in the complex plane,R(K) is dense inL ^q () if and only if the set of analytic bounded point evaluations forR ^q (K, ) is empty. As a consequence, we showed that this result is true for allK ifR(K) is replaced byA(K). Our main result includes the corresponding result of James Thomson for polynomials approximation as such a special case thatK is a disk.     

Localization of <Emphasis Type="Italic">LM</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-algebras

The aim of this paper is to define the localization LM _n -algebra of an LM _n —algebra L with respect to a topology F on L; in Section 5 we prove that the maximal LM _n -algebra of fractions (defined in [3]) and the LM _n -algebra of fractions relative to an Λ—closed system (defined in Section 2) are LM _n -algebras of localization.     

Banach manifolds of algebraic elements in the algebra $$\mathcal{L}$$ ( H) of bounded linear operatorsof bounded linear operators

Given a complex Hilbert space H, we study the manifold of algebraic elements in . We represent as a disjoint union of closed connected subsets M of Z each of which is an orbit under the action of G, the group of all C^*-algebra automorphisms of Z. Those orbits M consisting of hermitian algebraic elements with a fixed finite rank r, (0< r<∞) are real-analytic direct submanifolds of Z. Using the C^*-algebra structure of Z, a Banach-manifold structure and a G-invariant torsionfree affine connection ∇ are defined on M, and the geodesics are computed. If M is the orbit of a finite rank projection, then a G-invariant Riemann structure is defined with respect to which ∇ is the Levi-Civita connection. Supported by Ministerio de Educación y Cultura of Spain, Research Project BFM2002-01529.     

A geometric theory of harmonic and semi-conformal maps

We describe for any Riemannian manifold M a certain scheme M _L , lying in between the first and second neighbourhood of the diagonal of M. Semi-conformal maps between Riemannian manifolds are then analyzed as those maps that preserve M _L ; harmonic maps are analyzed as those that preserve the (Levi-Civita-) mirror image formation inside M _L .     

Characterizations of spaces in the unit ball of

Let B denote the unit ball of . For 0<p<∞, the holomorphic function spaces Q_p and Q_p,0 on the unit ball of are defined as

and

In this paper, we give some derivative-free, mixture and oscillation characterizations for Q_p and Q_p,0 spaces in the unit ball of .     

Some complete metrics on spaces of fuzzy subsets

The classes of the L_p,∞- and L_p-metrics play an important role to develop a probability theory in fuzzy sample spaces. All of these metrics are known to be separable, but not complete. The classes are closely related as for each L_p,∞-metric there exists some L_p-metric which induces the same topology. This paper deals with the completion of the L_p,∞- and L_p-metrics. We can also show that the relationship between the classes of L_p,∞- and L_p-metrics still holds for the obtained respective classes of their completions.     

Absolute summability of infinite series

It is shown in [4] that if a normal matrix,A satisfies some conditions then |C,1| _k summability implies |A| _k summability wherek≥1. In the present paper, we consider the converse implication.     

Infinitesimally homogeneous submanifolds of euclidean spaces

For a class of submanifolds of ^N, the infinitesimally homogeneous ones, the second fundamental form and itss-times iterated derivativessk+1 at any fixed point determine the immersion uniquely. The integerk>0 will be called the extrinsic Singer invariant. Any infinitesimally homogeneous submanifoldM (which is not necessarily complete) is an open part of a globally homogeneous (complete) submanifold. Indeed, the infinitesimal data at any pointp, determine, canonically, a Lie subgroupG of the isometry group of ^N , whose orbit atp is a complete submanifold that extendsM. Work partially supported by the GNSAGA of CNR and by the MURST of Italy