Related papers: Jet Schemes of Locally Complete Intersection Canon…
We show that if $D \subset \mathbb P^N$ is obtained from a codimension two local complete intersection $C$ by adding embedded points of multiplicity $\leq 3$, then $D$ is a flat limit of $C$ and isolated points. As applications, we…
In this article, we derive conditions for the existence of solutions to state-constrained continuity inclusions in Wasserstein spaces whose right-hand sides may be discontinuous in time. These latter are based on a fine investigation of the…
On a geometrically smooth complex algebraic curve X^1 in P^2(C), represented in complex affine coordinates (x,y) as the zero-locus R(x,y) = 0 of some polynomial R of degree d >= k+3, an explicit family of generating independent holomorphic…
This paper examines the feasible region of a standard conic program represented as the intersection of a closed convex cone and a set of linear equalities. It is recently shown that when Slater constraint qualification (strict feasibility)…
We study the sets of planes in an even dimensional real vector space $V$ which are simultaneously stabilised by a pair of complex structures on $V$. We completely describe these sets of planes for pairs of orthogonal complex structures.…
We show that if a planar graph $G$ has a plane straight-line drawing in which a subset $S$ of its vertices are collinear, then for any set of points, $X$, in the plane with $|X|=|S|$, there is a plane straight-line drawing of $G$ in which…
We introduce a new class of event shapes to characterize the jet-like structure of an event. Like traditional event shapes, our observables are infrared/collinear safe and involve a sum over all hadrons in an event, but like a jet…
Let $X$ be a four-dimensional projective variety defined over the field of complex numbers with only terminal singularities. We prove that if the intersection number of the canonical divisor $K$ with every very general curve is positive…
An overview of some recent results on the geometry of partial differential equations in application to integrable systems is given. Lagrangian and Hamiltonian formalism both in the free case (on the space of infinite jets) and with…
This a first step to develop a theory of smooth, etale and unramified morphisms between noetherian formal schemes. Our main tool is the complete module of differentials, that is a coherent sheaf whenever the map of formal schemes is of…
The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded…
A commutative local ring is generally defined to be a complete intersection if its completion is isomorphic to the quotient of a regular local ring by an ideal generated by a regular sequence. It has not previously been determined whether…
We prove that the derived direct image of the constant sheaf with field coefficients under any proper map with smooth source contains a canonical summand. This summand, which we call the geometric extension, only depends on the generic…
Shokurov's ACC Conjecture says that the set of all log canonical thresholds on varieties of bounded dimension satisfies the Ascending Chain Condition. This conjecture was proved for log canonical thresholds on smooth varieties in [EM1].…
The purpose of this paper is to prove the localization theorem for torus actions in equivariant intersection theory. Using the theorem we give another proof of the Bott residue formula for Chern numbers of bundles on smooth complete…
In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map…
In this short note we prove a version of Bertini's theorem for unipotent rigid fundamental groups, stating that for every smooth, projective, geometrically connected variety $X$ over an infinite perfect field $k$ of characteristic $p>0$,…
We prove an existence theorem for jet differentials on complete intersection varieties that generalizes a theorem of S. Diverio. We also show that one can readily deduce hyperbolicity for generic complete intersections of high multidegree…
We demonstrate when and how an entire left-infinite orbit of an underlying dynamical system or observations from such left-infinite orbits can be uniquely represented by a pair of elements in a different space, a phenomenon which we call…
A family of sets in the plane is simple if the intersection of its any subfamily is arc-connected, and it is pierced by a line $L$ if the intersection of its any member with $L$ is a nonempty segment. It is proved that the intersection…