In his work on deformation quantization of algebraic varieties Kontsevich introduced the notion of algebroid as a certain generalization of a sheaf of algebras. We construct algebroids which are given locally by NC-smooth thickenings in the sense of Kapranov, over two classes of smooth varieties: the bases of miniversal families of vector bundles on projective curves, and the bases of miniversal families of quiver representations.

The main object of this paper is the mean square Ih(s) of higher derivatives of Hurwitz zeta functions ζ(s, α). We shall prove asymptotic formulas for Ih(1/2 + it) as t → +∞ with the coefficients in closed expressions (Theorem 1). We also prove a certain explicit formula for Ih(1/2 + it) (Theorem 2), in which the coefficients are, in a sense, not explicit. However, one merit of this formula is that it contains sufficient information for obtaining the complete asymptotic expansion for Ih(1/2 + it) when h is small. Another merit is that Theorem 1 can be strengthened with the aid of Theorem 2 (see Theorem 3). The fundamental method for the proofs is Atkinson's dissection argument applied to the product ζ(u, α)ζ(v, α) with the independent complex variables u and v.

We prove equality of the various rational $p$-adic period morphisms for smooth, not necessarily proper, schemes. We start with showing that the $K$-theoretical uniqueness criterion we had found earlier for proper smooth schemes extends to proper finite simplicial schemes in the good reduction case and to cohomology with compact support in the semistable reduction case. It yields the equality of the period morphisms for cohomology with compact support defined using the syntomic, almost étale, and motivic constructions. We continue with showing that the $h$-cohomology period morphism agrees with the syntomic and almost étale period morphisms whenever the latter morphisms are defined (and up to a change of Hyodo–Kato cohomology). We do it by lifting the syntomic and almost étale period morphisms to the $h$-site of varieties over a field, where their equality with the $h$-cohomology period morphism can be checked directly using the Beilinson Poincaré lemma and the case of dimension $0$. This also shows that the syntomic and almost étale period morphisms have a natural extension to the Voevodsky triangulated category of motives and enjoy many useful properties (since so does the $h$-cohomology period morphism).

In this paper, we study the family of algebraic K3 surfaces generated by the smooth intersection of a (1, 1) form and a (2, 2) form in ${\open P}^2\times{\open P}^2$ defined over ${\open C}$ and with Picard number 3. We describe the group of automorphisms ${\cal A}={\rm Aut}(V/{\open C})$ on V. For an ample divisor D and an arbitrary curve C0 on V, we investigate the asymptotic behavior of the quantity $N_{{\cal A}(C_0)}(t)=\#\{C \in {\cal A}(C_0): C\cdot D<t\}$. We show that the limit $\lim_{t\to \infty } {\log N_{{\cal A}(C\,)}(t)\over \log t}=\alpha\fleqno{}$ exists, does not depend on the choice of curve C or ample divisor D, and that .6515<α<.6538.

In this paper we establish a Chowla–Selberg formula for abelian CM fields. This is an identity which relates values of a Hilbert modular function at CM points to values of Euler’s gamma function ${\rm\Gamma}$ and an analogous function ${\rm\Gamma}_{2}$ at rational numbers. We combine this identity with work of Colmez to relate the CM values of the Hilbert modular function to Faltings heights of CM abelian varieties. We also give explicit formulas for products of exponentials of Faltings heights, allowing us to study some of their arithmetic properties using the Lang–Rohrlich conjecture.

The class field theory for the fraction field of a two-dimensional complete normal local ring with finite residue field is established by S. Saito. In this paper, we investigate the index of the norm group in the K2-idele class group for a finite Abelian extension of such fields and deduce that the existence theorem does not hold for almost fields in this case.

This corrigendum corrects a mistake in K. Belabas, On the mean 3-rank of quadratic fields, Compositio Math. 118 (1999), 1–9.

