منابع مشابه
Computing Types during Program Specialization
We have developed techniques for obtaining and using type information during program specialization (partial evaluation). Computed along with every residual expression and every specialized program is type information that bounds the possible values that the specialized program will compute at run time. The three keystones of this research are symbolic v&es that represent both the set of values...
متن کاملBirational Cobordisms and Factorization of Birational Maps
In this paper we develop a Morse-like theory in order to decompose birational maps and morphisms of smooth projective varieties defined over a field of characteristic zero into more elementary steps which are locallyétale isomorphic to equivariant flips, blow-ups and blow-downs of toric varieties (see Theorems 1, 2 and 3). The crucial role in the considerations is played by K *-actions where K ...
متن کاملBirational motives, I: pure birational motives
In the preprint [19], we toyed with birational ideas in three areas of algebraic geometry: plain varieties, pure motives in the sense of Grothendieck, and triangulated motives in the sense of Voevodsky. These three themes are finally treated separately in revised versions. The first one was the object of [21]; the second one is the object of the present paper; we hope to complete the third one ...
متن کاملAlgebraic Specialization of Generic Functions for Recursive Types
Defining functions over large, possibly recursive, data structures usually involves a lot of boilerplate. This code simply traverses non-interesting parts of the data, and rapidly becomes a maintainability problem. Many generic programming libraries have been proposed to address this issue. Most of them allow the user to specify the behavior just for the interesting bits of the structure, and p...
متن کاملHodge Polynomials and Birational Types of Moduli Spaces of Coherent Systems on Elliptic Curves
In this paper we consider moduli spaces of coherent systems on an elliptic curve. We compute their Hodge polynomials and determine their birational types in some cases. Moreover we prove that certain moduli spaces of coherent systems are isomorphic. This last result uses the Fourier-Mukai transform of coherent systems introduced by Hernández Ruiperez and Tejero Prieto.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Inventiones mathematicae
سال: 2019
ISSN: 0020-9910,1432-1297
DOI: 10.1007/s00222-019-00870-9