Residue currents associated with weakly holomorphic functions

We construct Coleff–Herrera products and Bochner–Martinelli type residue currents associated with a tuple f of weakly holomorphic functions, and show that these currents satisfy basic properties from the (strongly) holomorphic case. This include the transformation law, the Poincaré–Lelong formula and the equivalence of the Coleff–Herrera product and the Bochner–Martinelli type residue current associated with f when f defines a complete intersection.     

Automorphic pseudodifferential operators and vector bundles

Given a discrete subgroup Г of SL(2, ?), we consider its action on pseudodifferential operators whose coefficients are holomorphic functions on the Poincaré upper half plane H and construct a vector bundle over the quotient space Г\H whose sections can be identified with pseudodifferential operators invariant under such Г-action.     

Local torus actions modeled on the standard representation

We introduce the notion of a local torus action modeled on the standard representation (for simplicity, we call it a local torus action). It is a generalization of a locally standard torus action and also an underlying structure of a locally toric Lagrangian fibration. For a local torus action, we define two invariants called a characteristic pair and an Euler class of the orbit map, and prove that local torus actions are classified topologically by them. As a corollary, we obtain a topological classification of locally standard torus actions, which includes the topological classifications of quasi-toric manifolds by Davis and Januszkiewicz and of effective T²-actions on four-dimensional manifolds without nontrivial finite stabilizers by Orlik and Raymond. We discuss locally toric Lagrangian fibrations from the viewpoint of local torus actions. We also investigate the topology of a manifold equipped with a local torus action when the Euler class of the orbit map vanishes.     

Vitushkin’s germ theorem for engel-type CR manifolds

We study real analytic CR manifolds of CR dimension 1 and codimension 2 in the three-dimensional complex space. We prove that the germ of a holomorphic mapping between “nonspherical” manifolds can be extended along any path (this is an analog of Vitushkin’s germ theorem). For a cubic model surface (“sphere”), we prove an analog of the Poincaré theorem on the mappings of spheres into ?². We construct an example of a compact “spherical” submanifold in a compact complex 3-space such that the germ of a mapping of the “sphere” into this submanifold cannot be extended to a certain point of the “sphere.”     

Unfolding the torus: Oscillator geometry from time delays

Summary We present a simple method of plotting the trajectories of systems of weakly coupled oscillators. Our algorithm uses the time delays between the “firings” of the oscillators. For any system ofn weakly coupled oscillators there is an attracting invariantn-dimensional torus, and the attractor is a subset of this invariant torus. The invariant torus intersects a suitable codimension-1 surface of section at an (n−1)-dimensional torus. The dynamics ofn coupled oscillators can thus be reduced,in principle, to the study of Poincaré maps of the (n−1)-dimensional torus. This paper gives apractical algorithm for measuring then−1 angles on the torus. Since visualization of 3 (or higher) dimensional data is difficult we concentrate onn=3 oscillators. For three oscillators, a standard projection of the Poincaré map onto the plane yields a projection of the 2-torus which is 4-to-1 over most of the torus, making it difficult to observe the structure of the attractor. Our algorithm allows a direct measurement of the 2 angles on the torus, so we can plot a 1-to-1 map from the invariant torus to the “unfolded torus” where opposite edges of a square are identified. In the cases where the attractor is a torus knot, the knot type of the attractor is obvious in our projection.     

Second fundamental forms of holomorphic isometries of the Poincaré disk into bounded symmetric domains and their boundary behavior along the unit circle

