Improvement of the Nash-Tognoli theorem

Let be a smooth closed manifold in ⁿ. The Nash-Tognoli theorem says that M can be arbitrarily well approximated (in the C^r-topology with r < ) in ⁿ by a nonsingular real algebraic set under the condition that dim <(n-1)/2 There is a familiar conjecture, going back at least to Nash, that the restriction on dim in the Nash-Tognoli theorem is unnecessary. However, up to now in unstable dimensions [i.e., for dim (n-1)/2 ] the possibility of approximating was known only for orientable of codimension (in ⁿ) 1 or 2. The goal of the paper is to prove the following theorem, relaxing the restriction on dim in the Nash-Tognoli theorem to dim M<(2n-1)/3. If is a smooth closed manifold in IK and dim M<(2n–1)/3, then can be arbitrarily well approximated in ⁿ by a nonsingular real algebraic set.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 122, pp. 66–71, 1982.     

Maximal Partial Spreads and Flocks

Denote by a flock of a quadratic cone of PG(3,q) by S() the spread of PG(3,q) associated with and by l the common line of the base reguli. Suppose that there are two lines not transversal to a base regulus which share the same lines of S() Then we prove that is either linear or a Kantor-Knuth semifield flock. Using this property we can extend the result of J3 on derivable flocks proving that, if a set of q + 1 lines of S() defines a derivable net different from a base regulus-net, then is either linear or a Kantor-Knuth semifield flock. Moreover if l is not a component of the derivable net, then is linear.     

The geometry of the moduli space of CP2 instantons

Summary The moduli space of self-dual connections (instantons) of instanton numberk=1 overCP ² is topologically a cone onCP ². The complement ^* of the vertex of this cone carries a natural Riemannian metric (the L ² metric). We find an explicit formula for this metric and deduce certain consequences. In particular, (i) the boundary is a totally geodesic submanifold of the completion, (ii) is positively curved at , and (iii) is negatively curved in certain directions near the vertex of the cone.Partially supported by N.S.F. grant DMS-8405661     

Superficie cubiche di\mathbb{A}_\mathbb{C}^3 a curve sottoinsieme intersezione completa

Summary In this paper we classify the algebraic cubic surfaces of the affine space is the complex field, whose algebraic curves are set-theoretic complete intersections of ; in other words surfaces such that every prime ideal of height 1in the coordinate ring [] of is the radical of a principal ideal; if is non singular in codimension 1this means that [] is semifactorial. We give the equations of such surfaces within linear isomorphisms of providing also methods by which one can construct the equations of the surfaces cutting on its curves as set-theoretic complete intersections. Moreover for each of these surfaces we determine the minimum positive number such that every algebraic curve of with multiplicity of intersection , is complete intersection of itself with another surface § 8where the results are summarized). We tackle also the problem of such a classification over algebraically closed fields k different from .

---

---

Lavoro eseguito nell'ambito del G.N.S.A.G.A. del C.N.R.     

Generation of Uniformly Closed Algebras of Functions

For a linear sublattice of C(X), the set of all real continuous functions on the completely regular space X, we denote by A() the smallest uniformly closed and inverse-closed subalgebra of C(X) that contains . In this paper we study different methods to generate A() from . For that, we introduce some families of functions which are defined in terms of suprema or sums of certain countably many functions in . And we prove that A() is the uniform closure of each of these families. We obtain, in particular, a generalization of a known result about the generation of A() when is a uniformly closed linear sublattice of bounded functions.     

Semimodular lattices with isomorphic graphs

Two discrete modular lattice and have isomorphic graphs if and only if is of the form A × and is of the form A × for some lattices A and and . We prove that for discrete semimodular lattices and this latter condition holds if and only if and have isomorphic graphs and the isomorphism preserves the order on all cover-preserving sublattices of which are isomorphic to the seven-element, semimodular, nonmodular lattice (see Figure 1). This answers in the affirmative a question posed by J. Jakubik.     

