The free loop space equivariant cohomology algebra of some formal spaces

Let \mathbbK{\mathbb{K}} be a field of characteristic p > 0 and S ¹ the unit circle. We construct a model for the negative cylic homology of a commutative cochain algebra with two stages Sullivan minimal model. Using the notion of shc-formality introduced in Bitjong and Thomas (Topology 41:85–106), the main result of Bitjong and El Haouari (Math Ann 338:347–354) and techniques of Vigué-Poirrier (J Pure Appl Algebra 91:347–354) we compute the S ¹-equivariant cohomology algebras of the free loop spaces of the infinite complex projective space \mathbbCP(￥){\mathbb{CP}(\infty)} and the odd spheres S ^2q+1.     

Optimal Semi-Iterative Methods for Complex SOR with Results from Potential Theory

We consider the application of semi-iterative methods (SIM) to the standard (SOR) method with complex relaxation parameter ω, under the following two assumptions: (1) the associated Jacobi matrix J is consistently ordered and weakly cyclic of index 2, and (2) the spectrum σ(J) of J belongs to a compact subset Σ of the complex plane , which is symmetric with respect to the origin. By using results from potential theory, we determine the region of optimal choice of for the combination SIM–SOR and settle, for a large class of compact sets Σ, the classical problem of characterising completely all the cases for which the use of the SIM-SOR is advantageous over the sole use of SOR, under the hypothesis that . In particular, our results show that, unless the outer boundary of Σ is an ellipse, SIM–SOR is always better and, furthermore, one of the best possible choices is an asymptotically optimal SIM applied to the Gauss–Seidel method. In addition, we derive the optimal complex SOR parameters for all ellipses which are symmetric with respect to the origin. Our work was motivated by recent results of M.Eiermann and R.S. Varga.Dedicated to Professor Richard S. Varga in recognition of his substantial contributions to the subject of the paper.     

Complex Surfaces with Cat(0) Metrics

We study complex surfaces with locally CAT(0) polyhedral K?hler metrics and construct such metrics on \mathbbCP²{\mathbb{C}P^{2}} with various orbifold structures. In particular, in relation to questions of Gromov and Davis–Moussong we construct such metrics on a compact quotient of the two-dimensional unit complex ball. In the course of the proof of these results we give criteria for Sasakian 3-manifolds to be globally CAT(1). We show further that for certain Kummer coverings of \mathbbCP²{\mathbb{C}P^{2}} of sufficiently high degree their desingularizations are of type K(π, 1).     

Complex points of minimal surfaces in almost Kähler manifolds

If (N, ο, J,g) is an almost K?hler manifold and M is a branched minimal immersion which is not a $J$-holomorphic curve, we show that the complex tangents are isolated and that each has a negative index, which extends the results in the K?hler case by S. S. Chern and J. Wolfson [2] and S. Webster [7] to almost K?hler manifolds. As an application, we get lower estimates for the genus of embedded minimal surfaces in almost K?hler manifolds. The proofs of these results are based on the well-known Cartan's moving frame methods as in [2, 7]. In our case, we must compute the torsion of the almost complex structures and find a useful representation of torsion. Finally, we prove that the minimal surfaces in complex projective plane with any almost complex structure is a J-holomorphic curve if it is homologous to the complex line. Received: 10 January 1997 / Revised version: 22 August 1997     

Stein structures and holomorphic mappings

We prove that every continuous map from a Stein manifold X to a complex manifold Y can be made holomorphic by a homotopic deformation of both the map and the Stein structure on X. In the absence of topological obstructions, the holomorphic map may be chosen to have pointwise maximal rank. The analogous result holds for any compact Hausdorff family of maps, but it fails in general for a noncompact family. Our main results are actually proved for smooth almost complex source manifolds (X,J) with the correct handlebody structure. The paper contains another proof of Eliashberg’s (Int J Math 1:29–46, 1990) homotopy characterization of Stein manifolds and a slightly different explanation of the construction of exotic Stein surfaces due to Gompf (Ann Math 148(2): 619–693, 1998; J Symplectic Geom 3:565–587, 2005).      

