BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Matthieu Romagny 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
We prove that if a group scheme of multiplicative type acts on an algebraic stack with affine, finitely presented diagonal then the stack of fixed points is algebraic. For this, we extend two theorems of [SGA3.2] on functors of subgroups of multiplicative type, and functors of homomorphisms from a group of multiplicative type.
We define dilatations of general schemes and study their basic properties. Dilatations of group schemes are -- in favorable cases -- again group schemes, called Néron blowups. We give two applications to their cohomology in degree zero (integral points) and degree one (torsors): we prove a canonical Moy-Prasad isomorphism that identifies the graded pieces in the congruent filtration of $G$ with the graded pieces in its Lie algebra $\mathfrak g$, and we show that many level structures on moduli stacks of $G$-bundles are encoded in torsors under Néron blowups of $G$.
In this note, we present the theorem of extension of birational group laws in both settings of classical varieties (Weil) and schemes (Artin). We improve slightly the original proof with a more direct construction of the group extension and the systematic use of algebraic spaces, and we discuss the separation properties of the group extension. We also explain the important application to the construction of Néron models of abelian varieties. This note grew out of lectures given by Ariane Mézard and the second author at the Summer School "Schémas en groupes" held in the CIRM (Luminy) from 29 August to 9 September, 2011.
Let O_K be a discrete valuation ring of mixed characteristics (0,p), with residue field k. Using work of Sekiguchi and Suwa, we construct some finite flat O_K-models of the group scheme μ_{p^n,K} of p^n-th roots of unity, which we call Kummer group schemes. We set carefully the general framework and algebraic properties of this construction. When k is perfect and O_K is a complete totally ramified extension of the ring of Witt vectors W(k), we provide a parallel study of the Breuil-Kisin modules of finite flat models of μ_{p^n,K}, in such a way that the construction of Kummer groups and Breuil-Kisin modules can be compared. We compute these objects for n < 4. This leads us to conjecture that all finite flat models of μ_{p^n,K} are Kummer group schemes.
We present an account of the construction by S. Sekiguchi and N. Suwa of a cyclic isogeny of affine smooth group schemes unifying the Kummer and Artin-Schreier-Witt isogenies. We complete the construction over an arbitrary base ring. We extend the statements of some results in a form adapted to a further investigation of the models of the group schemes of roots of unity.
For an algebraic stack $\sX$ flat and of finite presentation over a scheme $S$, we introduce various notions of {\em relative connected components} and {\em relative irreducible components}. The main distinction between these notions is whether we require the total space of a relative component to be open or closed in $\sX$. We study the representability of the associated functors of relative components, and give an application to the moduli stack of curves of genus $g$ admitting an action of a fixed finite group $G$.
We define a proper moduli stack for degree $p$ covers $f:Y \to \cX$ where $\cX$ is a twisted stable curve in the sense of [5] and [4], and $Y$ is a stable curve which via $f$ is a torsor over $\cX$ under a finite flat group scheme $\cG \to \cX$.