Differentiable Connections with Poincar{e} Groups of Local Transformations. {III}

In the canonical smooth fiber bundles :ⁿ⁺¹ⁿ, we study generalized differentiable connections constructed by the author in papers [4] and [5]. Special emphasis is laid on the investigation of the behavior of these connections under local transformations of the classical Poincar{e} groups (1,n) and extended Poincar{e} groups canonically acting in the given connections. We found all first-order nonholonomic affine, ₁, ₂, and _1,2-connections with the groups (1,n) and of local transformations and also constructed classes of the corresponding invariant second-order connections.     

Limit theorems for the ratio of the empirical distribution function to the true distribution function

Summary We consider almost sure limit theorems for and where _n is the empirical distribution function of a random sample ofn uniform (0, 1) random variables anda _n 0. It is shown that (1) ifna _n /log₂ n then both and converge to 1 a.s.; (2) ifna _n /log₂ n=d>0 (d>1) then has an almost surely finite limit superior which is the solution of a certain transcendental equation; and (3) ifna _n /log₂ n0 then and have limit superior + almost surely. Similar results are established for the inverse function _n ^–1 .Supported by the National Science Foundation under MCS 77-02255     

Exact controllability of the wave equation with Neumann boundary control

We consider the wave equation defined on a smooth bounded domainR ⁿ with boundary =₀₁, with ₀ possibly empty and ₁ nonempty and relatively open in . The control action is exercised in the Neumann boundary conditions only on ₁, while homogeneous boundary conditions of Dirichlet type are imposed on the complementary part ₀. We study by a direct method (i.e., without passing through uniform stabilization) the problem of exact controllability on some finite time interval [0,T] for initial data on some preassigned spaceZ=Z ₁ ×Z ₂ based on and with control functions in some preassigned space based on ₁ and [0,T]. We consider several choices of pairs [Z, ] of spaces, and others may be likewise studied by similar methods. Our main results are exact controllability results in the following cases: (i) and and , both under suitable geometrical conditions on the triplet {, ₀, ₁} expressed in terms of a general vector field; (iii)Z = L ² ()×[H ¹ ()] in the Neumann case ₀=Ø in the absence of geometrical conditions on , but with a special classV of controls, larger thanL ² (). The key technical issues are, in all cases, lower bounds on theL ² ( ₁)-norm of appropriate traces of the solution to the corresponding homogeneous problem. These are obtained by multiplier techniques.This paper was presented by the second named author at the IFIP WG 7.2 Conference on Boundary Control and Boundary Variations held at the Department de Mathématiques, Universite de Nice, France, June 10–13, 1986 (a preliminary version will appear as Lectures Notes in Control Sciences, edited by J. P. Zolezio [T4]); at the International Conference on Control of Distributed Parameter Systems, held at Vorau, Austria, July 6–12, 1986; at the Second Workshop on Control of Systems Governed by Partial Differential Equations, held at Val David, Quebec, Canada, October 5–9, 1986; and at the 26th IEEE Conference on Decision and Control, held at Los Angeles, CA, December 9–11, 1987 [LT6]. This research was partially supported by the National Science Foundation under Grant No. NSF 8301668 and by the Air Force Office of Scientific Research under Grant No. AFOSR-84-0365.     

On the Signs of Fourier Coefficients of Cusp Forms

Let be a discrete subgroup of SL(2, ) with a fundamental region of finite hyperbolic volume. (Then, is a finitely generated Fuchsian group of the first kind.) Let 0}} {a(n)e^{2\pi i(n + {\kappa })z/{\lambda }} } ,{ }z \in \mathcal{H}.$$ " align="middle" border="0"> be a nontrivial cusp form, with multiplier system, with respect to . Responding to a question of Geoffrey Mason, the authors present simple proofs of the following two results, under natural restrictions upon . Theorem. If the coefficients a(n) are real for all n, then the sequence {a(n)} has infinitely many changes of sign. Theorem. Either the sequence {Re a(n)} has infinitely many sign changes or Re a(n) = 0 for all n. The same holds for the sequence {Im a(n)}.     

Un revêtement de l'arbre de GL2 d'un corps local

Let F be a non-archimedean local field with residue class field k. Put G=GL₂(F), =PGL₂(k) and let X denote the Bruhat–Tits tree of G. We construct a one-dimensional simplicial complex , equipped with an action of G × and with a G × -equivariant simplicial projection (for the trivial action of on X). We prove that the cohomology with compact support contains nontrivial representations of G (in particular positive level supercuspidal representations).     

A representation theorem for weak automorphisms of a universal algebra

