Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact email@example.com with any questions.
Let be a smooth projective absolutely irreducible curve of genus over a number field of degree , and let denote its Jacobian. Let denote the Mordell–Weil rank of . We give an explicit and practical Chabauty-style criterion for showing that a given subset is in fact equal to . This criterion is likely to be successful if . We also show that the only solution to the equation in coprime nonzero integers is . This is achieved by reducing the problem to the determination of -rational points on several genus- curves where or and applying the method of this paper.
The naïve blowup algebras developed by Keeler, Rogalski, and Stafford, after examples of Rogalski, are the first known class of connected graded algebras that are noetherian but not strongly noetherian. This failure of the strong noetherian property is intimately related to the failure of the point modules over such algebras to behave well in families: puzzlingly, there is no fine moduli scheme for such modules although point modules correspond bijectively with the points of a projective variety . We give a geometric structure to this bijection and prove that the variety is a coarse moduli space for point modules. We also describe the natural moduli stack for embeddedpoint modules — an analog of a “Hilbert scheme of one point” — as an infinite blowup of and establish good properties of . The natural map is thus a kind of “Hilbert–Chow morphism of one point" for the naïve blowup algebra.
Let be a nonsingular projective surface defined over and having at least two elliptic fibrations defined over ; the most interesting case, though not the only one, is when is a K3 surface with these properties. We also assume that is not empty. The object of this paper is to prove, under a weak hypothesis, the Zariski density of and to study the closure of under the real and the -adic topologies. The first object is achieved by the following theorem:
Let be a nonsingular surface defined over and having at least two distinct elliptic fibrations. There is an explicitly computable Zariski closed proper subset of defined over such that if there is a point of not in then is Zariski dense in .
The methods employed to study the closure of in the real or -adic topology demand an almost complete knowledge of ; a typical example of what they can achieve is as follows. Let be
Let be a smooth proper variety over a perfect field of arbitrary characteristic. Let be an effective divisor on with multiplicity. We introduce an Albanese variety of of modulus as a higher-dimensional analogue of the generalized Jacobian of Rosenlicht and Serre with modulus for smooth proper curves. Basing on duality of 1-motives with unipotent part (which are introduced here), we obtain explicit and functorial descriptions of these generalized Albanese varieties and their dual functors.
We define a relative Chow group of zero cycles of modulus and show that can be viewed as a universal quotient of .
As an application we can rephrase Lang’s class field theory of function fields of varieties over finite fields in explicit terms.
We prove that a conjecture of Chai on the additivity of the base change conductor for semiabelian varieties over a discretely valued field is equivalent to a Fubini property for the dimensions of certain motivic integrals. We prove this Fubini property when the valued field has characteristic zero.
This paper presents three results on -singularities. First, we give a new proof of Eisenstein’s restriction theorem for adjoint ideal sheaves using the theory of -singularities. Second, we show that a conjecture of Mustaţă and Srinivas implies a conjectural correspondence of -purity and log canonicity. Finally, we prove this correspondence when the defining equations of the variety are very general.
We develop the algebra of exponential fields and their extensions. The focus is on ELA-fields, which are algebraically closed with a surjective exponential map. In this context, we define finitely presented extensions, show that finitely generated strong extensions are finitely presented, and classify these extensions. We give an algebraic construction of Zilber’s pseudoexponential fields. As applications of the general results and methods of the paper, we show that Zilber’s fields are not model-complete, answering a question of Macintyre, and we give a precise statement explaining how Schanuel’s conjecture answers all transcendence questions about exponentials and logarithms. We discuss connections with the Kontsevich–Zagier, Grothendieck, and André transcendence conjectures on periods, and suggest open problems.
For coprime integers and , let denote the multiplicative order of modulo . Motivated by a conjecture of Arnold, we study the average of as ranges over integers coprime to , and tending to infinity. Assuming the generalized Riemann Hypothesis, we show that this average is essentially as large as the average of the Carmichael lambda function. We also determine the asymptotics of the average of as ranges over primes.
In this paper, we consider congruences of Hilbert modular forms. Sturm showed that mod elliptic modular forms of weight and level are determined by the first Fourier coefficients. We prove an analogue of Sturm’s result for Hilbert modular forms associated to totally real number fields. The proof uses the positivity of ample line bundles on toroidal compactifications of Hilbert modular varieties.