Related papers: Jet schemes, log discrepancies and Inversion of Ad…
In this paper, we review existing points-to Separation Logics for dynamic memory reasoning and we find that different usages of heap separation tend to be an obstacle. Hence, two total and strict spatial heap operations are proposed upon…
We extend the use of ("Kripke-Joyal")- reasoning in categories admitting pull-backs. The aim is to give a theory of jets in this context.
We study jets of germs of holomorphic maps between two strongly pseudoconvex domains under the condition that the image of one domain is contained into the other and a given boundary point is (non-tangentially) mapped to a given boundary…
We give an overview of invariants of algebraic singularities over perfect fields. We then show how they lead to a synthetic proof of embedded resolution of singularities of 2-dimensional schemes.
It is well known that one can find a rational normal curve in $\mathbb P^n$ through $n+3$ general points. We prove a generalization of this to higher dimensional varieties, showing that smooth varieties of minimal degree can be interpolated…
The classification of events involving jets as signal-like or background-like can depend strongly on the jet algorithm used and its parameters. This is partly due to the fact that standard jet algorithms yield a single partition of the…
We use reduction maps to study the minimal model program. Our main result is that the existence of a good minimal model for a klt pair $(X,\Delta)$ can be detected on the base of the $(K_{X}+\Delta)$-trivial reduction map. Thus we show that…
Successful wavelet estimation is an essential step for seismic methods like impedance inversion, analysis of amplitude variations with offset and full waveform inversion. Homomorphic deconvolution has long intrigued as a potentially elegant…
In the same way decomposition spaces, also known as unital 2-Segal spaces, have incidence (co)algebras, and certain relative decomposition spaces have incidence (co)modules, we identify the structures that have incidence bi(co)modules: they…
Tracer tests in natural porous media sometimes show abnormalities that suggest considering a fractional variant of the Advection Diffusion Equation supplemented by a time derivative of non-integer order. We are describing an inverse method…
In this note we build on our previous work with Takehiko Yasuda to prove a precise version of inversion of adjunction for varieties which are local complete intersections.
In this paper we discuss various connections between geometric discrepancy measures, such as discrepancy with respect to convex sets (and convex sets with smooth boundary in particular), and applications to numerical analysis and…
We make several new contributions to the study of proper holomorphic mappings between balls. Our results include a degree estimate for rational proper maps, a new gap phenomenon for convex families of arbitrary proper maps, and an…
This paper is an announcement of the minimal model theory for log surfaces in all characteristics and contains some related results including a simplified proof of the Artin-Keel contraction theorem in the surface case.
The goal of this paper is twofold. First, we present a unified way of formulating numerical integration problems from both approximation theory and discrepancy theory. Second, we show how techniques, developed in approximation theory, work…
We study nontrivial entropy invariants in the class of parabolic flows on homogeneous spaces, quasi-unipotent flows. We show that topological complexity (ie, slow entropy) can be computed directly from the Jordan block structure of the…
The purpose of this article is to motivate the study of invariant, and especially conformally invariant, differential pairings. Since a general theory is lacking, this work merely presents some interesting examples of these pairings,…
We prove that the Hilbert scheme of the plane in positive characteristic admits an invertible top differential form. This implies certain integrability properties of the symmetric powers of the plane. This allows to define a function on the…
This is a first instalment of much larger work about relations between birational geometry and moduli of triples. The extraction of work is mainly related to Theorem 6. It is a weak version of Kawamata's Conjecture 1 and an important…
Given a smooth plane quartic curve C over a field k of characteristic 0, with Jacobian variety J, and a marked rational point P of C(k), we construct a reductive group G and a G-variety X, together with an injection J(k)/2J(k) -> G(k)\X(k).…