Related papers: N\'eron's pairing and relative algebraic equivalen…

Let S be the spectrum of a discrete valuation ring with function field K. Let X be a scheme over S. We will say that X is semi-factorial over S if each invertible sheaf on the generic fiber X_K can be extended to an invertible sheaf on X.…

Let S be a Dedekind scheme with field of functions K. We show that if X_K is a smooth connected proper curve of positive genus over K, then it admits a N\'eron model over S, i.e., a smooth separated model of finite type satisfying the usual…

Let $X$ be a rationally connected algebraic variety, defined over a number field $k$. We find a relation between the arithmetic of rational points on $X$ and the arithmetic of zero-cycles. More precisely, we consider the following…

Let $k$ be the function field of a complex curve or the field $C((t))$. We show that for a smooth complete intersection $X$ of $r$ hypersurfaces in $P^n_k$ of respective degrees $d_1,...,d_r$ with $\sum d_i^2\leq n+1$ the R-equivalence on…

Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether…

In this paper we study the group $A_0(X)$ of zero dimensional cycles of degree 0 modulo rational equivalence on a projective homogeneous algebraic variety $X$. To do this we translate rational equivalence of 0-cycles on a projective variety…

We present a conjectural formula describing the cokernel of the Albanese map of zero-cycles of smooth projective varieties $X$ over $p$-adic fields in terms of the N\'eron-Severi group and provide a proof under additional assumptions on an…

In our previous study of duality for complete discrete valuation fields with perfect residue field, we treated coefficients in finite flat group schemes. In this paper, we treat abelian varieties. This in particular implies Grothendieck's…

Let R be a discrete valuation ring with algebraically closed residue field, and consider a smooth curve CK over the field of fractions K. For any positive integer r prime to the residual characteristic, we consider the finite K-group scheme…

The lower central series invariants M_k of an associative algebra A are the two-sided ideals generated by k-fold iterated commutators; the M_k provide a filtration of A. We study the relationship between the geometry of X = Spec A_ab and…

Let (X,L) be a quasi polarized pairs, i.e. X is a normal complex projective variety and L is a nef and big line bundle on it. We study, up to birational equivalence, the positivity (nefness) of the adjoint bundles K_X + rL for high rational…

We provide a new description of the N\'eron model of the Jacobian of a smooth curve $C_K$ with stable reduction $C_R$ on a discrete valuation ring $R$ with field of fractions $K$. Instead of the regular semistable model, our approach uses…

Let G be a connected semisimple linear algebraic group over an algebraically closed field k of positive characteristic and let X denote an equivariant embedding of G. We define a distinguished Steinberg fiber N in G, called the zero-fiber,…

It is well known that for a regular semistable curve $\mathfrak X$ over a DVR with algebraically closed residue field, the spanning trees of the dual graph of the special fiber of $\mathfrak X$ are in bijection with components of the…

We work with a smooth relative curve $X_U/U$ with nodal reduction over an excellent and locally factorial scheme $S$. We show that blowing up a nodal model of $X_U$ in the ideal sheaf of a section yields a new nodal model, and describe how…

We define a variant of intersection space theory that applies to many compact complex and real analytic spaces $X$, including all complex projective varieties; this is a significant extension to a theory which has so far only been shown to…

Let A be the N\'eron model of an abelian variety A_K over the fraction field K of a discrete valuation ring R. Due to work of Mazur-Messing, there is a functorial way to prolong the universal extension of A_K by a vector group to a smooth…

Given subvarieties $X, Y$ of a complex algebraic variety $S$ of complementary dimension, must they intersect? When $S$ is projective space, this is a consequence of the classical B\'ezout theorem, and an analogue for simple abelian…

Given a smooth projective variety $X$ over a field, consider the $\mathbb Q$-vector space $Z_0(X)$ of 0-cycles (i.e. formal finite $\mathbb Q$-linear combinations of the closed points of $X$) as a module over the algebra of finite…

We describe a general algorithm for computing intersection pairings on arithmetic surfaces. We have implemented our algorithm for curves over $\mathbb Q$, and we show how to use it to compute regulators for a number of Jacobians of smooth…