Let $F$ be a non-Archimedean local field, $G$ a connected reductive group defined and split over $F$, and $T$ a maximal $F$-split torus in $G$. Let $\unicode[STIX]{x1D712}_{0}$ be a depth-zero character of the maximal compact subgroup $T$ of $T(F)$. This gives by inflation a character $\unicode[STIX]{x1D70C}$ of an Iwahori subgroup $\unicode[STIX]{x2110}\subset T$ of $G(F)$. From Roche [Types and Hecke algebras for principal series representations of split reductive$p$-adic groups, Ann. Sci. Éc. Norm. Supér. (4) 31 (1998), 361–413], $\unicode[STIX]{x1D712}_{0}$ defines a reductive $F$-split group $\widetilde{G}^{\prime }$ whose connected component $G^{\prime }$ is an endoscopic group of $G$, and there is an isomorphism of $\mathbb{C}$-algebras $\unicode[STIX]{x210B}(G(F),\unicode[STIX]{x1D70C})\rightarrow \unicode[STIX]{x210B}(\widetilde{G}^{\prime }(F),1_{\unicode[STIX]{x2110}^{\prime }})$ where $\unicode[STIX]{x210B}(G(F),\unicode[STIX]{x1D70C})$ is the Hecke algebra of compactly supported $\unicode[STIX]{x1D70C}^{-1}$-spherical functions on $G(F)$ and $\unicode[STIX]{x2110}^{\prime }$ is an Iwahori subgroup of $G^{\prime }(F)$. This isomorphism gives by restriction an injective morphism $\unicode[STIX]{x1D701}:Z(G(F),\unicode[STIX]{x1D70C})\rightarrow Z(G^{\prime }(F),1_{\unicode[STIX]{x2110}^{\prime }})$ between the centers of the Hecke algebras. We prove here that a certain linear combination of morphisms analogous to $\unicode[STIX]{x1D701}$ realizes the transfer (matching of strongly $G$-regular semi-simple orbital integrals). If $\operatorname{char}(F)=p>0$, our result is unconditional only if $p$ is large enough.

In this work we prove the so-called dimension property for the cohomological field theory associated with a homogeneous polynomial $W$ with an isolated singularity, in the algebraic framework of [A. Polishchuk and A. Vaintrob, Matrix factorizations and cohomological field theories, J. Reine Angew. Math. 714 (2016), 1–122]. This amounts to showing that some cohomology classes on the Deligne–Mumford moduli spaces of stable curves, constructed using Fourier–Mukai-type functors associated with matrix factorizations, live in prescribed dimension. The proof is based on a homogeneity result established in [A. Polishchuk and A. Vaintrob, Algebraic construction of Witten’s top Chern class, in Advances in algebraic geometry motivated by physics (Lowell, MA, 2000) (American Mathematical Society, Providence, RI, 2001), 229–249] for certain characteristic classes of Koszul matrix factorizations of $0$ . To reduce to this result, we use the theory of Fourier–Mukai-type functors involving matrix factorizations and the natural rational lattices in the relevant Hochschild homology spaces, as well as a version of Hodge–Riemann bilinear relations for Hochschild homology of matrix factorizations. Our approach also gives a proof of the dimension property for the cohomological field theories associated with some quasihomogeneous polynomials with an isolated singularity.

For an elliptic curve $E$ over a local field $K$ and a separable quadratic extension of $K$ , motivated by connections to the Birch and Swinnerton-Dyer conjecture, Kramer and Tunnell have conjectured a formula for computing the local root number of the base change of $E$ to the quadratic extension in terms of a certain norm index. The formula is known in all cases except some where $K$ is of characteristic $2$ , and we complete its proof by reducing the positive characteristic case to characteristic $0$ . For this reduction, we exploit the principle that local fields of characteristic $p$ can be approximated by finite extensions of $\mathbb{Q}_{p}$ : we find an elliptic curve $E^{\prime }$ defined over a $p$ -adic field such that all the terms in the Kramer–Tunnell formula for $E^{\prime }$ are equal to those for $E$ .

Thurston introduced shear deformations (cataclysms) on geodesic laminations–deformations including left and right displacements along geodesics. For hyperbolic surfaces with cusps, we consider shear deformations on disjoint unions of ideal geodesics. The length of a balanced weighted sum of ideal geodesics is defined and the Weil–Petersson (WP) duality of shears and the defined length is established. The Poisson bracket of a pair of balanced weight systems on a set of disjoint ideal geodesics is given in terms of an elementary $2$-form. The symplectic geometry of balanced weight systems on ideal geodesics is developed. Equality of the Fock shear coordinate algebra and the WP Poisson algebra is established. The formula for the WP Riemannian pairing of shears is also presented.

We discuss the problem of classifying crepant analytically extremal contractions $X \to Y$ from a smooth 3-fold, contracting an irreducible normal divisor D in X to a point P in Y. We prove that, if D has degree $(-K_D)^2 \geq 5$, the analytic structure of the contraction is completely determined by the isomorphism class of the exceptional locus and its normal bundle. This was previously known only for a smooth exceptional locus D.

