相关论文: A Universal Magnification Theorem for Higher-Order…

Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…

An arbitrary surface mass density of gravitational lens can be decomposed into multipole components. We simulate the ray-tracing for the multipolar mass distribution of generalized SIS (Singular Isothermal Sphere) model, based on the…

Cluster lensing has become an important tool in the search for high redshift galaxies through its ability to magnify sources. In order to determine the intrinsic properties of these galaxies, lensing mass models must be constructed to…

In this paper we establish conditions on the length of the traceless part of the second fundamental form of a complete constant mean curvature hypersurface immersed in a space of constant sectional curvature in order to show that it is…

Under suitable conditions on the range of the Gauss map of a complete submanifold of Euclidean space with parallel mean curvature, we construct a strongly subharmonic function and derive a-priori estimates for the harmonic Gauss map. The…

To investigate the degree $d$ connectedness locus, Thur\-ston studied \emph{$\sigma_d$-invariant laminations}, where $\sigma_d$ is the $d$-tupling map on the unit circle, and built a topological model for the space of quadratic polynomials…

This paper provides a complete theoretical treatment of the point-mass lens perturbed by constant external shear, often called the Chang-Refsdal lens. We show that simple invariants exist for the products of the (complex) positions of the…

We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…

Under some dimension restrictions, we prove that totally umbilical hypersurfaces of Spin$^c$ manifolds carrying a parallel, real or imaginary Killing spinor are of constant mean curvature. This extends to the Spin$^c$ case the result of O.…

Strong-gravitational lens systems with quadruply-imaged quasars (quads) are unique probes to address several fundamental problems in cosmology and astrophysics. Although they are intrinsically very rare, ongoing and planned wide-field…

This article is concerned with random holomorphic polynomials and their generalizations to algebraic and symplectic geometry. A natural algebro-geometric generalization studied in our prior work involves random holomorphic sections…

We construct for every connected surface $S$ of finite negative Euler characteristic and every $H \in [0,1)$, a hyperbolic 3-manifold $N(S,H)$ of finite volume and a proper, two-sided, totally umbilic embedding $f\colon S\to N(S,H)$ with…

In this paper we analyze and classify the totally geodesic subspaces of finite volume quaternionic hyperbolic orbifolds and their generalizations, locally symmetric orbifolds arising from irreducible lattices in Lie groups of the form…

In this paper, we show the fundamental theorems for rotationally symmetric hypersurfaces, and thus, together with the earlier results in [3] and [4], provide a complete classification of umbilic hypersurfaces in the Heisenberg groups…

We show that for a very general class of curvature functions defined in the positive cone, the problem of finding a complete strictly locally convex hypersurface in $H^n+1$ satisfying $f(\kappa)=\sigma\in(0, 1)$ with a prescribed asymptotic…

In the framework of heterotic compactifications, we consider the one-loop corrections to the gauge couplings, which were shown to be free of any infra-red ambiguity. For a class of N=2 models, namely those that are obtained by toroidal…

We study the geometry of the foliation by constant Gaussian curvature surfaces $(\Sigma_k)_k$ of a hyperbolic end, and how it relates to the structures of its boundary at infinity and of its pleated boundary. First, we show that the…

A classic theorem of Kazhdan and Margulis states that for any semisimple Lie group without compact factors, there is a positive lower bound on the covolume of lattices. H. C. Wang's subsequent quantitative analysis showed that the…

We investigate perfect matchings and essential spanning forests in planar hyperbolic graphs via circle packings. We prove the existence of nonconstant harmonic Dirichlet functions that vanish in a closed set of the boundary, generalizing a…

We give a local parametric description of all holomorphic hypersurfaces in complex Euclidean and projective spaces with constant index of relative nullity, together with applications. This is a complex analogue to the parametrization for…