A topological realization of the congruence subgroup Kernel A

A number of years ago, Kumar Murty pointed out to me that the computation of the fundamental group of a Hilbert modular surface ([7],IV,${\S}$6), and the computation of the congruence subgroup kernel of SL(2) ([6]) were surprisingly similar. We puzzled over this, in particular over the role of elementary matrices in both computations. We formulated a very general result on the fundamental group of a Satake compactification of a locally symmetric space. This lead to our joint paper [1] with Lizhen Ji and Les Saper on these fundamental groups. Although the results in it were intriguingly similar to the corresponding calculations of the congruence subgroup kernel of the underlying algebraic group in [5], we were not able to demonstrate a direct connection (cf. [1], ${\S}$7). The purpose of this note is to explain such a connection. A covering space is constructed from inverse limits of reductive Borel-Serre compactifications. The congruence subgroup kernel then appears as the group of deck transformations of this covering. The key to this is the computation of the fundamental group in [1]

Equivariant KK-theory of GKM bundles

Given a fiber bundle of GKM spaces, $\pi\colon M\to B$, we analyze the structure of the equivariant $K$-ring of $M$ as a module over the equivariant $K$-ring of $B$ by translating the fiber bundle, $\pi$, into a fiber bundle of GKM graphs and constructing, by combinatorial techniques, a basis of this module consisting of $K$-classes which are invariant under the natural holonomy action on the $K$-ring of $M$ of the fundamental group of the GKM graph of $B$. We also discuss the implications of this result for fiber bundles $\pi\colon M\to B$ where $M$ and $B$ are generalized partial flag varieties and show how our GKM description of the equivariant $K$-ring of a homogeneous GKM space is related to the Kostant-Kumar description of this ring.Comment: 15 page

Remarks on the classification of quasitoric manifolds up to equivariant homeomorphism

We give three sufficient criteria for two quasitoric manifolds (M,M') to be (weakly) equivariantly homeomorphic. We apply these criteria to count the weakly equivariant homeomorphism types of quasitoric manifolds with a given cohomology ring.Comment: 11 page

Euler-Bessel and Euler-Fourier Transforms

We consider a topological integral transform of Bessel (concentric isospectral sets) type and Fourier (hyperplane isospectral sets) type, using the Euler characteristic as a measure. These transforms convert constructible \zed-valued functions to continuous $\real$-valued functions over a vector space. Core contributions include: the definition of the topological Bessel transform; a relationship in terms of the logarithmic blowup of the topological Fourier transform; and a novel Morse index formula for the transforms. We then apply the theory to problems of target reconstruction from enumerative sensor data, including localization and shape discrimination. This last application utilizes an extension of spatially variant apodization (SVA) to mitigate sidelobe phenomena

The hypertoric intersection cohomology ring

We present a functorial computation of the equivariant intersection cohomology of a hypertoric variety, and endow it with a natural ring structure. When the hyperplane arrangement associated with the hypertoric variety is unimodular, we show that this ring structure is induced by a ring structure on the equivariant intersection cohomology sheaf in the equivariant derived category. The computation is given in terms of a localization functor which takes equivariant sheaves on a sufficiently nice stratified space to sheaves on a poset.Comment: Significant revisions in Section 5, with several corrected proof

Topological properties of punctual Hilbert schemes of almost-complex fourfolds (I)

In this article, we study topological properties of Voisin's punctual Hilbert schemes of an almost-complex fourfold $X$. In this setting, we compute their Betti numbers and construct Nakajima operators. We also define tautological bundles associated with any complex bundle on $X$, which are shown to be canonical in $K$-theory

Convex Polytopes and Quasilattices from the Symplectic Viewpoint

We construct, for each convex polytope, possibly nonrational and nonsimple, a family of compact spaces that are stratified by quasifolds, i.e. each of these spaces is a collection of quasifolds glued together in an suitable way. A quasifold is a space locally modelled on $\R^k$ modulo the action of a discrete, possibly infinite, group. The way strata are glued to each other also involves the action of an (infinite) discrete group. Each stratified space is endowed with a symplectic structure and a moment mapping having the property that its image gives the original polytope back. These spaces may be viewed as a natural generalization of symplectic toric varieties to the nonrational setting.Comment: LaTeX, 29 pages. Revised version: TITLE changed, reorganization of notations and exposition, added remarks and reference

Equivariant cohomology and analytic descriptions of ring isomorphisms

In this paper we consider a class of connected closed $G$-manifolds with a non-empty finite fixed point set, each $M$ of which is totally non-homologous to zero in $M_G$ (or $G$-equivariantly formal), where $G={\Bbb Z}_2$. With the help of the equivariant index, we give an explicit description of the equivariant cohomology of such a $G$-manifold in terms of algebra, so that we can obtain analytic descriptions of ring isomorphisms among equivariant cohomology rings of such $G$-manifolds, and a necessary and sufficient condition that the equivariant cohomology rings of such two $G$-manifolds are isomorphic. This also leads us to analyze how many there are equivariant cohomology rings up to isomorphism for such $G$-manifolds in 2- and 3-dimensional cases.Comment: 20 pages, updated version with two references adde

Grothendieck groups and a categorification of additive invariants

A topologically-invariant and additive homology class is mostly not a natural transformation as it is. In this paper we discuss turning such a homology class into a natural transformation; i.e., a "categorification" of it. In a general categorical set-up we introduce a generalized relative Grothendieck group from a cospan of functors of categories and also consider a categorification of additive invariants on objects. As an example, we obtain a general theory of characteristic homology classes of singular varieties.Comment: 27 pages, to appear in International J. Mathematic