We develop some cohomological tools for the study of the local geometry of moduli and parameter spaces in complex Algebraic Geometry. Notably, we develop canonical formulae for the differential operators of arbitrary order and their natural action on suitable `natural' modules (for example, functions); in particular, we obtain a formula, in terms of the moduli problem, for the Lie bracket of vector fields on a moduli space. As an application, we obtain another construction and proof of flatness for the familiar KZW or Hitchin connection on moduli spaces of curves.

We show that if $k$ is a positive integer, then there are, under certain technical hypotheses, only finitely many coprime positive $k$-term arithmetic progressions whose product is a perfect power. If $4 \leq k \leq 11$, we obtain the more precise conclusion that there are, in fact, no such progressions. Our proofs exploit the modularity of Galois representations corresponding to certain Frey curves, together with a variety of results, classical and modern, on solvability of ternary Diophantine equations. As a straightforward corollary of our work, we sharpen and generalize a theorem of Sander on rational points on superelliptic curves.

This paper introduces a new approach to the study of certain aspects of Galois module theory by combining ideas arising from the study of the Galois structure of torsors of finite group schemes with techniques coming from relative algebraic $K$-theory.

In the mid-1960s Borevi$\setminus$v\{c\} and Faddeev initiated the study of the Galois module structure of groups of \$p\$th-power classes of cyclic extensions \$K/F\$ of \$p\$th-power degree. They determined the structure of these modules in the case when \$F\$ is a local field. In this paper we determine these Galois modules for all base fields \$F\$.

Over arbitrary fields of characteristic not equal to 2, we construct three families of simple Lie algebras and six families of simple Lie superalgebras of matrices with entries chosen from different one-sided ideals of a simple associative algebra. These families correspond to the classical Lie algebras and superalgebras. Our constructions intermix the structure of the associative algebra and the structure of the matrix algebra in an essential, compatible way. Many examples of simple associative algebras without an identity element arise as a by-product. The study of conformal algebras and superalgebras often involves matrix algebras over associative algebras such as Weyl algebras, and for that reason, we illustrate our constructions by taking various one-sided ideals from a Weyl algebra or a quantum torus.

We study the properties of tilting modules in the context of properly stratified algebras. In particular, we answer the question of when the Ringel dual of a properly stratified algebra is properly stratified itself, and show that the class of properly stratified algebras for which the characteristic tilting and cotilting modules coincide is closed under taking the Ringel dual. Studying stratified algebras whose Ringel dual is properly stratified, we discover a new Ringel-type duality for such algebras, which we call the two-step duality. This duality arises from the existence of a new (generalized) tilting module for stratified algebras with properly stratified Ringel dual. We show that this new tilting module has a lot of interesting properties; for instance, its projective dimension equals the projectively defined finitistic dimension of the original algebra, it guarantees that the category of modules of finite projective dimension is contravariantly finite, and, finally, it allows one to compute the finitistic dimension of the original algebra in terms of the projective dimension of the characteristic tilting module.

In this paper we calculate the Loewy series of the projective indecomposable module of the unipotent block contained in the Gelfand–Graev module of the finite general linear group in the case of non-describing characteristic and Abelian defect group.

We exploit duality considerations in the study of singular combinatorial 2-discs (diagrams) and are led to the following innovations concerning the geometry of the word problem for finite presentations of groups. We define a filling function called gallery length that measures the diameter of the 1-skeleton of the dual of diagrams; we show it to be a group invariant and we give upper bounds on the gallery length of combable groups. We use gallery length to give a new proof of the Double Exponential Theorem. Also we give geometric inequalities relating gallery length to the space-complexity filling function known as filling length.

This corrigendum supplies different proofs for those places in the original paper where a certain theorem by Rickard was used.

This paper follows the program of study initiated by S. Fomin and A. Zelevinsky, and demonstrates that the homogeneous coordinate ring of the Grassmannian $\mathbb{G}(k, n)$ is a {\it cluster algebra of geometric type}. Those Grassmannians that are of {\it finite cluster type} are identified and their cluster variables are interpreted geometrically in terms of configurations of points in $\mathbb{C}\mathbb{P}^2$.

In 2002, L. Nicolaescu and the fourth author formulated a very general conjecture which relates the geometric genus of a Gorenstein surface singularity with rational homology sphere link with the Seiberg--Witten invariant (or one of its candidates) of the link. Recently, the last three authors found some counterexamples using superisolated singularities. The theory of superisolated hypersurface singularities with rational homology sphere link is equivalent with the theory of rational cuspidal projective plane curves. In the case when the corresponding curve has only one singular point one knows no counterexample. In fact, in this case the above Seiberg--Witten conjecture led us to a very interesting and deep set of `compatibility properties' of these curves (generalising the Seiberg--Witten invariant conjecture, but sitting deeply in algebraic geometry) which seems to generalise some other famous conjectures and properties as well (for example, the Noether--Nagata or the log Bogomolov--Miyaoka--Yau inequalities). Namely, we provide a set of `compatibility conditions' which conjecturally is satisfied by a local embedded topological type of a germ of plane curve singularity and an integer $d$ if and only if the germ can be realized as the unique singular point of a rational unicuspidal projective plane curve of degree $d$. The conjectured compatibility properties have a weaker version too, valid for any rational cuspidal curve with more than one singular point. The goal of the present article is to formulate these conjectured properties, and to verify them in all the situations when the logarithmic Kodaira dimension of the complement of the corresponding plane curves is strictly less than 2.