Motivated by problems arising from Arithmetic Geometry, in an earlier article one of the authors studied germs of holomorphic isometries between bounded domains with respect to the Bergman metric. In the case of a germ of holomorphic isometry f: (Δ, λ ds _Δ²;0) → (Ω, ds _Ω²;0) of the Poincaré disk Δ into a bounded symmetric domain Ω ⋐ ℂ ^N in its Harish-Chandra realization and equipped with the Bergman metric, f extends to a proper holomorphic isometric embedding F: (Δ, λ ds _Δ²;) → (Ω, ds _Ω²) and Graph(f) extends to an affine-algebraic variety V ⊂ ℂ × ℂ ^N . Examples of F which are not totally geodesic have been constructed. They arise primarily from the p-th root map ρ _p : H → H ^p and a non-standard holomorphic embedding G from the upper half-plane to the Siegel upper half-plane H ₃ of genus 3. In the current article on the one hand we examine second fundamental forms σ of these known examples, by computing explicitly φ = |σ|². On the other hand we study on the theoretical side asymptotic properties of σ for arbitrary holomorphic isometries of the Poincaré disk into polydisks. For such mappings expressing via the inverse Cayley transform in terms of the Euclidean coordinate τ = s + it on the upper half-plane H, we have φ(τ) = t ² u(τ), where u| _t=0 ≢ 0. We show that u must satisfy the first order differential equation δu/δt| _t=0 ≡ 0 on the real axis outside a finite number of points at which u is singular. As a by-product of our method of proof we show that any non-standard holomorphic isometric embedding of the Poincaré disk into the polydisk must develop singularities along the boundary circle. The equation δu/δt| _t=0 ≡ 0 along the real axis for holomorphic isometries into polydisks distinguishes the latter maps from holomorphic isometries into Siegel upper half-planes arising from G. Towards the end of the article we formulate characterization problems for holomorphic isometries suggested both by the theoretical and the computational results of the article.     

Hilbert function,generalized Poincaré series and topology of plane valuations

To a multi-index filtration (say, on the ring of germs of functions on a germ of a complex analytic variety) one associates several invariants: the Hilbert function, the Poincaré series, the generalized Poincaré series, and the generalized semigroup Poincaré series. The Hilbert function and the generalized Poincaré series are equivalent in the sense that each of them determines the other one. We show that for a filtration on the ring of germs of holomorphic functions in two variables defined by a collection of plane valuations both of them are equivalent to the generalized semigroup Poincaré series and determine the topology of the collection of valuations, i.e. the topology of its minimal resolution.     

Nondicritical $${\mathbb {C}^*}$$-actions on two-dimensional Stein manifolds

We study and classify actions of the complex multiplicative group on a nonsingular Stein surface with an isolated nondicritical singularity. We prove that the corresponding foliation exhibits a holomorphic first integral of a type F = f ⁿ g ^m where f and g are global holomorphic functions and . Under some additional conditions on the functions f and g we prove analytic linearization for the action. Our results can be viewed as extension of the original work of Masakazu Suzuki.     

Generalization of theorems of Szász and Ruscheweyh on exact bounds for derivatives of analytic functions

Let Ω and Π be two domains in the extended complex plane equipped by the Poincaré metric. In this paper we obtain analogs of Schwarz-Pick type inequalities in the class A(Ω, gH) = {f: Ω → Π} of functions locally holomorphic in Ω; for the domain Ω we consider the exterior of the unit disk and the upper half-plane. The obtained results generalize the well-known theorems of Szász and Ruscheweyh about the exact estimates of derivatives of analytic functions defined on the disk |z| < 1.     

The dualizing spectrum of a topological group

To a topological group G, we assign a naive G-spectrum , called the dualizing spectrum of G. When the classifying space BG is finitely dominated, we show that detects Poincaré duality in the sense that BG is a Poincaré duality space if and only if is a homotopy finite spectrum. Secondly, we show that the dualizing spectrum behaves multiplicatively on certain topological group extensions. In proving these results we introduce a new tool: a norm map which is defined for any G and for any naive G-spectrum E. Applications of the dualizing spectrum come in two flavors: (i) applications in the theory of Poincaré duality spaces, and (ii) applications in the theory of group cohomology. On the Poincaré duality space side, we derive a homotopy theoretic solution to a problem posed by Wall which says that in a fibration sequence of fini the total space satisfies Poincaré duality if and only if the base and fiber do. The dualizing spectrum can also be used to give an entirely homotopy theoretic construction of the Spivak fibration of a finitely dominated Poincaré duality space. We also include a new proof of Browder's theorem that every finite H-space satisfies Poincaré duality. In connection with group cohomology, we show how to define a variant of Farrell-Tate cohomology for any topological or discrete group G, with coefficients in any naive equivariant cohomology theory E. When E is connective, and when G admits a subgroup H of finite index such that BH is finitely dominated, we show that this cohomology coincides with the ordinary cohomology of G with coefficients in E in degrees greater than the cohomological dimension of H. In an appendix, we identify the homotopy type of for certain kinds of groups. The class includes all compact Lie groups, torsion free arithmetic groups and Bieri-Eckmann duality groups. Received July 14, 1999 / Revised May 17, 2000 / Published online February 5, 2001     

