Related papers: Cox Rings and Algebraic Maps
Moduli spaces of complete skew-forms are compactifications of spaces of skew-symmetric linear maps of maximal rank on a fixed vector space, where the added boundary divisor is simple normal crossing. In this paper we compute their…
We study birational maps among 1) the moduli space of semistable torsion sheaves of Hilbert polynomial $4m+2$ on a smooth quadric surface, 2) the moduli space of semistable torsion sheaves of Hilbert polynomial $m^{2}+3m+2$ on…
Some sorts of generalized morphisms are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring…
For a morphism of smooth schemes over a regular affine base we define functors of derived direct image and extraordinary inverse image on coderived categories of DG-modules over de Rham DG-algebras. Positselski proved that for a smooth…
For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial…
We propose a construction of some canonical bases for quantum loop algebras of Kac-Moody algebras. We consider a smooth projective curve X, a group of automorphism G of X such that X/G=P^1, and we consider some Quot schemes of G-equivariant…
Given a morphism $f: X \rightarrow S$ of complex algebraic varieties and a constructible sheaf $\mathcal{G}$ on $X$, we compute the local monodromy of $Rf_*(\mathcal{G})$ and $Rf_!(\mathcal{G})$ in terms of the local monodromy of…
We construct geometric realizations -- projective algebraic versions of cobordisms -- for birational maps between Mori Dream Spaces. We show that these geometric realizations are Mori Dream Spaces, as well, and that they can be constructed…
Given an algebraic stack $X$, one may compare the derived category of quasi-coherent sheaves on $X$ with the category of dg-modules over the dg-ring of functions on $X$. We study the analogous question in stable homotopy theory, for derived…
Let G be a connected reductive complex algebraic group. This paper is devoted to the space Z of meromorphic quasimaps from a curve into an affine spherical G-variety X. The space Z may be thought of as an algebraic model for the loop space…
Let G be a connected reductive group and G/H a spherical homogeneous space. We show that the ideal of relations between a natural set of generators of the Cox ring of a G-embedding of G/H can be obtained by homogenizing certain equations…
Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…
Let X be a compact connected Riemann surface. Fix a positive integer r and two nonnegative integers d_p and d_z. Consider all pairs of the form (F, f), where F is a holomorphic vector bundle on X of rank r and degree d_z-d_p, and f :…
We study moduli spaces of twisted maps to a smooth pair in arbitrary genus, and give geometric explanations for previously known comparisons between orbifold and logarithmic Gromov--Witten invariants. Namely, we study the space of twisted…
In this paper we define and study a ring associated to a graph that we call the cographic toric face ring, or simply the cographic ring. The cographic ring is the toric face ring defined by the following equivalent combinatorial structures…
We introduce the notions of a commutative square ring $R$ and of a quadratic map between modules over $R$, called $R$-quadratic map. This notion generalizes various notions of quadratic maps between algebraic objects in the literature. We…
Let $G$ be the universal Chevalley-Demazure group scheme corresponding to a reduced irreducible root system of rank $\geq 2$, and let $R$ be a commutative ring. We analyze the linear representations $\rho \colon G(R)^+ \to GL_n (K)$ over an…
Let $f\colon X \to \mathbb{A}^1_t$ be an affine flat morphism of finite type, and let $V = f^{-1}(0)$. Then, we obtain a morphism of log schemes $f\colon (X|V) \to (\mathbb{A}^1_t|0)$. In this article, we develop algorithmic tools to study…
We present new real algebraic maps of non-positive codimensions with prescribed images whose boundaries consist of explicit non-singular real algebraic hypersurfaces satisfying so-called "transversality" as follows. Explicit information on…
A correspondence between quasicoherent sheaves on toric schemes and graded modules over some homogeneous coordinate ring is presented, and the behaviour of several finiteness properties under this correspondence is investigated.