Fumiharu Kato, Hiroyuki Ochiai
We prove that the fake projective planes constructed from the diadic discrete group discovered by Cartwright, Mantero, Steger, and Zappa are connected Shimura varieties associated to a certain unitary group. The necessary Shimura data, as well as the unitary group, are explicitly described. We also give a field of definition of these fake projective planes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We define fake weighted projective spaces as a generalisation of weighted projective spaces. We introduce the notions of fundamental group in codimension 1 and of universal covering in codimension 1. We prove that for every fake weighted projective space its universal cover in codimension 1 is a weighted projective space.
We give sharp upper bounds on the anticanonical degree of fake weighted projective spaces, only depending on the dimension and the Gorenstein index.
Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to that of the usual projective plane. Recent explicit constructions of fake projective planes embed them via their bicanonical embedding in $\mathbb P^9$. In this paper, we study Keum's fake projective plane $(a=7, p=2, \{7\}, D_3 2_7)$ and use the equations of \cite{Borisov} to construct an embedding of fake projective plane in $\mathbb P^5$. We also simplify the 84 cubic equations defining the fake projective plane in $\mathbb P^9$.
In this short note we announce explicit equations of a fake projective plane in its bicanonical embedding in $\mathbb C\mathbb P^9$.
The main purpose of the note is to exclude the existence of certain submaximal curves in fake projective planes. This will lead to lower bounds on multipoint Seshadri constants of `fake' $\mathcal{O}(1)$ on fake projective planes.
The purpose of the present paper is to explain the fake projective plane constructed by J.H. Keum from the point of view of arithmetic ball quotients. Beside the ball quotient associated with the fake projective plane, we also analize two further naturally related ball quotients whose minimal desingularizations lead to two elliptic surfaces, one already considered by J.H. Keum as well as the one constructed by M.N. Ishida in terms of p-adic uniformization.
For every fake projective plane $X$ with automorphism group of order 21, we prove that $H^i(X, 2L)=0$ for all $i$ and for every ample line bundle $L$ with $L^2=1$. For every fake projective plane with automorphism group of order 9, we prove the same vanishing for every cubic root (and its twist by a 2-torsion) of the canonical bundle $K$. As an immediate consequence, there are exceptional sequences of length 3 on such fake projective planes.
On equations of fake projective planes with automorphism group of order $21$
研究Dolgachev椭圆面的双重和三重纤维，找到两个新的具有21个自同构的假射影平面方程，完成该自同构群的假射影平面方程研究任务，包括Keum发现的假射影平面。
Recently, Prasad and Yeung classified all possible fundamental groups of fake projective planes. According to their result, many fake projective planes admit a nontrivial group of automorphisms, and in that case it is isomorphic to $\bbZ/3\bbZ$, $\bbZ/7\bbZ$, $7:3$, or $(\bbZ/3\bbZ)^2$, where $7:3$ is the unique non-abelian group of order 21. Let $G$ be a group of automorphisms of a fake projective plane $X$. In this paper we classify all possible structures of the quotient surface $X/G$ and its minimal resolution.
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.
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.
This is a revised version of a part of the author's preprint "On p-adic uniformization of fake projective planes" (preprint, Max-Planck-Institut fuer Mathematik, 1998 (121)). In this paper we construct explicitly a Shimura surface of PEL-type, associated to a certain unitary group, whose connected components are isomorphic to Mumford's fake projective plane. We also give the canonical model, Shimura field and number of connected components of this Shimura surface. As a consequence of the construction we prove that the Mumford's fake projective plane is an arithmetic complex unit-ball quotient,…
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.
Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to those of the usual projective plane. They come in complex conjugate pairs and have been classified as quotients of the two-dimensional ball by explicitly written arithmetic subgroups. In this paper we find equations of a projective model of a conjugate pair of fake projective planes by studying the geometry of the quotient of such surface by an order seven automorphism.
Certain degenerations of surfaces in fake weighted projective $3$-space
本文给出了伪加权射影3-空间中某些一般非退化曲面具有Picard数大于1的判别准则，这些代数曲面为一般型，通过考虑沿边的退化并跟踪几何亏格，利用消失上同调类构造了与典范除子不成比例的有理Picard类。
We show, for several fake projective planes with nontrivial automorphism group, that the bicanonical map is an embedding.
We show that there exist exceptional collections of length 3 consisting of line bundles on the three fake projective planes that have a 2-adic uniformisation with torsion free covering group. We also compute the Hochschild cohomology of the right orthogonal of the subcategory of the bounded derived category of coherent sheaves generated by these exceptional collections.
Finding equations of the fake projective plane $(C18,p=3,\{2I\})$
本文通过循环覆盖和商运算，找到了标记为$(C18,p=3,\{2I\})$的fake projective plane的显式方程。
Arithmetic fake compact Hermitian symmetric spaces of Type $A_3$
本研究针对$A_3$型算术伪紧埃尔米特对称空间的分类问题开展研究，通过归约手段将其分类范围缩小至少数情形，为该类空间的完整分类工作推进提供了支撑。
We show that there are no arithmetic fake compact hermitian symmetric spaces of type other than An for n>4.
On the Geometry of a Fake Projective Plane with $21$ Automorphisms
本文研究了具有21个自同构的假投影平面的几何结构，通过构造其在复射影空间中的嵌入，探讨了其线性系统和相关代数几何性质。
We discover a family of surfaces of general type with $K^2=3$ and $p=q=0$ as free $C_{13}$ quotients of special linear cuts of the octonionic projective plane $\mathbb O \mathbb P^2$. A special member of the family has $3$ singularities of type $A_2$, and is a quotient of a fake projective plane. We use the techniques of \cite{BF20} to define this fake projective plane by explicit equations in its bicanonical embedding.
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.
Explicit equations of the fake projective plane $(a=7,p=2,\emptyset,D_3 X_7)$
本文给出假射影平面 $(a=7,p=2,\emptyset,D_3 X_7)$ 的显式方程，通过构造与已知曲面共享的伽罗瓦覆盖的双有理模型实现。
Bloch's conjecture for fake projective planes with an automorphism of order 3
本文证明了对某些一般型曲面上的对合在零维Chow群上作用为恒等，从而验证了Bloch猜想，并推广到某些伪射影平面。
We characterise mutations between fake weighted projective spaces, and give explicit formulas for how the weights and multiplicity change under mutation. In particular, we prove that multiplicity-preserving mutations between fake weighted projective spaces are mutations over edges of the corresponding simplices. As an application, we analyse the canonical and terminal fake weighted projective spaces of maximal degree.
On the projective plane there is a unique cubic root of the canonical bundle and this root is acyclic. On fake projective planes such root exists and is unique if there are no 3-torsion divisors (and usually exists, but not unique, otherwise). Earlier we conjectured that any such cubic root must be acyclic. In the present note we give two short proofs of this statement and show acyclicity of some other line bundles on the fake projective planes with at least $9$ automorphisms. Similarly to our earlier work we employ simple representation theory for non-abelian finite groups. The first proof is…
We give a criterion for a projective surface to become a quotient of a fake projective plane. We also give a detailed information on the elliptic fibration of a $(2,3)$-elliptic surface that is the minimal resolution of a quotient of a fake projective plane. As a consequence, we give a classification of ${\mathbb Q}$-homology projective planes with cusps only.
A fake projective plane is a compact complex manifold of dimension 2 which has the same Betti numbers as the complex projective plane, but not isomorphic to the complex projective plane. As was shown by D. Mumford, there exists at least one such surface. In this paper we prove the existence of a fake projective plane which is birational to a cyclic cover of degree 7 of a Dolgachev surface.
We apply the recent results of Galkin et al. [GKMS15] to study some geometrical features of Keum's fake projective planes. Among other things, we show that the bicanonical map of Keum's fake projective planes is always an embedding. Moreover, we construct a nonstandard exceptional collection on the unique fake projective plane $X$ with $H_{1}(X; \mathbb{Z})=(\mathbb{Z}/2\mathbb{Z})^{4}$.
We will give an upper bound for the $k$-normality of very ample lattice simplices, and then give an Eisenbud-Goto-type bound for some special classes of projective toric varieties.
A fake weighted projective space X is a Q-factorial toric variety with Picard number one. As with weighted projective space, X comes equipped with a set of weights (λ_0,...,λ_n). We see how the singularities of P(λ_0,...,λ_n) influence the singularities of X, and how the weights bound the number of possible fake weighted projective spaces for a fixed dimension. Finally, we present an upper bound on the ratios λ_j/\sumλ_i if we wish X to have only terminal (or canonical) singularities.
Let N a compact complex submanifold of a compact complex manifold M. We say N splits in M, if the holomorphic tangent bundle sequence splits holomorphically. By a result of Mok a splitting submanifold of a Kaehler Einstein manifold with a projective structure is totally geodesic. The classification of all splitting submanifolds of families of fake elliptic curves given here completes the case of threefolds M with a projective structure by a previous result of the authors.
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, …
We give a sharp upper bound on the multiplicity of a fake weighted projective space with at worst canonical singularities. This is equivalent to giving a sharp upper bound on the index of the sublattice generated by the vertices of a lattice simplex containing only the origin as an interior lattice point. We also completely characterise when equality occurs and discuss related questions and conjectures.
We construct a torsion-free arithmetic lattice in $\mathrm{PGL}_2(\mathbb{F}_2(\!(t)\!))\times\mathrm{PGL}_2(\mathbb{F}_2(\!(t)\!))$ arising from a quaternion algebra over $\mathbb{F}_2(z)$. It is the fundamental group of a square complex with universal covering $T_3\times T_3$, a product of trees with constant valency $3$, which has minimal Euler characteristic. Furthermore, our lattice gives rise to a fake quadric over $\mathbb{F}_2(\!(t)\!)$ by means of non-archimedean uniformization.
Calabi-Yau complete intersections in fake weighted projective spaces
本文提出了一种算法，用于在伪加权射影空间中分类Calabi-Yau完全交集，并发现了二十个新的Hodge对。
The purpose of this paper is to explicitly compute the Seshadri constants of all ample line bundles on fake projective planes. The proof relies on the theory of the Toledo invariant, and more precisely on its characterization of $\C$-Fuchsian curves in complex hyperbolic spaces.
In previous work by Coates, Galkin, and the authors, the notion of mutation between lattice polytopes was introduced. Such a mutation gives rise to a deformation between the corresponding toric varieties. In this paper we study one-step mutations that correspond to deformations between weighted projective planes, giving a complete characterisation of such mutations in terms of T-singularities. We show also that the weights involved satisfy Diophantine equations, generalising results of Hacking-Prokhorov.
It has been shown by Hacking and Prokhorov that if the projective surface X with quotient singularities and self-intersection number 9 has a smoothing to the projective plane, then X is the general fiber of a Q-Gorenstein deformation of the weighted projective plane with weights giving solutions to the Markov equation. This result has been understood and generalized by combinatorial mutations of Fano triangles by Akhtar, Coates, Galkin, and Kasprzyk. In this note, we study this result by utilizing polarized T-varieties and describe the associated deformation explicitly in terms of certain Mink…
Looking in positive characteristic for failures of the Bertini-Sard theorem, we determine, up to birational equivalence, the separable proper morphisms of smooth algebraic varieties in characteristic two, whose fibres are non-smooth curves of arithmetic genus two.
Algebraic fundamental groups of fake projective planes
本文证明假射影平面的代数基本群仅有四十六个同构类而非五十个，并首次构造出秩一半单李群中可公度但不同构且具有同构有限商完备化的格。
This paper determines the inertia groups (isotropy groups) of the points of a toric Deligne-Mumford stack [Z/G] (considered over the category of smooth manifolds) that is realized from a quotient construction using a stacky fan or stacky polytope. The computation provides an explicit correspondence between certain geometric and combinatorial data. In particular, we obtain a computation of the connected component of the identity element $G_0 \subset G$ and the component group $G/G_0$ in terms of the underlying stacky fan, enabling us to characterize the toric DM stacks which are global quotient…
A fake quadric is a smooth projective surface that has the same rational cohomology as a smooth quadric surface but is not biholomorphic to one. We provide an explicit classification of all irreducible fake quadrics according to the commensurability class of their fundamental group. To accomplish this task, we develop a number of new techniques that explicitly bound the arithmetic invariants of a fake quadric and more generally of an arithmetic manifold of bounded volume arising from a form of SL_2 over a number field.
We prove the arithmetic Hodge index and hard Lefschetz conjectures for the Grassmannian $G=G(2,N)$ parametrizing lines in projective space, for the natural arithmetic Lefschetz operator defined via the Plücker embedding of $G$ in projective space. The analysis of the Hodge index inequalities involves estimates on certain Racah polynomials.
We study locally free sheaves of rank two on the projective line over the integers, especially indecomposable ones. Subsequently we apply various concepts of Arakelov geometry to these sheaves. We compute for example the arithmetic Chern classes and use the arithmetic Riemann-Roch theorem.
We give a new construction of higher arithmetic Chow groups for quasi-projective arithmetic varieties over a field. Our definition agrees with the higher arithmetic Chow groups defined by Goncharov for projective arithmetic varieties over a field. These groups are the analogue, in the Arakelov context, of the higher algebraic Chow groups defined by Bloch. The degree zero group agrees with the arithmetic Chow groups of Burgos. Our new construction is shown to be a contravariant functor and is endowed with a product structure, which is commutative and associative.
Topological and arithmetic characteristics about products of projective lines with complex tori
本文研究复流形与复 torus 乘积的拓扑和算术特性，通过 Galois 覆盖的基本群和 Chern 数分析其结构与不规则性。
The classical arithmetic Grothendieck-Riemann-Roch theorem can be applied only to projective morphisms that are smooth over the complex numbers. In this paper we generalize the arithmetic Grothendieck-Riemann-Roch theorem to the case of general projective morphisms between regular arithmetic varieties. To this end we rely on the theory of generalized analytic torsion developed by the authors.
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$.
In the present article, we provide examples of fake quadrics, that is, minimal complex surfaces of general type with the same numerical invariants as the smooth quadric in $\PP ^3$ which are quotients of the bidisc by an irreducible lattice of automorphisms. Moreover, we list classes of arithmetic lattices over a real quadratic number field which define a fake quadric and give general results towards a classification of all such fake quadrics.
We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find (complicated) explicit equations of six new pairs of fake projective planes. Our methods for finding new fake projective planes involve nontrivial computer calculations which we hope will be applicable in other settings.
We study real rational models of the euclidean plane $\mathbb{R}^2$ up to isomorphisms and up to birational diffeomorphisms. The analogous study in the compact case, that is the classification of real rational models of the real projective plane $\mathbb{R}\mathbb{P}^2$ is well known: up to birational diffeomorphisms, there is only one model. A fake real plane is a nonsingular affine surface defined over the reals with homologically trivial complex locus and real locus diffeomorphic to $\mathbb{R}^2$ but which is not isomorphic to the real affine plane. We prove that fake planes exist by givin…
Let X be a smooth projective surface over a number field, and $f: X \to X$ an automorphism of positive topological entropy. In this paper, we construct a height function on X that behaves well relative to f and deduce some arithmetic properties of (X; f).
In this paper, we study arithmetic Macaulayfication of projective schemes and Rees algebras of ideals. We give a necessary and sufficient condition for a nonsingular projective scheme to have an arithmetic Macaulayfication. If the scheme is not necessarily nonsingular, we show that our condition give a sufficient condition for the existence of an arithmetic Macaulayfication. We also study truncated Rees algebra of an ideal. We show that the truncated Rees algebra R_λ(I) of an ideal I is alway Cohen-Macaulay for λlarge enough in some important situations.
The aim of this note is to use elementary methods to give a large class of examples of projective varieties $ Y \subseteq \mathbb{P}^d_k$ over a field $k$ with the property that $Y$ is not isomorphic to a hypersurface $H\subseteq \mathbb{P}^N_k$ in projective space $\mathbb{P}^N_k$ with $N:=dim(Y)+1$. We apply this construction to the study of the arithmetic genus $p_a(Y)$ of $Y$ and the problem of determining if $p_a(Y)$ is a birational invariant of $Y$ in general. We give an infinite number of examples of pairs of projective varieties $(Y, Y')$ in any dimension $dim(Y)=dim(Y')\geq 4$ where $…
We study algebraic points of bounded degree on polarized projective varieties. To do so, we refine further the filtration construction and Subspace Theorem approach, for the study of integral points, which has origins in the work of Corvaja-Zannier, Levin, Evertse and Autissier. Our main result shows how a conjecture of H.~P.~Schlickewei implies Second Main Arithmetic Schmidt's Subspace type inequalities for polarized projective varieties and points of bounded degree.
We define a topological invariant of complex projective plane curves. As an application, we present new examples of arithmetic Zariski pairs.
Under an explicit positivity condition, we show the first secant variety of a linearly normal smooth variety is projectively normal, give results on the regularity of the ideal of the secant variety, and give conditions on the variety that are equivalent to the secant variety being arithmetically Cohen-Macaulay. Under this same condition, we then show that if $X$ satisfies $N_{p+2\dim(X)}$, then the secant variety satisfies $N_{3,p}$.
We adapt the theory of non-Archimedean uniformization to construct a smooth surface from a lattice in PGL3(Q2) that has nontrivial torsion. It turns out to be a fake projective plane, commensurable with Mumford's fake plane yet distinct from it and the other fake planes that arise from 2-adic uniformization by torsion-free groups. As part of the proof, and of independent interest, we compute the homotopy type of the Berkovich space of our plane.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。