Holomorphic Torus Actions on Compact Locally Conformal Kähler Manifolds

Given a torus action (T ², M) on a smooth manifold, the orbit map ev _x(t)=t·xfor each xMinduces a homomorphism ev _*: ²H ₁(M;). The action is said to be Rank-kif the image of ev _*has rank k(2) for each point of M. In particular, if ev _*is a monomorphism, then the action is called homologically injective. It is known that a holomorphic complex torus action on a compact Kähler manifold is homologically injective. We study holomorphic complex torus actions on compact non-Kähler Hermitian manifolds. A Hermitian manifold is said to be a locally conformal Kähler if a lift of the metric to the universal covering space is conformal to a Kähler metric. We shall prove that a holomorphic conformal complex torus action on a compact locally conformal Kähler manifold Mis Rank-1 provided that Mhas no Kähler structure.     

On the Yau-Tian-Donaldson Conjecture for Generalized Kähler-Ricci Soliton Equations

Let (X,D) be a polarized log variety with an effective holomorphic torus action, and Θ be a closed positive torus invariant (1,1) -current. For any smooth positive function g defined on the moment polytope of the torus action, we study the Monge-Ampère equations that correspond to generalized and twisted Kähler-Ricci g-solitons. We prove a version of the Yau-Tian-Donaldson (YTD) conjecture for these general equations, showing that the existence of solutions is always equivalent to an equivariantly uniform Θ-twisted g-Ding-stability. When Θ is a current associated to a torus invariant linear system, we further show that equivariant special test configurations suffice for testing the stability. Our results allow arbitrary klt singularities and generalize most of previous results on (uniform) YTD conjecture for (twisted) Kähler-Ricci/Mabuchi solitons or Kähler-Einstein metrics. © 2022 Wiley Periodicals, Inc.     

Linear relations among Poincaré series via harmonic weak Maass forms

We discuss the problem of the vanishing of Poincaré series. This problem is known to be related to the existence of weakly holomorphic forms with prescribed principal part. The obstruction to the existence is related to the pseudomodularity of Ramanujan??s mock theta functions. We embed the space of weakly holomorphic modular forms into the larger space of harmonic weak Maass forms. From this perspective we discuss the linear relations between Poincaré series.     

Structure,classification, and conformal symmetry of elementary particles over non-archimedean space-time

It is well known that at distances shorter than Planck length, no length measurements are possible. The Volovich hypothesis asserts that at sub-Planckian distances and times, spacetime itself has a non-Archimedean geometry. We discuss the structure of elementary particles, their classification, and their conformal symmetry under this hypothesis. Specifically, we investigate the projective representations of the p-adic Poincaré and Galilean groups, using a new variant of the Mackey machine for projective unitary representations of semidirect products of locally compact and second countable (lcsc) groups. We construct the conformal spacetime over p-adic fields and discuss the imbedding of the p-adic Poincaré group into the p-adic conformal group. Finally, we show that the massive and the so called eventually masssive particles of the Poincaré group do not have conformal symmetry. The whole picture bears a close resemblance to what happens over the field of real numbers, but with some significant variations.     

Complex polynomial vector fields having an orbit with finite total curvature

In this paper we address the following questions: (i) Let \({C \subset \mathbb{C}^2}\) be an orbit of a polynomial vector field which has finite total Gaussian curvature. Is C contained in an algebraic curve? (ii) What can be said of a polynomial vector field which has a finitely curved transcendent orbit? We give a positive answer to (i) under some non-degeneracy conditions on the singularities of the projective foliation induced by the vector field. For vector fields with a slightly more general class of singularities we prove a classification result that captures rational pull-backs of Poincaré-Dulac normal forms.     