Non-existence of higher-dimensional pseudoholomorphic submanifolds

 In this paper we prove that only pseudoholomorphic curves appear as J-invariant submanifolds of generic almost complex manifolds (M,J). We also prove there exist no non-trivial automorphisms or submersions of such manifolds. On the other hand we show that abundance of 1-jets of PH-submanifolds, automorphisms or submersions implies integrability of the almost complex structure. Received: 19 April 2002 / Revised version: 10 October 2002 Published online: 14 February 2003     

On the Differential Geometric Characterization of The Lee Models

This paper pertains to the J-Hermitian geometry of model domains introduced by Lee (Mich. Math. J. 54(1), 179–206, 2006; J. Reine Angew. Math. 623, 123–160, 2008). We first construct a Hermitian invariant metric on the Lee model and show that the invariant metric actually coincides with the Kobayashi-Royden metric, thus demonstrating an uncommon phenomenon that the Kobayashi-Royden metric is J-Hermitian in this case. Then we follow Cartan’s differential-form approach and find differential-geometric invariants, including torsion invariants, of the Lee model equipped with this J-Hermitian Kobayashi-Royden metric, and present a theorem that characterizes the Lee model by those invariants, up to J-holomorphic isometric equivalence. We also present an all dimensional analysis of the asymptotic behavior of the Kobayashi metric near the strongly pseudoconvex boundary points of domains in almost complex manifolds.     

The Yamabe problem for almost Hermitian manifolds

The conformal class of a Hermitian metric g on a compact almost complex manifold (M^2m, J) consists entirely of metrics that are Hermitian with respect to J. For each one of these metrics, we may define a J-twisted version of the Ricci curvature, the J-Ricci curvature, and its corresponding trace, the J-scalar curvature s^J. We ask if the conformal class of g carries a metric with constant s^J, an almost Hermitian version of the usual Yamabe problem posed for the scalar curvature s. We answer our question in the affirmative. In fact, we show that (2m−1)s^J−s=2(2m−1)W(ω, ω), where W is the Weyl tensor and ω is the fundamental form of g. Using techniques developed for the solution of the problem for s, we construct an almost Hermitian Yamabe functional and its corresponding conformal invariant. This invariant is bounded from above by a constant that only depends on the dimension of M, and when it is strictly less than the universal bound, the problem has a solution that minimizes the almost complex Yamabe functional. By the relation above, we see that when W (ω, ω) is negative at least one point, or identically zero, our problem has a solution that minimizes the almost Hermitian Yamabe functional, and the universal bound is reached only in the case of the standard 6-sphere equipped with a suitable almost complex structure. When W(ω, ω) is non-negative and not identically zero, we prove that the conformal invariant is strictly less than the universal bound, thus solving the problem for this type of manifolds as well. We discuss some applications.     

Unifying two results of Orlov on singularity categories

Let \mathbbX\mathbb{X} be a separated Noetherian scheme of finite Krull dimension which has enough locally free sheaves of finite rank and let U í \mathbbXU\subseteq \mathbb{X} be an open subscheme. We prove that the singularity category of U is triangle equivalent to the Verdier quotient triangulated category of the singularity category of \mathbbX\mathbb{X} with respect to the thick triangulated subcategory generated by sheaves supported in the complement of U. The result unifies two results of Orlov. We also prove a noncommutative version of this result.     

Residue currents with prescribed annihilator ideals

Given a coherent ideal sheaf J we construct locally a vector-valued residue current R whose annihilator is precisely the given sheaf. In case J is a complete intersection, R is just the classical Coleff–Herrera product. By means of these currents we can extend various results, previously known for a complete intersection, to general ideal sheaves. Combining with integral formulas we obtain a residue version of the Ehrenpreis–Palamodov fundamental principle.     

