Related papers: Initiation to mould calculus through the example o…
An explicit computation of the so-called string-theoretic E-function of a normal complex variety X with at most log-terminal singularities can be achieved by constructing one snc-desingularization of X, accompanied with the intersection…
We study certain special tilting and cotilting modules for an algebra with positive dominant dimension, each of which is generated or cogenerated (and usually both) by projective-injectives. These modules have various interesting…
The classical theory of elliptic curves with complex multiplication is a fundamental tool for studying the arithmetic of abelian extensions of imaginary quadratic fields. While no direct analogue is available for real quadratic fields, a…
We give a global formulation of the coupling of four-dimensional scalar sigma models to Abelian gauge fields for the generalized situation when the "duality structure" of the Abelian gauge theory is described by a flat symplectic vector…
Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain datatypes, so to really understand control operators, one should also include these in the calculus. As a first step in…
Two of the pillars of combinatorics are the notion of choosing an arbitrary subset of a set with $n$ elements (which can be done in $2^n$ ways), and the notion of choosing a $k$-element subset of a set with $n$ elements (which can be done…
We consider four examples of combinatorial triangles $\left(T(n,k)\right)_{0\le k\le n}$ (Pascal, Stirling of both types, Euler) : through saddle-point asymptotics, their \emph{Pascal's formulas} define four vector fields, together with…
In this note we study numerically the combinatorics of curves and geodesics on the torus with one boundary component. A potential computational difficulty is avoided by counting inside specific orbits of the mapping class group up to a…
The moduli space $M$ of semi-stable rank 2 bundles with trivial determinant over a complex curve carries involutions naturally associated to 2-torsion points on the Jacobian of the curve. For every lift of a 2-torsion point to a 4-torsion…
Many codes have been developed to study highly relativistic, magnetized flows around and inside compact objects. Depending on the adopted formalism, some of these codes evolve the vector potential $\mathbf{A}$, and others evolve the…
In this work we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to ordinary sequent rules we obtain linear nested sequent…
We study an extension of modal $\mu$-calculus to sets with atoms and we study its basic properties. Model checking is decidable on orbit-finite structures, and a correspondence to parity games holds. On the other hand, satisfiability…
A Teichm\"uller curve is an algebraic and isometric immersion of an algebraic curve into the moduli space of Riemann surfaces. We give the first explicit algebraic models of Teichm\"uller curves of positive genus. Our methods are based on…
We review and extend a technique for recovering a smooth function from its averages over a wide class of curves in a general region of Euclidean space. The method is based on complexification of the underlying vector fields defining the…
We consider the untyped lambda calculus with constructors and recursively defined constants. We construct a domain-theoretic model such that any term not denoting bottom is strongly normalising provided all its `stratified approximations'…
We give an explicit formula of the normalized Mumford form which expresses the second tautological line bundle by the Hodge line bundle defined on the moduli space of algebraic curves of any genus. This formula is represented by an infinite…
This thesis proposes a combinatorial generalization of a nilpotent operator on a vector space. The resulting object is highly natural, with basic connections to a variety of fields in pure mathematics, engineering, and the sciences. For the…
We study vector bundles on curves with rational tails and their smoothings and give a sufficient condition for the general fibre to be balanced.
The modular variety of non singular and complete hyperelliptic curves with level-two structure of genus 3 is a 5-dimensional quasi projective variety which admits several standard compactifications. The first one, X, comes from the…
Vector-valued Siegel modular forms are the natural generalization of the classical elliptic modular forms as seen by studying the cohomology of the universal abelian variety. We show that for g>=4, a new class of vector-valued modular…