After the work of Kisin, there is a good theory of canonical integral models of Shimura varieties of Hodge type at primes of good reduction. The first part of this paper develops a theory of Hodge type Rapoport–Zink formal schemes, which uniformize certain formal completions of such integral models. In the second part, the general theory is applied to the special case of Shimura varieties associated with groups of spinor similitudes, and the reduced scheme underlying the Rapoport–Zink space is determined explicitly.

We study the relationship between the equations defining a projective variety and properties of its secant varieties. In particular, we use information about the syzygies among the defining equations to derive smoothness and normality statements about SecX and also to obtain information about linear systems on the blow up of projective space along a variety X. We use these results to geometrically construct, for varieties of arbitrary dimension, a flip first described in the case of curves by M. Thaddeus via Geometric Invariant Theory.

Let $X$ be a compact Kähler manifold and let $(L,{\it\varphi})$ be a pseudo-effective line bundle on $X$. We first define a notion of numerical dimension for pseudo-effective line bundles with singular metrics, and then discuss the properties of this numerical dimension. Finally, we prove a very general Kawamata–Viehweg–Nadel-type vanishing theorem on an arbitrary compact Kähler manifold.

In this work, we study the diophantine equation\renewcommand{\theequation}{1.1}\begin{equation}f(X) = Y^m,\end{equation} where $m \geqslant 2$ is an integer and $f(X)$ is a polynomial with coefficients in a number field ${\bf K}$. The first important result on this topic is due to Siegel [19], who showed that if $m = 2$ and $f$ has at least three simple roots or if $m \geqslant 3$ and $f$ has at least two simple roots, then (1.1) has only finitely many integral solutions. Three years later, he proved [20] that if the algebraic curve defined by (1.1) is of positive genus, then (1.1) has only finitely many integral solutions. The $p$-adic analogue of this theorem was established independently by Lang [9] and LeVeque [12], who showed that, under the same conditions, (1.1) has only finitely many $S$-integral solutions. After that, LeVeque [13] gave a necessary and sufficient condition for the algebraic curve defined by (1.1) to have positive genus. However, all these results are based on Thue's method, and hence are ineffective.

We introduce a sequence of isolated curve singularities, the elliptic m-fold points, and an associated sequence of stability conditions, generalizing the usual definition of Deligne–Mumford stability. For every pair of integers 1≤m<n, we prove that the moduli problem of n-pointed m-stable curves of arithmetic genus one is representable by a proper irreducible Deligne–Mumford stack . We also consider weighted variants of these stability conditions, and construct the corresponding moduli stacks . In forthcoming work, we will prove that these stacks have projective coarse moduli and use the resulting spaces to give a complete description of the log minimal model program for .

We present some applications of the Subspace Theorem to the investigation of the arithmetic of the values of Laurent series f(z) at S-unit points. For instance we prove that if f(qn) is an algebraic integer for infinitely many n, then h(f(qn)) must grow faster than n. By similar principles, we also prove diophantine results about power sums and transcendency results for lacunary series; these include as very special cases classical theorems of Mahler. Our arguments often appear to be independent of previous techniques in the context.

In Bennett et al. [BGG reciprocity for current algebras, Adv. Math. 231 (2012), 276–305] it was conjectured that a BGG-type reciprocity holds for the category of graded representations with finite-dimensional graded components for the current algebra associated to a simple Lie algebra. We associate a current algebra to any indecomposable affine Lie algebra and show that, in this generality, the BGG reciprocity is true for the corresponding category of representations.

We consider an embedded modular curve in a locally symmetric space M attached to an orthogonal group of signature (p, 2) and associate to it a nonholomorphic elliptic modular form by integrating a certain theta function over the modular curve. We compute the Fourier expansion and identify the generating series of the (suitably defined) intersection numbers of the Heegner divisors in M with the modular curve as the holomorphic part of the modular form. This recovers and generalizes parts of work of Hirzebruch and Zagier.

In this paper, we consider the preservation of stability by using the notion of twisted stability. As applications, (1) we show that moduli spaces of stable sheaves on K3 and abelian surfaces are irreducible and (2) we compute Hodge polynomials of some moduli spaces of stable sheaves on Enriques surfaces.

We prove that the Veronese embedding φ$_{\cal O \Bbb P}$n(d):$\Bbb P$n$\hookrightarrow \Bbb P$N with n[ges ]2, d[ges ]3 does not satisfy property Np (according to Green and Lazarsfeld) if p[ges ]3d−2. We make the conjecture that also the converse holds. This is true for n=2 and for n=d=3.

