Search

ISCEA (Infrared Satellite for Cosmic Evolution Astrophysics) is a small astrophysics mission whose Science Goal is to discover how galaxies evolved in the cosmic web of dark matter at cosmic noon. Its Science Objective is to determine the history of star formation and its quenching in galaxies as a function of local density and stellar mass when the Universe was 3-5 Gyrs old (1.2 10 Mpc in each of 50 protocluster (cluster and cosmic web) fields at 1.2 < z < 2.1. ISCEA measures the star formation quenching factor in those fields, and galaxy kinematics with a precision < 50 km/s to deduce the 3D spatial distribution in each field. ISCEA will transform our understanding of galaxy evolution at cosmic noon. ISCEA is a small satellite observatory with a 30cm equivalent diameter aperture telescope with a FoV of 0.32 deg^2, and a multi-object spectrograph with a digital micro-mirror device (DMD) as its programmable slit mask. ISCEA will obtain spectra of 1000 galaxies simultaneously at an effective resolving power of R=1000, with 2.8"x2.8" slits, over the NIR wavelength range of 1.1 to 2.0 microns, a regime not accessible from the ground without large gaps in coverage. ISCEA will achieve a pointing accuracy of <= 2" FWHM over 200s. ISCEA will be launched into a Low Earth Orbit, with a prime mission of 2.5 years. ISCEA's space-qualification of DMDs opens a new window for spectroscopy from space, enabling revolutionary advances in astrophysics., Comment: 40 pages, 31 figures

The complement of an arrangement of hyperplanes in $\mathbb C^n$ has a natural bordification to a manifold with corners formed by removing (or "blowing up") tubular neighborhoods of the hyperplanes and certain of their intersections. When the arrangement is the complexification of a real simplicial arrangement, the bordification closely resembles Harvey's bordification of moduli space. We prove that the faces of the universal cover of the bordification are parameterized by the simplices of a simplicial complex $\mathcal{C}$, the vertices of which are the irreducible "parabolic subgroups" of the fundamental group of the arrangement complement. So, the complex $\mathcal{C}$ plays a similar role for an arrangement complement as the curve complex does for moduli space. Also, in analogy with curve complexes and with spherical buildings, we prove that $\mathcal{C}$ has the homotopy type of a wedge of spheres., Comment: Minor corrections

Recent observations of interplanetary medium (IPM) atomic hydrogen Lyman-{\alpha} (Ly{\alpha}) emission in the outer solar system, made with the Alice ultraviolet spectrograph on New Horizons (NH), are presented. The observations include regularly spaced great-circle scans of the sky and pointed observations near the downstream and upstream flow directions of interstellar H atoms. The NH Alice data agree very well with the much earlier Voyager UVS results, after these are reduced by a factor of 2.4 in brightness, in accordance with recent re-analyses. In particular, the falloff of IPM Ly{\alpha} brightness in the upstream-looking direction as a function of spacecraft distance from the Sun is well-matched by an expected 1/r dependence, but with an added constant brightness of ~40 Rayleighs. This additional brightness is a possible signature of the hydrogen wall at the heliopause or of a more distant background. Ongoing observations are planned at a cadence of roughly twice per year., Comment: 21 pages, 5 figures, 1 table, accepted for publication in Geophys. Res. Lett

The action dimension of a discrete group $G$ is the minimum dimension of contractible manifold that admits a proper $G$-action. We compute the action dimension of the direct limit of a simple complex of groups for several classes of examples including: 1) Artin groups, 2) graph products of groups, and 3) fundamental groups of aspherical complements of arrangements of affine hyperplanes., Comment: Typos corrected, some minor restructuring of subsections

Suppose that $(W,S)$ is a Coxeter system with associated Artin group $A$ and with a simplicial complex $L$ as its nerve. We define the notion of a "standard abelian subgroup" in $A$. The poset of such subgroups in $A$ is parameterized by the poset of simplices in a certain subdivision $L_\oslash$ of $L$. This complex of standard abelian subgroups is used to generalize an earlier result from the case of right-angled Artin groups to case of general Artin groups, by calculating, in many instances, the smallest dimension of a manifold model for $BA$. (This is the "action dimension" of $A$ denoted actdim $A$.) If $H_d(L; \mathbb Z/2)\neq 0$, where $d=\dim L$, then actdim $A \ge 2d+2$. Moreover, when the $K(\pi,1)$-Conjecture holds for $A$, the inequality is an equality., Comment: Minor corrections

