Let p be a prime, G a finite Kp-group S a Sylow p-subgroup of G and Q a large subgroup of G in S (i.e., CG(Q)≤Q and NG(U)≤NG(Q) for 1≠U≤CG(Q)). Let L be any subgroup of G with S≤L, Op(L)≠1 and Q⋬L. In this paper the authors determine the action of L on the largest elementary abelian normal p-reduced p-subgroup YL of L.

This research paper continues [15]. We begin with giving a profound overview of the structure of arbitrary simple groups and in particular of the simple locally finite groups and reduce their Sylow theory for the prime p to a quite famous conjecture by Prof. Otto H. Kegel (see [38], Theorem 2.4) "Let the p-subgroup P be a p-uniqueness subgroup in the finite simple group S which belongs to one of the seven rank-unbounded families. Then the rank of S is bounded in terms of P.") about the rank-unbounded ones of the 19 known families of finite simple groups. We introduce a new scheme to describe the 19 families, the family T of types, define the rank of each type, and emphasise the rôle of Kegel covers. This part presents a unified rather complete picture of known results all of whose proofs are by reference. Subsequently we apply new ideas to prove the conjecture for the Alternating Groups. Thereupon we are remembering Kegel covers and -sequences. Next we suggest future research by stating a way 1) and a way 2) how to prove and even how to optimise Kegel's conjecture step-by-step or peu à peu which leads to Conjecture 1, Conjecture 2 and Conjecture 3 thereby unifying Sylow theory in locally finite simple groups with Sylow theory in locally finite and p-soluble groups whose joint study directs very reliably Sylow theory in (locally) finite groups. For any unexplained terminology we refer to [15]. We then continue the program begun above to optimise along the way 1) the theorem about the first type = An of infinite families of finite simple groups step-by-step to further types by proving it for the second type = A = PSL n . We start with applying new ideas to prove Conjecture 2 about the General Linear Groups over (commutative) locally finite fields, stating that their rank is bounded in terms of their p-uniqueness, and break down this basic insight to the Special Linear Groups and the Projective Special Linear (PSL) Groups over locally finite fields. We close with suggestions for future research regarding the remaining rank-unbounded types (the beautiful "Classical Groups") and the way 2), regarding (locally) finite and p-soluble groups, and regarding our new perceptions of the very pioneering contributions by Cauchy and by Galois to Sylow theory in finite groups. We hope to enthuse group theorists with these suggestions and are ready to coördinate related research work. We include the predecessor research paper [15] as an Appendix.

The goal of this memoir is to provide the foundations for the locally analytic representation theory that is required in three of the author's other papers on this topic. In the course of writing those papers the author found it useful to adopt a particular point of view on locally analytic representation theory: namely, regarding a locally analytic representation as being the inductive limit of its subspaces of analytic vectors (of various “radii of analyticity”). The author uses the analysis of these subspaces as one of the basic tools in his study of such representations. Thus in this memoir he presents a development of locally analytic representation theory built around this point of view. The author has made a deliberate effort to keep the exposition reasonably self-contained and hopes that this will be of some benefit to the reader.

Using Dwork's theory, the authors prove a broad generalization of his famous -adic formal congruences theorem. This enables them to prove certain -adic congruences for the generalized hypergeometric series with rational parameters; in particular, they hold for any prime number and not only for almost all primes. Furthermore, using Christol's functions, the authors provide an explicit formula for the “Eisenstein constant” of any hypergeometric series with rational parameters. As an application of these results, the authors obtain an arithmetic statement “on average” of a new type concerning the integrality of Taylor coefficients of the associated mirror maps. It contains all the similar univariate integrality results in the literature, with the exception of certain refinements that hold only in very particular cases.

he authors introduce and study the notions of hyperbolically embedded and very rotating families of subgroups. The former notion can be thought of as a generalization of the peripheral structure of a relatively hyperbolic group, while the latter one provides a natural framework for developing a geometric version of small cancellation theory. Examples of such families naturally occur in groups acting on hyperbolic spaces including hyperbolic and relatively hyperbolic groups, mapping class groups, , and the Cremona group. Other examples can be found among groups acting geometrically on spaces, fundamental groups of graphs of groups, etc. The authors obtain a number of general results about rotating families and hyperbolically embedded subgroups; although their technique applies to a wide class of groups, it is capable of producing new results even for well-studied particular classes. For instance, the authors solve two open problems about mapping class groups, and obtain some results which are new even for relatively hyperbolic groups.

