Related papers: On Oda's Strong Factorization Conjecture
Several intrinsic topological ways to encode connections on vector bundles on smooth complex algebraic curves will be described. In particular the notion of {\em Stokes decompositions} will be formalised, as a convenient intermediate…
We consider a singular holomorphic foliation $\uF$ defined near a compact curve $\uC$ of a complex surface. Under some hypothesis on $(\uF,\uC)$ we prove that there exists a system of tubular neighborhoods $U$ of a curve $\underline{\mc D}$…
The famous Gallai's Conjecture states that any connected graph with n vertices has a path decomposition containing at most (n+1)/2 paths. In this note, we explore graphs generated from removing edges from complete graphs. We first provide…
We prove a factorization theorem for heavy-to-light form factors. Our result differs in several important ways from previous proposals. A proper separation of scales gives hard kernels that are free of endpoint singularities. A general…
We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…
The purposes of this article are threefold. First, to determine numerically when an arbitrary blowup of a smooth surface is smooth. We show the surface is smooth if and only if certain rational parameters involving log discrepancy and…
We explain how to adapt the methods of Abouzaid-McLean-Smith to the setting of Hamiltonian Floer theory. We develop a language around equivariant ``$\langle k \rangle$-manifolds'', which are a type of manifold-with-corners that suffices to…
We factorize three-dimensional terminal flops into a composition of divisorial contractions to points and blowing-up smooth curves.
We build a wonderful model for toric arrangements. We develop the "toric analog" of the combinatorics of nested sets, which allows to define a family of smooth open sets covering the model. In this way we prove that the model is smooth, and…
This note proves the existence of universal rational parametrizations. The description involves homogeneous coordinates on a toric variety coming from a lattice polytope. We first describe how smooth toric varieties lead to universal…
We prove a decomposition theorem of the quantum cohomology D-module of the blowup of a smooth projective variety X along a smooth subvariety Z. The main tools we use are shift operators and Fourier analysis for equivariant quantum…
We consider systems of recursively defined combinatorial structures. We give algorithms checking that these systems are well founded, computing generating series and providing numerical values. Our framework is an articulation of the…
Randomized sampling has recently been demonstrated to be an efficient technique for computing approximate low-rank factorizations of matrices for which fast methods for computing matrix vector products are available. This paper describes an…
We first prove Vojta's abc conjecture over function fields for Campana points on projective toric varieties with high multiplicity along the boundary. As a consequence, we obtain a version of Campana's conjecture on finite coverings of…
A combinatorial substitution is a map over tilings which allows to define sets of tilings with a strong hierarchical structure. In this paper, we show that such sets of tilings are sofic, that is, can be enforced by finitely many local…
In the context of knowledge compilation (KC), we study the effect of augmenting Ordered Binary Decision Diagrams (OBDD) with two kinds of decomposition nodes, i.e., AND-vertices and OR-vertices which denote conjunctive and disjunctive…
In this paper we show a general method to compactify certain open varieties by adding normal crossing divisors. This is done by proving that {\it blowing up along an arrangement of subvarieties} can be carried out. Important examples such…
Lascoux stated that the type A Kostka-Foulkes polynomials K_{lambda,mu}(t) expand positively in terms of so-called atomic polynomials. For any semisimple Lie algebra, the former polynomial is a t-analogue of the multiplicity of the dominant…
We prove a theorem on algebraic osculation and we apply our result to the Computer Algebra problem of polynomial factorization. We consider X a smooth completion of the complex plane and D an effective divisor supported on the boundary of…
Let $X_\Sigma$ be a smooth, not necessarily compact toric variety. We show that a certain complex, defined in terms of the fan $\Sigma$, computes the integral cohomology of $X_\Sigma$, including the module structure over the homology of the…