We make a detailed study of the relation of a euclidean convex region $\Omega \subset \mathbb C$ to $\mathrm{Dome} (\Omega)$. The dome is the relative boundary, in the upper halfspace model of hyperbolic space, of the hyperbolic convex hull of the complement of $\Omega$. The first result is to prove that the nearest point retraction $r: \Omega \to \mathrm{Dome} (\Omega)$ is 2-quasiconformal. The second is to establish precise estimates of the distortion of $r$ near $\partial \Omega$.

We consider the stationary non-linear Schrödinger equation\begin{equation*}\Delta u + \{1 + \lambda g(x)\} u = f(u)\mbox{with}u \in H^{1} (\mathbb{R}^{N}), u \not\equiv 0,\end{equation*} where $\lambda >0$ and the functions $f$ and $g$ are such that\begin{equation*} \lim_{s \rightarrow 0}\frac{f(s)}{s} = 0 \mbox{and} 1 < \alpha + 1 = \lim _{|s| \rightarrow \infty}\frac{f(s)}{s} < \infty\end{equation*} and \begin{equation*} g(x)\equiv 0 \mbox{on} \bar{\Omega}, g(x)\in (0, 1] \mbox{on} {\mathbb{R}^{N}} \setminus {\overline{\Omega}} \mbox{and} \lim_{|x| \rightarrow + \infty} g(x) = 1 \end{equation*} for some bounded open set $\Omega \in \mathbb{R}^{N}$. We use topological methods to establish the existence of two connected sets $\mathcal{D}^{\pm}$ of positive/negative solutions in $\mathbb{R} \times W^{2, p} (\mathbb{R}^{N})$ where $p \in [2, \infty) \cap (\frac{N}{2},\infty)$ that cover the interval $(\alpha,\Lambda(\alpha))$ in the sense that \begin{align*} P \mathcal{D}^{\pm} & = (\alpha, \Lambda(\alpha)) \text{where}P(\lambda, u) = \lambda \text{and furthermore,} \\ \lim_{\lambda \rightarrow \Lambda(\alpha)-}\left\Vert u_{\lambda} \right\Vert _{L^{\infty} (\mathbb{R}^{N})} & = \lim_{\lambda \rightarrow \Lambda (\alpha )-} \left\Vert u_{\lambda} \right\Vert _{W^{2, p}(\mathbb{R}^{N})} = \infty \text{ for }(\lambda, u_{\lambda}) \in \mathcal{D}^{\pm}. \end{align*} The number $\Lambda(\alpha)$ is characterized as the unique value of $\lambda$ in the interval $(\alpha, \infty)$ for which the asymptotic linearization has a positive eigenfunction. Our work uses a degree for Fredholm maps of index zero.

