Showing 1–28 of 28 results for author: Yeung, S

Quasi-projective manifolds uniformized by Carathéodory hyperbolic manifolds and hyperbolicity of their subvarieties

Authors: Kwok-Kin Wong, Sai-Kee Yeung

Abstract: Let $M$ be a Carathéodory hyperbolic complex manifold. We show that $M$ supports a real-analytic bounded strictly plurisubharmonic function. If $M$ is also complete Kähler, we show that $M$ admits the Bergman metric. When $M$ is strongly Carathéodory hyperbolic and is the universal covering of a quasi-projective manifold $X$, the Bergman metric can be estimated in terms of a Poincaré type metric o… ▽ More Let $M$ be a Carathéodory hyperbolic complex manifold. We show that $M$ supports a real-analytic bounded strictly plurisubharmonic function. If $M$ is also complete Kähler, we show that $M$ admits the Bergman metric. When $M$ is strongly Carathéodory hyperbolic and is the universal covering of a quasi-projective manifold $X$, the Bergman metric can be estimated in terms of a Poincaré type metric on $X$. It is also proved that any quasi-projective (resp. projective) subvariety of $X$ is of log-general type (resp. general type), a result consistent with a conjecture of Lang. △ Less

Submitted 16 January, 2025; originally announced January 2025.

Comments: May be slightly different from published version

MSC Class: 32Q45; 32Q40; 32U05

Journal ref: International Mathematics Research Notices, Volume 2024, Issue 2, January 2024

Carathéodory hyperbolicity, volume estimates and level structures over function fields

Authors: Kwok-Kin Wong, Sai-Kee Yeung

Abstract: We give a generalization of the nonexistence of level structures as Nadel, Noguchi, Hwang-To, for quasi-projective manifolds uniformized by strongly Carathéodory hyperbolic complex manifolds. Examples include moduli space of compact Riemann surfaces with a finite number punctures and locally Hermitian symmetric spaces of finite volume. This leads to the nonexistence of a holomorphic map from a Rie… ▽ More We give a generalization of the nonexistence of level structures as Nadel, Noguchi, Hwang-To, for quasi-projective manifolds uniformized by strongly Carathéodory hyperbolic complex manifolds. Examples include moduli space of compact Riemann surfaces with a finite number punctures and locally Hermitian symmetric spaces of finite volume. This leads to the nonexistence of a holomorphic map from a Riemann surface of fixed genus into the compactification of such a quasi-projective manifold when the level structure is sufficiently high. To achieve our goal, we have also established some volume estimates for mapping of curves into these manifolds, extending some earlier result of Hwang-To to a more general setting. A version of Schwarz Lemma applicable to manifolds equipped with nonsmooth complex Finsler metric is also given. △ Less

Submitted 15 January, 2025; originally announced January 2025.

Comments: Slightly different from published version

Journal ref: Mathematische Annalen (2024)

Arithmetic fake compact Hermitian symmetric spaces of Type $A_3$

Authors: Gopal Prasad, Sai-Kee Yeung

Abstract: We reduced the classification of arithmetic fake compact Hermitian symmetric spaces of type $A_3$ to a few cases. We reduced the classification of arithmetic fake compact Hermitian symmetric spaces of type $A_3$ to a few cases. △ Less

Submitted 15 June, 2023; originally announced June 2023.

Open Torelli locus and complex ball quotients

Authors: Sai-Kee Yeung

Abstract: We study the problem of non-existence of totally geodesic complex ball quotients in the open Torelli locus in a moduli space of principally polarized Abelian varieties using analytic techniques. We study the problem of non-existence of totally geodesic complex ball quotients in the open Torelli locus in a moduli space of principally polarized Abelian varieties using analytic techniques. △ Less

Submitted 18 August, 2021; originally announced August 2021.

Comments: To appear in Mathematical Research Letters

Exceptional collection of objects on some fake projective planes

Authors: Ching-Jui Lai, Sai-Kee Yeung

Abstract: The purpose of the article is to explain a new method to establish the existence of an exceptional collection of length three for a fake projective plane M with non-trivial automorphism group, related to a conjecture of Galkin-Katzarkov-Mellit-Shinder in 2015. Our method shows that 30 fake projective planes support such a sequence, most of which are new. In particular, this provides many new H-pha… ▽ More The purpose of the article is to explain a new method to establish the existence of an exceptional collection of length three for a fake projective plane M with non-trivial automorphism group, related to a conjecture of Galkin-Katzarkov-Mellit-Shinder in 2015. Our method shows that 30 fake projective planes support such a sequence, most of which are new. In particular, this provides many new H-phantom categories. △ Less