An intersection property for starshaped sets in the plane

Let be a family of compact starshaped sets in the plane. If every three and every two members of have a union which is connected and simply connected, then {F:F in } is simply connected and nonempty. Of course, if every three and every two members of have a starshaped union, the same result holds.Supported in part by NSF grants DMS-8705336, DMS-8908717 and by a Senior Faculty Summer Research Fellowship, Research Council, University of Oklahoma.     

On the bigℳ in the affine scaling algorithm

When we apply the affine scaling algorithm to a linear program, we usually construct an artificial linear program having an interior feasible solution from which the algorithm starts. The artificial linear program involves a positive number called the big. Theoretically, there exists an ^* such that the original problem to be solved is equivalent to the artificial linear program if > ^*. Practically, however, such an ^* is unknown and a safe estimate of is often too large. This paper proposes a method of updating to a suitable value during the iteration of the affine scaling algorithm. As becomes large, the method gives information on infeasibility of the original problem or its dual.This paper is dedicated to Phil Wolfe on the occasion of his 65th birthday.Supported by Grant-in-Aids for Co-Operative Research (03832017) of the Japan Ministry of Education, Science and Culture.     

On the uniqueness of a local martingale with a given absolute value

Summary D. Gilat has shown that any non-negative submartingale (X, .) is equal in law to the absolute value of a martingale (M, .). This result may be strenthened so that the pairs (X,.) and (¦M¦,.) are synonomous. In this paper the question of uniqueness of M is considered. Conditions on a local martingale (M, .) are found that lead to an explicit formula for the finite-dimensional distributions of M in terms of the Doob-Meyer decomposition of the local martingale X. In many cases of interest the conditions on M are unnecessary. For example, if X is the pth power of an Itô integral it is shown that (M) is unique if p> 1 but not in general if p=1.     

Happy families and completely Ramsey sets

Summary We use games of Kastanas to obtain a new characterization of the classC of all sets that are completely Ramsey with respect to a given happy family . We then combine this with ideas of Plewik to give a uniform proof of various results of Ellentuck, Louveau, Mathias and Milliken concerning the extent ofC . We also study some cardinals that can be associated with the ideal of nowhere -Ramsey sets.Part of this research was done while the author was visiting I.V.I.C. in Caracas in September 1989. The author would like to thank Carlos Di Prisco for his hospitality.     

A canonical form of a system of microdifferential equations with non-involutory characteristics and branching of singularities

We study a system of microdifferential (=pseudodifferential) equations. We assume that the characteristic varietyV of takes the formV=V ₁V₂; hereV ₁andV ₂are regular involutory submanifolds and intersect normally, andV ₁V₂is non-involutory and 1-codimensional both inV ₁and inV ₂. We also assume that has regular singularities alongV. Then we give a canonical form of in the complex domain. This enables us to investigate the branching of supports of microfunction solutions of when is hyperbolic.     

A topological obstruction to the geodesibility of a foliation of odd dimension

Let M be a compact Riemannian manifold of dimension n, and let be a smooth foliation on M. A topological obstruction is obtained, similar to results of R. Bott and J. Pasternack, to the existence of a metric on M for which is totally geodesic. In this case, necessarily that portion of the Pontryagin algebra of the subbundle must vanish in degree n if is odd-dimensional. Using the same methods simple proofs of the theorems of Bott and Pasternack are given.     

Sharp determinants

We introduce a sharp trace Tr^# and a sharp determinant Det^#(1-z) for an algebra of operators acting on functions of bounded variation on the real line. We show that the zeroes of the sharp determinant describe the discrete spectrum of . The relationship with weighted zeta functions of interval maps and Milnor-Thurston kneading determinants is explained. This yields a result on convergence of the discrete spectrum of approximated operators.Oblatum 8-V-1995 & IX-1995On leave from CNRS, UMR 128, ENS Lyon, France     

Doubly stochastic measures with prescribed support

