Showing 1–4 of 4 results for author: Bardavid, C

A sufficient condition for the fiber of the tangent bundle of a scheme and its Zariski tangent space to be isomorphic

Authors: Colas Bardavid

Abstract: In this note, we give a simple necessary condition for the Zariski relative tangent space and the Grothendieck relative tangent space to be isomorphic. In this note, we give a simple necessary condition for the Zariski relative tangent space and the Grothendieck relative tangent space to be isomorphic. △ Less

Submitted 24 March, 2011; v1 submitted 22 March, 2011; originally announced March 2011.

MSC Class: 14A05; 13N05; 13N10

On the geometrization of a lemma of differential Galois theory

Authors: Colas Bardavid

Abstract: In this paper, we give a geometrization and a generalization of a lemma of differential Galois theory. This geometrization, in addition of giving a nice insight on this result, offers us the occasion to investigate several points of differential algebra and differential algebraic geometry. We study the class of simple \D-schemes and prove that they all have a coarse space of leaves. Furthermore, i… ▽ More In this paper, we give a geometrization and a generalization of a lemma of differential Galois theory. This geometrization, in addition of giving a nice insight on this result, offers us the occasion to investigate several points of differential algebra and differential algebraic geometry. We study the class of simple \D-schemes and prove that they all have a coarse space of leaves. Furthermore, instead of considering schemes endowed with one vector field, we consider the case of arbitrarilly large families of vector fields. This leads us to some developments in differential algebra, in particular to prove the existence of the trajectory in this setting but also to study simple \D-rings. △ Less

Submitted 2 December, 2010; originally announced December 2010.

Comments: 42 pages, submitted

MSC Class: 12H05; 13B05; 13N10

Vector fields and differential schemes

Authors: Colas Bardavid

Abstract: We define vector fields, leaves and trajectories for schemes. With these tools, we are able to give a geometrical interpretation and to generalize several results of differential Galois theory and constructions on differential schemes. We prove a theorem of extension of constant sections. Finally, as an application, we compare three classical sheaves defined over the differential spectrum. We define vector fields, leaves and trajectories for schemes. With these tools, we are able to give a geometrical interpretation and to generalize several results of differential Galois theory and constructions on differential schemes. We prove a theorem of extension of constant sections. Finally, as an application, we compare three classical sheaves defined over the differential spectrum. △ Less

Submitted 6 September, 2020; v1 submitted 8 November, 2010; originally announced November 2010.

Comments: 42 pages, 2 figures, submitted

MSC Class: 34M15; 12H05; 37C10; 14A15

Profinite completion and double-dual : isomorphisms and counter-examples

Authors: Colas Bardavid

Abstract: We define, for any group $G$, finite approximations ; with this tool, we give a new presentation of the profinite completion $\hatπ : G \to \hat{G}$ of an abtract group $G$. We then prove the following theorem : if $k$ is a finite prime field and if $V$ is a $k$-vector space, then, there is a natural isomorphism between $\hat{V}$ (for the underlying additive group structure) and the additive gro… ▽ More We define, for any group $G$, finite approximations ; with this tool, we give a new presentation of the profinite completion $\hatπ : G \to \hat{G}$ of an abtract group $G$. We then prove the following theorem : if $k$ is a finite prime field and if $V$ is a $k$-vector space, then, there is a natural isomorphism between $\hat{V}$ (for the underlying additive group structure) and the additive group of the double-dual $V^{**}$. This theorem gives counter-examples concerning the iterated profinite completions of a group. These phenomena don't occur in the topological case. △ Less

Submitted 18 January, 2008; originally announced January 2008.

MSC Class: 20B; 20E18