Submitted 5 August, 2021; originally announced August 2021.

Comments: 39 pages. To appear on International Mathematics Research Notices

MSC Class: 14J29; 14J10;

Learning Rays via Deep Neural Network in a Ray-based IPDG Method for High-Frequency Helmholtz Equations in Inhomogeneous Media

Authors: Tak Shing Au Yeung, Ka Chun Cheung, Eric T. Chung, Shubin Fu, Jianliang Qian

Abstract: We develop a deep learning approach to extract ray directions at discrete locations by analyzing highly oscillatory wave fields. A deep neural network is trained on a set of local plane-wave fields to predict ray directions at discrete locations. The resulting deep neural network is then applied to a reduced-frequency Helmholtz solution to extract the directions, which are further incorporated int… ▽ More We develop a deep learning approach to extract ray directions at discrete locations by analyzing highly oscillatory wave fields. A deep neural network is trained on a set of local plane-wave fields to predict ray directions at discrete locations. The resulting deep neural network is then applied to a reduced-frequency Helmholtz solution to extract the directions, which are further incorporated into a ray-based interior-penalty discontinuous Galerkin (IPDG) method to solve the Helmholtz equations at higher frequencies. In this way, we observe no apparent pollution effects in the resulting Helmholtz solutions in inhomogeneous media. Our 2D and 3D numerical results show that the proposed scheme is very efficient and yields highly accurate solutions. △ Less

Submitted 19 June, 2021; originally announced June 2021.

Comments: 30 pages

Complex Ball Quotients and New Symplectic 4-manifolds with Nonnegative Signatures

Authors: Anar Akhmedov, Sümeyra Sakallı, Sai-Kee Yeung

Abstract: We present the various constructions of new symplectic $4$-manifolds with non-negative signatures using the complex surfaces on the BMY line $c_1^2 = 9χ_h$, the Cartwright-Steger surfaces, the quotients of Hirzebruch's certain line-arrangement surfaces, along with the exotic symplectic $4$-manifolds constructed in \cite{AP2, AS}. In particular, our constructions yield to (i) an irreducible symplec… ▽ More We present the various constructions of new symplectic $4$-manifolds with non-negative signatures using the complex surfaces on the BMY line $c_1^2 = 9χ_h$, the Cartwright-Steger surfaces, the quotients of Hirzebruch's certain line-arrangement surfaces, along with the exotic symplectic $4$-manifolds constructed in \cite{AP2, AS}. In particular, our constructions yield to (i) an irreducible symplectic and infinitely many non-symplectic $4$-manifolds that are homeomorphic but not diffeomorphic to $(2n-1)CP^{2}\#(2n-1)\bar{CP}^{2}$ for each integer $n \geq 9$, (ii) the families of simply connected irreducible nonspin symplectic $4$-manifolds that have the smallest Euler characteristics among the all known simply connected $4$-manifolds with positive signatures and with more than one smooth structure. We also construct a complex surface with positive signature from the Hirzebruch's line-arrangement surfaces, which is a ball quotient. △ Less

Submitted 15 February, 2021; v1 submitted 10 February, 2021; originally announced February 2021.

Comments: 20 pages. arXiv admin note: text overlap with arXiv:1506.00230. Minor typos corrected

MSC Class: 57R55; 57R17; 32Q55

Limit of Weierstrass Measure on Stable Curves

Authors: Ngai-Fung Ng, Sai-Kee Yeung

Abstract: The goal of the paper is to study the limiting behavior of the Weierstrass measures on a smooth curve of genus $g\geqslant 2$ as the curve approaches a certain nodal stable curve represented by a point in the Deligne-Mumford compactification $\bar{\mathcal M}_g$ of the moduli $\mathcal{M}_g$, including irreducible ones or those of compact type. As a consequence, the Weierstrass measures on a stabl… ▽ More The goal of the paper is to study the limiting behavior of the Weierstrass measures on a smooth curve of genus $g\geqslant 2$ as the curve approaches a certain nodal stable curve represented by a point in the Deligne-Mumford compactification $\bar{\mathcal M}_g$ of the moduli $\mathcal{M}_g$, including irreducible ones or those of compact type. As a consequence, the Weierstrass measures on a stable rational curve at the boundary of $\mathcal{M}_g$ are completely determined. In the process, the asymptotic behavior of the Bergman measure is also studied. △ Less