The absolutely continuous spectrum of a very general class of differential operators of order $2n$ is determined, for operators whose coefficients satisfy conditions that combine smoothness and decay properties. The main methods are asymptotic integration and the analysis of the associated $M$-matrix. The form of the solutions precludes the absence of a singular continuous spectrum.

We employ techniques from the theory of disintegration of measures to study the Lifting Problem for commuting $n$-tuples of subnormal weighted shifts. We obtain a new necessary condition for the existence of a lifting, and generate new pathology associated with bringing together the Berger measures associated to each individual weighted shift. For subnormal $2$-variable weighted shifts, we then find the precise relation between the Berger measure of the pair and the Berger measures of the shifts associated to horizontal rows and vertical columns of weights.

We determine when a metric measure space admits a uniformizing density which has Ahlfors regular volume growth. A characterization of uniformizing conformal densities in terms of doubling and a lifting procedure are the key ingredients in our presentation. We also furnish an application characterizing metric doubling measures.

We present a vector field method for showing that certain subgroups of the mapping class group $\Gamma$ of a Riemann surface of infinite topological type act properly discontinuously. We apply the method to the group of homotopy classes of quasiconformal self-maps of the complement $\Omega$ of a Cantor set in $\mathbb{C}$. When the Cantor set has bounded geometric type, we show that $\Gamma(\Omega)$ acts on the Teichmüller space $T(\Omega)$ properly discontinuously. Also, we apply the same method to show that the pure mapping class group $\Gamma_0(\Omega \cup \{\infty\})$ acts properly discontinuously on $T(\Omega \cup \{\infty\})$.

In this first part of a study of ordered operator spaces, we develop the basic theory of 'ordered C*-bimodules'. A crucial role is played by 'open tripotents', a JB*-triple variant of Akemann's notion of open projection.

Let $V(\mathbb{R})$ denote the Banach algebra of absolutely continuous functions of bounded total variation on $\mathbb{R}$, and let $\mathcal{B}_p$ be the Banach algebra of bounded linear operators acting on the Lebesgue space $L^p(\mathbb{R})$ for $1 < p < \infty$. We study the Banach algebra $\mathfrak{A}\subset\mathcal{B}_p$ generated by the pseudodifferential operators of zero order with slowly oscillating $V(\mathbb{R})$-valued symbols on $\mathbb{R}$. Boundedness and compactness conditions for pseudodifferential operators with symbols in $L^\infty (\mathbb{R}, V(\mathbb{R}))$ are obtained. A symbol calculus for the non-closed algebra of pseudodifferential operators with slowly oscillating $V(\mathbb{R})$-valued symbols is constructed on the basis of an appropriate approximation of symbols by infinitely differentiable ones and by use of the techniques of oscillatory integrals. As a result, the quotient Banach algebra $\mathfrak{A}^\pi = {\mathfrak A} / \mathcal{K}$, where $\mathcal{K}$ is the ideal of compact operators in $\mathcal{B}_p$, is commutative and involutive. An isomorphism between the quotient Banach algebra $\mathfrak{A}^\pi$ of pseudodifferential operators and the Banach algebra $\widehat{\mathfrak{A}}$ of their Fredholm symbols is established. A Fredholm criterion and an index formula for the pseudodifferential operators $A \in \mathfrak{A}$ are obtained in terms of their Fredholm symbols.

In previous joint work with Cappell and Shaneson, we have established an Atiyah–Lusztig–Meyer-type multiplicative characteristic class formula for the twisted signature and, more generally, the twisted $L$-class, of a stratified Witt space. The present paper shows that these formulae hold even when the stratified space does not satisfy the Witt condition. It constitutes one of the first applications of signature homology.