In this paper we develop a new technique for showing that a nonlinear algebraic differential equation is strongly minimal based on the recently developed notion of the degree of non-minimality of Freitag and Moosa. Our techniques are sufficient to show that generic order $h$ differential equations with non-constant coefficients are strongly minimal, answering a question of Poizat (1980).

We consider two families of arithmetic divisors defined on integral models of Shimura curves. The first was studied by Kudla, Rapoport and Yang, who proved that if one assembles these divisors in a formal generating series, one obtains the $q$-expansion of a modular form of weight 3/2. The present work concerns the Shimura lift of this modular form: we identify the Shimura lift with a generating series comprising divisors arising in the recent work of Kudla and Rapoport regarding cycles on Shimura varieties of unitary type. In the prequel to this paper, the author considered the geometry of the two families of cycles. These results are combined with the Archimedean calculations found in this work in order to establish the theorem. In particular, we obtain new examples of modular generating series whose coefficients lie in arithmetic Chow groups of Shimura varieties.

We generalize a result of Anderson by showing that torsion points of certain orders cannot lie on a theta divisor in the Jacobians of hyperelliptic images of Fermat curves. The proofs utilize the explicit geometry of hyperelliptic Jacobians and their formal groups at the origin.

For infinite-dimensional homotopy space forms X/G with G nontrivial finite cyclic groups, we study the homotopy type of X/G. We show that the Euler class of X/G is not zero if and only if X/G is finitely dominated.

In this paper we suppose G is a finite group acting tamely on a regular projective curve $\mathcal{X}$ over $\mathbb{Z}$ and V is an orthogonal representation of G of dimension 0 and trivial determinant. Our main result determines the sign of the $\epsilon$-constant $\epsilon(\mathcal{X}/G,V)$ in terms of data associated to the archimedean place and to the crossing points of irreducible components of finite fibers of $\mathcal{X}$, subject to certain standard hypotheses about these fibers.

A result of André Weil allows one to describe rank $n$ vector bundles on a smooth complete algebraic curve up to isomorphism via a double quotient of the set $\text{GL}_{n}(\mathbb{A})$ of regular matrices over the ring of adèles (over algebraically closed fields, this result is also known to extend to $G$-torsors for a reductive algebraic group $G$). In the present paper we develop analogous adelic descriptions for vector and principal bundles on arbitrary Noetherian schemes, by proving an adelic descent theorem for perfect complexes. We show that for Beilinson’s co-simplicial ring of adèles $\mathbb{A}_{X}^{\bullet }$, we have an equivalence $\mathsf{Perf}(X)\simeq |\mathsf{Perf}(\mathbb{A}_{X}^{\bullet })|$ between perfect complexes on $X$ and cartesian perfect complexes for $\mathbb{A}_{X}^{\bullet }$. Using the Tannakian formalism for symmetric monoidal $\infty$-categories, we conclude that a Noetherian scheme can be reconstructed from the co-simplicial ring of adèles. We view this statement as a scheme-theoretic analogue of Gelfand–Naimark’s reconstruction theorem for locally compact topological spaces from their ring of continuous functions. Several results for categories of perfect complexes over (a strong form of) flasque sheaves of algebras are established, which might be of independent interest.

We prove a contact non-squeezing phenomenon on homotopy spheres that are fillable by Liouville domains with large symplectic homology: there exists a smoothly embedded ball in such a sphere that cannot be made arbitrarily small by a contact isotopy. These homotopy spheres include examples that are diffeomorphic to standard spheres and whose contact structures are homotopic to standard contact structures. As the main tool, we construct a new version of symplectic homology, called selective symplectic homology, that is associated to a Liouville domain and an open subset of its boundary. The selective symplectic homology is obtained as the direct limit of Floer homology groups for Hamiltonians whose slopes tend to $+\infty$ on the open subset but remain close to $0$ and positive on the rest of the boundary.

We analyze the relationship between two compactifications of the moduli space of maps from curves to a Grassmannian: the Kontsevich moduli space of stable maps and the Marian–Oprea–Pandharipande moduli space of stable quotients. We construct a moduli space which dominates both the moduli space of stable maps to a Grassmannian and the moduli space of stable quotients, and equip our moduli space with a virtual fundamental class. We relate the virtual fundamental classes of all three moduli spaces using the virtual push-forward formula. This gives a new proof of a theorem of Marian–Oprea–Pandharipande: that enumerative invariants defined as intersection numbers in the stable quotient moduli space coincide with Gromov–Witten invariants.