Submitted 20 August, 2022; v1 submitted 17 December, 2020; originally announced December 2020.

A deep learning based nonlinear upscaling method for transport equations

Authors: Tak Shing Au Yeung, Eric T. Chung, Simon See

Abstract: We will develop a nonlinear upscaling method for nonlinear transport equation. The proposed scheme gives a coarse scale equation for the cell average of the solution. In order to compute the parameters in the coarse scale equation, a local downscaling operator is constructed. This downscaling operation recovers fine scale properties using cell averages. This is achieved by solving the equation on… ▽ More We will develop a nonlinear upscaling method for nonlinear transport equation. The proposed scheme gives a coarse scale equation for the cell average of the solution. In order to compute the parameters in the coarse scale equation, a local downscaling operator is constructed. This downscaling operation recovers fine scale properties using cell averages. This is achieved by solving the equation on an oversampling region with the given cell average as constraint. Due to the nonlinearity, one needs to compute these downscaling operations on the fly and cannot pre-compute these quantities. In order to give an efficient downscaling operation, we apply a deep learning approach. We will use a deep neural network to approximate the downscaling operation. Our numerical results show that the proposed scheme can achieve a good accuracy and efficiency. △ Less

Submitted 7 July, 2020; originally announced July 2020.

Comments: 18 pages

Stability of the Albanese fibration on the Cartwright-Steger surface

Authors: Vincent Koziarz, Sai-Kee Yeung

Abstract: We verify that the Albanese fibration of the Cartwright-Steger surface is stable, answering a problem left open in [CKY]. We verify that the Albanese fibration of the Cartwright-Steger surface is stable, answering a problem left open in [CKY]. △ Less

Submitted 7 January, 2020; originally announced January 2020.

On the syzygies of ample line bundles on fake projective planes

Authors: Sui-Chung Ng, Sai-Kee Yeung

Abstract: Our goal is to study the syzygies of the projective embeddings defined by ample line bundles on a fake projective plane S. The syzygies are studied in terms of the property $N_p$. For various kinds of ample line bundles, we give explicit lower bounds for their powers above which the property $N_p$ is satisfied. Our goal is to study the syzygies of the projective embeddings defined by ample line bundles on a fake projective plane S. The syzygies are studied in terms of the property $N_p$. For various kinds of ample line bundles, we give explicit lower bounds for their powers above which the property $N_p$ is satisfied. △ Less

Submitted 8 October, 2021; v1 submitted 14 October, 2019; originally announced October 2019.

MSC Class: 13D02; 14C20; 14J29

Numerical inversion of 3D geodesic X-ray transform arising from traveltime tomography

Authors: Tak Shing Au Yeung, Eric T. Chung, Gunther Uhlmann

Abstract: In this paper, we consider the inverse problem of determining an unknown function defined in three space dimensions from its geodesic X-ray transform. The standard X-ray transform is defined on the Euclidean metric and is given by the integration of a function along straight lines. The geodesic X-ray transform is the generalization of the standard X-ray transform in Riemannian manifolds and is def… ▽ More In this paper, we consider the inverse problem of determining an unknown function defined in three space dimensions from its geodesic X-ray transform. The standard X-ray transform is defined on the Euclidean metric and is given by the integration of a function along straight lines. The geodesic X-ray transform is the generalization of the standard X-ray transform in Riemannian manifolds and is defined by integration of a function along geodesics. This paper is motivated by Uhlmann and Vasy's theoretical reconstruction algorithm for geodesic X-ray transform and mathematical formulation for traveltime tomography to develop a novel numerical algorithm for the stated goal. Our numerical scheme is based on a Neumann series approximation and a layer stripping approach. In particular, we will first reconstruct the unknown function by using a convergent Neumann series for each small neighborhood near the boundary. Once the solution is constructed on a layer near the boundary, we repeat the same procedure for the next layer, and continue this process until the unknown function is recovered on the whole domain. One main advantage of our approach is that the reconstruction is localized, and is therefore very efficient, compared with other global approaches for which the reconstructions are performed on the whole domain. We illustrate the performance of our method by showing some test cases including the Marmousi model. Finally, we apply this method to a travel time tomography in 3D, in which the inversion of the geodesic X-ray transform is one important step, and present several numerical results to validate the scheme. △ Less

