167 research outputs found
Picard groups of punctured spectra of dimension three local hypersurfaces are torsion-free
Let (R,m) be a local ring and U_R=Spec(R) -{m} be the punctured spectrum of
R. Gabber conjectured that if R is a complete intersection of dimension 3, then
the abelian group Pic(U_R) is torsion-free. In this note we prove Gabber's
statement for the hypersurface case. We also point out certain connections
between Gabber's Conjecture, Van den Bergh's notion of non-commutative crepant
resolutions and some well-studied questions in homological algebra over local
rings.Comment: Some statements/typos fixed thanks to corrections from the referees,
main results remain the sam
Values of zeta functions of arithmetic surfaces at
We show that the recent conjecture of the first-named author for the special
value at of the zeta function of an arithmetic surface is equivalent to
the Birch-Swinnerton-Dyer conjecture for the Jacobian of the generic fibre.Comment: 27 page
The conjectures of Artin-Tate and Birch-Swinnerton-Dyer
We provide two proofs that the conjecture of Artin-Tate for a fibered surface
is equivalent to the conjecture of Birch-Swinnerton-Dyer for the Jacobian of
the generic fibre. As a byproduct, we obtain a new proof of a theorem of
Geisser relating the orders of the Brauer group and the Tate-Shafarevich group.Comment: 13 pages, Takashi Suzuki has joined as author, new version has two
proofs (second proof by Takashi Suzuki
Pairing-based algorithms for jacobians of genus 2 curves with maximal endomorphism ring
Using Galois cohomology, Schmoyer characterizes cryptographic non-trivial
self-pairings of the -Tate pairing in terms of the action of the
Frobenius on the -torsion of the Jacobian of a genus 2 curve. We apply
similar techniques to study the non-degeneracy of the -Tate pairing
restrained to subgroups of the -torsion which are maximal isotropic with
respect to the Weil pairing. First, we deduce a criterion to verify whether the
jacobian of a genus 2 curve has maximal endomorphism ring. Secondly, we derive
a method to construct horizontal -isogenies starting from a
jacobian with maximal endomorphism ring
- …