Rank 2 stable vector bundles on Fano 3-folds of index 2

Let X be a Fano 3-fold of the first kind with index 2. In this paper, we characterize the chern classes of rank 2 stable vector bundles on X and we find a bound for the least twist of a rank 2 reflexive sheaf on X which has a global section.     

Microlocal study of topological Radon transforms and real projective duality

Various topological properties of projective duality between real projective varieties and their duals are obtained by making use of the microlocal theory of (subanalytically) constructible sheaves developed by Kashiwara [M. Kashiwara, Index theorem for constructible sheaves, Astérisque 130 (1985) 193-209] and Kashiwara-Schapira [M. Kashiwara, P. Schapira, Sheaves on Manifolds, Grundlehren Math. Wiss., vol. 292, Springer, Berlin-Heidelberg-New York, 1990]. In particular, we prove in the real setting some results similar to the ones proved by Ernström in the complex case [L. Ernström, Topological Radon transforms and the local Euler obstruction, Duke Math. J. 76 (1994) 1-21]. For this purpose, we describe the characteristic cycles of topological Radon transforms of constructible functions in terms of curvatures of strata in real projective spaces.     

Valuations on Manifolds and Integral Geometry

We construct new operations of pull-back and push-forward on valuations on manifolds with respect to submersions and immersions. A general Radon-type transform on valuations is introduced using these operations and the product on valuations. It is shown that the classical Radon transform on smooth functions, and the well-known Radon transform on constructible functions, with respect to the Euler characteristic, are special cases of this new Radon transform. An inversion formula for the Radon transform on valuations has been proven in a specific case of real projective spaces. Relations of these operations to yet another classical type of integral geometry, Crofton and kinematic formulas, are indicated.     

Topological collapsings and cylindrical neighborhoods in 3-manifolds

We introduce the concept of topological collapsing as a topological abstraction of polyhedral ones. Then we use this concept to characterize the cylindrical neighborhoods of a closed X in a locally compact separable metric space M such that M - X is a 3-manifold. We also prove the following criterion of existence: X has cylindrical neighborhoods in M iff there is a neighborhood N of X in M which is topologically collapsible onto X respecting Bd(M - X).     

Compact open topology and CW homotopy type

The class of spaces having the homotopy type of a CW complex is not closed under formation of function spaces. In 1959, Milnor proved the fundamental theorem that, given a space and a compact Hausdorff space X, the space Y^X of continuous functions X→Y, endowed with the compact open topology, belongs to . P.J. Kahn extended this in 1982, showing that if X has finite n-skeleton and π_k(Y)=0, k>n.

Using a different approach, we obtain a further generalization and give interesting examples of function spaces where is not homotopy equivalent to a finite complex, and has infinitely many nontrivial homotopy groups. We also obtain information about some topological properties that are intimately related to CW homotopy type.

As an application we solve a related problem concerning towers of fibrations between spaces of CW homotopy type.     

Instabilities of robot motion

Instabilities of robot motion are caused by topological reasons. In this paper we find a relation between the topological properties of a configuration space (the structure of its cohomology algebra) and the character of instabilities, which are unavoidable in any motion planning algorithm. More specifically, let X denote the space of all admissible configurations of a mechanical system. A motion planner is given by a splitting X×X=F₁F₂F_k (where F₁,…,F_k are pairwise disjoint ENRs, see below) and by continuous maps s_j :F_j→PX, such that Es_j=1_Fj. Here PX denotes the space of all continuous paths in X (admissible motions of the system) and E :PX→X×X denotes the map which assigns to a path the pair of its initial–end points. Any motion planner determines an algorithm of motion planning for the system. In this paper we apply methods of algebraic topology to study the minimal number of sets F_j in any motion planner in X. We also introduce a new notion of order of instability of a motion planner; it describes the number of essentially distinct motions which may occur as a result of small perturbations of the input data. We find the minimal order of instability, which may have motion planners on a given configuration space X. We study a number of specific problems: motion of a rigid body in R³, a robot arm, motion in R³ in the presence of obstacles, and others.     

The Wijsman and Attouch-Wets topologies on hyperspaces revisited