Submitted 26 April, 2018; originally announced April 2018.

Comments: 31 pages

Explicit equations of the Cartwright-Steger surface

Authors: Lev A. Borisov, Sai-Kee Yeung

Abstract: We construct explicit equations of Cartwright-Steger and related surfaces. We construct explicit equations of Cartwright-Steger and related surfaces. △ Less

Submitted 9 July, 2020; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 16 pages, LaTeX

Journal ref: Épijournal de Géométrie Algébrique, Volume 4 (July 10, 2020) epiga:5662

Foliations associated to harmonic maps and some complex two ball quotients

Authors: Sai-Kee Yeung

Abstract: The purpose of the article is to study a foliation associated to a lattice-equivariant harmonic map of small rank from a complex ball to another. The result is related to rigidity of some complex ball quotients. The purpose of the article is to study a foliation associated to a lattice-equivariant harmonic map of small rank from a complex ball to another. The result is related to rigidity of some complex ball quotients. △ Less

Submitted 14 June, 2017; originally announced June 2017.

Entire holomorphic curves on a Fermat surface of low degree

Authors: Tuen-Wai Ng, Sai-Kee Yeung

Abstract: The purpose of the paper is to study some problems raised by Hayman and Gundersen about the existence of non-trivial entire and meromorphic solutions for the Fermat type functional equation $f^n+g^n+h^n=1$. Hayman showed that no non-trivial meromorphic solutions and entire solutions exist when $n \ge 9$ and $n \ge 7$ respectively. By considering the entire holomorphic curves on the Fermat surface… ▽ More The purpose of the paper is to study some problems raised by Hayman and Gundersen about the existence of non-trivial entire and meromorphic solutions for the Fermat type functional equation $f^n+g^n+h^n=1$. Hayman showed that no non-trivial meromorphic solutions and entire solutions exist when $n \ge 9$ and $n \ge 7$ respectively. By considering the entire holomorphic curves on the Fermat surface defined by $X^n+Y^n+Z^n=W^n$ on the complex projective space $\mathbb{P}^3$ and applying the method of jet differentials, we show that no non-trivial meromorphic solutions and entire solutions exist when $n \ge 8$ and $n \ge 6$ respectively. In particular, this completes the investigation of non-trivial entire solutions for all $n$ and respectively, meromorphic solutions for all cases except for $n=7$. Finally, for the generalized Fermat type functional equation $f^n+g^m+h^l=1$, we will also prove the non-existence of non-trivial meromorphic solutions when $1/n+1/m+1/l \le 3/8$, giving the strongest result obtained so far. △ Less

Submitted 10 December, 2016; v1 submitted 5 December, 2016; originally announced December 2016.

MSC Class: 11B83 (primary); 30D05 (secondary)

Very ampleness of the bicanonical line bundle on compact complex two ball quotients

Authors: Sai-Kee Yeung

Abstract: The purpose of this note is to show that $2K$ of any smooth compact complex two ball quotient is very ample, except possibly for four pairs of fake projective planes of minimal type, where $K$ is the canonical line bundle. For the four pairs of fake projective planes, sections of $2K_M$ give an embedding of $M$ except possibly for at most two points on $M$. The purpose of this note is to show that $2K$ of any smooth compact complex two ball quotient is very ample, except possibly for four pairs of fake projective planes of minimal type, where $K$ is the canonical line bundle. For the four pairs of fake projective planes, sections of $2K_M$ give an embedding of $M$ except possibly for at most two points on $M$. △ Less

Submitted 9 January, 2018; v1 submitted 16 March, 2016; originally announced March 2016.

Comments: In this revised version, an appendix giving some details for proof of the result for Cartwright-Steger surface is given

Examples of surfaces with canonical maps of maximal degree

Authors: Ching-Jui Lai, Sai-Kee Yeung

