Source author record

Dino Lorenzini

Dino Lorenzini appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG math.AC math.NT

Catalog footprint

What is connected

2works

3topics

2close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2014arXiv

Hypersurfaces in projective schemes and a moving lemma

Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique for proving the existence of closed subschemes H/S of X/S with various favorable properties. We offer several applications of this technique, including the existence of finite quasi-sections in certain projective morphisms, and the existence of hypersurfaces in X/S containing a given closed subscheme C, and intersecting properly a closed set F. Assume now that the base S is the spectrum of a ring R such that for any finite morphism Z -> S, Pic(Z) is a torsion group. This condition is satisfied if R is the ring of integers of a number field, or the ring of functions of a smooth affine curve over a finite field. We prove in this context a moving lemma pertaining to horizontal 1-cycles on a regular scheme X quasi-projective and flat over S. We also show the existence of a finite surjective S-morphism to the projective space P_S^d for any scheme X projective over S when X/S has all its fibers of a fixed dimension d.

preprint2012arXiv

The index of an algebraic variety

Let K be the field of fractions of a Henselian discrete valuation ring O_K. Let X_K/K be a smooth proper geometrically connected scheme admitting a regular model X/O_K. We show that the index δ(X_K/K) of X_K/K can be explicitly computed using data pertaining only to the special fiber X_k/k of the model X. We give two proofs of this theorem, using two moving lemmas. One moving lemma pertains to horizontal 1-cycles on a regular projective scheme X over the spectrum of a semi-local Dedekind domain, and the second moving lemma can be applied to 0-cycles on an FA-scheme X which need not be regular. The study of the local algebra needed to prove these moving lemmas led us to introduce an invariant γ(A) of a singular local ring (A, \m): the greatest common divisor of all the Hilbert-Samuel multiplicities e(Q,A), over all \m-primary ideals Q in \m. We relate this invariant γ(A) to the index of the exceptional divisor in a resolution of the singularity of Spec(A), and we give a new way of computing the index of a smooth subvariety X_K/K of P^n_K over any field K, using the invariant γof the local ring at the vertex of a cone over X.