We present a method to produce examples of non-homeomorphic conjugate complex varieties based on the genus theory of lattices. As an application, we give examples of arithmetic Zariski pairs.
We show that every affine or projective algebraic variety defined over the field of real or complex numbers is homeomorphic to a variety defined over the field of algebraic numbers. We construct such a homeomorphism by choosing a small deformation of the coefficients of the original equations. This method is based on the properties of Zariski equisingular families of varieties. Moreover we construct an algorithm, that, given a system of equations defining a variety $V$, produces a system of equations with algebraic coefficients of a variety homeomorphic to $V$
We give examples of smooth quasi-projective varieties over complex numbers, in the context of connected Shimura varieties, which are not homeomorphic to a conjugate of itself by an automorphism of the complex numbers.
For any subfield K of the complex numbers which is not contained in an imaginary quadratic number field, we construct conjugate varieties whose algebras of K-rational (p,p)-classes are not isomorphic. This compares to the Hodge conjecture which predicts isomorphisms when K is contained in an imaginary quadratic number field; additionally, it shows that the complex Hodge structure on the complex cohomology algebra is not invariant under the Aut(\C)-action on varieties. In our proofs, we find simply connected conjugate varieties whose multilinear intersection forms on their second real cohomolog…
Using constructions of Voisin, we exhibit a smooth projective variety defined over a number field k and two complex embeddings of k, such that the two complex manifolds induced by these embeddings have non isomorphic cohomology algebras with real coefficients. This contrasts with the fact that the cohomology algebras with l-adic coefficients are canonically isomorphic for any prime number l, and answers a question of Grothendieck.
Serre and Abelson have produced examples of non-homeomorphic conjugate varieties. We show that if the field of definition of a polarized projective variety coincides with its field of moduli then all of its conjugates have the same topological type. This extends the class of varieties known to posses conjugacy invariant to canonically embedded varieties. We also show that normal complete interswections in homogeneous varieties have this property.
We show that conjugation by an automorphism of the complex numbers (as an abstract field) may change the topological fundamental group of a locally symmetric variety over C. As a consequence, we obtain a large class of algebraic varieties defined over number fields with the property that different embeddings of the number field into C give complex varieties with nonisomorphic fundamental groups.
Quivers play an important role in the representation theory of algebras, with a key ingredient being the path algebra and the preprojective algebra. Quiver grassmannians are varieties of submodules of a fixed module of the path or preprojective algebra. In the current paper, we study these objects in detail. We show that the quiver grassmannians corresponding to submodules of certain injective modules are homeomorphic to the lagrangian quiver varieties of Nakajima which have been well studied in the context of geometric representation theory. We then refine this result by finding quiver grassm…
Let $S$ be a Shimura variety with reflex field $E$. We prove that the action of $\operatorname{Gal}(\overline{\mathbb{Q}}/E)$ on $S$ maps special points to special points and special subvarieties to special subvarieties. Furthermore, the Galois conjugates of a special point all have the same complexity (as defined in the theory of unlikely intersections). These results follow from Milne and Shih's construction of canonical models of Shimura varieties, based on a conjecture of Langlands which was proved by Borovoi and Milne.
Rigid analytic 1-motives and conjugate uniformization of abeloid varieties
Morningside Center of Mathematics, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);University of Chinese Academy of Sciences(中国科学院大学);Institute for Advanced Study in Mathematics, Harbin Institute of Technology(哈尔滨工业大学数学研究所)
We study the Lipschitz Geometry of Complex Algebraic Singularities. For this purpose we introduce the notion of choking horns. A Choking horn is a family of cycles on the family of the sections of an algebraic variety by very small spheres centered at a singular point, such that the cycles cannot be boundaries of nearby chains. The presence of choking horns is an obstruction to metric conicalness as we can see with some classical isolated hypersurfaces singularities which we prove are not metrically conic. We also show that there exist infinitely countably many singular varieties, which are lo…
We obtain a non--trivial upper bound for the multiplicative energy of any sufficiently large subset of a subvariety of a finite algebraic group. We also find some applications of our results to growth of conjugates classes, estimates of exponential sums and the restriction phenomenon.
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable subsets in o-minimal expansions of the tropical semi-group $Γ_\infty$, where $Γ$ denotes the value group of $K$. For quasi-projective varieties, both cohomologies are strongly related by a deformation retraction of the stable completion homeomorphic to a definable subset of $Γ_\infty$. In both contexts, we show that the corresponding cohomology theory satisf…
Inspired by a construction by Arnaud Beauville of a surface of general type with $K^2 = 8, p_g =0$, the second author defined the Beauville surfaces as the surfaces which are rigid, i.e., they have no nontrivial deformation, and admit un unramified covering which is isomorphic to a product of curves of genus at least 2. In this case the moduli space of surfaces homeomorphic to the given surface consists either of a unique real point, or of a pair of complex conjugate points corresponding to complex conjugate surfaces. It may also happen that a Beauville surface is biholomorphic to its complex …
In a previous work, the third named author found a combinatorics of line arrangements whose realizations live in the cyclotomic group of the fifth roots of unity and such that their non-complex-conjugate embedding are not topologically equivalent in the sense that they are not embedded in the same way in the complex projective plane. That work does not imply that the complements of the arrangements are not homeomorphic. In this work we prove that the fundamental groups of the complements are not isomorphic. It provides the first example of a pair of Galois-conjugate plane curves such that the …
In a seminal 1994 paper, Lusztig extended the theory of total positivity by introducing the totally non-negative part (G/P)_{\geq 0} of an arbitrary (generalized, partial) flag variety G/P. He referred to this space as a "remarkable polyhedral subspace", and conjectured a decomposition into cells, which was subsequently proven by the first author. Subsequently the second author made the concrete conjecture that this cell decomposed space is the next best thing to a polyhedron, by conjecturing it to be a regular CW complex that is homeomorphic to a closed ball. In this article we use discrete M…
This paper gives a conjectural characterization of those elliptic curves over the field of complex numbers which "should" be covered by standard modular curves. The elliptic curves in question all have algebraic j-invariant, so they can be viewed as curves over Q-bar, the field of algebraic numbers. The condition that they satisfy is that they must be isogenous to all their Galois conjugates. Borrowing a term from B.H. Gross, "Arithmetic on elliptic curves with complex multiplication," we say that the elliptic curves in question are "Q-curves." Since all complex multiplication elliptic curves …