Given a group G and a descending chainG ₀,G ₁,...,G _n, of normal subgroups ofG, we prove that there exists a universal algebra , such that the chain ...W_n( )...W₁( }) W₀( )W( ) is isomorphic to the chain ...G _n ...G ₁G ₀G, where W( ) is the group of weak automorphisms of , and W_n( ) is the group of weak automorphisms of that leaves alln-ary operations fixed.We also prove that there are an infinite number of non-isomorphic algebras that satisfy the above.These results are a generalization of those proved by J. Sichler, in the special case when G=G₀, and G₁=G₂=...=G_n=....Presented by J. Mycielski.This paper comprises part of the author's doctoral dissertation at the University of Notre Dame in 1983. The author wishes to express her deep gratitude to Professor Abraham Goetz for suggesting this problem, for being extremely generous with his time and experience, and for giving her his constant encouragement. The author also thanks the reviewer for his helpful comments.     

Some remarks on embeddings of the flag geometries of projective planes in finite projective spaces

The flag geometry of a finite projective plane II of orders is the generalized hexagon of order (s, 1) obtained from II by putting equal to the set of all flags of II, by putting equal to the set of all points and lines of II and where I is the natural incidence relation (inverse containment), that is, is the dual of the double of II in the sense of [8]. Then we say that is fully (and weakly) embedded in the finite projective space PG(d, q) if is a subgeometry of the natural point-line geometry associated with PG(d, q), if s=q, if the set of points of generates PG(d, q) (and if the set of points of not opposite any given point of does not generate PG(d, q)). We have classified all such embeddings in [3, 4, 5, 6]. In the present paper, we weaken the hypotheses in some special cases, and we give an alternative formulation of the classification.     

Locally homogeneous Riemannian manifolds and Cartan triples

Ann-dimensional Cartan triple is a triple (g, , ) consisting of a Lie subalgebra g of so(n) (endowed with the Killing form), a linear map : ⁿ g and a bilinear antisymmetric map ²( ⁿ , g), which together satisfy (1.25)–(1.28) of Section 1. LetM _n be the set ofmaximal n-dimensional Cartan triples, and letA _n be thenatural action of the orthogonal group O(n) onM _n (Section 3). One shows that there is a bijective mapping from the set of local isometry classes ofn-dimensional locally homogeneous Riemannian manifolds to the set of orbits ofA _n (Theorem 3.1(a)). Under this bijection, the classes of homogeneous Riemannian manifolds correspond to orbits ofclosed Cartan triples.     

Distance-Regular Graphs Related to the Quantum Enveloping Algebra of sl(2)

We investigate a connection between distance-regular graphs and U _q(sl(2)), the quantum universal enveloping algebra of the Lie algebra sl(2). Let be a distance-regular graph with diameter d 3 and valency k 3, and assume is not isomorphic to the d-cube. Fix a vertex x of , and let (x) denote the Terwilliger algebra of with respect to x. Fix any complex number q {0, 1, –1}. Then is generated by certain matrices satisfying the defining relations of U _q(sl(2)) if and only if is bipartite and 2-homogeneous.     

Foliation-Preserving Maps Between Solvmanifolds

For i=1,2, let _i be a lattice in a simply connected, solvable Lie group G _i , and let X _i be a connected Lie subgroup of G _i . The double cosets _i g X _i provide a foliation _i of the homogeneous space _i \G _i . Let f be a continuous map from ₁\G ₁ to ₂\G ₂ whose restriction to each leaf of ₁ is a covering map onto a leaf of ₂. If we assume that ₁ has a dense leaf, and make certain technical assumptions on the lattices ₁ and ₂, then we show that f must be a composition of maps of two basic types: a homeomorphism of ₁\G ₁ that takes each leaf of ₁ to itself, and a map that results from twisting an affine map by a homomorphism into a compact group. We also prove a similar result for many cases where G ₁ and G ₂ are neither solvable nor semisimple.     

Linear Networks and Convex Polytopes

It is shown that the set [G,] of immersed linear networks in that are parallel to a given immersed linear network and have the same boundary as is a convex polyhedral subset of the configuration space of movable vertices of the graph G. The dimension of [G,] is calculated, and the number of its maximal faces is estimated. As an application, the spaces of all locally minimal and weighted minimal networks with fixed boundary and topology in are described. Bibliography: 21 titles.     

Convergence of series of translations

For a mean zero norm one sequence (f _n )L ₂[0, 1], the sequence (f _n {nx+y}) is an orthonormal sequence inL ₂([0, 1]²); so if , then converges for a.e. (x, y)[0, 1]² and has a maximal function inL ₂([0, 1]²). But for a mean zerofL ₂[0, 1], it is harder to give necessary and sufficient conditions for theL ₂-norm convergence or a.e. convergence of . Ifc _n 0 and , then this series will not converge inL ₂-norm on a denseG subset of the mean zero functions inL ₂[0, 1]. Also, there are mean zerofL[0, 1] such that never converges and there is a mean zero continuous functionf with a.e. However, iff is mean zero and of bounded variation or in some Lip() with 1/2<1, and if |c _n | = 0(n ^–) for >1/2, then converges a.e. and unconditionally inL ₂[0, 1]. In addition, for any mean zerof of bounded variation, the series has its maximal function in allL _p[0, 1] with 1p<. Finally, if (f _n )L [0, 1] is a uniformly bounded mean zero sequence, then is a necessary and sufficient condition for to converge for a.e.y and a.e. (x _n )[0, 1]. Moreover, iffL [0, 1] is mean zero and , then for a.e. (x _n )[0, 1], converges for a.e.y and in allL _p [0, 1] with 1p<. Some of these theorems can be generalized simply to other compact groups besides [0, 1] under addition modulo one.     

