Searcharxiv⌕ Search

arXiv subjects

Haoyang Guo

Publications and source records attributed to Haoyang Guo.

12 recordsLinked to original sources
arXiv2026

An adaptive parameter optimization method for astronomical image alignment using Bayesian optimization. I. A hierarchical search strategy for FWHM and SNR

The alignment and stacking of astronomical images are fundamental steps for detecting faint objects and performing high?precision astrometry. In traditional alignment workflows, the extraction of source lists is critically dependent on key parameters such as the Full Width at Half Maximum (FWHM) and the Signal-to-Noise Ratio (SNR) threshold. These parameters are often selected manually through an inefficient trial-error process that lacks objectivity and does not guarantee optimal results. We present an adaptive method for optimizing astronomical image alignment parameters based on Bayesian Optimization (BO). We frame the parameter search as an optimization problem, with an objective function designed to maximize the number of successfully matched source pairs. By employing a hierarchical search strategy, we perform an efficient global search for FWHM and SNR to automatically determine the optimal combination for a given observational dataset. Experimental results demonstrate that our method effectively handles image data with varying seeing conditions and back?ground noise levels. It rapidly converges to a robust set of alignment parameters, achieving sub-pixel accuracy and significantly improving the automation level and success rate of the alignment process. This work may provide a useful basis for developing large-scale, automated astronomical data processing pipelines

astro-ph.IM↗
arXiv2026

Ogus's conjecture on F-isocrystals

In 1984, Ogus conjectured the existence of a canonical F-isocrystal that enhances the Gauss--Manin connection, for a proper relative rigid space with analytically good reduction. We give a positive answer to this conjecture in full generality, through p-adic local systems and prismatic methods. Along the way, we introduce a prismatic refinement of the p-adic Riemann--Hilbert functor and prove a primitive purity theorem for Frobenius modules.

math.AG↗
arXiv2025

The Tate conjecture for surfaces of geometric genus one -- embracing singularities

In this article, we aim to largely complete the program of proving the Tate conjecture for surfaces of geometric genus one, by introducing techniques to analyze those surfaces whose "natural models" are singular. As an application, we show that every elliptic curve of height one over a global function field of genus one and characteristic $p \ge 11$ satisfies the Birch--Swinnerton-Dyer conjecture.

math.AG↗
arXiv2024

Pointwise criteria of p-adic local systems

Given a Z_p-linear local system over a smooth rigid space, we show that it is crystalline (resp. semi-stable) with respect to any smooth (resp. semi-stable) integral model if and only if its restrictions at many classical points are crystalline (resp. semi-stable) representations. To this end, we introduce a crystalline Riemann--Hilbert functor, and give several applications, including a semi-stable comparison theorem in the relative setting.

math.AG↗
arXiv2023

A prismatic approach to crystalline local systems

Let X be a smooth p-adic formal scheme. We show that integral crystalline local systems on the generic fiber of X are equivalent to prismatic F-crystals over the analytic locus of the prismatic site of X. As an application, we give a prismatic proof of Fontaine's C_crys-conjecture, for general coefficients, in the relative setting, and allowing ramified base fields. Along the way, we also establish various foundational results for the cohomology of prismatic F-crystals, including various comparison theorems, Poincaré duality, and Frobenius isogeny.

math.AG↗
arXiv2023

Frobenius height of prismatic cohomology with coefficients

We study the behavior of Frobenius operators on smooth proper pushforwards of prismatic F-crystals. In particular we show that the i-th pushforward has its Frobenius height increased by at most i. Our proof crucially uses the notion of prismatic F-gauges introduced by Drinfeld and Bhatt--Lurie and its relative version, and we give a self-contained treatment without using the stacky formulation.

math.AG↗
arXiv2022

Rational $p$-adic Hodge theory for $d$-de Rham-proper stacks

In this follow-up paper we show that smooth Hodge-proper stacks over $\mathcal O_K$ are $\mathbb Q_p$-locally acyclic: namely the natural map between étale $\mathbb Q_p$-cohomology of the algebraic and Raynaud generic fibers is an equivalence. This establishes the $\mathbb Q_p$-case of general conjectures made in our previous work. As a corollary, we get that if a smooth Artin stack over $K$ has a smooth Hodge-proper model over $\mathcal O_K$, its $\mathbb Q_p$-étale cohomology is a crystalline Galois representation. We then also establish a truncated version of the above results in more general setting of smooth $d$-de Rham-proper stacks over $\mathcal O_K$: here we only require first $d$ de Rham cohomology groups be finitely-generated over $\mathcal O_K$. As an application, we deduce a certain purity-type statement for étale $\mathbb Q_p$-cohomology of Raynaud generic fiber, as well as crystallinity of a first several étale cohomology groups in the presence of a Cohen--Macauley model over $\mathcal O_K$ in the schematic setting.

math.AG↗
arXiv2022

Hodge-Tate decomposition for non-smooth spaces

In this article, we generalize the Hodge-Tate decomposition of p-adic étale cohomology to non-smooth rigid spaces. Our strategy is to study pro-étale cohomology of rigid spaces introduced by Scholze, using the resolution of singularities and the simplicial method.

math.AG↗
arXiv2021

Crystalline cohomology of rigid analytic spaces

In this article, we introduce infinitesimal cohomology for rigid analytic spaces that are not necessarily smooth, with coefficients in a p-adic field or Fontaine's de Rham period ring.

math.AG↗
arXiv2021

Boundedness of semistable sheaves

In this expository article, we follow the work of Langer to prove the boundedness of the moduli space of semistable torsion-free sheaves over a projective variety, in any characteristic.

math.AG↗