52206511
On the algebra associated with a geometric lattice
Let L be a geometric lattice. Following P. Orlik and L. Solomon, Combinatorics and topology of complements of hyperplanes, Invent. math.56 (1980), 167–189, we associate with L a graded commutative algebra A(L). In this paper we introduce a new invariant ψ of the algebra A(L) which suffices to distinguish algebras for which all other known invariants coincide. This result is applied to the study of arrangements of complex hyperplanes, with L being the intersection lattice. In this case A(L) is isomorphic to the cohomology algebra of the associated hyperplane complement. The goal is to find examples of arrangements with non-isomorphic lattices but homotopy equivalent complements. The invariant introduced here effectively narrows the list of candidates. Nevertheless, we exhibit combinatorially inequivalent arrangements for which all known invariants, including ψ, coincide.
26463172
A geometric duality for order complexes and hyperplane complements
The top cohomology of the complement of an arrangement of complex hyperplanes is canonically isomorphic to the order homology of the associated intersection lattice. We put this result into a geometric framework by constructing a realization of the order complex of the intersection lattice inside the link of the arrangement. The canonical isomorphism is shown to coincide with the restriction of the classical Alexander duality mapping. Thus the isomorphism is a consequence of the linking of ( l − 2)-spheres and l -tori in the (2 l − 1)-sphere.
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.
121498103
Homotopy types of line arrangements
SummaryWe prove that the complement of a real affine line arrangement inC2 is homotopy equivalent to the canonical 2-complex associated with Randell's presentation of the fundamental group. This provides a much smaller model for the homotopy type of the complement of a real affine 2- or central 3-arrangement than the Salvetti complex and its cousins. As an application we prove that these exist (infinitely many) pairs of central arrangements inC3 with different underlying matroids whose complements are homotopy equivalent. We also show that two real 3-arrangements whose oriented matroids are connected by a sequence of flips are homotopy equivalent.
92994378
A note on discriminantal arrangements
Let v O be a fixed affine arrangement of n hyperplanes in general position in Kk . Let U(n, k) denote the set of general position arrangements whose elements are parallel translates of the hyperplanes of v o . Then U(n, k) is the complement of a central arrangement R (n, k). These are the well-known discriminantal arrangements introduced by Y. I. Manin and V. V. Schechtman. In this note we give an explicit description of R (n, k) in terms of the original arrangement v o . In terms of the underlying matroids, _q (n, k) realizes an adjoint of the dual of the matroid associated with v o . Using this description we show that, contrary to the conventional wisdom, neither the intersection lattice of S7 (n, k) nor the topology of U(n, k) is independent of the original arrangement v o .
121269184
Local asymptotic normality of truncated empirical processes
Given n iid copies X 1 ,..., X n of a random element X in some arbitrary measurable space S, we are only interested in those observations that fall into some subset D having but a small probability of occurrence. It is assumed that the distribution P x of X belongs on D to a parametric family P x (. ∩ D) = P V , V ∈ Θ ⊂ R d . Nonlinear regression analysis and the peaks-over-threshold (POT) approach in extreme value analysis are prominent examples. For the POT approach on S = R and P V being a generalized Pareto distribution, it is known that the complete information about the underlying parameter V 0 is asymptotically contained in the number τ(n) of observations in D among X 1 ,..., X n , but not in their actual values. This result is formulated in terms of local asymptotic normality of the log-likelihood ratio of the point process of exceedances with τ(n) being the central sequence. In this paper we establish a necessary and sufficient condition such that τ(n) has this property for a general truncated empirical process in an arbitrary sample space and for an arbitrary parametric family. The known results are then consequences of this result. We can, moreover, characterize the influence of the actual observations in D on the central sequence, if this condition is violated. Immediate applications are asymptotically optimal tests for testing V 0 and, if Θ ⊂ R, asymptotic efficiency of the ML-estimator? n satisfying P Vn (D) = τ(n)/n, where these statistics are based on τ(n) only.
120185810
Asymptotically optimal estimators of general regression functionals
Let X, Y be random vectors with values in d and 1, respectively, and denote by F(Â· x) the conditional distribution function of Y given X = x. It is well known that the kernel estimator of the regression functional [theta](x) := T(F(Â· x)), based on n independent replicates of (X, Y), has optimal asymptotic accuracy in case of T being the mean value and quantile functional. In this paper we discuss conditions under which the kernel estimator has optimal asymptotic accuracy, locally and globally, for a general class of functionals T, containing mean and quantile as particular examples. A weak convergence result for the maximum error over a compact interval completes the paper.
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.
122654642
On the accuracy of the bootstrap approximation of the joint distribution of sample quantiles
It is proved that the accuracy of the bootstrap approximation of the joint distribution of sample quantiles lies between O(n−1/4) and O(n−1/4 an), where (log(n))1/2=O(an). As an application, we investigated confidence intervals based on the bootstrap.
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.