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)$.

It is shown that the Steinitz invariants of the cubic extensions of a number field are uniformly distributed in the class group when the cubic extensions are ordered by the ideal norm of their relative discriminants. This remains true even if the extensions are restricted by specifying their splitting type at a finite number of places. The same statement is also proved for quadratic extensions.

This is the second in a series of papers where we combine the classical approach to exponential Diophantine equations (linear forms in logarithms, Thue equations, etc.) with a modular approach based on some of the ideas of the proof of Fermat's Last Theorem. In this paper we use a general and powerful new lower bound for linear forms in three logarithms, together with a combination of classical, elementary and substantially improved modular methods to solve completely the Lebesgue–Nagell equation x2 + D = yn, x, y integers, $n\geq 3$, for D in the range $1 \leq D \leq 100$.

We prove that holonomic arithmetical ${\mathcal{D}}$-modules over curves have finite fibers. We also define L-functions associated with arithmetical ${\mathcal{D}}$-modules and, when the scheme is a curve, we show a cohomological formula. Furthermore, we prove that F-isocrystals over curves are holonomic.

We associate a Taylor tower supplied by the calculus of the embedding functor to the space of long knots and study its cohomology spectral sequence. The combinatorics of the spectral sequence along the line of total degree zero leads to chord diagrams with relations as in finite type knot theory. We show that the spectral sequence collapses along this line and that the Taylor tower represents a universal finite type knot invariant.

Generalizing a conjecture of Deligne, Kontsevich proposed that there should be a notion of Hochschild cohomology of algebras over the little cube operad (or its chain complex) which in a natural way generalizes Hochschild cohomology of associative algebras. He moreover conjectured that the Hochschild cohomology, in this new sense, of an algebra over the little k-cube operad is an algebra over the little (k + 1)-cube operad. In this paper, we precisely state and prove this conjecture.

We challenge the classical belief that products of degenerate quadratic forms must remain degenerate and we show that this fails in general, e.g. over tensor triangulated categories with duality. This opens new ways of constructing non-degenerate quadratic forms and hence classes in Witt groups. In addition, we encapsulate in a Leibniz-type formula the behavior of the product with respect to the symmetric cone construction. We illustrate these ideas by computing the total Witt group of regular projective spaces.

We give a realization of Nakajima varieties and the action of the Weyl group on them using certain canonical structures of homological algebras and their natural generalization, which we develop in this paper. We consider in detail the case of an affine quiver, where we present a simple homological characterization of Nakajima varieties and its relation to moduli of sheaves on the projective plane.

We prove the unirationality of the moduli space of complex curves of genus 14. The method essentially relies on linkage of curves. In particular it is shown that a general curve of genus 14 admits a projective model D, in a six-dimensional projective space, which is linked to a general curve C of degree 14 and genus 8 by a complete intersection of quadrics. Using this property we are able to obtain, after a reasonable amount of further work, the unirationality result in the case of genus 14. Moreover, some variations of the same method, involving the Hilbert schemes of curves of very low genus, are used to obtain the same result for the known cases of genus 11, 12, 13.

This work is concerned with type theory for reductive groups over a non Archimedean field. Given such a field F, and a division algebra D of finite dimension over its center F, we obtain results concerning the construction of simple types for the group GL(m, D), $m\geqslant1$. More precisely, for each simple stratum of the matrix algebra M(m, D), we produce a set of β-extensions in the sense of Bushnell and Kutzko.

Let $X\subset \mathbb{P}^r$ be a closed scheme in projective space whose homogeneous ideal is generated by quadrics. We say that X (or its ideal IX) satisfies the condition N2,p if the syzygies of IX are linear for p steps. We show that if X satisfies N2,p then a zero-dimensional or one-dimensional intersection of X with a plane of dimension $\leq p$ is 2-regular. This extends a result of Green and Lazarsfeld. We give conditions when the syzygies of X restrict to the syzygies of the intersection. Many of our results also work for ideals generated by forms of higher degree. As applications, we bound the p for which some well-known projective varieties satisfy N2,p. Another application, carried out by us in a different paper, is a step in the classification of 2-regular reduced projective schemes. Extending a result of Fröberg, we determine which monomial ideals satisfy N2,p. We also apply Green's ‘linear syzygy theorem’ to deduce a relation between the resolutions of IX and $I_{X\cup \Gamma}$ for a scheme Γ, and apply the result to bound the number of intersection points of certain pairs of varieties such as rational normal scrolls.

