A modular absolute bound condition for primitive association schemes

The well-known absolute bound condition for a primitive symmetric association scheme (X,S) gives an upper bound for |X| in terms of |S| and the minimal non-principal multiplicity of the scheme. In this paper we prove another upper bounds for |X| for an arbitrary primitive scheme (X,S). They do not depend on |S| but depend on some invariants of its adjacency algebra KS where K is an algebraic number field or a finite field. Partially supported by RFBR grants 07-01-00485, 08-01-00379 and 08-01-00640. The paper was done during the stay of the author at the Faculty of Science of Shinshu University.     

Shared values of meromorphic functions on compact Riemann surfaces

Let S be a compact Riemann surface of genus g and gonality d. We derive upper bounds (in terms of g and/or d) for the number of values that two non-constant meromorphic functions on S can share. The case d = 2 (i.e., the surface is hyperelliptic or elliptic) is studied in more detail.Received: 14 April 2004     

Numerical Schottky Uniformizations

A real algebraic curve of algebraic genus g ≥ 2 is a pair (S, τ), where S is a closed Riemann surface of genus g and τ is a reflection on S (anticonformal involution with fixed points). In this note, we discuss a numerical (Burnside) program which permits to obtain a Riemann period matrix of the surface S in terms of an uniformizing real Schottky group. If we denote by Aut₊(S, τ) the group of conformal automorphisms of S commuting with the real structure τ, then it is a well known fact that |Aut₊(S,τ)| ≥ 12(g−1). We say that (S,τ) is maximally symmetric if |Aut₊(S,τ)|=12(g−1). We work explicitly such a numerical program in the case of maximally symmetric real curves of genus two. We construct a real Schottky uniformization for each such real curve and we use the numerical program to obtain a real algebraic curve, a Riemann period matrix and the accessory parameters in terms of the corresponding Schottky uniformization. In particular, we are able to give for Bolza’s curve a Schottky uniformization (at least numerically), providing an example for which the inverse uniformization theorem is numerically solved.Partially supported by Projects Fondecyt 1030252 1030373 and UTFSM 12.03.21     

Dimensions of reductive automorphism groups

Let G be a reductive algebraic group acting regularly and effectively on an algebraic variety M. We obtain upper bounds for dim(G) in terms of dim(M). In particular, we improve results of Carayol.     

Essential p-dimension of the normalizer of a maximal torus

We compute the exact value of the essential p-dimension of the normalizer of a split maximal torus for most simple connected linear algebraic groups. These values give new upper bounds on the essential p-dimension of some simple groups, including some exceptional groups. For each connected simple algebraic group, we also give an upper bound on the essential p-dimension of any torus contained in that group. These results are achieved by a detailed case-by-case analysis.     

Graphs and ranks of monoids

For a finite monoid S, let ν(S) (ν_d(S)) denote the least number n such that there exists a graph (directed graph) Γ of order n with End(Γ)?S. Also let rank(S) be the smallest number of elements required to generate S. In this paper, we use Cayley digraphs of monoids, to connect lower bounds of ν(S) (ν_d(S)) to the lower bounds of rank(S). On the other hand, we connect upper bounds of rank(S) to upper bounds of ν(S) (ν_d(S)).     

Association Schemes and Fusion Algebras (An Introduction)

We introduce the concept of fusion algebras at algebraic level, as a purely algebraic concept for the fusion algebras which appear in conformal field theory in mathematical physics. We first discuss the connection between fusion algebras at algebraic level and character algebras, a purely algebraic concept for Bose-Mesner algebras of association schemes. Through this correspondence, we establish the condition when the matrix S of a fusion algebra at algebraic level is unitary or symmetric. We construct integral fusion algebras at algebraic level, from association schemes, in particular from group association schemes, whose matrix S is unitary and symmetric. Finally, we consider whether the modular invariance property is satisfied or not, namely whether there exists a diagonal matrix T satisfying the condition (ST)³ = S ². We prove that this property does not hold for some integral fusion algebras at algebraic level coming from the group association scheme of certain groups of order 64, and we also prove that the (nonintegral) fusion algebra at algebraic level obtained from the Hamming association scheme H(d, q) has the modular invariance property.     

A note on the modality of parabolic subgroups

For an algebraic group R acting morphically on an algebraic variety X the modality of the action, mod(R : X), is the maximal number of parameters on which a family of R-orbits on X depends upon.Let G be a simple algebraic group defined over an algebraically closed field K of characteristic 0. Let P be a parabolic subgroup of G. Then P acts on its unipotent radical P_u via conjugation. The modality of P is defined as mod P mod(P : P_u).Let r and s be the semisimple rank of G and P respectively. We show that there is a quadratic polynomial ƒ with rational coefficients such that the modality of P is at least ƒ(r − s). In particular, the modality of a Borel subgroup B of G grows at least quadratically with r. As a consequence, we obtain a finiteness result for algebraic groups from [8]: there is only a finite number of simple algebraic groups admitting parabolic subgroups of prescribed semisimple rank and prescribed modality. Combining our lower bounds with upper bounds from [6], we can compute the modality of Borel subgroups in some small rank cases.     

On the Finiteness of Near Polygons with 3 Points on Every Line

Let S be a near polygon of order (s, t) with quads through every two points at distance 2. The near polygon S is called semifinite if exactly one of s and t is finite. We show that S cannot be semifinite if s = 2 and derive upper bounds for t.     

Upper bounds on the length of the shortest closed geodesic on simply connected manifolds

