Source author record

Baptiste Morin

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

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)

preprint2021arXiv

On the kernel of the Brauer-Manin pairing

Let $\mathcal X$ be a regular scheme, flat and proper over the ring of integers of a $p$-adic field, with generic fiber $X$ and special fiber $\mathcal X_s$. We study the left kernel $Br(\mathcal X)$ of the Brauer-Manin pairing $Br(X)\times CH_0(X)\to \mathbb Q/\mathbb Z$. Our main result is that the kernel of the reduction map $Br(\mathcal X)\to Br(\mathcal X_s)$ is the direct sum of $(\mathbb Q/\mathbb Z[\frac{1}{p}])^s\oplus (\mathbb Q/\mathbb Z)^t$ and a finite $p$-group, where $s+t= ρ_{\mathcal X_s}-ρ_X-I+1$, for $ρ_{\mathcal X_s}$ and $ρ_X$ the Picard numbers of $\mathcal X_s$ and $X$, and $I$ the number of irreducible components of $\mathcal X_s$. Moreover, we show that $t>0$ implies $s>0$.

preprint2016arXiv

Milne's correcting factor and derived de Rham cohomology II

Milne's correcting factor, which appears in the Zeta-value at $s=n$ of a smooth projective variety $X$ over a finite field $\mathbb{F}_q$, is the Euler characteristic of the derived de Rham cohomology of $X/\mathbb{Z}$ modulo the Hodge filtration $F^n$. In this note, we extend this result to arbitrary separated schemes of finite type over $\mathbb{F}_q$ of dimension at most $d$, provided resolution of singularities for schemes of dimension at most $d$ holds. More precisely, we show that Geisser's generalization of Milne's factor, whenever it is well defined, is the Euler characteristic of the $eh$-cohomology with compact support of the derived de Rham complex relative to $\mathbb{Z}$ modulo $F^n$.

preprint2015arXiv

Tannakian twists of quadratic forms and orthogonal Nori motives

We revisit classical results of Serre, Fröhlich and Saito in the theory of quadratic forms. Given a neutral Tannakian category $(\mathcal{T},ω)$ over a field $k$ of characteristic $\neq 2$, another fiber functor $η$ over a $k$-scheme $X$ and an orthogonal object $(M,q)$ in $\mathcal{T}$, we show formulas relating the torsor $\bf{Isom}^{\otimes}(ω,η)$ to Hasse-Witt invariants of the quadratic space $ω(M,q)$ and the symmetric bundle $η(M,q)$. We apply this result to various neutral Tannakian categories arising in different contexts. We first consider Nori's Tannakian category of essentially finite bundles over an integral proper $k$-scheme $X$ with a rational point, in order to study an analogue of the Serre-Fröhlich embedding problem for Nori's fundamental group scheme. Then we consider Fontaine's Tannakian categories of $B$-admissible representations, in order to obtain a generalization of both the classical Serre-Fröhlich formula and Saito's analogous result for Hodge-Tate $p$-adic representations. Finally we consider Nori's category of mixed motives over a number field. These last two examples yield formulas relating the torsor of periods of an orthogonal motive to Hasse-Witt invariants of the associated Betti and de Rham quadratic forms and to Stiefel-Withney invariants of the associated local $l$-adic orthogonal representations. We give some computations for Artin motives and for the motive of a smooth hypersurface.

preprint2013arXiv

Zeta functions of regular arithmetic schemes at s=0

Lichtenbaum conjectured the existence of a Weil-étale cohomology in order to describe the vanishing order and the special value of the Zeta function of an arithmetic scheme $\mathcal{X}$ at $s=0$ in terms of Euler-Poincaré characteristics. Assuming the (conjectured) finite generation of some étale motivic cohomology groups we construct such a cohomology theory for regular schemes proper over $\mathrm{Spec}(\mathbb{Z})$. In particular, we obtain (unconditionally) the right Weil-étale cohomology for geometrically cellular schemes over number rings. We state a conjecture expressing the vanishing order and the special value up to sign of the Zeta function $ζ(\mathcal{X},s)$ at $s=0$ in terms of a perfect complex of abelian groups $RΓ_{W,c}(\mathcal{X},\mathbb{Z})$. Then we relate this conjecture to Soulé's conjecture and to the Tamagawa number conjecture of Bloch-Kato, and deduce its validity in simple cases.

