Minimal entropy and simplicial volume

We prove that MinEnt (Y) ∥Y∥ = MinEnt(X) ∥X∥, for manifolds Y whose fundamental group is a subexponential extension of the fundamental group of some negatively curved, locally symmetric manifold X. This is a particular case of a more general result holding for an arbitrary representation ρ : π₁ (Y) →π₁ (X), which relates the minimal entropy and the simplicial volume of X to some invariants of the couple (Y, ker (ρ)). Then, we discuss some applications to the minimal volume problem and to Einstein metrics. Received: 23 December 1998     

Complex surfaces with equivalent derived categories

We examine the extent to which a smooth minimal complex projective surface X is determined by its derived category of coherent sheaves (DX). To do this we find, for each such surface X, the set of surfaces Y for which there exists a Fourier-Mukai transform D D(X). Received May 10, 1999; in final form July 21, 1999 / Published online February 5, 2001     

Dunford-Pettis like properties on tensor products

In this paper we study equivalent formulations of the DP^? P_p (1 < p < ∞). We show that X has the DP^? P_p if and only if every weakly-p-Cauchy sequence in X is a limited subset of X. We give su?cient conditions on Banach spaces X and Y so that the projective tensor product X ?_π Y, the dual (X ?_? Y)^? of their injective tensor product, and the bidual (X ?_π Y)^?? of their projective tensor product, do not have the DP P_p, 1 < p < ∞. We also show that in some cases, the projective and the injective tensor products of two spaces do not have the DP^? P_p, 1 < p < ∞.     

Effective algebraic degeneracy

We show that for every smooth projective hypersurface X⊂ℙ ⁿ⁺¹ of degree d and of arbitrary dimension n ≥2, if X is generic, then there exists a proper algebraic subvariety Y ⊊ X such that every nonconstant entire holomorphic curve f :ℂ→X has image f(ℂ) which lies in Y, as soon as its degree satisfies the effective lower bound d\geqslant 2ⁿ⁵d\geqslant 2^{n^{5}} .     

Reducibility of Punctual Hilbert Schemes of Cone Varieties

In this short note we show that for any pair of positive integers (d, n) with n > 2 and d > 1 or n = 2 and d > 4, there always exist projective varieties X ? ? ^N of dimension n and degree d and an integer s ₀ such that Hilb ^s (X) is reducible for all s ≥ s ₀. X will be a projective cone in ? ^N over an arbitrary projective variety Y ? ? ^N?1. In particular, we show that, opposite to the case of smooth surfaces, there exist projective surfaces with a single isolated singularity which have reducible Hilbert scheme of points.     

Strong q-convexity in uniform neighborhoods of subvarieties in coverings of complex spaces

The main result is that, for any projective compact analytic subset Y of dimension q > 0 in a reduced complex space X, there is a neighborhood Ω of Y such that, for any covering space ${\Upsilon\colon\widehat X\to X}The main result is that, for any projective compact analytic subset Y of dimension q > 0 in a reduced complex space X, there is a neighborhood Ω of Y such that, for any covering space U\colon[^(X)]? X{\Upsilon\colon\widehat X\to X} in which [^(Y)] o U^-1(Y){\widehat Y\equiv\Upsilon^{-1}(Y)} has no noncompact connected analytic subsets of pure dimension q with only compact irreducible components, there exists a C ^∞ exhaustion function j{\varphi} on [^(X)]{\widehat X} which is strongly q-convex on [^(W)]=U^-1(W){\widehat\Omega=\Upsilon^{-1}(\Omega)} outside a uniform neighborhood of the q-dimensional compact irreducible components of [^(Y)]{\widehat Y}.     

Complemented copies of ℓ<Subscript>p</Subscript> spaces in tensor products

We give sufficient conditions on Banach spaces X and Y so that their projective tensor product X ⊗_π Y, their injective tensor product X ⊗_ɛ Y, or the dual (X ⊗_π Y)^* contain complemented copies of ℓ_p.     

Semi-Topological K-Homology and Thomason''s Theorem

In this paper, we introduce the 'semi-topological K-homology' of complex varieties, a theory related to semi-topological K-theory much as connective topological K-homology is related to connective topological K-theory. Our main theorem is that the semi-topological K-homology of a smooth, quasi-projective complex variety Y coincides with the connective topological K-homology of the associated analytic space Y ^an. From this result, we deduce a pair of results relating semi-topological K-theory with connective topological K-theory. In particular, we prove that the 'Bott inverted' semi-topological K-theory of a smooth, projective complex variety X coincides with the topological K-theory of X ^an. In combination with a result of Friedlander and the author, this gives a new proof, in the special case of smooth, projective complex varieties, of Thomason's celebrated theorem that 'Bott inverted' algebraic K-theory with /n coefficients coincides with topological K-theory with /n coefficients.     

