-
A category theory framework for Bayesian learning
Authors:
Kotaro Kamiya,
John Welliaveetil
Abstract:
Inspired by the foundational works by Spivak and Fong and Cruttwell et al., we introduce a categorical framework to formalize Bayesian inference and learning. The two key ideas at play here are the notions of Bayesian inversions and the functor GL as constructed by Cruttwell et al.. In this context, we find that Bayesian learning is the simplest case of the learning paradigm. We then obtain catego…
▽ More
Inspired by the foundational works by Spivak and Fong and Cruttwell et al., we introduce a categorical framework to formalize Bayesian inference and learning. The two key ideas at play here are the notions of Bayesian inversions and the functor GL as constructed by Cruttwell et al.. In this context, we find that Bayesian learning is the simplest case of the learning paradigm. We then obtain categorical formulations of batch and sequential Bayes updates while also verifying that the two coincide in a specific example.
△ Less
Submitted 28 November, 2021;
originally announced November 2021.
-
Specialization morphisms
Authors:
Ildar Gaisin,
John Welliaveetil
Abstract:
We define the notion of a specialization morphism from a locally noetherian analytic adic space to a scheme. This captures the (classical) specialization morphism associated to a formal scheme. There is a well behaved theory of compactifications and it turns out that the classical specialization morphism is \emph{proper} in this setup. As an application, we show that the nearby cycles functor comm…
▽ More
We define the notion of a specialization morphism from a locally noetherian analytic adic space to a scheme. This captures the (classical) specialization morphism associated to a formal scheme. There is a well behaved theory of compactifications and it turns out that the classical specialization morphism is \emph{proper} in this setup. As an application, we show that the nearby cycles functor commutes with lower shriek in great generality.
△ Less
Submitted 27 March, 2021;
originally announced March 2021.
-
A study of compatible deformations in non-Archimedean geometry
Authors:
John Welliaveetil
Abstract:
In 2010, Hrushovski--Loeser showed that the Berkovich analytification of a quasi-projective variety over a non-Archimedean valued field admits a deformation retraction onto a finite simplicial complex. In this article, we adapt the tools and methods developed by Hrushovski--Loeser to study if such deformation retractions can be obtained to be compatible with respect to a given morphism. Amongst ot…
▽ More
In 2010, Hrushovski--Loeser showed that the Berkovich analytification of a quasi-projective variety over a non-Archimedean valued field admits a deformation retraction onto a finite simplicial complex. In this article, we adapt the tools and methods developed by Hrushovski--Loeser to study if such deformation retractions can be obtained to be compatible with respect to a given morphism. Amongst other results, we show that compatible deformation retractions exist over a constructible partition of the base and prove the general statement in the case of a morphism of relative dimension 1 where the target is a smooth connected curve.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
Radiality of definable sets
Authors:
John Welliaveetil
Abstract:
In this article we use techniques developed by Hrushovski-Loeser to study certain metric properties of the Berkovich analytification of a finite morphism of smooth connected projective curves. In recent work, M. Temkin proved a radiality statement for the topological ramification locus associated to such finite morphisms. We generalize this result in two directions. We prove a radiality statement…
▽ More
In this article we use techniques developed by Hrushovski-Loeser to study certain metric properties of the Berkovich analytification of a finite morphism of smooth connected projective curves. In recent work, M. Temkin proved a radiality statement for the topological ramification locus associated to such finite morphisms. We generalize this result in two directions. We prove a radiality statement for a more general class of sets which we call definable sets. In another direction, we show that the result of Temkin can be obtained in families.
△ Less
Submitted 2 January, 2018;
originally announced January 2018.
-
Constructibility and Reflexivity in non-Archimedean geometry
Authors:
Ildar Gaisin,
John Welliaveetil
Abstract:
We introduce a notion of constructibility for étale sheaves with torsion coefficients over a suitable class of adic spaces. This notion is related to the classical notion of constructibility for schemes via the nearby cycles functor. We use the work of R. Huber to define an adic Verdier dual and investigate the extent to which we have a 6-functor formalism in this context. Lastly, we attempt to cl…
▽ More
We introduce a notion of constructibility for étale sheaves with torsion coefficients over a suitable class of adic spaces. This notion is related to the classical notion of constructibility for schemes via the nearby cycles functor. We use the work of R. Huber to define an adic Verdier dual and investigate the extent to which we have a 6-functor formalism in this context. Lastly, we attempt to classify those sheaves which are reflexive with respect to the adic Verdier dual.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
A Riemann-Hurwitz Formula for Skeleta in Non-Archimedean Geometry
Authors:
John Welliaveetil
Abstract:
Let $φ: C' \to C$ be a finite morphism between smooth, projective, irreducible curves defined over a non-archimedean valued, algebraically closed field $k$. This morphism induces a morphism between the analytifications of the curves. We will construct a compatible pair of deformation retractions of $C'^{an}$ and $C^{an}$ whose images $Υ_{C'^{an}}$ and $Υ_{C^{an}}$ are closed subspaces of…
▽ More
Let $φ: C' \to C$ be a finite morphism between smooth, projective, irreducible curves defined over a non-archimedean valued, algebraically closed field $k$. This morphism induces a morphism between the analytifications of the curves. We will construct a compatible pair of deformation retractions of $C'^{an}$ and $C^{an}$ whose images $Υ_{C'^{an}}$ and $Υ_{C^{an}}$ are closed subspaces of $C'^{an}$ and $C^{an}$ which are homeomorphic to finite metric graphs. We refer to such closed subspaces as skeleta. In addition, the subspaces $C'^{an}$ and $C^{an}$ are such that their complements in the two analytifications decompose into the disjoint union of Berkovich open balls and annuli. To these skeleta we can associate a genus. The pair of compatible deformation retractions forces the morphism $φ^{an}$ to restrict to a map $Υ_{C'^{an}} \to Υ_{C^{an}}$. We will study how the genus of $Υ_{C'^{an}}$ can be calculated using the morphism $φ^{an}: Υ_{C'^{an}} \to Υ_{C^{an}}$.
△ Less
Submitted 15 June, 2015; v1 submitted 1 March, 2013;
originally announced March 2013.
-
Finite Morphisms between Projective Varieties and Skeleta
Authors:
John Welliaveetil
Abstract:
In this paper we study finite morphisms between irreducible projective varieties in terms of the morphisms they induce between the respective analytifications. The background for the principal result is as follows. Let $V'$ and $V$ be irreducible, projective varieties over an algebraically closed, non- archimedean valued field $k$ and $φ$ be a finite morphism $φ: V' \to V$. Let $x \in V^{an}(L)$,…
▽ More
In this paper we study finite morphisms between irreducible projective varieties in terms of the morphisms they induce between the respective analytifications. The background for the principal result is as follows. Let $V'$ and $V$ be irreducible, projective varieties over an algebraically closed, non- archimedean valued field $k$ and $φ$ be a finite morphism $φ: V' \to V$. Let $x \in V^{an}(L)$, where $L/k$ is an algebraically closed complete non-archimedean valued field extension. We associate canonically to $x$ an $L$-point of the space $(V \times_k L)^{an}$ which lies on the fiber over $x$ and denote this point $x_L$. The embedding of $V$ into some $n$-dimensional projective space defines in a natural way a family of open neighbourhoods $\mathcal{O}_{x_L}$ in $(V \times_k L)^{an}$ of $x_L$. Each element of this family is parametrized by an $(n + 1)^2$-tuple which quantifies its size. Of particular interest to us will be those elements $O$ of the set $\mathcal{O}_{x_L}$ whose preimage for the morphism $(φ\times id_L)^{an}$ decomposes into the disjoint union of homeomorphic copies of $O$ via $(φ\times id_L)^{an}$. Let $\mathcal{G}_{x_L} \subset \mathcal{O}_{x_L}$ denote the sub collection of elements of this form. Theorem 1.3 shows that there exists a deformation retraction of the space $V$ onto a finite simplicial complex such that along the fibers of the retraction the size of the largest element belonging to $\mathcal{G}_{x_L}$ is constant.
△ Less
Submitted 28 March, 2014; v1 submitted 17 October, 2012;
originally announced October 2012.