The complement of an arrangement A of a finite number of affine hyperplanes in complex n-space has the structure of a poset of spaces indexed by the intersection poset, L(A). The space corresponding to G in L(A) is homotopy equivalent to the complement of the hyperplanes in the central arrangement A_G normal to G. This poset of spaces structure can be used to repair a spectral sequence argument in two earlier papers of Davis, Januszkiewicz, Leary and Okun for computing certain cohomology groups of arrangement complements. Similarly, toric hyperplane arrangements have the structure of a diagram of spaces and this structure can be used fix a spectral sequence argument in an earlier paper of Davis and Settepanella., Comment: I am withdrawing this paper because I have lost confidence in the construction

The action dimension of a discrete group $\Gamma$ is the smallest dimension of a contractible manifold which admits a proper action of $\Gamma$. Associated to any flag complex $L$ there is a right-angled Artin group, $A_L$. We compute the action dimension of $A_L$ for many $L$. Our calculations come close to confirming the conjecture that if an $\ell^2$-Betti number of $A_L$ in degree $l$ is nonzero, then the action dimension of $A_L$ is $\ge 2l$., Comment: 16 pages

Haken n-manifolds have been defined and studied by B. Foozwell and H. Rubinstein in analogy with the classical Haken manifolds of dimension 3, based upon the the theory of boundary patterns developed by K. Johannson. The Euler characteristic of a Haken manifold is analyzed and shown to be equal to the sum of the Charney-Davis invariants of the duals of the boundary complexes of the n-cells at the end of a hierarchy. These dual complexes are shown to be flag complexes. It follows that the Charney-Davis Conjecture is equivalent to the Euler Characteristic Sign Conjecture for Haken manifolds. Since the Charney-Davis invariant of a flag simplicial 3-sphere is known to be non-negative it follows that a closed Haken 4-manifold has non-negative Euler characteristic. These results hold as well for generalized Haken manifolds whose hierarchies can end with compact contractible manifolds rather than cells., Comment: 12 pages

One can define what it means for a compact manifold with corners to be a "contractible manifold with contractible faces." Two combinatorially equivalent, contractible manifolds with contractible faces are diffeomorphic if and only if their 4-dimensional faces are diffeomorphic. It follows that two simple convex polytopes are combinatorially equivalent if and only if they are diffeomorphic as manifolds with corners. On the other hand, by a result of Akbulut, for each n > 3, there are smooth, contractible n-manifolds with contractible faces which are combinatorially equivalent but not diffeomorphic. Applications are given to rigidity questions for reflection groups and smooth torus actions., Comment: 24 pages

Although Kirby and Siebenmann showed that there are manifolds that do not admit PL structures, the possibility remained that all manifolds could be triangulated. In the late seventies Galewski and Stern and independently Matumoto showed that non-triangulable manifolds exist in all dimensions > 4 if and only if homology 3-spheres with certain properties do not exist. In 2013 Manolescu showed that, indeed, there were no such homology 3-spheres and hence, non-triangulable manifolds exist in each dimension >4. It follows from work of Freedman in 1982 that there are 4-manifolds that cannot be triangulated. In 1991 Davis and Januszkiewicz applied a hyperbolization procedure to Freedman's 4-manifolds to get closed aspherical 4-manifolds that cannot be triangulated. In this paper we apply hyperbolization techniques to the Galewski-Stern manifolds to show that there exist closed aspherical n-manifolds that cannot be triangulated for each n> 5. The question remains open in dimension 5., Comment: 9 pages

Given an edge-independent random graph G(n,p), we determine various facts about the cohomology of graph products of groups for the graph G(n,p). In particular, the random graph product of a sequence of finite groups is a rational duality group with probability tending to 1 as n goes to infinity. This includes random right angled Coxeter groups as a special case., Comment: 29 pages

