Related papers: Multiplication maps and vanishing theorems for tor…
A classical set of birational invariants of a variety are its spaces of pluricanonical forms and some of their canonically defined subspaces. Each of these vector spaces admits a typical metric structure which is also birationally…
We introduce a general method for showing under weak forcing axioms that reduced products of countable models of a theory $T$ have as few automorphisms as possible. We show that such forcing axioms imply that reduced products of countably…
We extend the conjecture on the derived equivalence and K-equivalence to the logarithmic case and prove it in the toric case.
We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a…
The real solutions to a system of sparse polynomial equations may be realized as a fiber of a projection map from a toric variety. When the toric variety is orientable, the degree of this map is a lower bound for the number of real…
Inspired by a paper of Salberger we give a new proof of Manin's conjecture for toric varieties over imaginary quadratic number fields by means of universal torsor parameterizations and elementary lattice point counting.
This paper reproves a general form of the Green-Lazarsfeld 'generic vanishing' theorem and more recent strengthenings, as well as giving some new applications.
We explore a relationship between topological properties of orbits of 2-cycles in the symplectomorphism group Symp(M) and the existence of rational curves in M. Under the absence of rational curves hypothesis, we show that evaluation map…
Given a boundary divisor $B$ on a projective toric variety $X$ such that $(X, B)$ is klt, we establish the Kawamata-Viehweg vanishing theorem for $(X, B)$.
If a map has k transitivity classes of vertices that are subject to the action of the automorphism group, it is said to be k-uniform. The classification of 1-uniform maps on the torus is known. In this article, we classify 2-uniform maps on…
This note presents some numerical examples worked out in order to show the reader how to implement, within a widely accessible computational setting, the methodology for achieving zero cancellation in linear multivariable systems discussed…
We present an algorithm for obtaining the matter content of effective six-dimensional theories resulting from compactification of F-theory on elliptic Calabi-Yau threefolds which are hypersurfaces in toric varieties. The algorithm allows us…
An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…
This paper introduces the notion of twisted toric manifolds which is a generalization of one of symplectic toric manifolds, and proves the weak Delzant type classification theorem for them. The computation methods for their fundamental…
We revisit some of the basic results of generic vanishing theory, as pioneered by Green and Lazarsfeld, in the context of constructible sheaves. Using the language of perverse sheaves, we give new proofs of some of the basic results of this…
In this paper, we will introduce Quantum Toric Varieties which are (non-commutative) generalizations of ordinary toric varieties where all the tori of the classical theory are replaced by quantum tori. Quantum toric geometry is the…
In this note we introduce a new family of non-commutative spaces that we call non-commutative toric varieties and we describe some of their main properties. The main technical tool in this investigation is a natural extension of LVM-theory…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…
We use orbifold structures to deduce degeneracy statements for holomorphic maps into logarithmic surfaces. We improve former results in the smooth case and generalize them to singular pairs. In particular, we give applications on nodal…