Hodge cohomology of some foliated boundary and foliated cusp metrics

For fibred boundary and fibred cusp metrics, Hausel, Hunsicker, and Mazzeo identified the space of L² harmonic forms of fixed degree with the images of maps between intersection cohomology groups of an associated stratified space obtained by collapsing the fibres of the fibration at infinity onto its base. In the present paper, we obtain a generalization of this result to situations where, rather than a fibration at infinity, there is a Riemannian foliation with compact leaves admitting a resolution by a fibration. If the associated stratified space (obtained now by collapsing the leaves of the foliation) is a Witt space and if the metric considered is a foliated cusp metric, then no such resolution is required.     

Sampling theorems on locally compact groups from oscillation estimates

We present a general approach to derive sampling theorems on locally compact groups from oscillation estimates. We focus on the L ²-stability of the sampling operator by using notions from frame theory. This approach yields particularly simple and transparent reconstruction procedures. We then apply these methods to the discretization of discrete series representations and to Paley–Wiener spaces on stratified Lie groups.     

ℒ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     

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.     

Self-Similarity in Harmonic Analysis

This is a survey of recent work involving concepts of self-similarity that relate to harmonic analysis. Perhaps the main theme is the question: how does the fractal or self-similar nature of an object express itself on the Fourier transform side? A wide range of related topics are discussed, including self-similar measures and distributions, fractal Plancherel theorems, L^p dimensions and densities of measures, multiperiodic functions and their asymptotic behavior, convolution equations with self-similar measures, self-similar tilings, and the development of self-similar analysis on stratified nilpotent Lie groups.     

Bivariate C1 Cubic Spline Spaces Over Even Stratified Triangulations

It is well-known that the basic properties of a bivariate spline space such as dimension and approximation order depend on the geometric structure of the partition. The dependence of geometric structure results in the fact that the dimension of a C ¹ cubic spline space over an arbitrary triangulation becomes a well-known open problem. In this paper, by employing a new group of smoothness conditions and conformality conditions, we determine the dimension of bivariate C ¹ cubic spline spaces over a so-called even stratified triangulation.     

The G-Ellipticity for the Sub-Laplacian on Two Step Stratified Lie Groups

This paper reveals that the sub-Laplacian L₀ on two step stratified Lie groups has a similar behavior like elliptic operators on the Euclidean space, that is, the sub - Laplacian satisfies a group-elliptic estimate, called the G- elliptic estimate (or the L^p regularity), and the general left Invariant operator L_λ has such a behavior if and only if λ is admissible.     

Functional Calculus for Infinitesimal Generators of Holomorphic Semigroups

We give a functional calculus formula for infinitesimal generators of holomorphic semigroups of operators on Banach spaces, which involves the Bochner–Riesz kernels of such generators. The rate of smoothness of operating functions is related to the exponent of the growth on vertical lines of the operator norm of the semigroup. The strength of the formula is tested on Poisson and Gauss semigroups inL¹(Rⁿ) andL¹(G), for a stratified Lie groupG. We give also a self-contained theory of smooth absolutely continuous functions on the half line [0, ∞).     

A stratification of Hilbert schemes by initial ideals and applications

We show that the set of the homogeneous saturated ideals with given initial ideal in a fixed term-ordering is locally closed in the Hilbert scheme, and that it is affine if the initial ideal is saturated. Then, Hilbert schemes can be stratified using these subschemes. We investigate the behaviour of this stratification with respect to some properties of the closed points. As application, we describe the singular locus of the component of Hilb^{4 z +1} _ℙ4 containing the ACM curves of degree 4. Received: 30 November 1998 / Revised version: 16 September 1999     

Blow-Up Estimates at Horizontal Points and Applications

Horizontal points of smooth submanifolds in stratified groups play the role of singular points with respect to the Carnot-Carathéodory distance. When we consider hypersurfaces, they coincide with the well known characteristic points. In two step groups, we obtain pointwise estimates for the Riemannian surface measure at all horizontal points of C ^1,1 smooth submanifolds. As an application, we establish an integral formula to compute the spherical Hausdorff measure of any C ^1,1 submanifold. Our technique also shows that C ² smooth submanifolds everywhere admit an intrinsic blow-up and that the limit set is an intrinsically homogeneous algebraic variety.     

An algebra containing the two-sided convolution operators

We present an intrinsically defined algebra of operators containing the right and left invariant Calderón–Zygmund operators on a stratified group. The operators in our algebra are pseudolocal and bounded on L^p (1<p<∞). This algebra provides an example of an algebra of singular integrals that falls outside of the classical Calderón–Zygmund theory.     

More infinity for a better finitism

Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed in around 1995 by Patrick Suppes and Richard Sommer. It is based on an earlier system developed by Rolando Chuaqui and Patrick Suppes. Here, we discuss the inherent problems and limitations of the classical nonstandard framework and propose a much-needed refinement of ERNA, called ERNA^A, in the spirit of Karel Hrbacek’s stratified set theory. We study the metamathematics of ERNA^A and its extensions. In particular, we consider several transfer principles, both classical and ‘stratified’, which turn out to be related. Finally, we show that the resulting theory allows for a truly general, elegant and elementary treatment of basic analysis.     