We report observations of the lunar helium exosphere made between December 29, 2011, and January 26, 2012, with the Lyman Alpha Mapping Project (LAMP) ultraviolet spectrograph on NASA's Lunar Reconnaissance Orbiter Mission (LRO). The observations were made of resonantly scattered He I 584 from illuminated atmosphere against the dark lunar surface on the dawn side of the terminator. We find no or little variation of the derived surface He density with latitude but day-to-day variations that likely reflect variations in the solar wind alpha flux. The 5-day passage of the Moon through the Earth's magnetotail results in a factor of two decrease in surface density, which is well explained by model simulations., Comment: 21 pages, 5 figures, 3 supplementary figures, accepted for publication in Icarus

Given a finite simplicial complex L and a collection of pairs of spaces indexed by its vertex set, one can define their polyhedral product. We record a simple formula for its Euler characteristic. In special cases the formula simplifies further to one involving the h-polynomial of L., Comment: 5 pages

The "polyhedral product functor" produces a space from a simplicial complex L and a collection of pairs of spaces, {(A(i),B(i))}, where i ranges over the vertex set of L. We give necessary and sufficient conditions for the resulting space to be aspherical. There are two similar constructions, each of which starts with a space X and a collection of subspaces, {X_i} and then produces a new space. We give conditions for the results of these constructions to be aspherical. All three techniques can be used to produce examples of closed aspherical manifolds. Abstract for Corrigenda: This note concerns two refinements to the earlier work by the first author. First, when L is infinite, the definition of polyhedral product needs clarification. Second, the earlier paper omitted some subtle parts of the necessary and sufficient conditions for polyhedral products to be aspherical. Correct versions of these necessary and sufficient conditions are given in the present paper., Comment: Includes some typographical changes from the first version and a 7 page corrigenda written with Peter Kropholler and attached as a separate document

We compute the cohomology with group ring coefficients of the complement of a finite collection of affine hyperplanes in a finite dimensional complex vector space. It is nonzero in exactly one degree, namely the degree equal to the rank of the hyperplane arrangement., Comment: Second version corrects some misprints in the definition of U_G

We compute: * the cohomology with group ring coefficients of Artin groups (or actually, of their associated Salvetti complexes), Bestvina-Brady groups, and graph products of groups, * the L^2-Betti numbers of Bestvina-Brady groups and of graph products of groups, * the weighted L^2-Betti numbers of graph products of Coxeter groups. In the case of arbitrary graph products there is an additional proviso: either all factors are infinite or all are finite.(However, for graph products of Coxeter groups this proviso is unnecessary.), Comment: 56 pages

Covering space theory is used to construct new examples of buildings.

For any Coxeter group W, we define a filtration of H^*(W;ZW) by W-submodules and then compute the associated graded terms. More generally, if U is a CW complex on which W acts as a reflection group we compute the associated graded terms for H_*(U) and, in the case where the action is proper and cocompact, for H^*_c(U)., Comment: This is the version published by Algebraic & Geometric Topology on 15 September 2006

Associated to any finite flag complex L there is a right-angled Coxeter group W_L and a cubical complex \Sigma_L on which W_L acts properly and cocompactly. Its two most salient features are that (1) the link of each vertex of \Sigma_L is L and (2) \Sigma_L is contractible. It follows that if L is a triangulation of S^{n-1}, then \Sigma_L is a contractible n-manifold. We describe a program for proving the Singer Conjecture (on the vanishing of the reduced L^2-homology except in the middle dimension) in the case of \Sigma_L where L is a triangulation of S^{n-1}. The program succeeds when n < 5. This implies the Charney-Davis Conjecture on flag triangulations of S^3. It also implies the following special case of the Hopf-Chern Conjecture: every closed 4-manifold with a nonpositively curved, piecewise Euclidean, cubical structure has nonnegative Euler characteristic. Our methods suggest the following generalization of the Singer Conjecture. Conjecture: If a discrete group G acts properly on a contractible n-manifold, then its L^2-Betti numbers b_i^{(2)} (G)$ vanish for i>n/2., Comment: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol5/paper2.abs.html

In this article, we generalize Eberlein's Rigidity Theorem to the singular case, namely, one of the spaces is only assumed to be a CAT(0) topological manifold. As a corollary, we get that any compact irreducible but locally reducible locally symmetric space of noncompact type does not admit a nonpositively curved (in the Aleksandrov sense) piecewise Euclidean structure. Any hyperbolic manifold, on the other hand, does admit such a structure., Comment: 28 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTVol3/paper13.abs.html