Source author record

Jean Gillibert

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

ResearcherUnclaimed source record

math.NT math.AG Computation and Language Logic in Computer Science math.CT math.LO physics.class-ph

Catalog footprint

What is connected

8works

7topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2021arXiv

Descent on elliptic surfaces and arithmetic bounds for the Mordell-Weil rank

We introduce the use of $p$-descent techniques for elliptic surfaces over a perfect field of characteristic not $2$ or $3$. Under mild hypotheses, we obtain an upper bound for the rank of a non-constant elliptic surface. When $p=2$, this bound is an arithmetic refinement of a well-known geometric bound for the rank deduced from Igusa's inequality. This answers a question raised by Ulmer. We give some applications to rank bounds for elliptic surfaces over the rational numbers.

preprint2021arXiv

Unramified Heisenberg group extensions of number fields

We construct étale generalized Heisenberg group covers of hyperelliptic curves over number fields. We use these to produce infinite families of quadratic extensions of cyclotomic fields that admit everywhere unramified generalized Heisenberg Galois extensions.

preprint2020arXiv

A geometric approach to large class groups: a survey

The purpose of this note is twofold. First, we survey results on the construction of large class groups of number fields by specialization of finite covers of curves. Then we give examples of applications of these techniques.

preprint2014arXiv

Category theory, logic and formal linguistics: some connections, old and new

We seize the opportunity of the publication of selected papers from the \emph{Logic, categories, semantics} workshop in the \emph{Journal of Applied Logic} to survey some current trends in logic, namely intuitionistic and linear type theories, that interweave categorical, geometrical and computational considerations. We thereafter present how these rich logical frameworks can model the way language conveys meaning.

preprint2013arXiv

Analysis of the bending behaviour of flax based reinforcements used in shape forming

The bending behaviour of woven perform was investigated in order to better understand the formation of some defects during sheet forming such as wrinkling and tow buckling. The fabric composition considering hybrid and pure flax fabrics as well as some test conditions like relative humidity were examined. On the one hand, the results show a drop of the bending stiffness with flax/PLA commingled fabric. On the other hand, the study points out that moisture enhances the bending rigidity especially in the case of pure flax fabric. However, an excess of humidity, for instance 100% relative humidity, leads to an opposite effect.

preprint2012arXiv

Pulling back torsion line bundles to ideal classes

We prove results concerning the specialisation of torsion line bundles on a variety $V$ defined over $\mathbb{Q}$ to ideal classes of number fields. This gives a new general technique for constructing and counting number fields with large class group.

preprint2011arXiv

The class group pairing and $p$-descent on elliptic curves

We give explicit formulae for the logarithmic class group pairing on an elliptic curve defined over a number field. Then we relate it to the descent relative to a suitable cyclic isogeny. This allows us to connect the resulting Selmer group with the logarithmic class group of the base. These constructions are explicit and suitable for computer experimentation. From a conceptual point of view, the questions that arise here are analogues of "visibility" questions in the sense of Cremona and Mazur.

preprint2010arXiv

Cohomologie log plate, actions modérées et structures galoisiennes

Let $X$ be a fine and saturated log scheme, and let $G$ be a commutative finite flat group scheme over the underlying scheme of $X$. If $G$-torsors for the fppf topology can be thought of as being unramified objects by nature, then $G$-torsors for the log flat topology allow us to consider tame ramification. Using the results of Kato, we define a concept of Galois structure for these torsors, then we generalize the author's previous constructions (class-invariant homomorphism for semi-stable abelian varieties) in this new setting, thus dropping some restrictions.