On the Kernel of the Reciprocity Map of Normal Surfaces over Finite Fields

The reciprocity map of a smooth proper variety over a finite field is known to have a trivial kernel and dense image. In this paper, we investigate the reciprocity map of a normal surface proper over a finite field and give two examples of normal projective surfaces whose reciprocity maps are not injective.     

Class field theory for open curves over p-adic fields

We introduce the idèle class group for quasi-projective curves over p-adic fields and show that the kernel of the reciprocity map is divisible. This extends Saito’s class field theory for projective curves (Saito in J Number Theory 21:44–80, 1985).     

Divisorial components of the Petri locus for pencils

The locus in the moduli space of curves where the Petri map fails to be injective is called the Petri locus. In this paper we provide a new proof on the existence of Divisorial components in the Petri locus for the case of pencils. For this proof we produce some special reducible curves (chains of elliptic components) in the Petri locus and we show that such curves have only a finite number of pencils for which the Petri map is not injective.     

Strongly Gorenstein projective, injective, and flat modules

In this paper, we study a particular case of Gorenstein projective, injective, and flat modules, which we call, respectively, strongly Gorenstein projective, injective, and flat modules. These last three classes of modules give us a new characterization of the first modules, and confirm that there is an analogy between the notion of “Gorenstein projective, injective, and flat modules” and the notion of the usual “projective, injective, and flat modules”.     

Sur l'' application de réciprocité pour une surface fibrée en coniques définie sur un corps local

For a proper smooth variety X defined over a local field k, unramified class field theory investigates the reciprocity map _X: SK₁(X) ^ab ₁(X) as introduced by S. Saito. We study this map in the case when X is a surface admitting a proper surjection onto a smooth geometrically connected curve C with a smooth conic as generic fibre. Without any assumption on the reduction of C, we prove that _X is injective modulo n for all n invertible in k and its cokernel is the same as that of _C.     

Mixed multiplier ideals and the irregularity of abelian coverings of smooth projective surfaces

A formula for the irregularity of abelian coverings of smooth projective surfaces is established. Explicit computations are performed and some applications are presented.     

Class field theory for a product of curves over a local field

We prove that the kernel of the reciprocity map for a product of curves over a p-adic field with split semi-stable reduction is divisible. We also consider the K ₁ of a product of curves over a number field.      

Relations on the period mapping giving extensions of mixed hodge structures on compact Riemann surfaces

We consider a period map from Teichmüller space to , which is a real vector bundle over the Siegel upper half space. This map lifts the Torelli map. We study the action of the mapping class group on this period map. We show that the period map from Teichmüller space modulo the Johnson kernel is generically injective. We derive relations that the quadratic periods must satisfy. These identities are generalizations of the symmetry of the Riemann period matrix. Using these higher bilinear relations, we show that the period map factors through a translation of the subbundle and is completely determined by the purely holomorphic quadratic periods. We apply this result to strengthen some theorems in the literature. One application is that the quadratic periods, along with the abelian periods, determine a generic marked compact Riemann surface up to an element of the kernel of Johnson's homomorphism. Another application is that we compute the cocycle that exhibits the mapping class group modulo the Johnson kernel as an extension of the group SP _g () by the group .     

Opers and theta functions

We construct natural maps (the Klein and Wirtinger maps) from moduli spaces of semistable vector bundles over an algebraic curve X to affine spaces, as quotients of the nonabelian theta linear series. We prove a finiteness result for these maps over generalized Kummer varieties (moduli space of torus bundles), leading us to conjecture that the maps are finite in general. The conjecture provides canonical explicit coordinates on the moduli space. The finiteness results give low-dimensional parametrizations of Jacobians (in for generic curves), described by 2Θ functions or second logarithmic derivatives of theta.We interpret the Klein and Wirtinger maps in terms of opers on X. Opers are generalizations of projective structures, and can be considered as differential operators, kernel functions or special bundles with connection. The matrix opers (analogues of opers for matrix differential operators) combine the structures of flat vector bundle and projective connection, and map to opers via generalized Hitchin maps. For vector bundles off the theta divisor, the Szegö kernel gives a natural construction of matrix oper. The Wirtinger map from bundles off the theta divisor to the affine space of opers is then defined as the determinant of the Szegö kernel. This generalizes the Wirtinger projective connections associated to theta characteristics, and the associated Klein bidifferentials.     

Gluing of idempotents,radical embeddings and two classes of stable equivalences

Stable equivalences are studied between any finite dimensional algebra A with a simple projective module and a simple injective module and an algebra B obtained from A by ‘gluing’ the corresponding idempotents of A; this extends results by Martinez-Villa. Stable equivalences modulo projectives are compared to stable equivalences modulo semisimples, and in either situation a characterization is given for a radical embedding to induce such a stable equivalence.     

Augmented base loci and restricted volumes on normal varieties

We extend to normal projective varieties defined over an arbitrary algebraically closed field a result of Ein, Lazarsfeld, Musta??, Nakamaye and Popa characterizing the augmented base locus (aka non-ample locus) of a line bundle on a smooth projective complex variety as the union of subvarieties on which the restricted volume vanishes. We also give a proof of the folklore fact that the complement of the augmented base locus is the largest open subset on which the Kodaira map defined by large and divisible multiples of the line bundle is an isomorphism.     

Projective varieties admitting an embedding with Gauss map of rank zero