We describe an algorithm for computing parameter-test-ideals in certain local Cohen–Macaulay rings. The algorithm is based on the study of a Frobenius map on the injective hull of the residue field of the ring and on the application of Sharp’s notion of ‘special ideals’. Our techniques also provide an algorithm for computing indices of nilpotency of Frobenius actions on top local cohomology modules of the ring and on the injective hull of its residue field. The study of nilpotent elements on injective hulls of residue fields also yields a great simplification of the proof of the celebrated result in the article Generators of D-modules in positive characteristic (J. Alvarez-Montaner, M. Blickle and G. Lyubeznik, Math. Res. Lett. 12 (2005), 459–473).

Let $\mathfrak{n}$ be a maximal nilpotent subalgebra of a complex symmetric Kac–Moody Lie algebra. Lusztig has introduced a basis of $U(\mathfrak{n})$ called the semicanonical basis, whose elements can be seen as certain constructible functions on varieties of nilpotent modules over a preprojective algebra of the same type as $\mathfrak{n}$. We prove a formula for the product of two elements of the dual of this semicanonical basis, and more generally for the product of two evaluation forms associated to arbitrary modules over the preprojective algebra. This formula plays an important rôle in our work on the relationship between semicanonical bases, representation theory of preprojective algebras, and Fomin and Zelevinsky's theory of cluster algebras. It was inspired by recent results of Caldero and Keller.

We show that the norm of a Bethe vector in the $sl_{r+1}$ Gaudin model is equal to the Hessian of the corresponding master function at the corresponding critical point. In particular the Bethe vectors corresponding to non-degenerate critical points are non-zero vectors. This result is a byproduct of functorial properties of Bethe vectors studied in this paper. As another byproduct of functoriality we show that the Bethe vectors form a basis in the tensor product of several copies of first and last fundamental $sl_{r+1}$-modules.

This paper is a continuation of the author's previous work, where we studied one of the inequalities between the characteristic ideal of the Selmer group and the ideal of the $p$-adic $L$-function predicted by the two-variable Iwasawa main conjecture for a nearly ordinary Hida deformation $\mathcal{T}$. In this paper, we study several properties of the Selmer group and the $p$-adic $L$-function solving some of the open questions raised in the author's previous work. As applications, we have an infinite family of elliptic cuspforms where the cyclotomic Iwasawa main conjecture holds for every cuspform in the family.

We define stacks of uniform cyclic covers of Brauer–Severi schemes, proving that they can be realized as quotient stacks of open subsets of representations, and compute the Picard group for the open substacks parametrizing smooth uniform cyclic covers. Moreover, we give an analogous description for stacks parametrizing triple cyclic covers of Brauer–Severi schemes of rank 1 that are not necessarily uniform, and give a presentation of the Picard group of the substacks corresponding to smooth triple cyclic covers.

We introduce an essentially new Grothendieck topology, the Weil-étale topology, on schemes over finite fields. The cohomology groups associated with this topology should behave better than the standard étale cohomology groups. In particular there is a very natural definition of an Euler characteristic and a plausible conjecture relating the Euler characteristic of Z to the value of the zeta-function at s = 0. This conjecture is proved in certain cases.

Let $f$ be a newform of weight $2k-2$ and level 1. In this paper we provide evidence for the Bloch–Kato conjecture for modular forms. We demonstrate an implication that under suitable hypotheses if $\varpi \mid L_{\rm alg}(k,f)$ then $p \mid \# H_{f}(\mathbb{Q},W_{f}(1-k))$ where $p$ is a suitably chosen prime and $\varpi$ a uniformizer of a finite extension $K/\mathbb{Q}_{p}$. We demonstrate this by establishing a congruence between the Saito–Kurokawa lift $F_{f}$ of $f$ and a cuspidal Siegel eigenform $G$ that is not a Saito–Kurokawa lift. We then examine what this congruence says in terms of Galois representations to produce a non-trivial $p$-torsion element in $H_{f}^1(\mathbb{Q},W_{f}(1-k))$.

The chain complexes underlying Floer homology theories typically carry a real-valued filtration, allowing one to associate to each Floer homology class a spectral number defined as the infimum of the filtration levels of chains representing that class. These spectral numbers have been studied extensively in the case of Hamiltonian Floer homology by Oh, Schwarz and others. We prove that the spectral number associated to any nonzero Floer homology class is always finite, and that the infimum in the definition of the spectral number is always attained. In the Hamiltonian case, this implies that what is known as the ‘nondegenerate spectrality’ axiom holds on all closed symplectic manifolds. Our proofs are entirely algebraic and apply to any Floer-type theory (including Novikov homology) satisfying certain standard formal properties. The key ingredient is a theorem about the existence of best approximations of arbitrary elements of finitely generated free modules over Novikov rings by elements of prescribed submodules with respect to a certain family of non-Archimedean metrics.

Let R be a d-dimensional regular local ring of characteristic p > 0 with maximal ideal $\mathfrak m$, let I be an ideal of R and let A = R/I. We describe some properties of the local cohomology module HiI(R), in particular its vanishing, in terms of the Frobenius action on the local cohomology module $H^{d-i}_{\mathfrak m}(A)$.