Exceptional Pairs in Hereditary Categories

We study the category 𝒞(X, Y) generated by an exceptional pair (X, Y) in a hereditary category ?. If r = dim _k Hom(X, Y) ≥ 1 we show that there are exactly 3 possible types for 𝒞(X, Y), all derived equivalent to the category of finite dimensional modules mod(H _r ) over the r-Kronecker algebra H _r . In general 𝒞(X, Y) will not be equivalent to a module category. More specifically, if ? is the category of coherent sheaves over a weighted projective line 𝕏, then 𝒞(X, Y) is equivalent to the category of coherent sheaves on the projective line ?¹ or to mod(H _r ) and, if 𝕏 is wild, then every r ≥ 1 can occur in this way.     

Splitting off tori and the evaluation subgroup of the fundamental group

Given a spaceX what is the largest torusT ⁿ such thatX is homotopy equivalent toY×T ⁿ We find the answer depends on a simple property of the evaluation subgroup of the fundamental group,G ₁(X). As corollaries we have the Splitting theorem of Conner and Raymond and the fact that the dimension ofX must be greater than the rank ofG ₁(X).     

Deterministic Guarantees for Burer-Monteiro Factorizations of Smooth Semidefinite Programs

We consider semidefinite programs (SDPs) with equality constraints. The variable to be optimized is a positive semidefinite matrix X of size n. Following the Burer-Monteiro approach, we optimize a factor Y of size n × p instead, such that X = YY^T. This ensures positive semidefiniteness at no cost and can reduce the dimension of the problem if p is small, but results in a nonconvex optimization problem with a quadratic cost function and quadratic equality constraints in Y. In this paper, we show that if the set of constraints on Y regularly defines a smooth manifold, then, despite nonconvexity, first- and second-order necessary optimality conditions are also sufficient, provided p is large enough. For smaller values of p, we show a similar result holds for almost all (linear) cost functions. Under those conditions, a global optimum Y maps to a global optimum X = YY^T of the SDP. We deduce old and new consequences for SDP relaxations of the generalized eigenvector problem, the trust-region subproblem, and quadratic optimization over several spheres, as well as for the Max-Cut and Orthogonal-Cut SDPs, which are common relaxations in stochastic block modeling and synchronization of rotations. © 2019 Wiley Periodicals, Inc.     

Asymptotically optimal selection of a piecewise polynomial estimator of a regression function

Let (X, Y) be a pair of random variables such that X = (X₁,…, X_d) ranges over a nondegenerate compact d-dimensional interval C and Y is real-valued. Let the conditional distribution of Y given X have mean θ(X) and satisfy an appropriate moment condition. It is assumed that the distribution of X is absolutely continuous and its density is bounded away from zero and infinity on C. Without loss of generality let C be the unit cube. Consider an estimator of θ having the form of a piecewise polynomial of degree k_n based on m_n^d cubes of length 1/m_n, where the m_n^d(_d^k_n+d) coefficients are chosen by the method of least squares based on a random sample of size n from the distribution of (X, Y). Let (k_n, m_n) be chosen by the FPE procedure. It is shown that the indicated estimator has an asymptotically minimal squared error of prediction if θ is not of the form of piecewise polynomial.     

Motivic equivalence of quadratic forms. II

Let F be a field of characteristic ≠2 and φ be a quadratic form over F. By X _φ we denote the projective variety given by the equation φ=0. For each positive even integer d≥8 (except for d=12) we construct a field F and a pair φ, ψ of anisotropic d-dimensional forms over F such that the Chow motives of X _φ and X _ψ coincide but . For a pair of anisotropic (2 ^{n -1})-dimensional quadrics X and Y, we prove that existence of a rational morphism Y→X is equivalent to existence of a rational morphism Y→X. Received: 27 September 1999 / Revised version: 27 December 1999     

Minimal 2-spheres in a complex projective space

In this paper conformal minimal 2-spheres immersed in a complex projective space are studied by applying Lie theory and moving frames. We give differential equations of Kähler angle and square length of the second fundamental form. By applying these differential equations we give characteristics of conformal minimal 2-spheres of constant Kähler angle and obtain pinching theorems for curvature. We also discuss conformal minimal 2-spheres of constant normal curvature and prove that there does not exist any linearly full minimal 2-sphere immersed in a complex projective space CPn (n>2) with non-positive constant normal curvature. We also prove that a linearly full minimal 2-sphere immersed in a complex projective space CPn (n>2) with constant normal curvature and constant Kähler angle is of constant curvature.     

