Related papers: On proper intersections on a singular analytic spa…
We study the Fulton-Macpherson operational Chow rings of good moduli spaces of properly stable, smooth, Artin stacks. Such spaces are \'etale locally isomorphic to geometric invariant theory quotients of affine schemes, and are therefore…
We define the characteristic cycle of a constructible sheaf on a smooth surface in the cotangent bundle. We prove that the intersection number with the 0-section equals the Euler number and that the total dimension of vanishing cycles at an…
A variety is rationally connected if two general points can be joined by a rational curve. A higher version of this notion is rational simple connectedness, which requires suitable spaces of rational curves through two points to be…
We introduce tropical complexes, as an enrichment of the dual complex of a degeneration with additional data from non-transverse intersection numbers. We define cycles, divisors, and linear equivalence on tropical complexes, analogous both…
By introducing a notion of smooth connection for unbounded $KK$-cycles, we show that the Kasparov product of such cycles can be defined directly, by an algebraic formula. In order to achieve this it is necessary to develop a framework of…
We introduce and study the notion of universally defined cycles of smooth varieties of dimension $d$, and prove that they are given by polynomials in the Chern classes. A similar result is proved for universally defined cycles on products…
A strong direct product theorem says that if we want to compute k independent instances of a function, using less than k times the resources needed for one instance, then our overall success probability will be exponentially small in k. We…
Let R be a commutative, noetherian, local ring. Topological Q-vector spaces modelled on full subcategories of the derived category of R are constructed in order to study intersection multiplicities.
We develop the intersection theory of non-archimedean analytic spaces and prove the projection formula and the GAGA principle. As an application, we naturally define the category of finite correspondences of analytic spaces.
Given a compact orientable surface $\Sigma$, let $\Cal S(\Sigma)$ be the set of isotopy classes of essential simple loops on $\Sigma$. We determine a complete set of relations for a function from $\Cal S(\Sigma)$ to $\bold Z$ to be a…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
We give a new approach to intersection theory. Our "cycles" are closed manifolds mapping into compact manifolds and our "intersections" are elements of a homotopy group of a certain Thom space. The results are then applied in various…
We compute divisors class groups of singular surfaces. Most notably we produce an exact sequence that relates the Cartier divisors and almost Cartier divisors of a surface to the those of its normalization. This generalizes Hartshorne's…
With every family of finitely many subsets of a finite-dimensional vector space over the Galois-field with two elements we associate a cyclic transversal polytope. It turns out that those polytopes generalize several well-known polytopes…
We review canonical experiments on systems that have pushed the boundary between the quantum and classical worlds towards much larger scales, and discuss their unique features that enable quantum coherence to survive. Because the types of…
We study the geometry of the space of rational curves on smooth complete intersections of low degree, which pass through a given set of points on the variety. The argument uses spreading out to a finite field, together with an adaptation to…
In this paper we study algorithmic aspects of tropical intersection theory. We analyse how divisors and intersection products on tropical cycles can actually be computed using polyhedral geometry. The main focus of this paper is the study…
Given positive integers $e_1,e_2$, let $X_i$ denote the set of $e_i$-dimensional subspaces of a fixed finite vector space $V=(\mathbb{F}_q)^{e_1+e_2}$. Let $Y_i$ be a non-empty subset of $X_i$ and let $\alpha_i=|Y_i|/|X_i|$. We give a…
We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The…
Dupin cyclides are interesting algebraic surfaces used in geometric design and architecture to join canal surfaces smoothly and to construct model surfaces. Dupin cyclides are special cases of Darboux cyclides, which in turn are rather…