It is proved that the 3-part of the class number of a quadratic field $\mathbb{Q}(\sqrt{D})$ is $O(|D|^{55/112 + \ep})$ in general and $O(|D|^{5/12+\ep})$ if $|D|$ has a divisor of size $|D|^{5/6}$. These bounds follow as results of nontrivial estimates for the number of solutions to the congruence $x^a \,{\con}\, y^b$ modulo $q$ in the ranges $x \,{\leqslant}\,X$ and $y\,{\leqslant}\, Y$, where $a,b$ are nonzero integers and $q$ is a square-free positive integer. Furthermore, it is shown that the number of elliptic curves over $\Q$ with conductor $N$ is $O(N^{55/112 + \ep})$ in general and $O(N^{5/12 + \ep})$ if $N$ has a divisor of size $N^{5/6}$. These results are the first improvements to the trivial bound $O(|D|^{1/2 + \ep})$ and the resulting bound $O(N^{1/2 + \ep})$ for the 3-part and the number of elliptic curves, respectively.

In this paper we consider an aperiodic integer-valued random walk $S$ and a process $S^{\ast }$ that is a harmonic transform of $S$ killed when it first enters the negative half; informally, $S^{\ast }$ is ‘$S$ conditioned to stay non-negative’. If $S$ is in the domain of attraction of the standard normal law, without centring, a suitably normed and linearly interpolated version of $S$ converges weakly to standard Brownian motion, and our main result is that under the same assumptions a corresponding statement holds for $S^{\ast }$, the limit of course being the three-dimensional Bessel process. As this process can be thought of as Brownian motion conditioned to stay non-negative, in essence our result shows that the interchange of the two limit operations is valid. We also establish some related results, including a local limit theorem for $S^{\ast }$, and a bivariate renewal theorem for the ladder time and height process, which may be of independent interest.

Jordan superalgebras defined by brackets on associative commutative superalgebras are studied. It is proved that any such superalgebra is imbedded into a superalgebra defined by Poisson brackets. In particular, all Jordan superalgebras of brackets are i-special. The speciality of these superalgebras is also examined, and it is proved, in particular, that the Cheng–Kac superalgebra is special.

Let Δ be a finite quiver, that is, a finite directed graph, k be a commutative ring, and kΔ be the semigroup ring of paths in Δ. In this paper we compute the Hochschild homology of the following classes of algebras:

(1) kΔ/[mfr ]n, where [mfr ] is the arrow ideal;

(2) kΔ/I where I is an ideal generated by quadratic monomials.

In Section 2 we establish the notation, and recall a projective resolution of kΔ0, the degree 0 part in kΔ, over a monomial algebra which is due to Anick and Green. This resolution is then used in Section 3 as the building block in the construction of a resolution of a truncated or quadratic monomial algebra A, over its enveloping algebra (in the Hochschild sense), Ae. The fact that a monomial algebra possesses a fine grading then enables us to compute the homology.

The results obtained extend results by Liu and Zhang [3] and Geller, Reid and Weibel [2].

We develop deformation theory for abelian invariant complex structures on a nilmanifold, and prove that in this case the invariance property is preserved by the Kuranishi process. A purely algebraic condition characterizes the deformations leading again to abelian structures, and we prove that such deformations are unobstructed. Various examples illustrate the resulting theory, and the behavior possible in three complex dimensions.

Associated to any complex simple Lie algebra is a non-reductive complex Lie algebra which we call the intermediate Lie algebra. We propose that these algebras can be included in both the magic square and the magic triangle to give an additional row and column. The extra row and column in the magic square correspond to the sextonions. This is a six-dimensional subalgebra of the split octonions which contains the split quaternions.

A sufficient criterion is found for certain permutation groups $G$ to have uncountable strong cofinality, that is, they cannot be expressed as the union of a countable, ascending chain $(H_i)_{i\in\o}$ of proper subsets $H_i$ such that $H_iH_i \subseteq H_{i+1}$ and $H_i\,{=}\,H_i^{-1}$. This is a strong form of uncountable cofinality for $G$, where each $H_i$ is a subgroup of $G$. This basic tool comes from a recent paper by Bergman on generating systems of the infinite symmetric groups, which is discussed in the introduction. The main result is a theorem which can be applied to various classical groups including the symmetric groups and homeomorphism groups of Cantor's discontinuum, the rationals, and the irrationals, respectively. They all have uncountable strong cofinality. Thus the result also unifies various known results about cofinalities. A notable example is the group BSym ($\Q$) of all bounded permutations of the rationals $\Q$ which has uncountable cofinality but countable strong cofinality.