Abstract: It was shown by A. Beauville that if the canonical map $\varphi_{|K_M|}$ of a complex smooth projective surface $M$ is generically finite, then ${\rm deg}(\varphi_{|K_M|})\leq 36$. The first example of a surface with canonical degree 36 was found by the second author. In this article, we show that for any surface which is a degree four Galois étale cover of a fake projective plane $X$ with the lar… ▽ More It was shown by A. Beauville that if the canonical map $\varphi_{|K_M|}$ of a complex smooth projective surface $M$ is generically finite, then ${\rm deg}(\varphi_{|K_M|})\leq 36$. The first example of a surface with canonical degree 36 was found by the second author. In this article, we show that for any surface which is a degree four Galois étale cover of a fake projective plane $X$ with the largest possible automorphism group ${\rm Aut}(X)=C_7:C_3$ (the unique non-abelian group of order 21), the base locus of the canonical map is finite, and we verify that 35 of these surfaces have maximal canonical degree 36. We also classify all smooth degree four Galois étale covers of fake projective planes, which give possible candidates for surfaces of canonical degree $36$. Finally, we also confirm in this paper the optimal upper bound of the canonical degree of smooth threefolds of general type with sufficiently large geometric genus, related to earlier work of C. Hacon and J.-X. Cai. △ Less

Submitted 14 January, 2021; v1 submitted 23 October, 2015; originally announced October 2015.

Comments: 17 pages. The original proof of the main theorem in v.1 is incorrect and is replaced by a weaker result. A revised proof is given and the paper is reorganized. To appear on Taiwanese Journal of Mathematics. Comments are welcome

MSC Class: 14J25; 14J29

A surface of maximal canonical degree

Authors: Sai-Kee Yeung

Abstract: It has been conjectured that the optimal canonical degree of a minimal surface of general type is 36, from a work in the 70's of Beauville who proved that 36 was an upper bound. The highest canonical degree known for the problem was 16 by Persson in 1978. The purpose of this article is to confirm the conjecture by providing an explicit surface. It has been conjectured that the optimal canonical degree of a minimal surface of general type is 36, from a work in the 70's of Beauville who proved that 36 was an upper bound. The highest canonical degree known for the problem was 16 by Persson in 1978. The purpose of this article is to confirm the conjecture by providing an explicit surface. △ Less

Submitted 18 August, 2021; v1 submitted 22 October, 2015; originally announced October 2015.

Comments: A corrigendum was added with corrections to the published version, originally written in 2018, with some references updated

On the Cartwright-Steger surface

Authors: Donald I. Cartwright, Vincent Koziarz, Sai-Kee Yeung

Abstract: In this article, we study various concrete algebraic and differential geometric properties of the Cartwright-Steger surface. In particular, we determine the genus of a generic fiber of the Albanese fibration, and deduce that the singular fibers are not totally geodesic, answering an open problem about fibrations of a complex ball quotient over a Riemann surface. In this article, we study various concrete algebraic and differential geometric properties of the Cartwright-Steger surface. In particular, we determine the genus of a generic fiber of the Albanese fibration, and deduce that the singular fibers are not totally geodesic, answering an open problem about fibrations of a complex ball quotient over a Riemann surface. △ Less

Submitted 10 March, 2015; v1 submitted 12 December, 2014; originally announced December 2014.

Comments: A longer version of this paper, which contains some geometric results we have omitted here, provides more details of some calculations, and adopts a different approach to proving some results, can be found on the webpage of the first named author (see reference [CKY]). It is an update of version 1 of this paper

Tower of coverings of quasi-projective varieties

Authors: Sai-Kee Yeung

Abstract: The main goal of this article is to relate asymptotic geometric properties on a tower of coverings of a non-compact Kähler manifold of finite volume with reasonable geometric assumptions to its universal covering. Applicable examples include moduli spaces of hyperbolic punctured Riemann surfaces and Hermitian locally symmetric spaces of finite volume. The main goal of this article is to relate asymptotic geometric properties on a tower of coverings of a non-compact Kähler manifold of finite volume with reasonable geometric assumptions to its universal covering. Applicable examples include moduli spaces of hyperbolic punctured Riemann surfaces and Hermitian locally symmetric spaces of finite volume. △ Less

Submitted 25 April, 2012; originally announced April 2012.

Journal ref: Advances in Mathematics 230 (2012) 1196-1208