In this paper we will prove that, for an arbitrary metric space X and a fairly arbitrary collection Σ of subsets of X, it is possible to endow the hyperspace CL(X) of all nonempty closed subsets of X (to be identified with their distance functionals) with a canonical distance function having the topology of uniform convergence on members of Σ as topological coreflection and the Hausdorff metric as metric coreflection. For particular choices of Σ, we obtain canonical distance functions overlying the Wijsman and Attouch-Wets topologies. Consequently we apply the general theory of spaces endowed with a distance function and compare the results with those obtained for the classical hyperspace topologies. In all cases we are able to prove results which are both stronger and more general than the classical ones.     

The homotopy Lie algebra of classifying spaces

Let X be a 1-connected CW-complex of finite type and L_x its rational homotopy Lie algebra. In this work, we show that there is a spectral sequence whose E² term is the Lie algebra Ext_ULx(Q, L_x), and which converges to the homotopy Lie algebra of the classifying space B autX. Moreover, some terms of this spectral sequence are related to derivations of L_x and to the Gottlieb group of X.     

Neighborhood assignments and cardinal functions: a unified approach to metrization and uniformity

We use neighborhood assignments and cardinal functions to give a unified approach to metrizability and uniformity. This leads to a number of characterizations of m(X), the metrizability degree of X, u(X), the uniform weight of X, and w(X), the weight of X. For X normal (and regular), m(X) = u(X); it is unknown whether this result extends to completely regular spaces.     

Function-space compactifications of function spaces

If X and Y are Hausdorff spaces with X locally compact, then the compact-open topology on the set C(X,Y) of continuous maps from X to Y is known to produce the right function-space topology. But it is also known to fail badly to be locally compact, even when Y is locally compact. We show that for any Tychonoff space Y, there is a densely injective space Z containing Y as a densely embedded subspace such that, for every locally compact space X, the set C(X,Z) has a compact Hausdorff topology whose relative topology on C(X,Y) is the compact-open topology. The following are derived as corollaries: (1) If X and Y are compact Hausdorff spaces then C(X,Y) under the compact-open topology is embedded into the Vietoris hyperspace V(X×Y). (2) The space of real-valued continuous functions on a locally compact Hausdorff space under the compact-open topology is embedded into a compact Hausdorff space whose points are pairs of extended real-valued functions, one lower and the other upper semicontinuous. The first application is generalized in two ways.     

Borel measures in consonant spaces

A topology on a set X is called consonant if the Scott topology of the lattice is compactly generated; equivalently, if the upper Kuratowski topology and the co-compact topology on closed sets of X coincide. It is proved that every completely regular consonant space is a Prohorov space, and that every first countable regular consonant space is hereditarily Baire. If X is metrizable separable and co-analytic, then X is consonant if and only if X is Polish. Finally, we prove that every pseudocompact topological group which is consonant is compact. Several problems of Dolecki, Greco and Lechicki, of Nogura and Shakmatov, are solved.     

Spectral analysis and the Riemann hypothesis

The explicit formulas of Riemann and Guinand-Weil relate the set of prime numbers with the set of nontrivial zeros of the zeta function of Riemann. We recall Alain Connes’ spectral interpretation of the critical zeros of the Riemann zeta function as eigenvalues of the absorption spectrum of an unbounded operator in a suitable Hilbert space. We then give a spectral interpretation of the zeros of the Dedekind zeta function of an algebraic number field K of degree n in an automorphic setting.

If K is a complex quadratic field, the torical forms are the functions defined on the modular surface X, such that the sum of this function over the “Gauss set” of K is zero, and Eisenstein series provide such torical forms.

In the case of a general number field, one can associate to K a maximal torus T of the general linear group G. The torical forms are the functions defined on the modular variety X associated to G, such that the integral over the subvariety induced by T is zero. Alternately, the torical forms are the functions which are orthogonal to orbital series on X.

We show here that the Riemann hypothesis is equivalent to certain conditions bearing on spaces of torical forms, constructed from Eisenstein series, the torical wave packets. Furthermore, we define a Hilbert space and a self-adjoint operator on this space, whose spectrum equals the set of critical zeros of the Dedekind zeta function of K.     

The Generalized Radon Transform on the Plane, the Inverse Transform, and the Cavalieri Conditions