The existence of $2\pi$-periodic solutions of the second-order differential equation \[ x''+f(x)x'+ax^+-bx^-+g(x)=p(t), \qquad n\in \mathbb{N},\] where $a, b$ satisfy $1/\sqrt{a}+1/\sqrt{b}=2/n$ and $p(t)=p(t+2\pi)$, $t\in \mathbb{R}$, is examined. Assume that limits $\lim_{x\to\pm\infty}F(x)=F(\pm\infty)$ ($F(x)=\int_0^xf(u) du$) and $\lim_{x\to\pm\infty}g(x)=g(\pm\infty)$ exist and are finite. It is proved that the equation has at least one $2\pi$-periodic solution provided that the zeros of the function $\Sigma_1$ are simple and the zeros of the functions $\Sigma_1, \Sigma_2$ are different and the signs of $\Sigma_2$ at the zeros of $\Sigma_1$ in $[0,2\pi/n)$ do not change or change more than two times, where $\Sigma_1$ and $\Sigma_2$ are defined as follows: \[\Sigma_1(\theta)=\frac{n}{\pi}\left[\frac{g(+\infty)}{a}-\frac{g(-\infty)}{b} \right]-\frac {1}{2\pi}\int_0^{2\pi}p(t)\varphi(t+\theta)\,dt,\qquad \theta\in [0, 2\pi/n],\]\[\Sigma_2(\theta)=\frac{n}{\pi}[F(+\infty)-F(-\infty)]-\frac{1}{2\pi} \int_0^{2\pi}p(t)\varphi'(t+\theta)\,dt, \qquad\theta\in [0, 2\pi/n].\] Moreover, it is also proved that the given equation has at least one $2\pi$-periodic solution provided that the following conditions hold: \begin{eqnarray*} -\infty&<&\liminf_{x\to\pm\infty}\frac{F(x)}{|x|^{p-2}x}\le \limsup_ {x\to\pm\infty}\frac{F(x)}{|x|^{p-2}x}<+\infty,\\ 0&<&\liminf_{x\to\pm\infty}\frac{g(x)}{|x|^{q-2}x}\leq \limsup_{x\to\pm\infty} \frac{g(x)}{|x|^{q-2}x}<+\infty, \end{eqnarray*} with $1\leq p<q<2$.

The coefficients in asymptotics of regularized traces and associated trace (spectral) distributions for Schrödinger operators with short and long range potentials are computed. A kernel expansion for the Schrödinger semigroup is derived, and a connection with non-commutative Taylor formulas is established.

In this paper we study the second-order parabolic equation

formula here

in a domain [0,T]×ℝd ⊂ ℝd+1, where a = (aij)di,j=1 is matrix of bounded measurable coefficients, b = (bj)dj=1, and bˆ = (bˆj)dj=1 are measurable (in general, singular) vector fields, V is a measurable potential, T is a fixed positive number, and ∂tu = ∂u/∂t, and we employ the notation

formula here

We introduce a new class of coefficients in the lower-order terms for which we prove the existence and the uniqueness of the weak fundamental solution, and for this we derive Gaussian upper and lower bounds.

When $T\,{:}\, X\,{\longrightarrow}\,X$ is a one-sided topologically mixing subshift of finite type and $\varphi\,{:}\,X\,{\longrightarrow}\,R$ is a continuous function, one can define the Ruelle operator ${\cal L}_\varphi\,{:}\,C(X)\,{\longrightarrow}\,C(X)$ on the space $C(X)$ of real-valued continuous functions on $X$. The dual operator ${\cal L}^*_\varphi$ always has a probability measure $\nu$ as an eigenvector corresponding to a positive eigenvalue (${\cal L}^*_\varphi\nu\,{=}\,\lambda\nu$ with $\lambda\,{>}\,0$). Necessary and sufficient conditions on such an eigenmeasure $\nu$ are obtained for $\varphi$ to belong to two important spaces of functions, $W(X,T)$ and ${\rm Bow} (X,T)$. For example, $\varphi\,{\in}\,{\rm Bow}(X,T)$ if and only if $\nu$ is a measure with a certain approximate product structure. This is used to apply results of Bradley to show that the natural extension of the unique equilibrium state $\mu_\varphi$ of $\varphi\,{\in}\,{\rm Bow}(X,T)$ has the weak Bernoulli property and hence is measure-theoretically isomorphic to a Bernoulli shift. It is also shown that the unique equilibrium state of a two-sided Bowen function has the weak Bernoulli property. The characterizations mentioned above are used in the case of $g$-measures to obtain results on the ‘reverse’ of a $g$-measure.

It is proved that a connected infinite graph has a normal spanning tree (the infinite analogue of a depth-first search tree) if and only if it has no minor obtained canonically from either an (ℵ0, ℵ1)-regular bipartite graph or an order-theoretic Aronszajn tree. This disproves Halin's conjecture that only the first of these obstructions was needed to characterize the graphs with normal spanning trees. As a corollary Halin's further conjecture is deduced, that a connected graph has a normal spanning tree if and only if all its minors have countable colouring number.

The precise classification of the (ℵ0, ℵ1)-regular bipartite graphs remains an open problem. One such class turns out to contain obvious infinite minor-antichains, so as an unexpected corollary Thomas's result that the infinite graphs are not well-quasi-ordered as minors is reobtained.

