相关论文: Properties of schemes of morphisms and application…

Let X and Y be curves over a finite field. In this article we explore methods to determine whether there is a rational map from Y to X by considering L-functions of certain covers of X and Y and propose a specific family of covers to…

Fixed a point O on a non-singular surface S and a complete mO-primary ideal I in its local ring, the curves on the surface X obtained by blowing-up I are studied in terms of the base points of I. Criteria for the principality of these…

We prove that for any singular integral affine variety $X$ of finite presentation over a perfect field defined over $\mathbb Z$, there exists a smooth morphism from $Y$ onto $X$ such that $Y$ admits a resolution. That is, there exists a…

In this paper we introduce congruence spaces, which are topological spaces that are canonically attached to monoid schemes and that reflect closed topological properties. This leads to satisfactory topological characterizations of closed…

We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…

We construct a natural branch divisor for equidimensional projective morphisms where the domain has lci singularities and the target is nonsingular. The method involves generalizing a divisor contruction of Mumford from sheaves to…

Raynaud--Gruson characterized flat and pure morphisms between affine schemes in terms of projective modules. We give a similar characterization for non-affine morphisms. As an application, we show that every quasi-coherent sheaf is the…

Assuming Hartshorne's conjecture on complete intersections, we classify projective bundles over projective spaces which has a smooth blow up structure over another projective space. Under some assumptions, we also classify projective…

Jacob Lurie (arXiv:math/0412266) has shown that for geometric stacks X,Y every cocontinuous tensor functor F : Qcoh(X) -> Qcoh(Y) is the pullback of a morphism Y -> X under the additional assumption that F is tame. In this note we get rid…

We provide supplements and open problems related to structure theorems for maximal rationally connected fibrations of certain positively curved projective varieties, including smooth projective varieties with semi-positive holomorphic…

The philosophy that ``a projective manifold is more special than any of its smooth hyperplane sections" was one of the classical principles of projective geometry. Lefschetz type results and related vanishing theorems were among the…

We study conditions on a commutative ring R which are equivalent to the following requirement; whenever X is a projective scheme over S = Spec(R) of fiber dimension \leq d for some integer d \geq 0, there is a finite morphism from X to…

Let $X$ be a smooth projective variety defined over an algebraically closed field, and let $L$ be an ample line bundle over $X$. We prove that for any smooth hypersurface $D$ on $X$ in the complete linear system $| L^{\otimes d}|$, the…

Structured recursion schemes have been widely used in constructing, optimising, and reasoning about programs over inductive and coinductive datatypes. Their plain forms, catamorphisms and anamorphisms, are restricted in expressiveness. Thus…

Let $S$ be a complete flat surface, such as the Euclidean plane. We obtain direct characterizations of the connected components of the space of all curves on $S$ which start and end at given points in given directions, and whose curvatures…

In this paper we describe projective curves and surfaces such that almost all their hyperplane sections are projectively equivalent. Our description is complete for curves and close to being complete for smooth surfaces. In the appendix we…

Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced.…

Let $X$ be a quasiprojective scheme. In this expository note we collect a series of useful structural results on the stack $\mathscr{C}oh^n(X)$ parametrising $0$-dimensional coherent sheaves of length $n$ over $X$. For instance, we discuss…

Consider the blow-up $X$ of $\mathbb{P}^3$ at 6 points in very general position and the 15 lines through the 6 points. We construct an infinite-order pseudo-automorphism $\phi_X$ on $X$, induced by the complete linear system of a divisor of…

A discretisation scheme that preserves topological features of a physical problem is extended so that differential geometric structures can be approximated in a consistent way thus giving access to the study of physical systems which are…