51 research outputs found

    About Hrushovski and Loeser's work on the homotopy type of Berkovich spaces

    Full text link
    Those are the notes of the two talks I gave in april 2013 in St-John (US Virgin Islands) during the Simons Symposium on non-Archimedean and tropical geometry. They essentially consist of a survey of Hrushovski and Loeser's work on the homotopy type of Berkovich spaces; the last section explains how the author has used their work for studying pre-image of skeleta.Comment: 31 pages. This text will appear in the Proceedings Book of the Simons Symposium on non-Archimedean and tropical geometry (april 2013, US Virgin Islands). I've taken into account the remarks and suggestion of the referee

    Triangulation et cohomologie \'{e}tale sur une courbe analytique

    Full text link
    Let kk be a non-archimedean complete valued field and let X be a smooth Berkovich analytic kk-curve. Let FF be a finite locally constant \'{e}tale sheaf on kk whose torsion is prime to the residue characteristic. We denote by ∣X∣|X| the underlying topological space and by π\pi the canonical map from the \'{e}tale site to ∣X∣|X|. In this text we define a triangulation of XX, we show that it always exists and use it to compute H0(∣X∣,Rqπ_∗F)H^{0}(|X|,R^{q}\pi\_{*}F) and H1(∣X∣,Rqπ_∗F)H^{1}(|X|,R^{q}\pi\_{*}F). If XX is the analytification of an algebraic curve we give sufficient conditions so that those groups are isomorphic to their algebraic counterparts ; if the cohomology of kk has a dualizing sheaf in some degree dd (e.g kk is pp-adic, or k=C((t))k=C((t))) then we prove a duality theorem between H0(∣X∣,Rqπ_∗F)H^{0}(|X|,R^{q}\pi\_{*}F) and H1_c(∣X∣,Rd+1π_∗G)H^{1}\_ {c}(|X|,R^{d+1}\pi\_{*}G) where GG is the tensor product of the dual sheaf of FF with the dualizing sheaf and the sheaf of nn-th roots of unity

    Les espaces de Berkovich sont excellents

    Get PDF
    In this paper, we first study the local rings of a Berkovich analytic space from the point of view of commutative algebra. We show that those rings are excellent ; we introduce the notion of a an analytically separable extension of non-archimedean complete fields (it includes the case of the finite separable extensions, and also the case of any complete extension of a perfect complete non-archimedean field) and show that the usual commutative algebra properties (Rm, Sm, Gorenstein, Cohen-Macaulay, Complete Intersection) are stable under analytically separable ground field extensions; we also establish a GAGA principle with respect to those properties for any finitely generated scheme over an affinoid algebra. A second part of the paper deals with more global geometric notions : we define, show the existence and establish basic properties of the irreducible components of analytic space ; we define, show the existence and establish basic properties of its normalization ; and we study the behaviour of connectedness and irreducibility with respect to base change.Comment: This is the (almost) definitive version of the paper, which is going to appear in "Annales de l'institut Fourier
    • …
    corecore