The subject of this paper is upper bounds on the length of the shortest closed geodesic on simply connected manifolds with non-trivial second homology group. We will give three estimates. The first estimate will explicitly depend on volume and the upper bound for the sectional curvature; the second estimate will depend on diameter, a positive lower bound for the volume, and on the (possibly negative) lower bound on sectional curvature; the third estimate will depend on diameter, on a (possibly negative) lower bound for the sectional curvature and on a lower bound for the simply-connectedness radius. The technique that we develop in order to obtain the last result will also enable us to estimate the homotopy distance between any two closed curves on compact simply connected manifolds of sectional curvature bounded from below and diameter bounded from above. More precisely, let c be a constant such that any metric ball of radius is simply connected. There exists a homotopy connecting any two closed curves such that the length of the trajectory of the points during this homotopy has an upper bound in terms of the lower bound of the curvature, the upper bound of diameter and c. Received November 10, 1997; in final form June 23, 1998     

Quantifying the error of convex order bounds for truncated first moments

The concepts of convex order and comonotonicity have become quite popular in risk theory, essentially since Kaas et al. [Kaas, R., Dhaene, J., Goovaerts, M.J., 2000. Upper and lower bounds for sums of random variables. Insurance: Math. Econ. 27, 151-168] constructed bounds in the convex order sense for a sum S of random variables without imposing any dependence structure upon it. Those bounds are especially helpful, if the distribution of S cannot be calculated explicitly or is too cumbersome to work with. This will be the case for sums of lognormally distributed random variables, which frequently appear in the context of insurance and finance.In this article we quantify the maximal error in terms of truncated first moments, when S is approximated by a lower or an upper convex order bound to it. We make use of geometrical arguments; from the unknown distribution of S only its variance is involved in the computation of the error bounds. The results are illustrated by pricing an Asian option. It is shown that under certain circumstances our error bounds outperform other known error bounds, e.g. the bound proposed by Nielsen and Sandmann [Nielsen, J.A., Sandmann, K., 2003. Pricing bounds on Asian options. J. Financ. Quant. Anal. 38, 449-473].     

On the generalized Chaplygin system

We consider two polynomial bi—Harnilt0nian structures for the generalized integrable Chaplygin system on the sphere S ² with an additional integral of fourth order in momenta. An explicit procedure for finding variables of separation, separation relations, and transformation of the corresponding algebraic curves of genus two is considered in detail. Bibliography: 21 titles.     

Cohomological growth rates and Kazhdan-Lusztig polynomials

In a previous work, the authors established various bounds for the dimensions of degree n cohomology and Ext-groups, for irreducible modules of semisimple algebraic groups G (in positive characteristic p) and (Lusztig) quantum groups U _ζ (at roots of unity ζ). These bounds depend only on the root system, and not on the characteristic p or the size of the root of unity ζ. This paper investigates the rate of growth of these bounds. Both in the quantum and algebraic group situation, these rates of growth represent new and fundamental invariants attached to the root system ϕ. For quantum groups U _ζ with a fixed ϕ, we show the sequence {max _{L irred} dim H ⁿ (U _ζ , L)} _n has polynomial growth independent of ζ. In fact, we provide upper and lower bounds for the polynomial growth rate. Applications of these and related results for are given to Kazhdan-Lusztig polynomials. Polynomial growth in the algebraic group case remains an open question, though it is proved that {log max _{L irred} dim H ⁿ (G,L)} has polynomial growth ≤ 3 for any fixed prime p (and ≤ 4 if p is allowed to vary with n). We indicate the relevance of these issues to (additional structure for) the constants proposed in the theory of higher cohomology groups for finite simple groups with irreducible coefficients by Guralnick, Kantor, Kassabov and Lubotzky [13].     

Equivariant Reduction to Torus of a Principal Bundle

Let M be an irreducible projective variety, over an algebraically closed field k of characteristic zero, equipped with an action of a connected algebraic group S over k. Let E _G be a principal G-bundle over M equipped with a lift of the action of S on M, where G is a connected reductive linear algebraic group. Assume that E _G admits a reduction of structure group to a maximal torus TG. We give a necessary and sufficient condition for the existence of a T-reduction of E _G which is left invariant by the action of S on E _G .     

Estimates for the eigenvalues of Hill's equation and applications for the eigenvalues of the laplacian on toroidal surfaces

In this paper we give upper and lower bounds for each eigenvalue λ _n of Hill's differential equation. We apply the results to toroidal surfaces of revolution in order to get estimates for the eigenvalues of the Laplacian in terms of curvature expressions; they are sharp for the flat torus. As an example, we investigate the standard torus in IR³; here, the bounds depend on the radii only.     

Finite group actions on bordered surfaces of small genus

This paper considers finite group actions on compact bordered surfaces — quotients of unbordered orientable surfaces under the action of a reflectional symmetry. Classification of such actions (up to topological equivalence) is carried out by means of the theory of non-euclidean crystallographic groups, and determination of normal subgroups of finite index in these groups, up to conjugation within their automorphism group. A result of this investigation is the determination, up to topological equivalence, of all actions of groups of finite order 6 or more on compact (orientable or non-orientable) bordered surfaces of algebraic genus p for 2≤p≤6. We also study actions of groups of order less than 6, or of prime order, on bordered surfaces of arbitrary algebraic genus p≥2.     

Invariant Radon measures on measured lamination space

Let S be an oriented surface of genus g≥0 with m≥0 punctures and 3g-3+m≥2. We classify all Radon measures on the space of measured geodesic laminations which are invariant under the action of the mapping class group of S.     

Prime Fano threefolds and integrable systems

For a general K3 surface S of genus g, with 2 ≤ g ≤ 10, we prove that the intermediate Jacobians of the family of prime Fano threefolds of genus g containing S as a hyperplane section, form generically an algebraic completely integrable Hamiltonian system. The first author is partially supported by grant MI1503/2005 of the Bulgarian Foundation for Scientific Research.