On the singularities of foliations and of vector bundle maps

LetF be a (smooth) Γ _q ^∞ -stucture (often called a codimension-q Haefliger structure) on a compact manifoldX ⁿ . Cohomological invariants associated to the singularities ofF are defined whose vanishing is shown to be a necessary condition for deformingF to a codimension-q foliation onX ⁿ . An analagous approach to vector bundle maps is then utilized to prove a general theorem concerning the possibility of embedding a vector bundle in the tangent bundle ofX ⁿ , and applications to the planefield problem are given. In the final section geometric realizations of the singularity classes associated toF are constructed.     

Partitions of sets of matrices

The set of all 2×2 matrices with elements from a given set Ω is partitioned into a finite number of classes. The principal object of this paper is to estimate how small a matrix is guaranteed to contain an r×s submatrix all of whose 2×2 submatrices belong to one class only. This problem includes a number of particular situations that had previously been considered in isolation. One of the tools employed is a generalization of the notion of partial order.     

Extensions and generalizations of a theorem of Widder and of the theory of symmetric local semigroups

The theory of symmetric local semigroups due to A. Klein and L. Landau (J. Funct. Anal.44 (1981), 121–136) is generalized to semigroups indexed by subsets of $\text{R}$ⁿ for n > 1. The result implies a similar result of A. E. Nussbaum (J. Funct. Anal.48 (1982), 213–223). It is further generalized to semigroups that are symmetric local in some directions and unitary in others. The results are used to give a simple proof of A. Devinatz's (Duke Math. J.22 (1955), 185–192) and N. I. Akhiezer's (“the Classical Moment Problem and Some Related Questions,” Hafner, New York, 1965) generalization of a theorem of Widder concerning the representation of functions as Laplace integrals. This result is extended to the representation as a Laplace integral of a function taking values in $\text{B}$($\text{R}$), the set of bounded linear operators on a Hilbert space $\text{R}$. Also, a theorem is proved encompassing both the result of Devinatz and Akhiezer, and Bochner's theorem on the representation of positive definite functions as Fourier integrals.     

The Distributions of the Entries of Young Tableaux

Let T be a standard Young tableau of shape λ⊢k. We show that the probability that a randomly chosen Young tableau of n cells contains T as a subtableau is, in the limit n→∞, equal to f^λ/k!, where f^λ is the number of all tableaux of shape λ. In other words, the probability that a large tableau contains T is equal to the number of tableaux whose shape is that of T, divided by k!. We give several applications, to the probabilities that a set of prescribed entries will appear in a set of prescribed cells of a tableau, and to the probabilities that subtableaux of given shapes will occur. Our argument rests on a notion of quasirandomness of families of permutations, and we give sufficient conditions for this to hold.     

The geometry of the asymptotics of polynomial maps

The aim of this paper is to develop a theory for the asymptotic behavior of polynomials and of polynomial maps overR and overC and to apply it to the Jacobian conjecture. This theory gives a unified frame for some results on polynomial maps that were not related before. A well known theorem of J. Hadamard gives a necessary and sufficient condition on a local diffeomorphismf: R ⁿ →R ⁿ to be a global diffeomorphism. In order to show thatf is a global diffeomorphism it suffices to exclude the existence of asymptotic values forf. The real Jacobian conjecture was shown to be false by S. Pinchuk. Our first application is to understand his construction within the general theory of asymptotic values of polynomial maps and prove that there is no such counterexample for the Jacobian conjecture overC. In a second application we reprove a theorem of Jeffrey Lang which gives an equivalent formulation of the Jacobian conjecture in terms of Newton polygons. This generalizes a result of Abhyankar. A third application is another equivalent formulation of the Jacobian conjecture in terms of finiteness of certain polynomial rings withinC[U, V]. The theory has a geometrical aspect: we define and develop the theory of etale exotic surfaces. The simplest such surface corresponds to Pinchuk's construction in the real case. In fact, we prove one more equivalent formulation of the Jacobian conjecture using etale exotic surfaces. We consider polynomial vector fields on etale exotic surfaces and explore their properties in relation to the Jacobian conjecture. In another application we give the structure of the real variety of the asymptotic values of a polynomial mapf: R ² →R ² .     

Behavior of zeros of polynomials of near best approximation