Addendum to `Fake Projective Planes'

Authors: Gopal Prasad, Sai-Kee Yeung

Abstract: The addendum updates the results presented in the paper `Fake Projective Plane, Invent Math 168, 321-370 (2007)' and makes some additions and corrections. The fake projective planes are classified into twenty six classes. Together with a recent work of Donald Cartwright and Tim Steger, there is now a complete list of fake projective planes. There are precisely one hundred fake projective planes… ▽ More The addendum updates the results presented in the paper `Fake Projective Plane, Invent Math 168, 321-370 (2007)' and makes some additions and corrections. The fake projective planes are classified into twenty six classes. Together with a recent work of Donald Cartwright and Tim Steger, there is now a complete list of fake projective planes. There are precisely one hundred fake projective planes as complex surfaces classified up to biholomorphism. △ Less

Submitted 20 July, 2009; v1 submitted 25 June, 2009; originally announced June 2009.

Comments: A more refined classification is given in the new version

Geometry of domains with the uniform squeezing property

Authors: Sai-Kee Yeung

Abstract: We introduce the notion of domains with uniform squeezing property, study various analytic and geometric properties of such domains and show that they cover many interesting examples, including Teichmuller spaces and Hermitian symmetric spaces of non-compact type. The properties supported by such manifolds include pseudoconvexity, hyperconvexity, Kaehler-hyperbolicity, vanishing of cohomology gr… ▽ More We introduce the notion of domains with uniform squeezing property, study various analytic and geometric properties of such domains and show that they cover many interesting examples, including Teichmuller spaces and Hermitian symmetric spaces of non-compact type. The properties supported by such manifolds include pseudoconvexity, hyperconvexity, Kaehler-hyperbolicity, vanishing of cohomology groups and quasi-isometry of various invariant metrics. It also leads to nice geometric properties for manifolds covered by bounded domains and a simple criterion to provide positive examples to a problem of Serre about Stein properties of holomorphic fiber bundles. △ Less

Submitted 25 June, 2009; originally announced June 2009.

Journal ref: Advances in Mathematics 221(2009) 547-569

Nonexistence of arithmetic fake compact hermitian symmetric spaces of types other than An

Authors: Gopal Prasad, Sai-Kee Yeung

Abstract: We show that there are no arithmetic fake compact hermitian symmetric spaces of type other than An for n>4. We show that there are no arithmetic fake compact hermitian symmetric spaces of type other than An for n>4. △ Less

Submitted 25 April, 2012; v1 submitted 13 July, 2008; originally announced July 2008.

Comments: 38 pages, an expanded and improved version of the original article to include consideration of type An for n>4, to appear in Journal of Mathematical Society of Japan

MSC Class: 11M06; 11E57

Arithmetic fake projective spaces and arithmetic fake grassmannians

Authors: Gopal Prasad, Sai-Kee Yeung

Abstract: We show that if n>5, PU(n-1,1) does not contain a cocompact arithmetic subgroup with the same Euler-Poincare characteristic (in the sense of C.T.C. Wall) as the complex projective space of dimension n-1, and show that if n=5, there are at least four such subgroups, which are in fact torsion-free. This, in particular, leads to examples of a fake projective space of dimension 4. Analogous results… ▽ More We show that if n>5, PU(n-1,1) does not contain a cocompact arithmetic subgroup with the same Euler-Poincare characteristic (in the sense of C.T.C. Wall) as the complex projective space of dimension n-1, and show that if n=5, there are at least four such subgroups, which are in fact torsion-free. This, in particular, leads to examples of a fake projective space of dimension 4. Analogous results for arithmetic fake grassmannians Gr(m,n) with n>3 odd are also obtained. △ Less

Submitted 13 July, 2008; v1 submitted 7 February, 2006; originally announced February 2006.

Comments: 20 pages, the exposition has been improved

MSC Class: 14J29; 11M06; 11E57

Fake projective planes

Authors: Gopal Prasad, Sai-Kee Yeung

Abstract: A fake projective plane is a smooth complex surface which is not the complex projective plane but has the same Betti numbers as the complex projective plane. The first example of such a surface was constructed by David Mumford in 1979 using p-adic uniformization. Two more examples were found by Ishida and Kato by related method. Keum has recently given an example which is possibly different from t… ▽ More A fake projective plane is a smooth complex surface which is not the complex projective plane but has the same Betti numbers as the complex projective plane. The first example of such a surface was constructed by David Mumford in 1979 using p-adic uniformization. Two more examples were found by Ishida and Kato by related method. Keum has recently given an example which is possibly different from the three known earlier. It is an interesting problem in complex algebraic geometry to determine all fake projective planes. Using the arithmeticity of the fundamental group of fake projective planes, the formula for the covolume of principal arithmetic subgroups given by the first-named auhor, and some number theoretic estimates, we give a classification of fake projective planes in this paper. Twenty eight distinct classes are found. The construction given in the paper appears to be more direct and more natural. It does not use p-adic uniformization. △ Less