Almost Periodicity of Parabolic Evolution Equations with Inhomogeneous Boundary Values

We show the existence and uniqueness of the (asymptotically) almost periodic solution to parabolic evolution equations with inhomogeneous boundary values on \mathbbR{\mathbb{R}} and \mathbbR_±\mathbb{R}_{\pm}, if the data are (asymptotically) almost periodic. We assume that the underlying homogeneous problem satisfies the ‘Acquistapace–Terreni’ conditions and has an exponential dichotomy. If there is an exponential dichotomy only on half intervals ( − ∞, − T] and [T, ∞), then we obtain a Fredholm alternative of the equation on \mathbbR{\mathbb{R}} in the space of functions being asymptotically almost periodic on \mathbbR₊{\mathbb{R}}_{+} and \mathbbR_-\mathbb{R}_{-}.     

A Φ-Entropy Contraction Inequality for Gaussian Vectors

A beautiful result of Sarmanov (Dokl. Akad. Nauk SSSR 121(1), 52–55, 1958) says that for a Gaussian vector (X,Y), \operatorname Var(\mathbb E[f(Y)|X]) ￡ r²\operatorname Var(f(Y))\operatorname {Var}(\mathbb {E}[f(Y)|X])\le \rho^{2}\operatorname {Var}(f(Y)) for all measurable functions f, where ρ is the (linear) correlation coefficient between X and Y. We generalize this result to a general Φ-entropy (a nonlinear version of his result) by means of a previous result of D. Chafai based on Bakry–Emery’s Γ ₂-technique and tensorization.     

A unified Witten–Reshetikhin–Turaev invariant for integral homology spheres

We construct an invariant J _M of integral homology spheres M with values in a completion of the polynomial ring ℤ[q] such that the evaluation at each root of unity ζ gives the the SU(2) Witten–Reshetikhin–Turaev invariant τ_ζ(M) of M at ζ. Thus J _M unifies all the SU(2) Witten–Reshetikhin–Turaev invariants of M. It also follows that τ_ζ(M) as a function on ζ behaves like an “analytic function” defined on the set of roots of unity.     

Differential-Operator Representations of S n and Singular Vectors in Verma Modules

Given a weight of sl(n, \mathbb C{\mathbb C}), we derive a system of variable-coefficient second-order linear partial differential equations that determines the singular vectors in the corresponding Verma module, and a differential-operator representation of the symmetric group S _n on the related space of truncated power series. We prove that the solution space of the system of partial differential equations is exactly spanned by {σ(1)|σ ∈ S _n }. Moreover, the singular vectors of sl(n, \mathbb C{\mathbb C}) in the Verma module are given by those σ(1) that are polynomials. The well-known results of Verma, Bernstein–Gel’fand–Gel’fand and Jantzen for the case of sl(n, \mathbb C{\mathbb C}) are naturally included in our almost elementary approach of partial differential equations.     

Additivity of the two-dimensional Miller ideal

Let J (\mathbb M²){{\mathcal J}\,(\mathbb M^2)} denote the σ-ideal associated with two-dimensional Miller forcing. We show that it is relatively consistent with ZFC that the additivity of J (\mathbb M²){{\mathcal J}\,(\mathbb M^2)} is bigger than the covering number of the ideal of the meager subsets of ^ω ω. We also show that Martin’s Axiom implies that the additivity of J (\mathbb M²){{\mathcal J}\,(\mathbb M^2)} is 2 ^ω .Finally we prove that there are no analytic infinite maximal antichains in any finite product of \mathfrakP(w)/fin{\mathfrak{P}{(\omega)}/{\rm fin}} .     

A reverse isoperimetric inequality for J-holomorphic curves