Summary Denote the set of doubly stochastic measures on the unit square X ×X that are supported on the graphs of measurable maps L,HXX by (L, H). Conditions are given that imply that (L, H) is a singleton. Since (L, H) is in any event a (possibly empty) extremal subset of the set of all doubly stochastic measures on X×X, our results are intimately related to the problem of describing the supports of the extreme points of .     

On spaces of Baire I functions over K-analytic spaces

Suppose that is a relatively countably compact subset of B₁(X), the space of Baire I functions over a K-analytic space X equipped with the pointwise convergence topology. It is proved that (1) the closure of is a strongly countably compact Frechét-Urysohn space; (2) if is ₁ -compact, is a bicompactum; (3) if X is a paracompact space, the closure of is a bicompactum.Translated from Matematicheskie Zametki, Vol. 52, No. 3, pp. 108–116, September, 1992.     

A Kähler structure on the moduli space of isometric maps of a circle into Euclidean space

We study the spaces and and _Lip of smooth (resp. non-degenerate Lipschitz) isometric maps of a circle into Euclidean space modulo orientation preserving Euclidean motions. We prove that and _Lip are infinite dimensional Kähler manifolds. In particular, they are complex Fréchet (resp. Banach) manifolds. This is proved by an infinite dimensional version of the Kirwan, Kempf-Ness Theorem [Kir84], [KN78], [Nes84] relating symplectic quotients to holomorphic quotients, applied to the action ofPSL ₂() on the free loop space ofS ².Oblatum 15-X-1994 & 5-VII-1995This research was supported in part by NSF grant DMS-92-05154.This research was partially supported by AFOSR grant F49620-92-J-0093.     

A little theorem of the bigℳ in interior point algorithms

When we apply interior point algorithms to various problems including linear programs, convex quadratic programs, convex programs and complementarity problems, we often embed an original problem to be solved in an artificial problem having a known interior feasible solution from which we start the algorithm. The artificial problem involves a constant (or constants) which we need to choose large enough to ensure the equivalence between the artificial problem and the original problem. Theoretically, we can always assign a positive number of the order O(2 ^L ) to in linear cases, whereL denotes the input size of the problem. Practically, however, such a large number is impossible to implement on computers. If we choose too large, we may have numerical instability and/or computational inefficiency, while the artificial problem with not large enough will never lead to any solution of the original problem. To solve this difficulty, this paper presents a little theorem of the big, which will enable us to find whether is not large enough, and to update during the iterations of the algorithm even if we start with a smaller. Applications of the theorem are given to a polynomial-time potential reduction algorithm for positive semi-definite linear complementarity problems, and to an artificial self-dual linear program which has a close relation with the primal—dual interior point algorithm using Lustig's limiting feasible direction vector.     

Set systems with no union of cardinality 0 modulom

Letq be a prime power. It is shown that for any hypergraph = {F ₁,...,F _d(q–1)+1} whose maximal degree isd, there exists Ø ₀ , such that 0 (modq).     

Some best possible bounds concerning the traces of finite sets II

LetX be ann-element set and be a family of its subsets. Consider the family _x = {F – {x} : F } for a givenx X. We write(m, n) (m – k, n – 1), when for all with || m, there exists an elementx ofX such that| _x| m – k. We show that (m, n) (m – 10,n – 1) for allm 5n and (m, n) (m – 13,n – 1) for allm 29n/5.     

A short proof of the nonuniform Ray-Chaudhuri-Wilson inequality

LetL be a set ofs nonnegative integers and a family of subsets of ann-element setX. Suppose that for any two distinct membersA,B we have¦A B¦ L. Assuming in addition that, is uniform, i.e. each member of has the same cardinality, a celebrated theorem of D. K. Ray-Chaudhuri and R. M. Wilson asserts that ¦¦ P. Frankl and R. M. Wilson proved that without the uniformity assumption, we have.We give a short proof of this latter result.