Submitted 5 March, 2019; v1 submitted 5 December, 2005; originally announced December 2005.

Comments: 58 pages. In this revised version, the original article of the same title and its addendum are incorporated into a single paper

MSC Class: 14J29; 11M06; 11E57

Journal ref: Invent. Math. 168(2007), 321-370; 182(2010), 213-227

Earliest-deadline-first service in heavy-traffic acyclic networks

Authors: Lukasz Kruk, John Lehoczky, Steven Shreve, Shu-Ngai Yeung

Abstract: This paper presents a heavy traffic analysis of the behavior of multi-class acyclic queueing networks in which the customers have deadlines. We assume the queueing system consists of J stations, and there are K different customer classes. Customers from each class arrive to the network according to independent renewal processes. The customers from each class are assigned a random deadline drawn… ▽ More This paper presents a heavy traffic analysis of the behavior of multi-class acyclic queueing networks in which the customers have deadlines. We assume the queueing system consists of J stations, and there are K different customer classes. Customers from each class arrive to the network according to independent renewal processes. The customers from each class are assigned a random deadline drawn from a deadline distribution associated with that class and they move from station to station according to a fixed acyclic route. The customers at a given node are processed according to the earliest-deadline-first (EDF) queue discipline. At any time, the customers of each type at each node have a lead time, the time until their deadline lapses. We model these lead times as a random counting measure on the real line. Under heavy traffic conditions and suitable scaling, it is proved that the measure-valued lead-time process converges to a deterministic function of the workload process. △ Less

Submitted 8 July, 2004; originally announced July 2004.

Report number: IMS-AAP-AAP003 MSC Class: 60K25 (Primary) 60G57; 60J65; 68M20. (Secondary)

Journal ref: Annals of Probability 2004, Vol. 14, No. 3, 1306-1352

Addendum to ``Defects for ample divisors of abelian varieties, Schwarz lemma, and hyperbolic hypersurfaces of low degrees,'' Amerian Journal of Mathematics 119 (1997), 1139-1172

Authors: Yum-Tong Siu, Sai-Kee Yeung

Abstract: This is an addendum to our earlier paper on the defect of an ample divisor of an abelian variety. It modifies an argument of the original paper to handle one difficulty there. At the same time the modification improves the result in the original paper by replacing the counting function by one truncated at a multiplicity given by an explicit function of the dimension of the abelian variety and th… ▽ More This is an addendum to our earlier paper on the defect of an ample divisor of an abelian variety. It modifies an argument of the original paper to handle one difficulty there. At the same time the modification improves the result in the original paper by replacing the counting function by one truncated at a multiplicity given by an explicit function of the dimension of the abelian variety and the Chern number of the divisor. △ Less

Submitted 7 August, 2002; originally announced August 2002.

Comments: 9 pages, submitted to the American Journal of Mathematics on June 6, 2000

MSC Class: 32H30

Defects for Ample Divisors of Abelian Varieties, Schwarz Lemma, and Hyperbolic Hypersurfaces of Low Degrees

Authors: Yum-Tong Siu, Sai-Kee Yeung

Abstract: The main purpose of this paper is to prove the following theorem on the defect relations for ample divisors of abelian varieties. Main Theorem. Let $A$ be an abelian variety of complex dimension $n$ and $D$ be an ample divisor in $A$. Let $f:{\bf C}\rightarrow A$ be a holomorphic map. Then the defect for the map $f$ and the divisor $D$ is zero. Corollary to Main Theorem. The complement of an… ▽ More The main purpose of this paper is to prove the following theorem on the defect relations for ample divisors of abelian varieties. Main Theorem. Let $A$ be an abelian variety of complex dimension $n$ and $D$ be an ample divisor in $A$. Let $f:{\bf C}\rightarrow A$ be a holomorphic map. Then the defect for the map $f$ and the divisor $D$ is zero. Corollary to Main Theorem. The complement of an ample divisor $D$ in an abelian variety $A$ is hyperbolic in the sense that there is no nonconstant holomorphic map from $\bf C$ to $A-D$. △ Less

Submitted 14 October, 1996; originally announced October 1996.

MSC Class: 32