preprint2011arXiv

Orthogonal representations of affine group schemes and twists of symmetric bundles

Following Serre's initial work, a number of authors have considered twists of quadratic forms on a scheme Y by torsors of a finite group G, together with formulas for the Hasse-Witt invariants of the twisted form. In this paper we take the base scheme Y to be affine and consider non-constant groups schemes G. There is a fundamental new feature in this case - in that the torsor may now be ramified over Y. The natural framework for handling the case of a non-constant group scheme over the affine base is provided by the quadratic theory of Hopf-algebras.

preprint2010arXiv

On the Weil-étale topos of regular arithmetic schemes

We define and study a Weil-étale topos for any regular, proper scheme $X$ over $\Spec(Z)$ which has some of the properties suggested by Lichtenbaum for such a topos. In particular, the cohomology with $R$-coefficients has the expected relation to $ζ(X,s)$ at $s=0$ if the Hasse-Weil L-functions $L(h^i(X_Q),s)$ have the expected meromorphic continuation and functional equation. If $\X$ has characteristic $p$ the cohomology with $Z$-coefficients also has the expected relation to $ζ(X,s)$ and our cohomology groups recover those previously studied by Lichtenbaum and Geisser.

preprint2010arXiv

Sur l'analogie entre le système dynamique de Deninger et le topos Weil-étale

We express some basic properties of Deninger's conjectural dynamical system in terms of morphisms of topoi. Then we show that the current definition of the Weil-étale topos satisfies these properties. In particular, the flow, the closed orbits, the fixed points of the flow and the foliation in characteristic $p$ are well defined on the Weil-étale topos. This analogy extends to arithmetic schemes. Over a prime number $p$ and over the archimedean place of $\mathbb{Q}$, we define a morphism from a topos associated to Deninger's dynamical system to the Weil-étale topos. This morphism is compatible with the structure mentioned above.

preprint2010arXiv

The Weil-étale fundamental group of a number field I

Lichtenbaum has conjectured the existence of a Grothendieck topology for an arithmetic scheme $X$ such that the Euler characteristic of the cohomology groups of the constant sheaf $\mathbb{Z}$ with compact support at infinity gives, up to sign, the leading term of the zeta-function $ζ_X(s)$ at $s=0$. In this paper we consider the category of sheaves $\bar{X}_L$ on this conjectural site for $X=Spec(\mathcal{O}_F)$ the spectrum of a number ring. We show that $\bar{X}_L$ has, under natural topological assumptions, a well defined fundamental group whose abelianization is isomorphic, as a topological group, to the Arakelov Picard group of $F$. This leads us to give a list of topological properties that should be satisfied by $\bar{X}_L$. These properties can be seen as a global version of the axioms for the Weil group. Finally, we show that any topos satisfying these properties gives rise to complexes of étale sheaves computing the expected Lichtenbaum cohomology.

preprint2010arXiv

The Weil-étale fundamental group of a number field II

We define the fundamental group underlying to Lichtenbaum's Weil-étale cohomology for number rings. To this aim, we define the Weil-étale topos as a refinement of the Weil-étale sites introduced in \cite{Lichtenbaum}. We show that the (small) Weil-étale topos of a smooth projective curve defined in this paper is equivalent to the natural definition given in \cite{Lichtenbaum-finite-field}. Then we compute the Weil-étale fundamental group of an open subscheme of the spectrum of a number ring. Our fundamental group is a projective system of locally compact topological groups, which represents first degree cohomology with coefficients in locally compact abelian groups. We apply this result to compute the Weil-étale cohomology in low degrees and to prove that the Weil-étale topos of a number ring satisfies the expected properties of the conjectural Lichtenbaum topos.