Searcharxiv⌕ Search

arXiv subjects

Lionel Darondeau

Publications and source records attributed to Lionel Darondeau.

12 recordsLinked to original sources

Relativistic second gradient theory of continuous media

Variational Relativity is a framework developed by Souriau in the sixties to better formulate General Relativity and its classical limit\,: Classical Continuum Mechanics. It has been used, for instance, to formulate Hyperelasticity in General Relativity. In that case, two primary variables are involved, the universe (Lorentzian) metric $g$ and the matter field $Ψ$. A Lagrangian density depending on the 1-jet of these variables is then introduced which must satisfy the principle of General Covariance. Souriau proved in 1958 that under these hypotheses, the Lagrangian density depends only on the punctual value of the matter field $Ψ$ and of a secondary variable $\mathbf{K}$, the conformation, an invariant of the diffeomorphism group, which is the Relativistic analog of the inverse of the right Cauchy--Green tensor. In the present work, an extension of Souriau's results to a second order gradient theory in General Relativity is presented. Accordingly, new higher order diffeomorphisms invariants are found. Their classical limits are calculated, showing that the 3-dimensional Continuum Mechanics second gradient theory can be derived from such a relativistic theory. Some of these invariants converge to objective quantities in the Galilean limit, others to non-objective quantities. The present work contributes thus to clarify the theoretical foundation of higher gradient Continuum Mechanics theory.

gr-qc↗

Isotropic Kempf--Laksov flag bundles

We introduce analogs of the Kempf--Laksov desingularizations of Schubert bundles in (non-necessary Lagrangian) symplectic Grassmann bundles. In this setting, these are (possibly singular) irreducible flag bundles that are birational to Schubert bundles, and can be described as chains of zero-loci of regular sections in projectivized bundles. The orthogonal analogs are also presented. We immediatly derive universal Gysin formulas for isotropic Schubert bundles from these very constructions.

math.AG↗

On the existence of logarithmic and orbifold jet differentials

We introduce the concept of directed orbifold, namely triples (X, V, D) formed by a directed algebraic or analytic variety (X, V), and a ramification divisor D, where V is a coherent subsheaf of the tangent bundle TX. In this context, we introduce an algebra of orbifold jet differentials and their sections. These jet sections can be seen as algebraic differential operators acting on germs of curves, with meromorphic coefficients, whose poles are supported by D and multiplicities are bounded by the ramification indices of the components of D. We estimate precisely the curvature tensor of the corresponding directed structure V[D] in the general orbifold case-with a special attention to the compact case D = 0 and to the logarithmic situation where the ramification indices are infinite. Using holomorphic Morse inequalities on the tautological line bundle of the projectivized orbifold Green-Griffiths bundle, we finally obtain effective sufficient conditions for the existence of global orbifold jet differentials.

math.AG↗

Gysin maps, duality and Schubert classes

We establish a Gysin formula for Schubert bundles and a strong version of the duality theorem in Schubert calculus on Grassmann bundles. We then combine them to compute the fundamental classes of Schubert bundles in Grassmann bundles, which yields a new proof of the Giambelli formula for vector bundles.

math.AG↗

Quasi-positive orbifold cotangent bundles ; Pushing further an example by Junjiro Noguchi

In this work, we investigate the positivity of logarithmic and orbifold cotangent bundles along hyperplane arrangements in projective spaces. We show that a very interesting example given by Noguchi (as early as in 1986) can be pushed further to a very great extent. Key ingredients of our approach are the use of Fermat covers and the production of explicit global symmetric differentials. This allows us to obtain some new results in the vein of several classical results of the literature on hyperplane arrangements. These seem very natural using the modern point of view of augmented base loci, and working in Campana's orbifold category. As an application of our results, we derive two new orbifold hyperbolicity results, going beyond some classical results of value distribution theory.

math.AG↗

Orbifold hyperbolicity

