Topological invariance of intersection homology without sheaves

In (1) Goresky and MacPherson defined intersection homology groups for triangulable pseudomanifolds and showed they were PL invariants. Then in [2] they generalized these groups to any pseudomanifold and showed they were topological invariants. These groups have generated a great deal of interest. However, [2] is difficult for many mathematicians (including this author) because it requires a familiarity with a great deal of hefty sheaf-theoretic machinery. This is too bad, because the basic ideas behind intersection homology (elucidated in [1]) are very geometric.In this paper we give a sheafless definition of intersection homology groups for an arbitrary stratified set and we give an elementary sheafless proof that they are topological invariants, i.e. independent of the stratification.In doing so, we find some new perversities whose intersection homology groups are topological invariants. Unfortunately, these new perverse intersection homology classes do not seem to intersect with anything (which is probably why they were ignored by Goresky and MacPherson). But in any case these groups are invariants of singular spaces which might be of some interest.     

Singular chain intersection homology for traditional and super-perversities

We introduce a singular chain intersection homology theory which generalizes that of King and which agrees with the Deligne sheaf intersection homology of Goresky and MacPherson on any topological stratified pseudomanifold, compact or not, with constant or local coefficients, and with traditional perversities or superperversities (those satisfying ). For the case , these latter perversities were introduced by Cappell and Shaneson and play a key role in their superduality theorem for embeddings. We further describe the sheafification of this singular chain complex and its adaptability to broader classes of stratified spaces.

     

Lefschetz duality for intersection (co)homology

Mathematische Zeitschrift - We prove the Lefschetz duality for intersection (co)homology in the framework of $$\partial $$ -pseudomanifolds. We work with general perversities and without...     

Superperverse intersection cohomology: stratification (in)dependence

Within its traditional range of perversity parameters, intersection cohomology is a topological invariant of pseudomanifolds. This is no longer true once one allows superperversities, perversities with . In this case, intersection cohomology may depend on the choice of the stratification by which it is defined. Topological invariance also does not hold if one allows stratifications with codimension one strata. Nonetheless, both errant situations arise in important situations, the former in the Cappell-Shaneson superduality theorem and the latter in any discussion of pseudomanifold bordism. We show that while full invariance of intersection cohomology under restratification does not hold in this generality, it does hold up to restratifications that fix the the top stratum.     

Complexes pondérés sur les compactifications de Baily-Borel: Le cas des variétés de Siegel

In this work, we calculate the trace of a Hecke correspondance composed with a power of the Frobenius endomorphism on the fibre of the intersection complexes of the Baily-Borel compactification of a Siegel modular variety.

Our main tool is Pink's theorem about the restriction to the strata of the Baily-Borel compactification of the direct image of a local system on the Shimura variety. To use this theorem, we give a new construction of the intermediate extension of a pure perverse sheaf as a weight truncation of the full direct image.

More generally, we are able to define analogs in positive characteristic of the weighted cohomology complexes introduced by Goresky, Harder and MacPherson.

     

ℒ2-cohomologie des espaces stratifiésdes espaces stratifiés

The first results relating intersection homology with ℒ²-cohomology were found by Cheeger, Goresky and MacPhersson (cf.[4] and [5]). The first spaces considered were the compact stratified pseudomanifolds with isolated singularities. Later, Nagase extended this result to any compact stratified spaceA possessing a Cheeger type riemannian metric μ (cf. [12]). The proof of the isomorphism uses the axiomatic caractérisation of the intersection homology of [2]. In this work we show how to realize this isomorphism by the usual integration of differential forms on simplices. The main tool used is the blow up of A into a smooth manifold, introduced in [2]. We also prove that any stratified space possesses a Cheeger type riemannian metric.

---

---

Allocation de recherche de la DGICYT-Spain     

Arithmetically Cohen–Macaulay bundles on complete intersection varieties of sufficiently high multidegree

Recently it has been proved that any arithmetically Cohen–Macaulay (ACM) bundle of rank two on a general, smooth hypersurface of degree at least three and dimension at least four is a sum of line bundles. When the dimension of the hypersurface is three, a similar result is true provided the degree of the hypersurface is at least six. We extend these results to complete intersection subvarieties by proving that any ACM bundle of rank two on a general, smooth complete intersection subvariety of sufficiently high multi-degree and dimension at least four splits. We also obtain partial results in the case of threefolds.     

The Witten deformation for even dimensional spaces with cone-like singularities and admissible Morse functions

In this Note we generalise the Witten deformation to even dimensional Riemannian manifolds with cone-like singularities X and certain functions f, which we call admissible Morse functions. As a corollary we get Morse inequalities for the L²-Betti numbers of X. The contribution of a singular point p of X to the Morse inequalities can be expressed in terms of the intersection cohomology of the local Morse datum of f at p. The definition of the class of functions which we study here is inspired by stratified Morse theory as developed by Goresky and MacPherson. However the setting here is different since the spaces considered here are manifolds with cone-like singularities instead of Whitney stratified spaces.     

Generalized intersection cuts and a new cut generating paradigm

