Related papers: Virtual Cartier divisors and blow-ups

The main goal of this paper is to show that the notions of Weil and Cartier $\mathbb{Q}$-divisors coincide for $V$-manifolds and give a procedure to express a rational Weil divisor as a rational Cartier divisor. The theory is illustrated on…

In this paper we study a notion of volume for Cartier divisors on arbitrary blow-ups of normal complex algebraic varieties of dimension greater than one, with a distinguished point. We apply this to study a volume for normal isolated…

We study different notions of blow-up of a scheme X along a subscheme Y, depending on the datum of an embedding of X into an ambient scheme. The two extremes in this theory are the ordinary blow-up, corresponding to the identity, and the…

Let $X$ be a fixed projective scheme which is flat over a base scheme $S$. The association taking a quasi-projective $S$-scheme $Y$ to the scheme parametrizing $S$-morphisms from $X$ to $Y$ is functorial. We prove that this functor…

We prove a generalized vanishing theorem for certain quasi-coherent sheaves along the derived blow-ups of quasi-smooth derived Artin stacks. We give four applications of the generalized vanishing theorem: we prove a $K$-theoretic version of…

We present a simple construction of an ODE on $\mathbb{R}^{n}$ where the vector field is smooth, and finite-time blow-up is equivalent to the halting problem for a universal Turing machine.

The purposes of this article are threefold. First, to determine numerically when an arbitrary blowup of a smooth surface is smooth. We show the surface is smooth if and only if certain rational parameters involving log discrepancy and…

Using the flatification by blow-up result of Raynaud and Gruson, we obtain new results for submersive and subtrusive morphisms. We show that universally subtrusive morphisms, and in particular universally open morphisms, are morphisms of…

Van den Bergh has defined the blowup of a noncommutative surface at a point lying on a commutative divisor. We study one aspect of the construction, with an eventual aim of defining more general kinds of noncommutative blowups. Our basic…

We study blow-ups in generalized complex geometry. To that end we introduce the concept of holomorphic ideal, which allows one to define a blow-up in the category of smooth manifolds. We then investigate which generalized complex…

We define and construct efficient depth-universal and almost-size-universal quantum circuits. Such circuits can be viewed as general-purpose simulators for central classes of quantum circuits and can be used to capture the computational…

Let $Z \to X$ be a finite branched Galois cover of normal projective geometrically integral varieties of dimension $d \geq 2$ over a perfect field $k$. For such a cover, we prove a Chebotarev-type density result describing the decomposition…

Let $Y$ be an effective Cartier divisor of a smooth variety $Z$. Let $X_{i}$, $i\in \{1,\cdots,n\}$ be a set of pairwise disjoint smooth subvarieties in $Y$ such that their union contains the singular locus of $Y$. In this paper, we give a…

Let $M$ be a real-analytic connected CR-hypersurface of CR-dimension $n>0$ having a point of Levi-nondegeneracy. The following alternative is demonstrated for both the symmetry algebra $s$ and the automorphism group $G$ of $M$. Denote by…

We establish a new fundamental class of varieties in nonnoetherian algebraic geometry related to the central geometry of dimer algebras. Specifically, given an affine algebraic variety $X$ and a finite collection of non-intersecting…

The volume of a Cartier divisor on a projective variety is a nonnegative real number that measures the asymptotic growth of sections of multiples of the divisor. It is known that the set of these numbers is countable and has the structure…

Let f: X -> Z be a local, projective, divisorial contraction between normal varieties of dimension n with Q-factorial singularities. Let $Y \subset X$ be a f-ample Cartier divisor and assume that f|Y: Y -> W has a structure of a weighted…

We develop a ring-theoretic approach for blowing up many noncommutative projective surfaces. Let T be an elliptic algebra (meaning that, for some central element g of degree 1, T/gT is a twisted homogeneous coordinate ring of an elliptic…

This article is devoted to studying complex algebraic sets under (global) blow-spherical equivalence. The main results of this article are complete classifications of complex algebraic curves. Firstly, we present a complete classification…

We prove that for every finitely generated subgroup of a virtually connected Lie group which admits a finite dimensional model for the classifying space for proper actions the assembly map in algebraic K-theory is split injective. We also…