We prove that the length of the boundary of a J-holomorphic curve with Lagrangian boundary conditions is dominated by a constant times its area. The constant depends on the symplectic form, the almost complex structure, the Lagrangian boundary conditions and the genus. A similar result holds for the length of the real part of a real J-holomorphic curve. The infimum over J of the constant properly normalized gives an invariant of Lagrangian submanifolds. We calculate this invariant to be \({2\pi}\) for the Lagrangian submanifold \({\mathbb{R} P^n \subset \mathbb{C} P^n.}\) We apply our result to prove compactness of moduli of J-holomorphic maps to non-compact target spaces that are asymptotically exact. In a different direction, our result implies the adic convergence of the superpotential.     

Integral Deligne cohomology for real varieties

We develop an integral version of Deligne cohomology for smooth proper real varieties. For this purpose the role played by singular cohomology in the complex case has to be replaced by the ordinary bigraded Gal(\mathbbC/\mathbbR){Gal(\mathbb{C}/{\mathbb{R}})}-equivariant cohomology of Lewis et al. (Bull Am Math Soc (N.S.) 4(2):208–212, 1981), the equivariant counterpart of singular cohomology. The theory is aimed at giving more precise information about the 2-primary components of regulators. We establish basic properties and give a geometric interpretation for the groups in dimension 2 in weights 1 and 2.     

On rational Drinfeld associators

We prove an estimate on denominators of rational Drinfeld associators. To obtain this result, we prove the corresponding estimate for the p-adic associators stable under the action of suitable elements of Gal([`(\mathbbQ)]/\mathbbQ){{\rm Gal}(\bar{\mathbb{Q}}/\mathbb{Q})} . As an application, we settle in the positive Duflo’s question on the Kashiwara–Vergne factorizations of the Jacobson element J _p (x, y) = (x + y) ^p − x ^p − y ^p in the free Lie algebra over a field of characteristic p. Another application is a new estimate on denominators of the Kontsevich knot invariant.     

A case of the dynamical Mordell–Lang conjecture

We prove a special case of a dynamical analogue of the classical Mordell–Lang conjecture. Specifically, let φ be a rational function with no periodic critical points other than those that are totally invariant, and consider the diagonal action of φ on (\mathbb P¹)^g{(\mathbb P^1)^g}. If the coefficients of φ are algebraic, we show that the orbit of a point outside the union of the proper preperiodic subvarieties of (\mathbb P¹)^g{(\mathbb P^1)^g} has only finite intersection with any curve contained in (\mathbb P¹)^g{(\mathbb P^1)^g}. We also show that our result holds for indecomposable polynomials φ with coefficients in \mathbb C{\mathbb C}. Our proof uses results from p-adic dynamics together with an integrality argument. The extension to polynomials defined over \mathbb C{\mathbb C} uses the method of specialization coupled with some new results of Medvedev and Scanlon for describing the periodic plane curves under the action of (φ, φ) on \mathbb A²{\mathbb A^2}.     

A topological version of the Poincaré-Birkhoff theorem with two fixed points

The main result of this paper gives a topological property satisfied by any homeomorphism of the annulus \mathbb A = \mathbb S¹ ×[-1, 1]{\mathbb {A} = \mathbb {S}^1 \times [-1, 1]} isotopic to the identity and with at most one fixed point. This generalizes the classical Poincaré-Birkhoff theorem because this property certainly does not hold for an area preserving homeomorphism h of \mathbb A{\mathbb {A}} with the usual boundary twist condition. We also have two corollaries of this result. The first one shows in particular that the boundary twist assumption may be weakened by demanding that the homeomorphism h has a lift H to the strip [(\mathbbA)\tilde] = \mathbbR ×[-1, 1]{\tilde{\mathbb{A}} = \mathbb{R} \times [-1, 1]} possessing both a forward orbit unbounded on the right and a forward orbit unbounded on the left. As a second corollary we get a new proof of a version of the Conley–Zehnder theorem in \mathbb A{\mathbb {A}} : if a homeomorphism of \mathbb A{\mathbb {A}} isotopic to the identity preserves the area and has mean rotation zero, then it possesses two fixed points.