Galois closure of essentially finite morphisms

Let X be a reduced connected k-scheme pointed at a rational point x∈X(k). By using tannakian techniques we construct the Galois closure of an essentially finite k-morphism f:Y→X satisfying the condition H⁰(Y,O_Y)=k; this Galois closure is a torsor dominating f by an X-morphism and universal for this property. Moreover, we show that is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over Y is still an essentially finite vector bundle over X. We develop for torsors and essentially finite morphisms a Galois correspondence similar to the usual one. As an application we show that for any pointed torsor f:Y→X under a finite group scheme satisfying the condition H⁰(Y,O_Y)=k, Y has a fundamental group scheme π₁(Y,y) fitting in a short exact sequence with π₁(X,x).     

Families of low dimensional determinantal schemes

A scheme X⊂Pⁿ of codimension c is called standard determinantal if its homogeneous saturated ideal can be generated by the t×t minors of a homogeneous t×(t+c−1) matrix (f_ij). Given integers a₀≤a₁≤?≤a_t+c−2 and b₁≤?≤b_t, we denote by the stratum of standard determinantal schemes where f_ij are homogeneous polynomials of degrees a_j−b_i and is the Hilbert scheme (if n−c>0, resp. the postulation Hilbert scheme if n−c=0).Focusing mainly on zero and one dimensional determinantal schemes we determine the codimension of in and we show that is generically smooth along under certain conditions. For zero dimensional schemes (only) we find a counterexample to the conjectured value of appearing in Kleppe and Miró-Roig (2005) [25].     

Category product densities and liftings

In this paper we investigate two main problems. One of them is the question on the existence of category liftings in the product of two topological spaces. We prove, that if X×Y is a Baire space, then, given (strong) category liftings ρ and σ on X and Y, respectively, there exists a (strong) category lifting π on the product space such that π is a product of ρ and σ and satisfies the following section property:

     

Various products of category densities and liftings

We extend earlier work [M.R. Burke, N.D. Macheras, K. Musia?, W. Strauss, Category product densities and liftings, Topology Appl. 153 (2006) 1164-1191] of the authors on the existence of category liftings in the product of two topological spaces X and Y such that X×Y is a Baire space. For given densities ρ, σ on X and Y, respectively, we introduce two ‘Fubini type’ products ρ⊙σ and ρ?σ on X×Y. We present a necessary and sufficient condition for ρ⊙σ to be a density. Provided (X,Y) and (Y,X) have the Kuratowski-Ulam property, we prove for given category liftings ρ, σ on the factors the existence of a category lifting π on the product, dominating the density ρ?σ and such that

     

Projective modules over smooth, affine varieties over Archimedean real closed fields

Let be a smooth, affine variety of dimension n≥2 over the field R of real numbers. Let P be a projective A-module of such that its nth Chern class is zero. In this set-up, Bhatwadekar-Das-Mandal showed (amongst many other results) that P?A⊕Q in the case that either n is odd or the topological space X(R) of real points of X does not have a compact, connected component. In this paper, we prove that similar results hold for smooth, affine varieties over an Archimedean real closed field .     

Independence of ? in Lafforgue's theorem

Let X be a smooth curve over a finite field of characteristic p, let ?≠p be a prime number, and let be an irreducible lisse -sheaf on X whose determinant is of finite order. By a theorem of L. Lafforgue, for each prime number ?′≠p, there exists an irreducible lisse -sheaf on X which is compatible with , in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for and are equal. We prove an “independence of ?” assertion on the fields of definition of these irreducible ?′-adic sheaves : namely, that there exists a number field F such that for any prime number ?′≠p, the -sheaf above is defined over the completion of F at one of its ?′-adic places.     

Primitive elements in rings of continuous functions

Let be a surjective continuous map between compact Hausdorff spaces. The map π induces, by composition, an injective morphism C(Y)→C(X) between the corresponding rings of real-valued continuous functions, and this morphism allows us to consider C(Y) as a subring of C(X). This paper deals with algebraic properties of the ring extension C(Y)⊆C(X) in relation to topological properties of the map . We prove that if the extension C(Y)⊆C(X) has a primitive element, i.e., C(X)=C(Y)[f], then it is a finite extension and, consequently, the map π is locally injective. Moreover, for each primitive element f we consider the ideal and prove that, for a connected space Y, If is a principal ideal if and only if is a trivial covering.     

Computability of a topological poset

For subspaces X and Y of Q the notation Xh_?Y means that X is homeomorphic to a subspace of Y and X∼Y means Xh_?Yh_?X. The resulting set P(Q)/∼ of equivalence classes is partially-ordered by the relation if Xh_?Y. In a previous paper by the author it was established that this poset is essentially determined by considering only the scattered X⊆Q of finite Cantor-Bendixson rank. Results from that paper are extended to show that this poset is computable.     

Geometric degree of finite extensions of mappings from a smooth variety

Let f:V→W be a finite polynomial mapping of algebraic subsets V,W of and , respectively, with n≤m. It is known that f can be extended to a finite polynomial mapping . Moreover, it is known that, if V,W are smooth of dimension k,4k+2≤n=m, and f is dominated on every component (without vertical components) then there exists a finite polynomial extension such that , where means the number of points in the generic fiber of h. In this note we improve this result. Namely we show that there exists a finite polynomial extension such that .     

Separate continuity, joint continuity, the Lindelöf property and p-spaces

In this paper we prove a theorem more general than the following. Suppose that X is ?ech-complete and Y is a closed subset of a product of a separable metric space with a compact Hausdorff space. Then for each separately continuous function there exists a residual set R in X such that f is jointly continuous at each point of R×Y. This confirms the suspicions of S. Mercourakis and S. Negrepontis from 1991.     

Topological entropy for set valued maps

Any continuous map T on a compact metric space X induces in a natural way a continuous map on the space K(X) of all non-empty compact subsets of X. Let T be a homeomorphism on the interval or on the circle. It is proved that the topological entropy of the induced set valued map is zero or infinity. Moreover, the topological entropy of is zero, where C(X) denotes the space of all non-empty compact and connected subsets of X. For general continuous maps on compact metric spaces these results are not valid.     

Geometry of the tetrahedron space

Let X^° be the space of all labeled tetrahedra in P³. In [E. Babson, P.E. Gunnells, R. Scott, A smooth space of tetrahedra, Adv. Math. 165(2) (2002) 285-312] we constructed a smooth symmetric compactification of X^°. In this article we show that the complement is a divisor with normal crossings, and we compute the cohomology ring .     

Ideals of operators and the metric approximation property

We prove that a Banach space X has the metric approximation property if and only if , the space of all finite rank operators, is an ideal in , the space of all bounded operators, for every Banach space Y. Moreover, X has the shrinking metric approximation property if and only if is an ideal in for every Banach space Y.Similar results are obtained for u-ideals and the corresponding unconditional metric approximation properties.     

On varieties of almost minimal degree III: Tangent spaces and embedding scrolls

Let X⊂P^r be a variety of almost minimal degree which is the projected image of a rational normal scroll from a point p outside of . In this paper we study the tangent spaces at singular points of X and the geometry of the embedding scrolls of X, i.e. the rational normal scrolls Y⊂P^r which contain X as a codimension one subvariety.