Boundary problem with discontinuous translation for two functions which are analytic in domains of different connectivity

In the space L_p(), 1 < p < we consider the problem of finding functions and which are analytic, respectively, in a doubly connected domain with boundary and a simply connected domain with boundary ( and are closed Lyapunov contours) with respect to the boundary condition , where the orientation-preserving translation and the coefficients a, b, c, d admit discontinuities at certain points of . Under specific conditions on the limit values of the derivative of the translation at the points of discontinuity we get necessary and sufficient conditions for the problem to be Noetherian and a formula for calculating its index.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 2, pp. 262–266, February, 1990.     

On Distance-Regular Graphs with Height Two

Let be a distance-regular graph with diameter at least three and height h = 2, where . Suppose that for every in and in _d(), the induced subgraph on _d() ₂() is a clique. Then is isomorphic to the Johnson graph J(8, 3).     

Continuous Quotients for Lattice Actions on Compact Spaces

Let < SL _n ( ) be a subgroup of finite index, where n 5. Suppose acts continuously on a manifold M, where ₁(M) = ⁿ , preserving a measure that is positive on open sets. Further assume that the induced action on H ¹(M) is non-trivial. We show there exists a finite index subgroup < and a equivariant continuous map : M ⁿ that induces an isomorphism on fundamental group. We prove more general results providing continuous quotients in cases where ₁(M) surjects onto a finitely generated torsion free nilpotent group. We also give some new examples of manifolds with actions.     

The Lattice of Interpretability Types of Cantor Varieties

For integers 1 m < n, a Cantor variety with m basic n-ary operations _i and n basic m-ary operations _k is a variety of algebras defined by identities _k(₁( ), ... , _m( )) = _k and i(₁( ), ... ,_n( )) = y _i, where = (x ₁., ... , x _n) and = (y ₁, ... , y _m). We prove that interpretability types of Cantor varieties form a distributive lattice, , which is dual to the direct product ₁ × ₂ of a lattice, ₁, of positive integers respecting the natural linear ordering and a lattice, ₂, of positive integers with divisibility. The lattice is an upper subsemilattice of the lattice of all interpretability types of varieties of algebras.     

K-Theory for the Integer Heisenberg Groups

We give a closed formula for topological K-theory of the homogeneous space N/, where is the standard integer lattice in the simply connected Heisenberg Lie group N of dimension 2n+1, n . The main tools in our calculations are obtained by computing diagonal forms for certain incidence matrices that arise naturally in combinatorics.     

Geodesic Graphs with Constant Mean Curvature in Spheres

We study the existence and unicity of graphs with constant mean curvature in the Euclidean sphere of radius a. Given a compact domain , with some conditions, contained in a totally geodesic sphere S of and a real differentiable function on , we define the graph of in considering the height (x) on the minimizing geodesic joining the point x of to a fixed pole of . For a real number H such that |H| is bounded for a constant depending on the mean curvature of the boundary of and on a fixed number in (0,1), we prove that there exists a unique graph with constant mean curvature H and with boundary , whenever the diameter of is smaller than a constant depending on . If we have conditions on , that is, let be a graph over of a function, if |H| is bounded for a constant depending only on the mean curvature of and if the diameter of is smaller than a constant depending on H and , then we prove that there exists a unique graphs with mean curvature H and boundary . The existence of such a graphs is equivalent to assure the existence of the solution of a Dirichlet problem envolving a nonlinear elliptic operator.     

Splitting with Continuous Control in Algebraic K-Theory

In this work, the continuously controlled assembly map in algebraic K-theory, as developed by Carlsson and Pedersen, is proved to be a split injection for groups that satisfy certain geometric conditions. The group is allowed to have torsion, generalizing a result of Carlsson and Pedersen. Combining this with a result of John Moody, K₀(k) is proved to be isomorphic to the colimit of K₀(kH) over the finite subgroups H of , when is a virtually polycyclic group and k is a field of characteristic zero.     

Determinants in Triangulated Categories

For a small triangulated category , Bass's K ₁ group is described, and the theorem of the heart is proved. We define the determinant map from to Neeman's , and we compute this map when is the derived category of an Abelian category .