A characterization of the space of symmetric Laurent polynomials of type (BC)n, which vanish on a certain set of submanifolds, is given by using the Koornwinder–Macdonald polynomials. A similar characterization was given previously for symmetric polynomials of type An by using the Macdonald polynomials. We use a new method which exploits the duality relation. The method simplifies a part of the proof in the An case.

We show that every countable direct system of finite-dimensional real or complex Lie groups has a direct limit in the category of Lie groups modelled on locally convex spaces. This enables us to push all basic constructions of finite-dimensional Lie theory to the case of direct limit groups. In particular, we obtain an analogue of Lie's third theorem: every countable-dimensional locally finite real or complex Lie algebra arises as the Lie algebra of some regular Lie group (a suitable direct limit group).

The aim of this article is to provide methods for constructing smooth projective complex varieties with ample cotangent bundle. We prove that the intersection of at least n/2 sufficiently ample general hypersurfaces in a complex abelian variety of dimension n has ample cotangent bundle. We also discuss analogous questions for complete intersections in the projective space. Finally, we present an unpublished result of Bogomolov which states that a general linear section of small dimension of a product of sufficiently many smooth projective varieties with big cotangent bundle has ample cotangent bundle.

We study bounds for the Castelnuovo–Mumford regularity of homogeneous ideals in a polynomial ring in terms of the number of variables and the degree of the generators. In particular, our aim is to give a positive answer to a question posed by Bayer and Mumford in What can be computed in algebraic geometry? (Computational algebraic geometry and commutative algebra, Symposia Mathematica, vol. XXXIV (1993), 1–48) by showing that the known upper bound in characteristic zero holds true also in positive characteristic. We first analyse Giusti's proof, which provides the result in characteristic zero, giving some insight into the combinatorial properties needed in that context. For the general case, we provide a new argument which employs the Bayer–Stillman criterion for detecting regularity.

This paper concerns towers of curves over a finite field with many rational points, following Garcia–Stichtenoth and Elkies. We present a new method to produce such towers. A key ingredient is the study of algebraic solutions to Fuchsian differential equations modulo p. We apply our results to towers of modular curves, and find new asymptotically good towers.

We combine the geometric realization of principal series representations on partially holomorphic cohomology spaces, with the Bott–Borel–Weil theorem for direct limits of compact Lie groups, obtaining limits of principal series representations for direct limits of real reductive Lie groups. We introduce the notion of weakly parabolic direct limits and relate it to the conditions that the limit representations are norm-preserving representations on a Banach space or unitary representations on a Hilbert space. We specialize the results to diagonal embedding direct limit groups. Finally we discuss the possibilities of extending the results to limits of tempered series other than the principal series.

We prove the existence of complexified real arrangements with the same combinatorics but different embeddings in ${\mathbb P}^2$. Such a pair of arrangements has an additional property: they admit conjugated equations on the ring of polynomials over ${\mathbb Q}(\sqrt{5})$.

We consider deformations of singular Lagrangian varieties in symplectic manifolds. We prove that a Lagrangian deformation of a Lagrangian complete intersection is analytically rigid provided that this is the case infinitesimally. This result is given as a consequence of the coherence of the direct image sheaves of relative infinitesimal Lagrangian deformations.

We present the details of a model-theoretic proof of an analogue of the Manin–Mumford conjecture for semiabelian varieties in positive characteristic. As a by-product of the proof we reduce the general positive-characteristic Mordell–Lang problem to a question about purely inseparable points on subvarieties of semiabelian varieties.