The covariogram of a convex body $K$ provides the volumes of the intersections of $K$ with all its possible translates. Matheron conjectured in 1986 that this information determines $K$ among all convex bodies, up to certain known ambiguities. It is proved that this is the case if $K\subset{\mathbb R}^2$ is not ${\rm C}^1$, or it is not strictly convex, or its boundary contains two arbitrarily small ${\rm C}^2$ open portions ‘on opposite sides’. Examples are also constructed that show that this conjecture is false in ${\mathbb R}^n$ for any $n\geq 4$.

Arithmetic Fuchsian groups are the most interesting and most important Fuchsian groups owing to their significance for number theory and owing to their geometric properties. However, for a fixed signature there exist only finitely many non- conjugate arithmetic Fuchsian groups; it is therefore desirable to extend this class of Fuchsian groups. This is the motivation of our definition of semi-arithmetic Fuchsian groups. Such a group may be defined as follows (for the precise formulation see Section 2). Let Γ be a cofinite Fuchsian group and let Γ2 be the subgroup generated by the squares of the elements of Γ. Then Γ is semi-arithmetic if Γ is contained in an arithmetic group Δ acting on a product Hr of upper halfplanes. Equivalently, Γ is semi-arithmetic if all traces of elements of Γ2 are algebraic integers of a totally real field. Well-known examples of semi-arithmetic Fuchsian groups are the triangle groups (and their subgroups of finite index) which are almost all non-arithmetic with the exception of 85 triangle groups listed by Takeuchi [16].

While it is still an open question as to what extent the non-arithmetic Fuchsian triangle groups share the geometric properties of arithmetic groups, it is a fact that their automorphic forms share certain arithmetic properties with modular forms for arithmetic groups. This has been clarified by Cohen and Wolfart [5] who proved that every Fuchsian triangle group Γ admits a modular embedding, meaning that there exists an arithmetic group Δ acting on Hr, a natural group inclusion

formula here

and a compatible holomorphic embedding

formula here

that is with

formula here

for all γ∈Γ and all z∈H.

It is shown that for every non-negative integer $n$, there is a real $n$-dimensional family of minimal Lagrangian tori in $\mathbb{CP}^2$, and hence of special Lagrangian cones in $\mathbb{C}^3$ whose link is a torus. The proof utilises the fact that such tori arise from integrable systems, and can be described using algebro-geometric (spectral curve) data.

We give a complete description of the topological spaces X such that the free abelian topological group A(X) embeds into the free abelian topological group A(I) on the closed unit interval. In particular, the free abelian topological group A(X) on any finite-dimensional compact metrizable space X embeds into A(I). To obtain our description, we study similar embeddings of the free locally convex spaces and continuous surjections between the spaces of continuous functions with the pointwise topology. Proofs are based on the classical Kolmogorov's Superposition Theorem.

Given a computably enumerable set W, there is a Turing degree which is the least jump of any set in which W is computably enumerable, namely 0′. Remarkably, this is not a phenomenon of computably enumerable sets. It is shown that for every subset A of ℕ, there is a Turing degree, c′μ(A), which is the least degree of the jumps of all sets X for which A is [sum ]01(X). In addition this result provides an isomorphism invariant method for assigning Turing degrees to certain torsion-free abelian groups.

Topologists say that a space is sequential if every sequentially closed set is closed. Directly from the definitions, metrizable ⇒ Fréchet–Urysohn ⇒ sequential ⇒ $k$ -space. Kąkol showed that for an (LM)-space (the inductive limit of a sequence of locally convex metrizable spaces), metrizable , Fréchet–Urysohn. The Cascales and Orihuela result that every (LM)-space is angelic proved that for an (LM)-space, sequential [hArr ] $k$ -space. Within the class of (LM)-spaces, then, the four notions become only two distinct ones bearing the relation metrizable ⇒ sequential. Webb proved that every infinite-dimensional Montel (DF)-space is sequential but not Fréchet–Urysohn, and equivalently, not metrizable, since Montel (DF)-spaces are (LB)-spaces and, a fortiori, (LM)-spaces. Does the converse hold in the (LB)-space, (DF)-space or (LM)-space settings? Yes, in all cases. If a (DF)-space or (LM)-space is sequential, then it is either metrizable or it is a Montel (DF)-space. Pfister's result that every (DF)-space is angelic is needed, and the paper provides elementary proofs for this and the similar theorem by Cascales and Orihuela. The strongest locally convex topology plays a vital role throughout.

Using simplicial methods developed in an earlier note, the paper constructs topological quantum field theories using an algebraic model of a homotopy n-type as initial data, generalising constructions of Yetter for n=1 and n=2.

By using Morse theory, we study the existence and multiplicity of nontrivial solutions for a class of p-sublinear p-Laplacian elliptic equations.