Related papers: Constructing new ample divisors out of old ones
Given a pseudo-effective divisor L we construct the diminished ideal of L, a "continuous" extension of the asymptotic multiplier ideal for big divisors to the pseudo-effective boundary. For most pseudo-effective divisors L the multiplier…
Two projective varieties are said to be Cremona equivalent if there is a Cremona modification sending one onto the other. In the last decade, Cremona equivalence has been investigated widely, and we now have a complete theory for…
We develop novel methods for constructing nearly Hamilton cycles in sublinear expanders with good regularity properties, as well as new techniques for finding such expanders in general graphs. These methods are of independent interest due…
We derive explicit rational generating functions for weighted tilings of $2k\times n$ rectangles by straight $k\times 1$ tiles. Our approach combines a decomposition by fault lines with a Hadamard-product framework. Tools from algebraic…
We formulate a more conceptual interpretation of the Cappell-Lee-Miller glueing/splitting theorem using the new language of asymptotic maps and asymptotic exactness. Additionally, we present an asymptotic description of the Mayer-Vietoris…
A paradigm that was successfully applied in the study of both pure and algorithmic problems in graph theory can be colloquially summarized as stating that "any graph is close to being the disjoint union of expanders". Our goal in this paper…
By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…
This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and computer programs to construct mathematical proofs. In…
The aim of this paper is to give a proof of the restriction theorems for principal bundles with a reductive algebraic group as structure group in arbitrary characteristic. Let $G$ be a reductive algebraic group over any field $k=\bar{k}$,…
We give effective bounds on the generation of pushforwards of log-pluricanonical bundles twisted by ample line bundles. This gives a partial answer to a conjecture proposed by Popa and Schnell. We prove two types of statements: first, more…
We introduce in this article a new method to estimate the minimum distance of codes from algebraic surfaces. This lower bound is generic, i.e. can be applied to any surface, and turns out to be ``liftable'' under finite morphisms, paving…
We introduce a notion of ampleness for subschemes of higher codimension using the theory of q-ample line bundles. We also investigate certain geometric properties satisfied by ample subvarieties, e.g. the Lefschetz hyperplane theorems and…
In this paper, we use the idempotent decomposition to give an explicit isomorphism from an arbitrary semisimple Artinian ring to an external direct sum of finitely many full matrix rings over division rings.
The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic…
We apply the local removable singularity theorem for minimal laminations and the local picture theorem on the scale of topology to obtain two descriptive results for certain possibly singular minimal laminations of $\mathbb{R}^3$. These two…
We identify a new way to divide the $\delta$-neighborhood of surfaces $\mathcal{M}\subset\mathbb{R}^3$ into a finitely-overlapping collection of rectangular boxes $S$. We obtain a sharp $(l^2,L^p)$ decoupling estimate using this…
The condition of plane polynomial curve to be a line in well-known Abhyankar-Moh Theorem is replaced by weaker ones. A criterion of embedded line is obtained from this strong theorem: Two polynomials can generate the entire polynomial ring…
The generating functions of the Severi degrees for sufficiently ample line bundles on algebraic surfaces are multiplicative in the topological invariants of the surface and the line bundle. Recently new proofs of this fact were given for…
For a complete discrete valuation field $K$, we show that one may always glue a separated formal algebraic space $\mathfrak{X}$ over $\mathcal{O}_K$ to a separated algebraic space $U$ over $K$ along an open immersion of rigid spaces…
We combine effective mixing and Duke's Theorem on closed geodesics on the modular surface to show that certain subcollections of the collection of geodesics with a given discriminant still equidistribute. These subcollections are only…