Intersection cuts are generated from a polyhedral cone and a convex set S whose interior contains no feasible integer point. We generalize these cuts by replacing the cone with a more general polyhedron C. The resulting generalized intersection cuts dominate the original ones. This leads to a new cutting plane paradigm under which one generates and stores the intersection points of the extreme rays of C with the boundary of S rather than the cuts themselves. These intersection points can then be used to generate in a non-recursive fashion cuts that would require several recursive applications of some standard cut generating routine. A procedure is also given for strengthening the coefficients of the integer-constrained variables of a generalized intersection cut. The new cutting plane paradigm yields a new characterization of the closure of intersection cuts and their strengthened variants. This characterization is minimal in the sense that every one of the inequalities it uses defines a facet of the closure.     

The geometry of p-convex intersection bodies

Busemann's theorem states that the intersection body of an origin-symmetric convex body is also convex. In this paper we provide a version of Busemann's theorem for p-convex bodies. We show that the intersection body of a p-convex body is q-convex for certain q. Furthermore, we discuss the sharpness of the previous result by constructing an appropriate example. This example is also used to show that IK, the intersection body of K, can be much farther away from the Euclidean ball than K. Finally, we extend these theorems to some general measure spaces with log-concave and s-concave measures.     

Rings of quotients for rings with big center

A ring R is called an IIC-ring if any nonzero ideal of R has nonzero intersection with the center of R. We consider certain results about rings of quotients of semiprime IIC-rings and show by examples that these properties are not preserved in the case of arbitrary IIC-rings. We also prove more general properties of IIC-rings concerning its rings of quotients.     

Optimal Decentralized Regulation for a Class of Flow Networks

Optimal decentralized regulation is considered for a class of flow networks where, at each intersection, a selective switch links a single input–output pair at anytime. It is shown that a special case of the above is an urban traffic network with signalized intersection. We analyze first the traffic situation of an isolated intersection based on the point-queuing model of traffic and model the intersection dynamics via two states: either unsaturated or saturated. According to the different traffic characteristics of the two states, we design two intersection controllers and then combine them into one hybrid controller. This hybrid controller is extended to the multi-intersection case and becomes a decentralized hybrid intersection controller. A simulation study is given in this paper and it shows that this decentralized hybrid intersection control method can improve the performance of traffic networks and by extension the performance of more general flow networks.     

Fibration de Hitchin et endoscopie

We propose a geometric interpretation of the theory of elliptic endoscopy, due to Langlands and Kottwitz, in terms of the Hitchin fibration. As applications, we prove a global analog of a purity conjecture, due to Goresky, Kottwitz and MacPherson. For unitary groups, this global purity statement has been used, in a joint work with G. Laumon, to prove the fundamental lemma over a local fields of equal characteristics.      

Local properties of intertwining operators on the sphere

Blaschke?s original question regarding the local determination of zonoids (or projection bodies) has been the subject of much research over the years. In recent times this research has been extended to include intersection bodies and it has been shown that neither zonoids nor intersection bodies have local characterizations. However, it has also been proved that both these classes of bodies admit equatorial characterizations in odd dimensions, but not in even dimensions. The proofs of these results were mostly analytic using properties of associated spherical integral transforms, the Cosine transform and the Radon transform.Here we elaborate a general principle, showing that such local or equatorial characterization problems are equivalent to corresponding support properties of the spherical operators. We discuss this within a general framework, for intertwining operators on C^∞-functions, and apply the results to further geometric constructions, namely to certain mean section bodies, to Lq-centroid bodies and to k-intersection bodies.     

Curves on threefolds and a conjecture of Griffiths–Harris

We prove that any arithmetically Gorenstein curve on a smooth, general hypersurface of degree at least 6, is a complete intersection. This gives a characterisation of complete intersection curves on general type hypersurfaces in . We also verify that certain 1-cycles on a general quintic hypersurface are non-trivial elements of the Griffiths group.     

What is a complex matroid?

Following an “ansatz” of Björner and Ziegler [BZ], we give an axiomatic development of finite sign vector systems that we callcomplex matroids. This includes, as special cases, the sign vector systems that encode complex arrangements according to [BZ], and the complexified oriented matroids, whose complements were considered by Gel'fand and Rybnikov [GeR]. Our framework makes it possible to study complex hyperplane arrangements as entirely combinatorial objects. By comparing complex matroids with 2-matroids, which model the more general 2-arrangements introduced by Goresky and MacPherson [GoM], the essential combinatorial meaning of a “complex structure” can be isolated. Our development features a topological representation theorem for 2-matroids and complex matroids, and the computation of the cohomology of the complement of a 2-arrangement, including its multiplicative structure in the complex case. Duality is established in the cases of complexified oriented matroids, and for realizable complex matroids. Complexified oriented matroids are shown to be matroids with coefficients in the sense of Dress and Wenzel [D1], [DW1], but this fails in general.     

Bott's formula and enumerative geometry

We outline a strategy for computing intersection numbers on
smooth varieties with torus actions using a residue formula of Bott. As an example, Gromov-Witten numbers of twisted cubic and elliptic quartic curves on some general complete intersection in projective space are computed. The results are consistent with predictions made from mirror symmetry computations. We also compute degrees of some loci in the linear system of plane curves of degrees less than 10, like those corresponding to sums of powers of linear forms, and curves carrying inscribed polygons.

     

INTERSECTION COHOMOLOGY AND LIE ALGEBRA HOMOLOGY

For a semisimple algebraic group G over C, we try to make a comparative study between intersection cohomology of Schubert varieties and Lie algebra homology of certain nilpotent Lie algebras. We prove that when all simple factors of G are simply laced, these two are the same as vector spaces over C at the first homology level. We give counter-examples in the general case and state a conjecture as a possible direction for generalisation.