The purpose of this paper is to study the asymptotic behavior of the zeros of polynomials of near best approximation to continuous functions f on a compact set E in the case when f is analytic on the interior of E but not everywhere on the boundary. For example, suppose E is a finite union of compact intervals of the real line and f is a continuous function on E, but is not analytic on E; then we show (cf. Corollary 2.2) that every point of E is a limit point of zeros of the polynomials of best uniform approximation to f on E. This fact answers a question posed by P. Borwein who showed that, for the case when E is a single interval and f is real-valued, then the above hypotheses on f imply that at least one point of E is the limit point of zeros of such polynomials.     

Complexity of degenerations of modules

A module M over an associative algebra A over an algebraically closed field k is said to degenerate to a module N if N belongs to the closure of the isomorphism class of M in the algebraic variety of d-dimensional A-modules, . We associate a non-negative integer to a degeneration , its complexity, and study its properties. Received: January 30, 2001     

Presheaves of triangulated categories and reconstruction of schemes

To any triangulated category with tensor product , we associate a topological space , by means of thick subcategories of K, à la Hopkins-Neeman-Thomason. Moreover, to each open subset U of this space , we associate a triangulated category , producing what could be thought of as a presheaf of triangulated categories. Applying this to the derived category of perfect complexes on a noetherian scheme X, the topological space turns out to be the underlying topological space of X; moreover, for each open , the category is naturally equivalent to . As an application, we give a method to reconstruct any reduced noetherian scheme X from its derived category of perfect complexes , considering the latter as a tensor triangulated category with . Received: 28 January 2002 / Published online: 6 August 2002     

Contractions of infrainvariant systems of subgroups

We create a method which allows an arbitrary group G with an infrainvariant system ℒ(G) of subgroups to be embedded in a group G* with an infrainvariant system ℒ(G*) of subgroups, so that G _α^* ∩G ∈ ℒ(G) for every subgroup G _α^* ∩G ∈ ℒ(G*) and each factor B/A of a jump of subgroups in ℒ(G*) is isomorphic to a factor of a jump in ℒ(G), or to any specified group H. Using this method, we state new results on right-ordered groups. In particular, it is proved that every Conrad right-ordered group is embedded with preservation of order in a Conrad right-ordered group of Hahn type (i.e., a right-ordered group whose factors of jumps of convex subgroups are order isomorphic to the additive group ℝ); every right-ordered Smirnov group is embedded in a right-ordered Smirnov group of Hahn type; a new proof is given for the Holland–McCleary theorem on embedding every linearly ordered group in a linearly ordered group of Hahn type.     

Finite-dimensional points of continuity of Lat

Associated with every linear transformation A on a finite-dimensional vector space V there is a collection Lat A of subspaces of V, namely the subspaces invariant under A. The collection lat A always contains the (trivial) subspace 0 and the (improper) subspace V. Since, moreover, it is closed under the formation of intersections and spans, it forms a lattice with respect to those operations (whence its name). The purpose of this paper is to interpret and to prove the following assertion: anecessary and sufficient condition that a linear transformation on a finite-dimensionalcomplex vector space be a point of continuity of Lat is that it be non-derogatory. The assumption that the underlying coefficient field is the set of complex numbers is maintained throughout.     

Characterizations of optimal scalings of matrices

A scaling of a non-negative, square matrixA ≠ 0 is a matrix of the formDAD ^?1, whereD is a non-negative, non-singular, diagonal, square matrix. For a non-negative, rectangular matrixB ≠ 0 we define a scaling to be a matrixCBE ^?1 whereC andE are non-negative, non-singular, diagonal, square matrices of the corresponding dimension. (For square matrices the latter definition allows more scalings.) A measure of the goodness of a scalingX is the maximal ratio of non-zero elements ofX. We characterize the minimal value of this measure over the set of all scalings of a given matrix. This is obtained in terms of cyclic products associated with a graph corresponding to the matrix. Our analysis is based on converting the scaling problem into a linear program. We then characterize the extreme points of the polytope which occurs in the linear program.     

The groups of the semigroup of compact subsets of a topological group

The compact subsets of a topological groupG form a semigroup,S(G), when multiplication is defined by set product. This semigroup is a topological semigroup when given the Vietoris topology. It would be expected that the subgroups ofS(G) should in some way be related to the groupG. This is the case. It is shown that the subgroups ofS(G) are both algebraically and topologically exactly the groups obtained as quotients of certain subgroups ofG. One consequence of this is that every subgroup ofS(G) is a topological group. Conditions are also given for these subgroups to be open or closed. Green's relations inS(G) have a particularly nice formulation. As a result, the relationsD andJ are equal inS(G). Moreover, the Schützenberger group of aD-class is a topological group that is topologically isomorphic to a quotient of certain subgroups ofG.     

