14391043
Arrangements and cohomology
To a matroidM is associated a graded commutative algebraA=A(M), the Orlik-Solomon algebra ofM. Motivated by its role in the construction of generalized hypergeometric functions, we study the cohomologyH* (A, dω) ofA(M) with coboundary mapdω given by multiplication by a fixed element ω ofA1. Using a description of decomposable relations inA, we construct new examples of “resonant” values of ω, and give a precise calculation ofH1 (A, dω) as a function of ω. We describe the setR1(A={ω|H1(A(M,dω)≠}, and use it as a tool in the classification of Orlik-Solomon algebras, with applications to the topology of complex hyperplane complements. We show thatR1(A) is a complete invariant of the quadratic closure ofA, and show under various hypotheses that one can reconstruct the matroidM, or at least its Tutte polynomial, from the varietyR1(A). We demonstrate with several examples thatR1 is easily calculable, may contain nonlocal components, and that combinatorial properties ofR1(A) are often sufficient to distinguish nonisomorphic rank three Orlik-Solomon algebras.
8300586
bases for cohomology of local systems on hyperplane complements
We study cohomology with coefficients in a rank one local system on the complement of an arrangement of hyperplanes A. The cohomology plays an important role for the theory of generalized hy- pergeometric functions. We combine several known results to construct explicit bases of logarithmic forms for the only non-vanishing cohomol- ogy group, under some nonresonance conditions on the local system, for any arrangement A. The bases are determined by a linear ordering of the hyperplanes, and are indexed by certain "no-broken-circuits" bases of A. The basic forms depend on the local system, but any two bases con- structed in this way are related by a matrix of integer constants which depend only on the linear orders and not on the local system. In certain special cases we show the existence of bases of monomial logarithmic forms.
53346307
The minimal model of the complement of an arrangement of hyperplanes
In this paper the methods of rational homotopy theory are applied to a family of examples from singularity theory. Let A be a finite collection of hyperplanes in Cl, and let M = Cl-UHEA H. We say A is a rational K(w, 1) arrangement if the rational completion of M is aspherical. For these arrangements an identity (the LCS formula) is established relating the lower central series of 7r1 (M) to the cohomology of M. This identity was established by group-theoretic means for the class of fiber-type arrangements in previous work. We reproduce this result by showing that the class of rational K(w, 1) arrangements contains all fiber-type arrangements. This class includes the reflection arrangements of types Al and Bl. There is much interest in arrangements for which M is a K(w, 1) space. The methods developed here do not apply directly because M is rarely a nilpotent space. We give examples of K(w, 1) arrangements which are not rational K(w, 1) for which the LCS formula fails, and K(w, 1) arrangements which are not rational K(w, 1) where the LCS formula holds. It remains an open question whether rational K(w, 1) arrangements are necessarily K(w, 1). l. Introduction. An arrangement of hyperplanes is a finite collection of Clinear subspaces of dimension (1-l) in C1. To such an arrangement A is associated an open 21-manifold, the complement M = Cl-U{HIH E A}. The connections between the topology of M and the combinatorial geometry of A are the source of much current research in this area. The most successful investigations concern the cohomology of M [13, 15], whereas the most difficult unsolved problems involve the homotopy groups of M [5]. In this paper we study the link between cohomology and homotopy provided by Sullivan's theory of minimal models [14]. In [6], a numerical relationship was established between 1(M) and H*(M) for the class of fiber-type arrangements. This LCS formula reads as follows: rI ( 1-tn ) Y7n (M) = PM (-t) n>l where the (>n(M) are the ranks of successive quotients in the lower central series of 1(M)) and PM(t) is the Poincare polynomial of H*(M). Because the sequence (>n(M) is related to the l-minimal model y of M, we conjecture in [5] that the LdS formula holds precisely when R determines H* (M). With the methods developed in this paper we can resolve this conjecture. Specifically, we show (Corollary 3.8) that the LCS formula holds when H*(5°) is isomorphic to H*(M). Arrangements satisfying the latter condition are called rational K(7r, l). Corollary 3.8 may be Received by the editors June 1, 1987. 1980 Mathematicts Subject Clatstsification (1985 Revitsion). Primary 55P62, 57M05; Secondary 06C10. (r)1988 American Mathematical Society 0002-9947/88 $1.00 + $.25 per page
120059149
A note on the inverse bootstrap process for large quantiles
It is shown that for qn = 1 - j(n)/n with j(n) --> n-->[infinity] [infinity], j(n)/n --> n-->[infinity] 0, the resulting bootstrap estimate of the quantile function of the sample qn-quantile has exact accuracy Op(1/j(n)1/4). This is a consequence of a functional central limit theorem for the corresponding inverse bootstrap processes.
73549405
LAN of extreme order statistics
Consider an iid sampleZ1,...,Zn with common distribution functionF on the real line, whose upper tail belongs to a parametric family {Fβ: β∈⊝}. We establish local asymptotic normality (LAN) of the loglikelihood process pertaining to the vector(Zn−i+1∶n)i=1k of the upperk=k(n)→n→∞∞ order statistics in the sample, if the family {Fβ:β∈⊝} is in a neighborhood of the family of generalized Pareto distributions. It turns out that, except in one particular location case, thekth-largest order statisticZn−k+1∶n is the central sequence generating LAN. This implies thatZn−k+1∶n is asymptotically sufficient and that asymptotically optimal tests for the underlying parameter β can be based on the single order statisticZn−k+1∶n. The rate at whichZn−k+1∶n becomes asymptotically sufficient is however quite poor.
122299017
Asymptotic independence of median and MAD
The asymptotic joint normality of the sample median and the median absolute deviation from the median (MAD) as robust counterparts of sample mean and standard deviation is established. This characterizes their asymptotic independence, paralleling the asymptotic independence of mean and standard deviation. Analogous results are established for the median and the interquartile range.
120219973
Weak convergence of the maximum error of the bootstrap quantile estimate
Weak convergence is established for the maximum deviation of the bootstrap estimate of the sample q-quantile distribution.