In the two-dimensional case, the generalized Radon transform takes each function supported in a disk to the values of the integrals of that function over a family of curves. We assume that the curves differ only slightly from straight lines and the network formed by these curves has the same topological structure as the network of straight lines. Thus, the generalized Radon transform specifies a function on the set of straight lines. Under these conditions, we obtain a solution of the inversion problem for the generalized Radon transform and indicate a Cavalieri condition describing the range of this transform in the space of functions on the set of straight lines.     

On analytic and coanalytic function spaces Cp(X)

Under the assumption (V = L) we construct countable completely regular spaces X and Y such that the spaces C_p(X) and C_p(Y) of real-valued continuous functions on X and Y, equipped with the pointwise convergence topology, are analytic noncoanalytic and they are not homeomorphic. We also give analogous examples of coanalytic nonanalytic function spaces.     

Axiomatics for fuzzy rough sets

A fuzzy T-rough set consists of a set X and a T-similarity relation R on X, where T is a lower semi-continuous triangular norm. We generalize the Farinas-Prade definition for the upper approximation operator of a fuzzy T-rough set (X, R); given originally for the special case T = Min, to the case of arbitrary T. We propose a new definition for the lower approximation operator of (X,R). Our definition satisfies the two important identities and , as well as a number of other interesting properties. We provide axiomatics to fully characterize those upper and lower approximations.     

Effective inseparability in a topological setting

Effective inseparability of pairs of sets is an important notion in logic and computer science. We study the effective inseparability of sets which appear as index sets of subsets of an effectively given topological T₀-space and discuss its consequences. It is shown that for two disjoint subsets X and Y of the space one can effectively find a witness that the index set of X cannot be separated from the index set of Y by a recursively enumerable set, if X intersects the topological closure of an effectively enumerable subset of Y. As a consequence of a more general parametric inseparability result a theorem of Rice-Shapiro type is obtained. Moreover, under some additional requirements it follows that nonopen subsets have productive index sets. This implies a generalized Rice theorem: Connected spaces have only trivial completely recursive subsets. As application some decision problems in computable analysis and domain theory are studied. It follows that the complement of the halting problem can be reduced to the problem to decide of a number whether it is a computable irrational. The same is true for the problems to decide whether two numbers are equal, whether one is not greater than the other, and whether a number is equal to a given number. In the case of an effectively given continuous complete partial order the complexity of the last problem depends on whether the given element is the smallest element, in which case the complement of the halting problem is reducible to it, whether it is a base element and maximal, then the decision problem is recursively isomorphic to the halting problem, or whether it is none of these. In this case, both the halting problem and its complement are reducible to the problem. The same is true in nontrivial cases for the problems whether an element belongs to the basis, whether two elements of the partial order are equal, or whether one approximates the other. In general, for any nonempty proper subset of the partial order either the halting problem or its complement can be reduced to the membership problem of the subset.     

Multivariate normality via conditional specification

If X is a k-dimensional random vector, we denote by X_(i) the vector X with coordinate i deleted and by X_(i,j) the vector X with coordinates i and j deleted. If for each i the conditional distribution of X_i given X_(i) = x_(i) is univariate normal for each x_(i) ^K−1 and if for each i, j the conditional distribution of X_i given X_(i,j) = x_(i,j) is univariate normal for each x_(i,j) ^k−2 then it is shown that X has a classical k-variate normal distribution.     

Some complex Grassmannian manifolds that do not fibre nontrivially

A finite CW complex X is said to be prime if, given a Hurewicz fibration F→E→B with E homotopy equivalent to X, and B and F homotopy equivalent to finite CW complexes, either B or F is contractible. We show that certain 3- and 4-plane complex Grassmanian manifolds are prime.     

Integration of positive constructible functions against Euler characteristic and dimension

Following recent work of R. Cluckers and F. Loeser [Fonctions constructible et intégration motivic I, C. R. Math. Acad. Sci. Paris 339 (2004) 411-416] on motivic integration, we develop a direct image formalism for positive constructible functions in the globally subanalytic context. This formalism is generalized to arbitrary first-order logic models and is illustrated by several examples on the p-adics, on the Presburger structure and on o-minimal expansions of groups. Furthermore, within this formalism, we define the Radon transform and prove the corresponding inversion formula.