K-Theory of Stratified Vector Bundles

We show that the Atiyah–Hirzebruch K-theory of spaces admits a canonical generalization for stratified spaces. For this we study algebraic constructions on stratified vector bundles. In particular the tangent bundle of a stratified manifold is such a stratified vector bundle.     

Stratified lattice-valued neighborhood tower group

In this paper, by generalizing Höhle and ?ostak’s stratified L-fuzzy neighborhood system, the notion of stratified L-neighborhood tower space is introduced. Then by enriching a group structure on a stratified L-neighborhood tower space, the notion of stratified L-neighborhood tower group is proposed. It is proved that this notion can be regarded as a natural extension of stratified L-neighborhood group dis- cussed by Ahsanullah etal. Indeed, the category of stratified L-neighborhood tower groups includes the category of stratified L-neighborhood groups as a concretely reflective (resp., coreflective) full subcategory. Furthermore, it is shown that the group operations enrich a stratified L-neighborhood tower space to be topological (generally, stratified L-neighborhood tower space is not topological). This means that there is no di?erence between stratified L-neighborhood tower group and topologically stratified L-neighborhood tower group.     

Resolvent estimates and smoothing for homogeneous partial differential operators on graded Lie groups

By using commutator methods, we show uniform resolvent estimates and obtain globally smooth operators for self-adjoint injective homogeneous operators H on graded groups, including Rockland operators, sublaplacians, and many others. Left or right invariance is not required. Typically the globally smooth operator has the form T = V|H|^1∕2, where V only depends on the homogeneous structure of the group through Sobolev spaces, the homogeneous dimension and the minimal and maximal dilation weights. For stratified groups improvements are obtained, by using a Hardy-type inequality. Some of the results involve refined estimates in terms of real interpolation spaces and are valid in an abstract setting. Even for the commutative group ?^N some new classes of partial differential operators are treated.     

Computational results of an O(n) volume algorithm

Recently an O^∗(n⁴) volume algorithm has been presented for convex bodies by Lovász and Vempala, where n is the number of dimensions of the convex body. Essentially the algorithm is a series of Monte Carlo integrations. In this paper we describe a computer implementation of the volume algorithm, where we improved the computational aspects of the original algorithm by adding variance decreasing modifications: a stratified sampling strategy, double point integration and orthonormalised estimators. Formulas and methodology were developed so that the errors in each phase of the algorithm can be controlled. Some computational results for convex bodies in dimensions ranging from 2 to 10 are presented as well.     

Perverse sheaves,Koszul IC-modules,and the quiver for the category $\mathcal{O}$

For a stratified topological space we introduce the category of IC-modules, which are linear algebra devices with the relations described by the equation d ²=0. We prove that the category of (mixed) IC-modules is equivalent to the category of (mixed) perverse sheaves for flag varieties. As an application, we describe an algorithm calculating the quiver underlying the BGG category for arbitrary simple Lie algebra, thus answering a question which goes back to I. M. Gelfand. Dedicated to George Lusztig on the occasion of his 60-th birthdayMathematics Subject Classification (1991)  14F43, 17B10, 32S60     

Higher order Poincaré inequalities associated with linear operators on stratified groups and applications

 This paper considers the dual of anisotropic Sobolev spaces on any stratified groups 𝔾. For 0≤k<m and every linear bounded functional T on anisotropic Sobolev space W ^m−k,p (Ω) on Ω⊂𝔾, we derive a projection operator L from W ^m,p (Ω) to the collection 𝒫 _k+1 of polynomials of degree less than k+1 such that T(X ^I (Lu))=T(X ^I u) for all uW ^m,p (Ω) and multi-index I with d(I)≤k. We then prove a general Poincaré inequality involving this operator L and the linear functional T. As applications, we often choose a linear functional T such that the associated L is zero and consequently we can prove Poincaré inequalities of special interests. In particular, we obtain Poincaré inequalities for functions vanishing on tiny sets of positive Bessel capacity on stratified groups. Finally, we derive a Hedberg-Wolff type characterization of measures belonging to the dual of the fractional anisotropic Sobolev spaces W ^α,p 𝔾. Received: 25 March 2002; in final form: 10 September 2002 / Published online: 1 April 2003 Mathematics Subject Classification (1991): 46E35, 41A10, 22E25 The second author was supported partly by U.S NSF grant DMS99-70352 and the third author was supported partly by NNSF grant of China.     

Faraday’s Form and Maxwell’s Equations in the Heisenberg Group

In this note we present a geometric formulation of Maxwell’s equations in Carnot groups (connected simply connected nilpotent Lie groups with stratified Lie algebra) in the setting of the intrinsic complex of differential forms defined by M. Rumin. Restricting ourselves to the first Heisenberg group \mathbbH¹{\mathbb{H}^{1}}, we show that these equations are invariant under the action of suitably defined Lorentz transformations, and we prove the equivalence of these equations with differential equations “in coordinates”. Moreover, we analyze the notion of “vector potential”, and we show that it satisfies a new class of 4th order evolution differential equations.