相关论文: Base point free theorems--saturation, b-divisors, …
We establish generalizations of Saito's criterion for the freeness of divisors in projective spaces that apply both to sequences of several homogeneous polynomials and to divisors on other complete varieties. As an application, the new…
We prove a gluing theorem which allows to construct an ample divisor on a rational surface from two given ample divisors on simpler surfaces. This theorem combined with the Cremona action on the ample cone gives rise to an algorithm for…
We compute the cone of effective divisors on the Hilbert scheme of points in the projective plane. We show the sections of many stable vector bundles satisfy a natural interpolation condition, and that these bundles always give rise to the…
We study obstacle problems governed by two distinct types of diffusion operators involving interacting free boundaries. We obtain a somewhat surprising coupling property, leading to a comprehensive analysis of the free boundary. More…
In this note we prove a general version of the Extrapolation Theorem, extending the classical linear extrapolation theorem due to B. Maurey. Our result shows, in particular, that the operators involved do not need to be linear.
We prove some injectivity, torsion-free, and vanishing theorems for simple normal crossing pairs. Our results heavily depend on the theory of mixed Hodge structures on compact support cohomology groups. We also treat several basic…
Nonexpansive mappings play a central role in modern optimization and monotone operator theory because their fixed points can describe solutions to optimization or critical point problems. It is known that when the mappings are sufficiently…
Building on prior work on distributed databases and the CALM Theorem, we define and study the question of free termination: in the absence of distributed coordination, what query properties allow nodes in a distributed (database) system to…
Fixpoint operators are tools to reason on recursive programs and data types obtained by induction (e.g. lists, trees) or coinduction (e.g. streams). They were given a categorical treatment with the notion of categories with fixpoints. A…
Some known fixed point theorems for nonexpansive mappings in metric spaces are extended here to the case of primitive uniform spaces. The reasoning presented in the proofs seems to be a natural way to obtain other general results.
We compare two notions of $G$-fiber bundles and $G$-principal bundles in the literature, with an aim to clarify early results in equivariant bundle theory that are needed in current work of equivariant algebraic topology. We also give…
In this paper, we prove that total space of every vector bundle with the base manifold on which the canonical isometric action acts freely, also carries a principal bundle structure. We also obtain another principal bundle based on the…
We prove existence of flips, special termination, the base point free theorem and, in the case of log general type, the existence of minimal models for F-dlt foliated pairs of co-rank one on a $\mathbb Q$-factorial projective threefold. As…
In this short note, we introduce a generalization of the canonical base property, called transfer of internality on quotients. A structural study of groups definable in theories with this property yields as a consequence infinitely many new…
The non-isomorphic locus of a general projection from an embedded smooth projective variety to a hypersurface moves in a linear system of an effective divisor which we call the double point divisor. David Mumford proved that the double…
We provide a thorough construction of a system of compatible determinant line bundles over spaces of Fredholm operators, fully verify that this system satisfies a number of important properties, and include explicit formulas for all…
In this paper we state and prove ad hoc "Separation Theorems" of the so-called Smooth Commutative Algebra, the Commutative Algebra of \(\mathcal{C}^{\infty}-\)rings. These results are formally similar to the ones we find in (ordinary)…
We study distribution of zeros of a complex polynomial whose coefficients has been modified. We give a new proof of the theorem of Rubinstein, and with similar method we prove a new theorem that is not generalization of the previous…
We discuss a difference between the rational and the real non-vanishing conjecture for pseudo-effective log canonical divisors of log canonical pairs. We also show the log non-vanishing theorem for rationally connected varieties under…
In this paper we present a new characterization of free group actions (in classical differential geometry), involving dynamical systems and representations of the corresponding transformation groups. In fact, given a dynamical system, we…