Compact complex homogeneous manifolds with large automorphism groups

Let X be a compact complex homogeneous manifold and let Aut(X) be the complex Lie group of holomorphic automorphisms of X. It is well-known that the dimension of Aut(X) is bounded by an integer that depends only on n=dim X. Moreover, if X is K?hler then dimAut (X)≤n(n+2) with equality only when X is complex projective space. In this article examples of non-K?hler compact complex homogeneous manifolds X are given that demonstrate dimAut(X) can depend exponentially on n. Let X be a connected compact complex manifold of dimension n. The group of holomorphic automorphisms of X, Aut(X), is a complex Lie group [3]. For a fixed n>1, the dimension of Aut(X) can be arbitrarily large compared to n. Simple examples are provided by the Hirzebruch surfaces F _m , m∈N, for which dimAut(F _m )=m+5, see, e.g. [2, Example 2.4.2]. If X is homogeneous, that is, any point of X can be mapped to any other point of X under a holomorphic automorphism, then the dimension of the automorphism group of X is bounded by an integer that depends only on n, see [1, 2, 6]. The estimate given in [2, Theorem 3.8.2] is roughly dimAut(X)≤(n+2) ⁿ . For many classes of manifolds, however, the dimension of the automorphism group never exceeds n(n+2). For example, it follows directly from the classification given by Borel and Remmert [4], that if X is a compact homogeneous K?hler manifold, then dimAut(X)≤n(n+2) with equality only when X is complex projective space P ⁿ . It is an old question raised by Remmert, see [2, p. 99], [6], whether this same bound applies to all compact complex homogeneous manifolds. In this note we show that this is not the case by constructing non-K?hler compact complex homogeneous manifolds whose automorphism group has a dimension that depends exponentially on n. The simplest case among these examples has n=3m+1 and dimAut(X)=3m+3 ^m , so the above conjectured bound is exceeded when n≥19. These manifolds have the structure of non-trivial fiber bundles over products of flag manifolds with parallelizable fibers given as the quotient of a solvable group by a discrete subgroup. They are constructed using the original ideas of Otte [6, 7] and are surprisingly similar to examples found there. Generally, a product of manifolds does not result in an automorphism group with a large dimension relative to n. Nevertheless, products are used in an essential way in the construction given here, and it is perhaps this feature that caused such examples to be previously overlooked. Oblatum 13-X-97 & 24-X-1997     

Jensen matrix inequalities and direct sums

Let A, X and Y be n-by-n complex matrices such that A is positive semi-definite and X, Y are contractions. We prove that if f is an increasing convex function on [0, ∞) such that f(0) ≤ 0, then the eigenvalues of f(|X*AY|) are dominated by those of X*f(A)X⊕Y* f(A)Y. Several related results are considered.     

Infinite soluble groups with the Bell property: A finiteness condition

It is shown that groups satisfying a law [X ⁿ ,Y]=[X, Y ⁿ ] for some positive integern must also satisfy an Engel-like condition [X, _r Y]=[X, _r+d Y]. Some further properties of these groups are being discussed.     

Decomposition Methods in Banach Spaces via Supplemented Subspaces Resembling Pełczyński’s Decomposition Methods

Suppose that X and Y are Banach spaces complemented in each other with supplemented subspaces A and B. In 1996, W. T. Gowers solved the Schroeder–Bernstein problem for Banach spaces by showing that X is not necessarily isomorphic to Y. In this paper, we obtain some suitable conditions involving the spaces A and B to yield that X is isomorphic to Y or to provide that at least X ^m is isomorphic to Yⁿ for some m, n ∈ IN^*. So we get some decomposition methods in Banach spaces via supplemented subspaces resembling Pełczyński’s decomposition methods. In order to do this, we introduce several notions of Schroeder–Bernstein Quadruples acting on the spaces X, Y, A and B. Thus, we characterize them by using some Banach spaces recently constructed. Received: October 4, 2005.     

Quantum Lefschetz hyperplane theorem

The mirror theorem is generalized to any smooth projective variety X. That is, a fundamental relation between the Gromov–Witten invariants of X and Gromov–Witten invariants of complete intersections Y in X is established. Oblatum 21-IV-2000 & 11-I-2001?Published online: 2 April 2001