BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Tomoyuki Abe

Tomoyuki Abe appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.NTmath.CT

Catalog footprint

What is connected

11works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

A comparison between compactly supported rigid and $\pmb{\mathscr{D}}$-module cohomology

The goal of this article is to prove a comparison theorem between rigid cohomology and cohomology computed using the theory of arithmetic $\mathscr{D}$-modules. To do this, we construct a specialisation functor from Le Stum's category of constructible isocrystals to the derived category of arithmetic $\mathscr{D}$-modules. For objects `of Frobenius type', we show that the essential image of this functor consists of overholonomic $\mathscr{D}^\dagger$-modules, and lies inside the heart of the dual constructible t-structure. We use this to give a more global construction of Caro's specialisation functor $\mathrm{sp}_+$ for overconvergent isocrystals, which enables us to prove the comparison theorem for compactly supported cohomology.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Ramification theory from homotopical point of view, II

This is the second part of the paper which proves the compatibility of pushforward along a proper morphism of an étale constructible sheaf and the pushforward of its characteristic cycle up to $p$-torsion. In this second part, we show a result which is postponed from the first part because the technique of the proof is different. Especially, we use Zariski-Riemann spaces to show a certain alteration process terminates.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Rings of microdifferential operators for arithmetic $\mathscr{D}$-modules

The aim of this paper is to develop a theory of microdifferential operators for arithmetic $\mathscr{D}$-modules. We first define the sheaves of microdifferential operators of arbitrary levels on arbitrary smooth formal schemes. A difficulty lies in the fact that there are no homomorphisms between sheaves of microdifferential operators of different levels. To remedy this, we define the intermediate differential operators, and using these, we define the sheaf of microdifferential operators for $\mathscr{D}^†$. We conjecture that the characteristic variety of a $\mathscr{D}^†$-module is computed as the support of the microlocalization of a $\mathscr{D}^†$-module, and prove it in the curve case.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Product formula for p-adic epsilon factors

Let X be a smooth proper curve over a finite field of characteristic p. We prove a product formula for p-adic epsilon factors of arithmetic D-modules on X. In particular we deduce the analogous formula for overconvergent F-isocrystals, which was conjectured previously. The p-adic product formula is the equivalent in rigid cohomology of the Deligne-Laumon formula for epsilon factors in l-adic étale cohomology (for a prime l different from p). One of the main tools in the proof of this p-adic formula is a theorem of regular stationary phase for arithmetic D-modules that we prove by microlocal techniques.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Explicit calculation of Frobenius isomorphisms and Poincaré duality in the theory of arithmetic $\mathscr{D}$-modules

The aim of this paper is to compute the Frobenius structures of some cohomological operators of arithmetic $\ms{D}$-modules. To do this, we calculate explicitly an isomorphism between canonical sheaves defined abstractly. Using this calculation, we establish the relative Poincaré duality in the style of SGA4. As another application, we compare the push-forward as arithmetic $\ms{D}$-modules and the rigid cohomologies taking Frobenius into account. These theorems will lead us to an analog of "Weil II" and a product formula for $p$-adic epsilon factors.

0 citations0 reviewsNo code linkedOpen access