Eigenvector p-Bases of Rings of Constants of Derivations

Let A be a UFD of characteristic p > 0, let 𝒵 be a set of some eigenvectors of a derivation of A. We prove, under some additional assumptions, a necessary and sufficient condition for 𝒵 to be a p-basis of the minimal ring of constants containing 𝒵. The main preparatory result is the unique decomposition theorem with respect to a factor from a given subalgebra containing A^p.     

Existence of densities of solutions of stochastic differential equations by Malliavin calculus

I considered if solutions of stochastic differential equations have their density or not when the coefficients are not Lipschitz continuous. However, when stochastic differential equations whose coefficients are not Lipschitz continuous, the solutions would not belong to Sobolev space in general. So, I prepared the class Vh which is larger than Sobolev space, and considered the relation between absolute continuity of random variables and the class Vh. The relation is associated to a theorem of N. Bouleau and F. Hirsch. Moreover, I got a sufficient condition for a solution of stochastic differential equation to belong to the class Vh, and showed that solutions of stochastic differential equations have their densities in a special case by using the class Vh.     

Large deviations of the extreme eigenvalues of random deformations of matrices

Consider a real diagonal deterministic matrix X _n of size n with spectral measure converging to a compactly supported probability measure. We perturb this matrix by adding a random finite rank matrix, with delocalized eigenvectors. We show that the joint law of the extreme eigenvalues of the perturbed model satisfies a large deviation principle in the scale n, with a good rate function given by a variational formula. We tackle both cases when the extreme eigenvalues of X _n converge to the edges of the support of the limiting measure and when we allow some eigenvalues of X _n , that we call outliers, to converge out of the bulk. We can also generalise our results to the case when X _n is random, with law proportional to e ^{?n Tr V(X)} dX, for V growing fast enough at infinity and any perturbation of finite rank.     

Integral Points of Small Height Outside of a Hypersurface

Let F be a non-zero polynomial with integer coefficients in N variables of degree M. We prove the existence of an integral point of small height at which F does not vanish. Our basic bound depends on N and M only. We separately investigate the case when F is decomposable into a product of linear forms, and provide a more sophisticated bound. We also relate this problem to a certain extension of Siegel’s Lemma as well as to Faltings’ version of it. Finally we exhibit an application of our results to a discrete version of the Tarski plank problem.     

Asphericity of shadows of a convex body

A shadow F of a body K is a parallel projection of K to a plane. The shadow F is said to be ε-aspherical if the boundary ∂F lies in a circular ring with center O and ratio of radii equal to 1 + ε. F is said to be ε-aspherical by a part of α if the same is true for the part of ∂F lying inside an angle of 2α π with vertex at O (or within the union of two vertical angles equal to απ if K is centrally symmetric). It is proved that each convex body K ⊂ ℝ³ has a -aspherical shadow and a shadow that is (sec π/5 − 1)-aspherical by 4/5. If K is centrally symmetric, then K has a -aspherical shadow and a shadow that is (sec π/7 − 1)-aspherical by 6/7. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 67–78.     

Sub-Riemannian geometry of the coefficients of univalent functions

We consider coefficient bodies Mn for univalent functions. Based on the Löwner-Kufarev parametric representation we get a partially integrable Hamiltonian system in which the first integrals are Kirillov's operators for a representation of the Virasoro algebra. Then Mn are defined as sub-Riemannian manifolds. Given a Lie-Poisson bracket they form a grading of subspaces with the first subspace as a bracket-generating distribution of complex dimension two. With this sub-Riemannian structure we construct a new Hamiltonian system to calculate regular geodesics which turn to be horizontal. Lagrangian formulation is also given in the particular case M₃.     

Sets of degrees of computable fields

Given a Σ₂ (resp. Σ₁) degree of recursive unsolvability a, a computable field (resp. a computable field with a splitting algorithm)F is constructed in any given characteristic, such that the set of dimensions of all finite extensions ofF has degree a. This is part of an M.Sc. Thesis presented at The Hebrew University. The author wishes to express his indebtedness to his Supervisor Professor H. Gaifman for his constant guidance and encouragement. Thanks are also due to Professor G. Sabbagh (University of Paris VII) for several useful suggestions.