Multi-index Filtrations and Generalized Poincaré Series

A multi-index filtration on the ring of germs of functions can be described by its Poincaré series. We consider a finer invariant (or rather two invariants) of a multi-index filtration than the Poincaré series generalizing the last one. The construction is based on the fact that the Poincaré series can be written as a certain integral with respect to the Euler characteristic over the projectivization of the ring of functions. The generalization of the Poincaré series is defined as a similar integral with respect to the generalized Euler characteristic with values in the Grothendieck ring of varieties. For the filtration defined by orders of functions on the components of a plane curve singularity C and for the so called divisorial filtration for a modification of (\Bbb C²,0)({\Bbb C}^2,0) by a sequence of blowing-ups there are given formulae for this generalized Poincaré series in terms of an embedded resolution of the germ C or in terms of the modification respectively. The generalized Euler characteristic of the extended semigroup corresponding to the divisorial filtration is computed giving a curious “motivic version” of an A’Campo type formula.     

On the Existence of Solutions of Poisson Equation and Poincaré–Lelong Equation

One of the main goals of this paper is to solve the Poincaré–Lelong equation on a class of Kähler manifolds with nonnegative holomorphic bisectional curvature, $\mathrm{Ric}(x)\geq \left(a\ln\ln\left(10+r(x)\right)\right)\Big/\big.\left(\left(1+r^2(x)\right)\ln(10+r(x))\right)One of the main goals of this paper is to solve the Poincaré–Lelong equation on a class of K?hler manifolds with nonnegative holomorphic bisectional curvature, for some a > 67(n + 4)². We will also study the Poisson equation on complete noncompact manifolds which satisfy volume doubling and Poincaré inequality.     

Fixed points and normal families of quasiregular mappings

LetF be a family of mappingsK-quasiregular in some domainG. We show that if for eachf∈F, there existsk>1 such that thek-th iteratef ^k off has no fixed point, thenF is normal. Moreover, we examine to what extent this result holds if we consider only repelling fixed points, rather than fixed points in general. We also prove thatF is quasinormal, ifF contains only quasiregular mappings that do not have periodic points of some period greater than one inG. This implies that a quasiregular mappingf:ℝ ⁿ with an essential singularity in ∞ has infinitely many periodic points of any period greater than one. These results generalize results of M. Essén, S. Wu, D. Bargmann and W. Bergweiler for holomorphic functions.     

Holomorphic Cartan geometry on manifolds with numerically effective tangent bundle

Let X be a compact connected Kähler manifold such that the holomorphic tangent bundle TX is numerically effective. A theorem of Demailly et al. (1994) [11] says that there is a finite unramified Galois covering M→X, a complex torus T, and a holomorphic surjective submersion f:M→T, such that the fibers of f are Fano manifolds with numerically effective tangent bundle. A conjecture of Campana and Peternell says that the fibers of f are rational and homogeneous. Assume that X admits a holomorphic Cartan geometry. We prove that the fibers of f are rational homogeneous varieties. We also prove that the holomorphic principal G-bundle over T given by f, where G is the group of all holomorphic automorphisms of a fiber, admits a flat holomorphic connection.     

On the -equation¶over pseudoconvex Kähler manifolds

The Picard variety Pic⁰(? ⁿ ) of a complex n-dimensional torus? ⁿ is the group of all holomorphic equivalence classes of topologically trivial holomorphic (principal) line bundles on ? ⁿ . The total space of a topologically trivial holomorphic (principal) line bundle on a compact K?hler manifold is weakly pseudoconvex. Thus we can regard Pic⁰(? ⁿ ) as a family of weakly pseudoconvex K?hler manifolds. We consider a problem whether the Kodaira's -Lemma holds on a total space of holomorphic line bundle belonging to Pic⁰(? ⁿ ). We get a criterion for this problem using a dynamical system of translations on Pic⁰(? ⁿ ). We also discuss the problem whether the -Lemma holds on strongly pseudoconvex K?hler manifolds or not. Using the result of ColColţoiu, we find a 1-convex complete K?hler manifold on which the -Lemma does not hold. Received: 11 June 1999 / Revised version: 22 November 1999