arXiv Science⌕ Search

arXiv subjects

Hiroki Kato

Publications and source records attributed to Hiroki Kato.

11 recordsLinked to original sources
arXiv2026

A Tannakian framework for prismatic $F$-crystals

We develop the Tannakian theory of (analytic) prismatic $F$-crystals on a smooth formal scheme $\mathfrak{X}$ over the ring of integers of a discretely valued field with perfect residue field. Our main result gives an equivalence between the $\mathcal{G}$-objects of prismatic $F$-crystals on $\mathfrak{X}$ and $\mathcal{G}$-objects on a newly-defined category of $\mathbb{Z}_p$-local systems on $\mathfrak{X}_η$: those of prismatically good reduction. Additionally, we develop a shtuka realization functor for (analytic) prismatic $F$-crystals on $p$-adic (formal) schemes and show it satisfies several compatibilities with previous work on the Tannakian theory of shtukas over such objects.

math.NT↗
arXiv2026

An integral analogue of Fontaine's crystalline functor

For a smooth formal scheme $\mathfrak{X}$ over the Witt vectors $W$ of a perfect field $k$, we construct a functor $\mathbb{D}_\mathrm{crys}$ from the category of prismatic $F$-crystals $(\mathcal{E},φ_\mathcal{E})$ (or prismatic $F$-gauges) on $\mathfrak{X}$ to the category of filtered $F$-crystals on $\mathfrak{X}$. We show that $\mathbb{D}_\mathrm{crys}(\mathcal{E},φ_\mathcal{E})$ enjoys strong properties when $(\mathcal{E},φ_\mathcal{E})$ is what we call locally filtered free (lff). Most significantly, we show that $\mathbb{D}_\mathrm{crys}$ actually induces an equivalence between the category of prismatic $F$-gauges on $\mathfrak{X}$ with Hodge--Tate weights in $[0,p-2]$ and the category of Fontaine--Laffaille modules on $\mathfrak{X}$. Finally, we use our functor $\mathbb{D}_\mathrm{crys}$ to enhance the study of prismatic Dieduonné theory of $p$-divisible groups (as initiated by Anschütz--Le Bras) allowing one to recover the filtered crystalline Dieudonné crystal from the prismatic Dieudonné crystal. This in turn allows us to clarify the relationship between prismatic Dieudonné theory and the work of Kim on classifying $p$-divisible groups using Breuil--Kisin modules.

math.NT↗
arXiv2026

Rebate versus Matching, Again: How Opt-in Reshapes the Effectiveness of Price-Equivalent Subsidies

Traditional theory predicts equivalent effects of matching and rebate subsidies at equal prices, yet experiments favor matching. Refinements narrow this gap but retain compulsory assignment; take-up is voluntary in practice. We test this implementation margin in a nationwide, incentivized donation experiment with 2,400 Japanese adults, crossing subsidy type and assignment rule. After equalizing budget constraints and accounting for comprehension, total giving is indistinguishable under compulsory assignment. Under opt-in, the matching advantage re-emerges and nearly quadruples because rebate loses effectiveness. LATE estimates suggest advantageous selection into matching but disadvantageous selection into rebate. Self-selection can reshape the policy ranking of price-equivalent instruments.

econ.GN↗
arXiv2025

The prismatic realization functor for Shimura varieties of abelian type