We introduce an intrinsic property for a projective variety as follows: there exists an embedding into some projective space such that the Gauss map is of rank zero, which we call (GMRZ) for short. It turns out that (GMRZ) imposes strong restrictions on rational curves on projective varieties: In fact, using (GMRZ), we show that, contrary to the characteristic zero case, the existence of free rational curves does not imply that of minimal free rational curves in positive characteristic case. We also focus attention on Segre varieties, Grassmann varieties, and hypersurfaces of low degree. In particular, we give a characterisation of Fermat cubic hypersurfaces in terms of (GMRZ), and show that a general hypersurface of low degree does not satisfy (GMRZ).     

Applications of toric systems on surfaces

In this note we apply the techniques of the toric systems introduced by Hille–Perling to several problems on smooth projective surfaces: We showed that the existence of full exceptional collection of line bundles implies the rationality for small Picard rank surfaces; we proved equivalences of several notions of cyclic strong exceptional collection of line bundles; we also proposed a partial solution to a conjecture on exceptional sheaves on weak del Pezzo surfaces.     

Numerical equivalence defined on Chow groups of Noetherian local rings

In the present paper, we define a notion of numerical equivalence on Chow groups or Grothendieck groups of Noetherian local rings, which is an analogue of that on smooth projective varieties. Under a mild condition, it is proved that the Chow group modulo numerical equivalence is a finite dimensional -vector space, as in the case of smooth projective varieties. Numerical equivalence on local rings is deeply related to that on smooth projective varieties. For example, if Grothendiecks standard conjectures are true, then a vanishing of Chow group (of local rings) modulo numerical equivalence can be proven. Using the theory of numerical equivalence, the notion of numerically Roberts rings is defined. It is proved that a Cohen–Macaulay local ring of positive characteristic is a numerically Roberts ring if and only if the Hilbert–Kunz multiplicity of a maximal primary ideal of finite projective dimension is always equal to its colength. Numerically Roberts rings satisfy the vanishing property of intersection multiplicities. We shall prove another special case of the vanishing of intersection multiplicities using a vanishing of localized Chern characters.     

K-Theory of Surfaces at the Prime 2

We prove that for smooth surfaces over real closed fields, and a class of smooth projective surfaces over a real number field, the map between mod 2 algebraic and étale K-theory is an isomorphism in sufficiently large degrees. For a class of smooth projective surfaces over a real closed field, including rational surfaces, complete intersections and K3-surfaces over the real numbers, we explicate the abutment of the mod 2 motivic cohomology to algebraic K-theory spectral sequence.     

Multiple supersingular elliptic fibers on elliptic surfaces

Elliptic surfaces over an algebraically closed field in characteristic p>0 with multiple supersingular elliptic fibers, that is, multiple fibers of a supersingular elliptic curve, are investigated. In particular, it is shown that for an elliptic surface with q=g+1 and a supersingular elliptic curve as a general fiber, where q is the dimension of an Albanese variety of the surface and g is the genus of the base curve, the multiplicities of the multiple supersingular elliptic fibers are not divisible by p². As an application of this result, the structure of false hyperelliptic surfaces is discussed on this basis.     

On the zeta function of divisors for projective varieties with higher rank divisor class group

Given a projective variety X defined over a finite field, the zeta function of divisors attempts to count all irreducible, codimension one subvarieties of X, each measured by their projective degree. When the dimension of X is greater than one, this is a purely p-adic function, convergent on the open unit disk. Four conjectures are expected to hold, the first of which is p-adic meromorphic continuation to all of Cp. When the divisor class group (divisors modulo linear equivalence) of X has rank one, then all four conjectures are known to be true. In this paper, we discuss the higher rank case. In particular, we prove a p-adic meromorphic continuation theorem which applies to a large class of varieties. Examples of such varieties are projective nonsingular surfaces defined over a finite field (whose effective monoid is finitely generated) and all projective toric varieties (smooth or singular).     

Embedding of a uniquely divisible Abelian semigroup in a convex cone

It is proved that every uniquely divisible Abelian semigroup admits an injective subadditive embedding in a convex cone. As an application, the classical theory of generators of one-parameter operator semigroups is generalized to the case in which the parameter ranges over a uniquely divisible semigroup.     

On divisible designs and local algebras

We study the action of the group PGL(m,A) on the projective space PG(m − 1,A) over a finite commutative local algebra A in order to construct a class of divisible designs, denoted by D_m(d,A), which is the classical one of 2-designs (of points and of flats of fixed projective dimension) in the case where A is a field. We also study the constructed divisible designs with particular care for the case where d = m − 1. © 1995 John Wiley & Sons, Inc.     

On the Kernel of the Borel’s Characteristic Map of Lie Groups

For compact and connected Lie group $G$ with a maximal torus $T$ the quotient space $G/T$ is canonically a smooth projective manifold, known as the complete flag manifold of the group $G.$ The cohomology ring map $c^∗: H^∗ (B_T) → H^∗ (G/T)$ induced by the inclusion $c:G/T→B_T$ is called the Borel’s characteristic map of the group $G [7, 8],$ where $B_T$ denotes the classifying space of $T.$ Let $G$ be simply-connected and simple. Based on the Schubert presentation of the cohomology $H^∗ (G/T)$ of the flag manifold $G/T$ obtained in $[10, 11],$ we develop a method to find a basic set of explicit generators for the kernel ker$c^∗ ⊂ H^∗ (B_T)$ of the characteristic map $c.$