BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Marco Antei

Marco Antei contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.NT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
2topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

8 published item(s)

preprint2012arXiv

Pushout of quasi-finite and flat group schemes over a Dedekind ring

Let $G$, $G_1$ and $G_2$ be quasi-finite and flat group schemes over a complete discrete valuation ring $R$, $φ_1:G\to G_1$ any morphism of $R$-group schemes and $φ_2:G\to G_2$ a model map. We construct the pushout $P$ of $G_1$ and $G_2$ over $G$ in the category of $R$-affine group schemes. In particular when $φ_1$ is a model map too we show that $P$ is still a model of the generic fibre of $G$. We also provide a short proof for the existence of cokernels and quotients of finite and flat group schemes over any Dedekind ring.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the Grothendieck-Lefschetz Theorem for a Family of Varieties

Let $k$ be an algebraically closed field of characteristic $p>0$, $W$ the ring of Witt vectors over $k$ and ${R}$ the integral closure of $W$ in the algebraic closure ${\bar{K}}$ of $K:=Frac(W)$; let moreover $X$ be a smooth, connected and projective scheme over $W$ and $H$ a relatively very ample line bundle over $X$. We prove that when $dim(X/{W})\geq 2$ there exists an integer $d_0$, depending only on $X$, such that for any $d\geq d_0$, any $Y\in |H^{\otimes d}|$ connected and smooth over ${W}$ and any $y\in Y({W})$ the natural ${R}$-morphism of fundamental group schemes $π_1(Y_R,y_R)\to π_1(X_R,y_R)$ is faithfully flat, $X_R$, $Y_R$, $y_R$ being respectively the pull back of $X$, $Y$, $y$ over $Spec(R)$. If moreover $dim(X/{W})\geq 3$ then there exists an integer $d_1$, depending only on $X$, such that for any $d\geq d_1$, any $Y\in |H^{\otimes d}|$ connected and smooth over ${W}$ and any section $y\in Y({W})$ the morphism $π_1(Y_R,y_R)\to π_1(X_R,y_R)$ is an isomorphism.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Comparison between the fundamental group scheme of a relative scheme and that of its generic fiber

We show that the natural morphism $ϕ:π_1(X_η,x_η)\to π_1(X,x)_η$ between the fundamental group scheme of the generic fiber $X_η$ of a scheme $X$ over a connected Dedekind scheme and the generic fiber of the fundamental group scheme of $X$ is always faithfully flat. As an application we give a necessary and sufficient condition for a finite, dominated pointed $G$-torsor over $X_η$ to be extended over $X$. We finally provide examples where $ϕ:π_1(X_η,x_η)\to π_1(X,x)_η$ is an isomorphism..

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Extention of Finite Solvable Torsors over a Curve

Let $R$ be a discrete valuation ring with fraction field $K$ and with algebraically closed residue field of positive characteristic $p$. Let $X$ be a smooth fibered surface over $R$ with geometrically connected fibers endowed with a section $x\in X(R)$. Let $G$ be a finite solvable $K$-group scheme and assume that either $|G|=p^n$ or $G$ has a normal series of length 2. We prove that every quotient pointed $G$-torsor over the generic fiber $X_η$ of $X$ can be extended to a torsor over $X$ after eventually extending scalars and after eventually blowing up $X$ at a closed subscheme of its special fiber $X_s$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Galois Closure of Essentially Finite Morphisms

Let $X$ be a reduced connected $k$-scheme pointed at a rational point $x \in X(k)$. By using tannakian techniques we construct the Galois closure of an essentially finite $k$-morphism $f:Y\to X$ satisfying the condition $H^0(Y,\mathcal{O}_Y)=k$; this Galois closure is a torsor $p:\hat{X}_Y\to X$ dominating $f$ by an $X$-morphism $λ:\hat{X}_Y\to Y$ and universal for this property. Moreover we show that $λ:\hat{X}_Y\to Y$ is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over $Y$ is still an essentially finite vector bundle over $X$. We develop for torsors and essentially finite morphisms a Galois correspondence similar to the usual one. As an application we show that for any pointed torsor $f:Y \to X$ under a finite group scheme satisfying the condition $H^0(Y,\mathcal{O}_Y)=k$, $Y$ has a fundamental group scheme $π_1 (Y,y)$ fitting in a short exact sequence with $π_1 (X,x)$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the Abelian Fundamental Group Scheme of a Family of Varities

Let $S$ be a connected Dedekind scheme and $X$ an $S$-scheme provided with a section $x$. We prove that the morphism of fundamental group schemes $π_1(X,x)^{ab}\to π_1(\mathbf{Alb}_{X/S},0_{\mathbf{Alb}_{X/S}})$ induced by the canonical morphism from $X$ to its Albanese scheme $\mathbf{Alb}_{X/S}$ (when the latter exists) fits in an exact sequence of group schemes $0\to (\mathbf{NS}^τ_{X/S})^{\vee}\to π_1(X,x)^{ab}\to π_1(\mathbf{Alb}_{X/S},0_{\mathbf{Alb}_{X/S}}) \to 0$ where the kernel is a finite and flat $S$-group scheme. Furthermore we prove that any finite and commutative quotient pointed torsor over the generic fiber $X_η$ of $X$ can be extended to a finite and commutative pointed torsor over $X$.

0 citations0 reviewsNo code linkedOpen access