Given a -dimensional lamination endowed with a Riemannian metric, the author introduces the notion of a multiplicative cocycle of rank , where and are arbitrary positive integers. The holonomy cocycle of a foliation and its exterior powers as well as its tensor powers provide examples of multiplicative cocycles. Next, the author defines the Lyapunov exponents of such a cocycle with respect to a harmonic probability measure directed by the lamination. He also proves an Oseledec multiplicative ergodic theorem in this context. This theorem implies the existence of an Oseledec decomposition almost everywhere which is holonomy invariant. Moreover, in the case of differentiable cocycles the author establishes effective integral estimates for the Lyapunov exponents. These results find applications in the geometric and dynamical theory of laminations. They are also applicable to (not necessarily closed) laminations with singularities. Interesting holonomy properties of a generic leaf of a foliation are obtained. The main ingredients of the author's method are the theory of Brownian motion, the analysis of the heat diffusions on Riemannian manifolds, the ergodic theory in discrete dynamics and a geometric study of laminations.

Several stochastic processes related to transient Lévy processes with potential densities , that need not be symmetric nor bounded on the diagonal, are defined and studied. They are real valued processes on a space of measures endowed with a metric . Sufficient conditions are obtained for the continuity of these processes on . The processes include -fold self-intersection local times of transient Lévy processes and permanental chaoses, which are `loop soup -fold self-intersection local times' constructed from the loop soup of the Lévy process. Loop soups are also used to define permanental Wick powers, which generalizes standard Wick powers, a class of -th order Gaussian chaoses. Dynkin type isomorphism theorems are obtained that relate the various processes. Poisson chaos processes are defined and permanental Wick powers are shown to have a Poisson chaos decomposition. Additional properties of Poisson chaos processes are studied and a martingale extension is obtained for many of the processes described above.

The authors establish square function estimates for integral operators on uniformly rectifiable sets by proving a local theorem and applying it to show that such estimates are stable under the so-called big pieces functor. More generally, they consider integral operators associated with Ahlfors-David regular sets of arbitrary codimension in ambient quasi-metric spaces. The local theorem is then used to establish an inductive scheme in which square function estimates on so-called big pieces of an Ahlfors-David regular set are proved to be sufficient for square function estimates to hold on the entire set. Extrapolation results for and Hardy space versions of these estimates are also established. Moreover, the authors prove square function estimates for integral operators associated with variable coefficient kernels, including the Schwartz kernels of pseudodifferential operators acting between vector bundles on subdomains with uniformly rectifiable boundaries on manifolds.

The authors study a class of periodic Schrodinger operators, which in distinguished cases can be proved to have linear band-crossings or ``Dirac points''. They then show that the introduction of an ``edge'', via adiabatic modulation of these periodic potentials by a domain wall, results in the bifurcation of spatially localized ``edge states''. These bound states are associated with the topologically protected zero-energy mode of an asymptotic one-dimensional Dirac operator. The authors' model captures many aspects of the phenomenon of topologically protected edge states for two-dimensional bulk structures such as the honeycomb structure of graphene. The states the authors construct can be realized as highly robust TM-electromagnetic modes for a class of photonic waveguides with a phase-defect.

In this paper the authors start with the construction of the symplectic field theory (SFT). As a general theory of symplectic invariants, SFT has been outlined in Introduction to symplectic field theory (2000), by Y. Eliashberg, A. Givental and H. Hofer who have predicted its formal properties. The actual construction of SFT is a hard analytical problem which will be overcome be means of the polyfold theory due to the present authors. The current paper addresses a significant amount of the arising issues and the general theory will be completed in part II of this paper. To illustrate the polyfold theory the authors use the results of the present paper to describe an alternative construction of the Gromov-Witten invariants for general compact symplectic manifolds.