For the integral canonical model $\mathscr{S}_{\mathsf{K}^p}$ of a Shimura variety $\mathrm{Sh}_{\mathsf{K}_0\mathsf{K}^p}(\mathbf{G},\mathbf{X})$ of abelian type at hyperspecial level $K_0=\mathcal{G}(\mathbb{Z}_p)$, we construct a prismatic $F$-gauge model for the `universal' $\mathcal{G}(\mathbb{Z}_p)$-local system on $\mathrm{Sh}_{\mathsf{K}_0\mathsf{K}^p}(\mathbf{G},\mathbf{X})$. We use this to obtain several new results about the $p$-adic geometry of Shimura varieties, notably an abelian-type analogue of the Serre--Tate deformation theorem (realizing an expectation of Drinfeld in the abelian-type case) and a prismatic characterization of these models at individual level.

math.NT↗
arXiv2025

Safe RuleFit: Learning Optimal Sparse Rule Model by Meta Safe Screening

We consider the problem of learning a sparse rule model, a prediction model in the form of a sparse linear combination of rules, where a rule is an indicator function defined over a hyper-rectangle in the input space. Since the number of all possible such rules is extremely large, it has been computationally intractable to select the optimal set of active rules. In this paper, to solve this difficulty for learning the optimal sparse rule model, we propose Safe RuleFit (SRF). Our basic idea is to develop meta safe screening (mSS), which is a non-trivial extension of well-known safe screening (SS) techniques. While SS is used for screening out one feature, mSS can be used for screening out multiple features by exploiting the inclusion-relations of hyper-rectangles in the input space. SRF provides a general framework for fitting sparse rule models for regression and classification, and it can be extended to handle more general sparse regularizations such as group regularization. We demonstrate the advantages of SRF through intensive numerical experiments.

stat.ML↗
arXiv2023

'I am both here and there' Parallel Control of Multiple Robotic Avatars by Disabled Workers in a Café

Robotic avatars can help disabled people extend their reach in interacting with the world. Technological advances make it possible for individuals to embody multiple avatars simultaneously. However, existing studies have been limited to laboratory conditions and did not involve disabled participants. In this paper, we present a real-world implementation of a parallel control system allowing disabled workers in a café to embody multiple robotic avatars at the same time to carry out different tasks. Our data corpus comprises semi-structured interviews with workers, customer surveys, and videos of café operations. Results indicate that the system increases workers' agency, enabling them to better manage customer journeys. Parallel embodiment and transitions between avatars create multiple interaction loops where the links between disabled workers and customers remain consistent, but the intermediary avatar changes. Based on our observations, we theorize that disabled individuals possess specific competencies that increase their ability to manage multiple avatar bodies.

cs.HC↗
arXiv2021

Étale cohomology of algebraizable rigid analytic varieties via nearby cycles over general bases

We prove a finiteness theorem and a comparison theorem in the theory of étale cohomology of rigid analytic varieties. By a result of Huber, for a quasi-compact separated morphism of rigid analytic varieties with target being of dimension $\le1$, the compactly supported higher direct image preserves quasi-constructibility. Though the analogous statement for morphisms with higher dimensional target fails in general, we prove that, in the algebraizable case, it holds after replacing the target with a modification. We deduce it from a known finiteness result in the theory of nearby cycles over general bases and a new comparison result, which gives an identification of the compactly supported higher direct image sheaves, up to modification of the target, in terms of nearby cycles over general bases.

math.AG↗
arXiv2019

Wild ramification, the nearby cycle complexes, and the characteristic cycles of $\ell$-adic sheaves

We prove a purely local form of a result of Saito and Yatagawa. They proved that the characteristic cycle of a constructible étale sheaf is determined by wild ramification of the sheaf along the boundary of a compactification. But they had to consider ramification at all the points of the compactification. We give a pointwise result, that is, we prove that the characteristic cycle of a constructible étale sheaf around a point is determined by wild ramification at the point. The key ingredient is to prove that wild ramification of the stalk of the nearby cycle complex of a constructible étale sheaf at a point is determined by wild ramification at the point.

math.AG↗
arXiv2016

Wild Ramification and Restrictions to Curves

We prove that wild ramification of a constructible sheaf on a surface is determined by that of the restrictions to all curves. We deduce from this result that the Euler-Poincaré characteristic of a constructible sheaf on a variety of arbitrary dimension over an algebraically closed field is determined by wild ramification of the restrictions to all curves. We similarly deduce from it that so is the alternating sum of the Swan conductors of the cohomology groups, for a constructible sheaf on a variety over a local field.

math.AG↗