BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
João Pedro dos Santos contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
A very useful result concerning flatness in Algebraic Geometry is EGA's ``fiber'' criterion. We propose similar fiber criteria to verify flatness of a module while avoiding ``finiteness'' assumptions. Motivated by a Tannakian viewpoint (where the category of representations comes to the front), we derive applications to the theory of affine and flat group schemes.
Deligne's celebrated "Riemann--Hilbert correspondence" relates representations of the fundamental group of a smooth complex algebraic variety and regular-singular integrable connections. In this work, we show how to arrive at a similar statement in the case of a smooth scheme $X$ over the spectrum of a ring $R=\mathbb C[[t_1,\ldots, t_r]]/I$. On one side of the correspondence we have representations on $R$-modules of the fundamental group of the special fibre, and on the other we have certain integrable $R$-connections admitting logarithmic models. The correspondence is then applied to give explicit examples of differential Galois groups of $\mathbb C[[t]]$--connections.
In the 1st part of this work [DHdS18], we studied affine group schemes over a discrete valuation ring (DVR) by means of Neron blowups. We also showed how to apply these findings to throw light on the group schemes coming from Tannakian categories of D-modules. In the present work, we follow up this theme. We show that a certain class of affine group schemes of "infinite type", Neron blowups of formal subgroups, are quite typical. We also explain how these group schemes appear naturally in Tannakian categories of D-modules. To conclude, we isolate a Tannakian property of affine group schemes, named prudence, which allows one to verify if the underlying ring of functions is a free module over the base ring. This is then successfully applied to obtain a general result on the structure of differential Galois groups over complete DVRs.