Source author record

Elie Compoint

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CA math.AG math.RT Symbolic Computation

Catalog footprint

Research overview

3works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2012arXiv

A Characterization of Reduced Forms of Linear Differential Systems

A differential system $[A] : \; Y'=AY$ , with $A\in \mathrm{Mat}(n, \bar{k})$ is said to be in reduced form if $A\in \mathfrak{g}(\bar{k})$ where $\mathfrak{g}$ is the Lie algebra of the differential Galois group $G$ of $[A]$ . In this article, we give a constructive criterion for a system to be in reduced form. When $G$ is reductive and unimodular, the system $[A]$ is in reduced form if and only if all of its invariants (rational solutions of appropriate symmetric powers) have constant coefficients (instead of rational functions). When $G$ is non-reductive, we give a similar characterization via the semi-invariants of $G$ . In the reductive case, we propose a decision procedure for putting the system into reduced form which, in turn, gives a constructive proof of the classical Kolchin-Kovacic reduction theorem.

preprint2010arXiv

Stable Flags and the Riemann-Hilbert Problem

We tackle the Riemann-Hilbert problem on the Riemann sphere as stalk-wise logarithmic modifications of the classical Röhrl-Deligne vector bundle. We show that the solutions of the Riemann-Hilbert problem are in bijection with some families of local filtrations which are stable under the prescribed monodromy maps. We introduce the notion of Birkhoff-Grothendieck trivialisation, and show that its computation corresponds to geodesic paths in some local affine Bruhat-Tits building. We use this to compute how the type of a bundle changes under stalk modifications, and give several corresponding algorithmic procedures.

preprint2009arXiv

Effective descent for differential operators

A theorem of N. Katz \cite{Ka} p.45, states that an irreducible differential operator $L$ over a suitable differential field $k$ , which has an isotypical decomposition over the algebraic closure of $k$ , is a tensor product $L=M\otimes_k N$ of an absolutely irreducible operator $M$ over $k$ and an irreducible operator $N$ over $k$ having a finite differential Galois group. Using the existence of the tensor decomposition $L=M\otimes N$ , an algorithm is given in \cite{C-W}, which computes an absolutely irreducible factor $F$ of $L$ over a finite extension of $k$ . Here, an algorithmic approach to finding $M$ and $N$ is given, based on the knowledge of $F$ . This involves a subtle descent problem for differential operators which can be solved for explicit differential fields $k$ which are $C_1$ -fields.

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.