We define and study jet bundles in the geometric orbifold category. We show that the usual arguments from the compact and the logarithmic settings do not all extend to this more general framework. This is illustrated by simple examples of orbifold pairs of general type that do not admit any global jet differential, even if some of these examples satisfy the Green-Griffiths-Lang conjecture. This contrasts with an important result of Demailly (2010) proving that compact varieties of general type always admit jet differentials. We illustrate the usefulness of the study of orbifold jets by establishing the hyperbolicity of some orbifold surfaces, that cannot be derived from the current techniques in Nevanlinna's theory. We also conjecture that Demailly's theorem should hold for orbifold pairs with smooth boundary divisors under a certain natural multiplicity condition, and provide some evidence towards it.

math.AG↗

Flag bundles, Segre polynomials and push-forwards

In this note, we give Gysin formulas for partial flag bundles for the classical groups. We then give Gysin formulas for Schubert varieties in Grassmann bundles, including isotropic ones. All these formulas are proved in a rather uniform way by using the step-by-step construction of flag bundles and the Gysin formula for a projective bundle. In this way we obtain a comprehensive list of new universal formulas.

math.AG↗

Universal Gysin formulas for flag bundles

We give push-forward formulas for all flag bundles of types A, B, C, D. The formulas (and also the proofs) involve only Segre classes of the original vector bundles and characteristic classes of universal bundles. As an application, we provide new determinantal formulas.

math.AG↗

Fiber integration on the Demailly tower

The goal of this work is to provide a fiber integration formula on the Demailly tower, that avoids step-by-step elimination of horizontal cohomology classes, and that yields computational effectivity. A natural twist of the Demailly tower is introduced and a recursive formula for the total Segre class at k-th level is obtained. Then, by interpreting single Segre classes as coefficients, an iterated residue formula is derived.

math.CV↗

Slanted Vector Fields for Jet Spaces

Low pole order frames of slanted vector fields are constructed on the space of vertical k-jets of the universal family of complete intersections in $\mathbb{P}^n$ and, adapting the arguments, low pole order frames of slanted vector fields are also constructed on the space of vertical logarithmic k-jets along the universal family of projective hypersurfaces in $\mathbb{P}^n$ with several irreducible smooth components. Both the pole order (here $=5k-2$) and the determination of the locus where the global generation statement fails are improved compared to the literature (previously $=k^2+2k$), thanks to three new ingredients; we reformulate the problem in terms of some adjoint action, we introduce a new formalism of geometric jet coordinates, and then we construct what we call building-block vector fields, making the problem for arbitrary jet order $k\geqslant1$ into a very analog of the much easier case where $k=0$, i.e. where no jet coordinates are needed.

math.CV↗

Effective algebraic degeneracy of entire curves in complements of smooth projective hypersurfaces

In this work, it is established that for a generic projective hypersurface $H\subset\mathbb{P}^n(\mathbb{C})$ of degree $d\geq(5n)^2\,n^{n}$, any holomorphic entire curve $f\colon\mathbb{C}\to\mathbb{P}^n(\mathbb{C})\setminus H$ has its image contained in a proper algebraic subvariety $Z\subsetneq\mathbb{P}^{n}(\mathbb{C})$, that does not depend on the curve $f$. Here generic means that the coefficients of the defining equation of $H$ have to lie outside of a proper algebraic subvariety of the projective space of coefficients of homogeneous polynomials of degree $d$ (that parametrizes the algebraic hypersurface of degree $d$ in $\mathbb{P}^n(\mathbb{C})$). The proof closely follows the work of Diverio, Merker and Rousseau (Diverio-Merker-Rousseau 2009), thus it is based on the strategy of Siu (Siu 2002, 2004) and techniques of Demailly (Demailly 1995, Diverio 2009) (already adapted to the logarithmic setting by Dethloff and Lu in 2001). It also include an improved adaptation of the contribution of Berczi (Berczi 2010).

math.AG↗