Search

In a recent paper Robinson has obtained an explicit formula for the expression of an invariant matrix of an invariant matrix as a direct sum of invariant matrices. The object of the present note is to show that this formula may be deduced from known properties of Schur functions, with the aid of a result which the author has proved elsewhere.

This paper classifies Poisson structures with the reduced simple normal crossing divisor on a product of Fano varieties of Picard number 1. The characterization of even-dimensional projective spaces from the viewpoint of Poisson structures is given by Lima and Pereira. In this paper, we generalize the characterization of projective spaces to any dimension.

A finitely presented 1-ended group $G$ has semistable fundamental group at infinity if $G$ acts geometrically on a simply connected and locally compact ANR $Y$ having the property that any two proper rays in $Y$ are properly homotopic. This property of $Y$ captures a notion of connectivity at infinity stronger than “1-ended”, and is in fact a feature of $G$, being independent of choices. It is a fundamental property in the homotopical study of finitely presented groups. While many important classes of groups have been shown to have semistable fundamental group at infinity, the question of whether every $G$ has this property has been a recognized open question for nearly forty years. In this paper we attack the problem by considering a proper but non-cocompact action of a group $J$ on such an $Y$. This $J$ would typically be a subgroup of infinite index in the geometrically acting over-group $G$; for example $J$ might be infinite cyclic or some other subgroup whose semistability properties are known. We divide the semistability property of $G$ into a $J$-part and a “perpendicular to $J$” part, and we analyze how these two parts fit together. Among other things, this analysis leads to a proof (in a companion paper) that a class of groups previously considered to be likely counter examples do in fact have the semistability property.

The closest infinite dimensional relatives of compact Lie algebras are Hilbert-Lie algebras, i.e. real Hilbert spaces with a Lie algebra structure for which the scalar product is invariant. Locally affine Lie algebras (LALAs) correspond to double extensions of (twisted) loop algebras over simple Hilbert-Lie algebras $\mathfrak{k}$, also called affinisations of $\mathfrak{k}$. They possess a root space decomposition whose corresponding root system is a locally affine root system of one of the $7$ families $A_J^{(1)}$, $B_J^{(1)}$, $C_J^{(1)}$, $D_J^{(1)}$, $B_J^{(2)}$, $C_J^{(2)}$ and $BC_J^{(2)}$ for some infinite set $J$. To each of these types corresponds a "minimal" affinisation of some simple Hilbert-Lie algebra $\mathfrak{k}$, which we call standard. In this paper, we give for each affinisation $\mathfrak{g}$ of a simple Hilbert-Lie algebra $\mathfrak{k}$ an explicit isomorphism from $\mathfrak{g}$ to one of the standard affinisations of $\mathfrak{k}$. The existence of such an isomorphism could also be derived from the classification of locally affine root systems, but for representation theoretic purposes it is crucial to obtain it explicitely as a deformation between two twists which is compatible with the root decompositions. We illustrate this by applying our isomorphism theorem to the study of positive energy highest weight representations of $\mathfrak{g}$. In subsequent work, the present paper will be used to obtain a complete classification of the positive energy highest weight representations of affinisations of $\mathfrak{k}$., Comment: 22 pages; Minor corrections

Let X(n), for n ∊ ℕ, be the set of all subsets of a metric space (X, d) of cardinality at most n. The set X(n) equipped with the Hausdorff metric is called a finite subset space. In this paper we are concerned with the existence of Lipschitz retractions r: X(n)→ X(n − 1) for n ≥ 2. It is known that such retractions do not exist if X is the one-dimensional sphere. On the other hand, Kovalev has recently established their existence if X is a Hilbert space, and he also posed a question as to whether or not such Lipschitz retractions exist when X is a Hadamard space. In this paper we answer the question in the positive.

Let Q be a finite acyclic quiver, let J be an ideal of kQ generated by all arrows in Q, and let A be a finite-dimensional k-algebra. The category of all finite-dimensional representations of (Q, J2) over A is denoted by rep(Q, J2, A). In this paper, we introduce the category exa(Q, J2, A), which is a subcategory of rep (Q, J2, A) of all exact representations. The main result of this paper explicitly describes the Gorenstein-projective representations in rep(Q, J2, A), via the exact representations plus an extra condition. As a corollary, A is a self-injective algebra if and only if the Gorensteinprojective representations are exactly the exact representations of (Q, J2) over A.

In this paper, we introduce weighted Carleson measure spaces associated with different homogeneities and prove that these spaces are the dual spaces of weighted Hardy spaces studied in a forthcoming paper. As an application, we establish the boundedness of composition of two Calderón–Zygmund operators with different homogeneities on the weighted Carleson measure spaces; this, in particular, provides the weighted endpoint estimates for the operators studied by Phong–Stein.

In a paper from 1976, Berg, Christensen, and Ressel prove that the closure of the cone of sums of squares in the polynomial ring in the topology induced by the ℓ1-norm is equal to Pos([–1; 1]n), the cone consisting of all polynomials that are non-negative on the hypercube [–1,1]n. The result is deduced as a corollary of a general result, established in the same paper, which is valid for any commutative semigroup. In later work, Berg and Maserick and Berg, Christensen, and Ressel establish an even more general result, for a commutative semigroup with involution, for the closure of the cone of sums of squares of symmetric elements in the weighted -seminorm topology associated with an absolute value. In this paper we give a new proof of these results, which is based on Jacobi’s representation theoremfrom2001. At the same time, we use Jacobi’s representation theorem to extend these results from sums of squares to sums of 2d-powers, proving, in particular, that for any integer d ≥ 1, the closure of the cone of sums of 2d-powers in the topology induced by the -norm is equal to Pos([–1; 1]n).

In this paper we first generalize to the case of partial flags a result proved both by Spaltenstein and by Steinberg that relates the relative position of two complete flags and the irreducible components of the flag variety in which they lie, using the Robinson-Schensted-Knuth correspondence. Then we use this result to generalize the mirabolic Robinson-Schensted-Knuth correspondence defined by Travkin, to the case of two partial flags and a line., Comment: 27 pages, slightly rewritten to combine two papers into one and clarify some sections

In this paper, we give several pictorial fractal representations of the ample or Kahler cone for surfaces in a certain class of K3 surfaces. The class includes surfaces described by smooth (2, 2, 2) forms in P×P×P defined over a sufficiently large number field K, which have a line parallel to one of the axes, and have Picard number four. We relate the Hausdorff dimension of this fractal to the asymptotic growth of orbits of curves under the action of the surface’s group of automorphisms. We experimentally estimate the Hausdorff dimension of the fractal to be 1.296± .010. The ample cone or Kahler cone for a surface is a significant and often complicated geometric object. Though much is known about the ample cone, particularly for K3 surfaces, only a few non-trivial examples have been explicitly described. These include the ample cones with a finite number of sides (see [N1] for n = 3, and [N2, N3] for n ≥ 5; the case n = 4 is attributed to Vinberg in an unpublished work [N1]); the ample cone for a class of K3 surfaces with n = 3 [Ba3]; and the ample cones for several Kummer surfaces, which are K3 surfaces with n = 20 [V, K-K, Kon]. Though the complexity of the problem generically increases with n, the problem for K3 surfaces with maximal Picard number (n = 20) appear to be tractable because of the small size of the transcendental lattice. In this paper, we introduce accurate pictorial representations of the ample cone and the associated fractal for surfaces within a class of K3 surfaces with Picard number n = 4 (see Figures 1, 3, 4, and 5). As far as the author is aware, the associated fractal has not been studied in any great depth for any ample cone for which the fractal has a non-integer dimension, except the one in [Ba3]. The fractal in that case is Cantor-like (it is a subset of S) and rigorous bounds on its Hausdorff dimension are calculated in [Ba1]. The Hausdorff dimension of the fractal of this paper is estimated to be 1.296± .010. Our second main result is to relate the Hausdorff dimension of the fractal to the growth of the height of curves for an orbit of curves on a surface in this class. Precisely, let V be a surface within our class of K3 surfaces and let A = Aut(V/K) be its group of automorphisms over a sufficiently large number field K. Let D be an ample divisor on V and let C be a curve on V . Define NA(C)(t,D) = #{C′ ∈ A(C) : C′ ·D < t}. Here we have abused notation by letting C′ also represent the divisor class that contains C′. The intersection C′ ·D should be thought of as a logarithmic height of 2000 Mathematics Subject Classification. 14J28, 14J50, 11D41, 11D72, 11H56, 11G10, 37F35, 37D05.

Let f be a normalized Hecke eigenform with rational integer Fourier coefficients. It is an interesting question to know how often an integer n has a factor common with the n-th Fourier coefficient of f. It has been shown in previous papers that this happens very often. In this paper, we give an asymptotic formula for the number of integers n for which (n, a(n)) = 1, where a(n) is the n-th Fourier coefficient of a normalized Hecke eigenform f of weight 2 with rational integer Fourier coefficients and having complex multiplication.

In a previous paper the authors showed that, under some technical conditions, the local Galois representations attached to the members of a non-CM family of ordinary cusp forms are indecomposable for all except possibly finitely many members of the family. In this paper we use deformation theoretic methods to give examples of non-CM families for which every classical member of weight at least two has a locally indecomposable Galois representation. School of Mathematics, Tata Institute of Fundamental Research, Mumbai 400005, India. e-mail: eghate@math.tifr.res.in Department of Mathematics, University of British Columbia, Vancouver, BC e-mail: vatsal@math.ubc.ca Received by the editors August 5, 2008. Published electronically December 29, 2010. AMS subject classification: 11F80. 1

This paper is concerned with the residual spectrum of the hermitian quaternionic classical groups G′n and H′n defined as algebraic groups for a quaternion algebra over an algebraic number field. Groups G′n and H′n are not quasi-split. They are inner forms of the split groups SO4n and Sp4n. Hence, the parts of the residual spectrum of G′n and H′n obtained in this paper are compared to the corresponding parts for the split groups SO4n and Sp4n.

In his seminal papers, Koblitz proposed curves for cryptographic use. For fast operations on these curves, these papers also initiated a study of the radix-τ expansion of integers in the number fields and . The (window) nonadjacent form of τ -expansion of integers in was first investigated by Solinas. For integers in , the nonadjacent form and the window nonadjacent form of the τ -expansion were studied. These are used for efficient point multiplications on Koblitz curves. In this paper, we complete the picture by producing the (window) nonadjacent radix-τ expansions for integers in all Euclidean imaginary quadratic number fields.

Let $N/K$ be a finite Galois extension of p-adic number fields, and let $\rho ^{\mathrm {nr}} \colon G_K \longrightarrow \mathrm {Gl}_r({{\mathbb Z}_{p}})$ be an r-dimensional unramified representation of the absolute Galois group $G_K$ , which is the restriction of an unramified representation $\rho ^{\mathrm {nr}}_{{{\mathbb Q}}_{p}} \colon G_{{\mathbb Q}_{p}} \longrightarrow \mathrm {Gl}_r({{\mathbb Z}_{p}})$ . In this paper, we consider the $\mathrm {Gal}(N/K)$ -equivariant local $\varepsilon $ -conjecture for the p-adic representation $T = \mathbb Z_p^r(1)(\rho ^{\mathrm {nr}})$ . For example, if A is an abelian variety of dimension r defined over ${{\mathbb Q}_{p}}$ with good ordinary reduction, then the Tate module $T = T_p\hat A$ associated to the formal group $\hat A$ of A is a p-adic representation of this form. We prove the conjecture for all tame extensions $N/K$ and a certain family of weakly and wildly ramified extensions $N/K$ . This generalizes previous work of Izychev and Venjakob in the tame case and of the authors in the weakly and wildly ramified case.

The main problem that is solved in this paper has the following simple formulation (which is not used in its solution). The group K = Op(C) × Oq(C) acts on the space Mp, q of p × q complex matrices by (a; b) · x = axb–1, and so does its identity component K0 = SOp(C)×SOq(C). A K-orbit (or K0-orbit) in Mp,q is said to be nilpotent if its closure contains the zero matrix. The closure, , of a nilpotent K-orbit (resp. K0-orbit) in Mp,q is a union of and some nilpotent K-orbits (resp. K0-orbits) of smaller dimensions. The description of the closure of nilpotent K-orbits has been known for some time, but not so for the nilpotent K0-orbits. A conjecture describing the closure of nilpotent K0-orbits was proposed in [11] and verièd when min(p, q) ≤ 7. In this paper we prove the conjecture. The proof is based on a study of two prehomogeneous vector spaces attached to and determination of the basic relative invariants of these spaces.The above problem is equivalent to the problem of describing the closure of nilpotent orbits in the real Lie algebra so(p, q) under the adjoint action of the identity component of the real orthogonal group O(p, q).

Recent papers have shown that C1 maps whose Jacobians have constant eigenvalues can be completely characterized if either the eigenvalues are equal or F is a polynomial. Specifically, F = (u, v) must take the formfor some constants a, b, c, d, e, f , α, β and a C1 function ϕ in one variable. If, in addition, the function ϕ is not affine, thenThis paper shows how these theorems cannot be extended by constructing a real-analytic map whose Jacobian eigenvalues are ±1/2 and does not fit the previous form. This example is also used to construct non-obvious solutions to nonlinear PDEs, including the Monge—Ampère equation.

Let $\pi $ be an automorphic irreducible cuspidal representation of $\mathrm{GL}_{m}$ over $\mathbb {Q}$ . Denoted by $\lambda _{\pi }(n)$ the nth coefficient in the Dirichlet series expansion of $L(s,\pi )$ associated with $\pi $ . Let $\pi _{1}$ be an automorphic irreducible cuspidal representation of $\mathrm{SL}(2,\mathbb {Z})$ . Denoted by $\lambda _{\pi _{1}\times \pi _{1}}(n)$ the nth coefficient in the Dirichlet series expansion of $L(s,\pi _{1}\times \pi _{1})$ associated with $\pi _{1}\times \pi _{1}$ . In this paper, we study the cancellations of $\lambda _{\pi }(n)$ and $\lambda _{\pi _{1}\times \pi _{1}}(n)$ over Beatty sequences.

In a 1987 paper, Gross introduced certain curves associated to a definite quaternion algebra B over Q; he then proved an analog of his result with Zagier for these curves. In Gross’ paper, the curves were defined in a somewhat ad hoc manner. In this article, we present an interpretation of these curves as projective varieties arising from graded rings of automorphic forms on B×, analogously to the construction in the Satake compactification. To define such graded rings, one needs to introduce a “multiplication” of automorphic forms that arises from the representation ring of B×. The resulting curves are unions of projective lines equipped with a collection of Hecke correspondences. They parametrize two-dimensional complex tori with quaternionic multiplication. In general, these complex tori are not abelian varieties; they are algebraic precisely when they correspond to CM points on these curves, and are thus isogenous to a product E × E, where E is an elliptic curve with complex multiplication. For these CM points one can make a relation between the action of the p-th Hecke operator and Frobenius at p, similar to the well-known congruence relation of Eichler and Shimura.

In this paper, by applying for a new approach of the so-called Tsinghua principle, we prove the nonexistence of locally conformally flat real hypersurfaces in both the m-dimensional complex quadric $Q^m$ and the complex hyperbolic quadric $Q^{m\ast }$ for $m\ge 3$ .

In the integral Khovanov homology of links, the presence of odd torsion is rare. Homologically thin links, that is links whose Khovanov homology is supported on two adjacent diagonals, are known to only contain $\mathbb{Z}_2$ torsion. In this paper, we prove a local version of this result. If the Khovanov homology of a link is supported in two adjacent diagonals over a range of homological gradings and the Khovanov homology satisfies some other mild restrictions, then the Khovanov homology of that link has only $\mathbb{Z}_2$ torsion over that range of homological gradings. These conditions are then shown to be met by an infinite family of 3-braids, strictly containing all 3-strand torus links, thus giving a partial answer to Sazdanovic and Przytycki's conjecture that 3-braids have only $\mathbb{Z}_2$ torsion in Khovanov homology. We also give explicit computations of integral Khovanov homology for all links in this family., Comment: 20 pages, 11 figures. Section 4 has been simplified

Let $M=$ diag $(\rho _1,\rho _2)\in M_{2}({\mathbb R})$ be an expanding matrix and Let $\{D_n\}_{n=1}^{\infty }$ be a sequence of digit sets with $D_n=\left \{(0, 0)^T,\,\,\,(a_n, 0 )^T, \,\,\, (0, b_n )^T \right \}$ , where $a_n, b_n\in \{-1,1\}$ . The associated Borel probability measure $$ \begin{align*} \mu_{M,\{D_n\}}:=\delta_{M^{-1}D_1}\ast \delta_{M^{-2}D_2}\ast \delta_{M^{-3}D_3}\ast \cdots \end{align*} $$ is called a Moran Sierpinski-type measure. In this paper, we show that $\mu _{M, \{D_n\}}$ is a spectral measure if and only if $3\mid \rho _i$ for each $i=1, 2$ . The special case is the Sierpinski-type measure with $a_n=b_n=1$ for all $n\in {\mathbb N}$ , which is proved by Dai et al. [Appl. Comput. Harmon. Anal. (2020), https://doi.org/10.1016/j.acha.2019.12.001].

Let M be a closed, connected, orientable topological 4-manifold, and G be a finite group acting topologically and locally linearly on M. In this paper we investigate the Borel spectral sequence for the G-equivariant cohomology of M, and establish new bounds on the rank of G for homologically trivial actions with discrete singular set., 22 pages (v2). Accepted for publication in the Canadian Journal of Mathematics

Let $\mathbb {F}_q$ be the finite field of q elements. In this paper, we study the vanishing behavior of multizeta values over $\mathbb {F}_q[t]$ at negative integers. These values are analogs of the classical multizeta values. At negative integers, they are series of products of power sums $S_d(k)$ which are polynomials in t. By studying the t-valuation of $S_d(s)$ for $s < 0$ , we show that multizeta values at negative integers vanish only at trivial zeros. The proof is inspired by the idea of Sheats in the proof of a statement of “greedy element” by Carlitz.

This paper expresses the character of certain depth-zero supercuspidal representations of the rank-2 symplectic group as the Fourier transform of a finite linear combination of regular elliptic orbital integrals—an expression which is ideally suited for the study of the stability of those characters. Building on work of F. Murnaghan, our proof involves Lusztig’s Generalised Springer Correspondence in a fundamental way, and also makes use of some results on elliptic orbital integrals proved elsewhere by the author using Moy-Prasad filtrations of p-adic Lie algebras. Two applications of the main result are considered toward the end of the paper.

In an earlier paper [10], we studied a generalized Rao bound for ordered orthogonal arrays and (T, M, S)-nets. In this paper, we extend this to a coding-theoretic approach to ordered orthogonal arrays. Using a certain association scheme, we prove a MacWilliams-type theorem for linear ordered orthogonal arrays and linear ordered codes as well as a linear programming bound for the general case. We include some tables which compare this bound against two previously known bounds for ordered orthogonal arrays. Finally we show that, for even strength, the LP bound is always at least as strong as the generalized Rao bound.

In a previous paper, we gave a correspondence between certain exact solutions to a (2 + 1)-dimensional integrable Chiral Model and holomorphic bundles on a compact surface. In this paper, we use algebraic geometry to derive a closed-form expression for those solutions and show by way of examples how the algebraic data which parametrise the solution space dictates the behaviour of the solutions.

A. R. Martínez Fernández obtained upper bounds for quermassintegrals of the p-inner parallel bodies: an extension of the classical inner parallel body to the $L_p$ -Brunn-Minkowski theory. In this paper, we establish (sharp) upper and lower bounds for quermassintegrals of p-inner parallel bodies. Moreover, the sufficient and necessary conditions of the equality case for the main inequality are obtained, which characterize the so-called tangential bodies.

Many authors define an isometry of a metric space to be a distance-preserving map of the space onto itself. In this note, we discuss spaces for which surjectivity is a consequence of the distance-preserving property rather than an initial assumption. These spaces include, for example, the three classical (Euclidean, spherical, and hyperbolic) geometries of constant curvature that are usually discussed independently of each other. In this partly expository paper, we explore basic ideas about the isometries of a metric space, and apply these to various familiar metric geometries.

We show that the space of linear series of certain multi-degree (including the balanced ones) and rank $r$ on a general binary curve has the expected dimension if nonempty. This generalizes Theorem 24 of Caporaso's paper about binary curves from the case $r\leq 2$ to arbitrary rank, and shows that the space of Osserman-limit linear series on a general binary curve has the expected dimension, which was known for $r\leq 2$. In addition, we show that this space of linear series is still of expected dimension after imposing certain ramification conditions with respect to a sequence of increasing effective divisors supported on two general points lying on different components of the curve., Comment: Minor changes, to appear in Canadian Mathematical Bulletin

In this paper, we study the boundedness and compactness of the inclusion mapping from Dirichlet type spaces $\mathcal {D}^{p}_{p-1 }$ to tent spaces. Meanwhile, the boundedness, compactness, and essential norm of Volterra integral operators from Dirichlet type spaces $\mathcal {D}^{p}_{p-1 }$ to general function spaces are also investigated.

In this paper, we decompose $\overline {D}(a,M)$ into modular and mock modular parts, so that it gives as a straightforward consequencethe celebrated results of Bringmann and Lovejoy on Maass forms. Let $\overline {p}(n)$ be the number of partitions of n and $\overline {N}(a,M,n)$ be the number of overpartitions of n with rank congruent to a modulo M. Motivated by Hickerson and Mortenson, we find and prove a general formula for Dyson’s ranks by considering the deviation of the ranks from the average: $$ \begin{align*} \overline{D}(a,M) &=\sum\limits_{n=0}^{\infty}\Big(\overline{N}(a,M,n) -\frac{\overline{p}(n)}{M}\Big)q^{n}. \end{align*} $$ Based on Appell–Lerch sum properties and universal mock theta functions, we obtain the stronger version of the results of Bringmann and Lovejoy.

In this paper we consider the following problem: Given a unital C*- algebra A and a collection of elements S in the identity component of the invertible group of A, denoted inv0(A), characterize the group of finite products of elements of S. The particular C*-algebras studied in this paper are either unital purely infinite simple or of the form (A ⊗ K)+, where A is any C*-algebra and K is the compact operators on an infinite dimensional separable Hilbert space. The types of elements used in the factorizations are unipotents (1+ nilpotent), positive invertibles and symmetries (s2 = 1). First we determine the groups of finite products for each collection of elements in (A ⊗ K)+. Then we give upper bounds on the number of factors needed in these cases. The main result, which uses results for (A ⊗ K)+, is that for A unital purely infinite and simple, inv0(A) is generated by each of these collections of elements.

In a recent paper [2] we defined four classes of infinite dimensional simple Lie algebras over a field of characteristic 0 which we called W*, S*, H*, and K*. As the names suggest, these classes generalize the Lie algebras of Cartan type. A second paper [3] investigates the derivations of the algebras W* and S*, and the possible isomorphisms between these algebras and the algebras defined by Block [1]. In the present paper we investigate the automorphisms of the algebras of type W*.

Positive, copositive, onesided and intertwining (co-onesided) polyno- mial and spline approximations of functions f W k( 1 1) are considered. Both uniform and pointwise estimates, which are exact in some sense, are obtained. 1. Introduction and main results. We start by recalling some of the notations and definitions used throughout this paper. Let C(a b )a nd C k ( a b) be, respectively, the sets of all continuous and k-times continuously differentiable functions on (a b), and let Lp(a b), 0 p , be the set of measurable functions on (a b) such that f Lp(a b) ,w here f L p ( a b ) := b a f (x) p dx 1 p Throughout this paper L (a b) is understood as C(a b) with the usual uniform norm, to simplify the notation. We also denote by W k (a b), p 1, the set of all functions f on (a b) such that f (k 1) are absolutely continuous and f (k) Lp, and by Pn the set of all m=0 m i ( 1) m i f (x mh 2 + ih) if x mh 2 (a b), 0 otherwise. Then the m-th (usual) modulus of smoothness of f Lp(a b )i s def ined by m ( f t ( a b))p := sup 0 h t Δ m (f ( a b)) Lp (a b) We will also use the so-called -modulus, an averaged modulus of smoothness, defined for all bounded measurable functions on (a b )b y m ( f t ( a b))p := m (f t ) L p ( a b )

In this paper, we characterize the multiple operator integrals mappings which are bounded on the Haagerup tensor product of spaces of compact operators. We show that such maps are automatically completely bounded and prove that this is equivalent to a certain factorization property of the symbol associated to the operator integral mapping. This generalizes a result by Juschenko-Todorov-Turowska on the boundedness of continuous multilinear Schur multipliers., Comment: 13 pages

The aim of this paper is to study circular units in the compositum K of t cyclic extensions of ${\mathbb {Q}}$ ( $t\ge 2$ ) of the same odd prime degree $\ell $ . If these fields are pairwise arithmetically orthogonal and the number s of primes ramifying in $K/{\mathbb {Q}}$ is larger than $t,$ then a nontrivial root $\varepsilon $ of the top generator $\eta $ of the group of circular units of K is constructed. This explicit unit $\varepsilon $ is used to define an enlarged group of circular units of K, to show that $\ell ^{(s-t)\ell ^{t-1}}$ divides the class number of K, and to prove an annihilation statement for the ideal class group of K.

In this paper, we are interested in obtaining large values of Dirichlet L-functions evaluated at zeros of a class of L-functions, that is, $$ \begin{align*}\max_{\substack{F(\rho)=0\\ T\leq \Im \rho \leq 2T}}L(\rho,\chi), \end{align*} $$ where $\chi $ is a primitive Dirichlet character and F belongs to a class of L-functions. The class we consider includes L-functions associated with automorphic representations of $GL(n)$ over ${\mathbb {Q}}$ .

We define a limiting $\mathfrak{sl}_N$ Khovanov-Rozansky homology for semi-infinite positive multi-colored braids, and we show that this limiting homology categorifies a highest-weight projector for a large class of such braids. This effectively completes the extension of Cautis' similar result for infinite twist braids, begun in our earlier papers with Islambouli and Abel. We also present several similar results for other families of semi-infinite and bi-infinite multi-colored braids., 37 pages, 13 figures

We formulate a conjecture analogous to Gross' refinement of the Stark conjectures on special values of abelian L-series at s = 0. Some evidence for the conjecture can be obtained, thanks to the fundamental ideas of F. Thaine. 1. Introduction. This paper formulates a refined analogue of the usual class number formula for a real quadratic extension of Q, using circular units. The statement of this conjecture is inspired by an analogous conjecture of Gross (Gr). Strong evidence for this conjecture can be given thanks to F. Thaine's powerful method (Th) for generating relations in ideal class groups using circular units. The first two sections briefly recall Dirichlet's analytic class number formula and Gross's refinement of it; they are there mainly to fix notations and provide motivation. Section 4 states the new conjecture. The remaining sections are devoted to proving various results that support it. ACKNOWLEDGEMENTS. I wish to thank Massimo Bertolini and Benedict Gross for many stimulating conversations on the topics of this paper. NOTATIONS. If K is a number field and w is a place of K lying above a prime v of Q, we denote by Kw the localization of K at w, and let Nw be the order of its residue field. The w-adic norm || || w is normalized so that it is equal to Nw" 1 on uniformizing elements.

We answer a 1975 question of G. R. Gordh by showing that if X is a homogeneous compactum which is the continuous image of a compact ordered space then at least one of the following holds: (i) X is metrizable, (ii) dimX = 0 or (iii) X is a union of finitely many pairwise disjoint generalized simple closed curves. We begin to examine the structure of homogeneous 0-dimensional spaces which are continuous images of ordered compacta. 1. Introduction. The aim of this paper is to investigate homogeneous spaces which are continuous images of ordered compacta. In 1975, G. R. Gordh proved that if a homo­ geneous and hereditarily unicoherent continuum is the continuous image of an ordered compactum, then it is metrizable, and so indecomposable (7, Theorem 3). Further, he asked if, in general, every homogeneous continuum which is the continuous image of an ordered compactum must be either metrizable or a generalized simple closed curve. Our Theorem 1 provides an affirmative answer to Gordh's question. Moreover, in Theorem 2, we prove that a homogeneous space which is not 0-dimensional and which is the continuous image of an ordered compactum is either metrizable or a union of finitely many pairwise disjoint generalized simple closed curves. Our methods of proof involve characterizations of continuous images of arcs obtained in ( 16) in terms of cyclic elements and T-sets. When dealing with the class A of all homogeneous and 0-dimensional spaces which are the continuous images of ordered compacta, the situation becomes less clear. By a recent theorem of M. Bell, each member of A is first countable. Moreover, by a result of (18), each member of A can be embedded into a dendron. We give a rather simple construction leading to a wide subclass of A. In particular, we show that not all members of A are orderable, and that there exists a strongly homogeneous space X which is the continuous image of an ordered compactum and which is not first countable. It follows that X $ A. Our investigations of the class A led to some natural questions which are stated at the end of the paper. All spaces considered in this paper are Hausdorff.

Let $A$ be a symmetrisable generalised Cartan matrix, and let $\mathfrak g(A)$ be the corresponding Kac-Moody algebra. In this paper, we address the following fundamental question on the structure of $\mathfrak g(A)$: given two homogeneous elements $x,y \in \mathfrak g(A)$, when is their bracket $[x,y]$ a nonzero element? As an application of our results, we give a description of the solvable and nilpotent graded subalgebras of $\mathfrak g(A)$., 32 pages. Final version, to appear in Canadian Journal of Mathematics

In this paper, we study Finsler warped product metrics with relatively isotropic Landsberg curvature. We obtain the differential equations that characterize such metrics. Then we give some examples.

Classification of AS-regular algebras is one of the main interests in noncommutative algebraic geometry. We say that a $3$-dimensional quadratic AS-regular algebra is of Type EC if its point scheme is an elliptic curve in $\mathbb{P}^{2}$. In this paper, we give a complete list of geometric pairs and a complete list of twisted superpotentials corresponding to such algebras. As an application, we show that there are only two exceptions up to isomorphism among all $3$-dimensional quadratic AS-regular algebras which cannot be written as a twist of a Calabi-Yau AS-regular algebra by a graded algebra automorphism., Comment: 18 pages

In this paper we analyze the convergence of the following type of series $$\begin{eqnarray}T_{N}^{{\mathcal{L}}}f(x)=\mathop{\sum }_{j=N_{1}}^{N_{2}}v_{j}\big(e^{-a_{j+1}{\mathcal{L}}}f(x)-e^{-a_{j}{\mathcal{L}}}f(x)\big),\quad x\in \mathbb{R}^{n},\end{eqnarray}$$ where ${\{e^{-t{\mathcal{L}}}\}}_{t>0}$ is the heat semigroup of the operator ${\mathcal{L}}=-\unicode[STIX]{x1D6E5}+V$ with $\unicode[STIX]{x1D6E5}$ being the classical laplacian, the nonnegative potential $V$ belonging to the reverse Hölder class $RH_{q}$ with $q>n/2$ and $n\geqslant 3$, $N=(N_{1},N_{2})\in \mathbb{Z}^{2}$ with $N_{1}, ${\{v_{j}\}}_{j\in \mathbb{Z}}$ is a bounded real sequences, and ${\{a_{j}\}}_{j\in \mathbb{Z}}$ is an increasing real sequence.Our analysis will consist in the boundedness, in $L^{p}(\mathbb{R}^{n})$ and in $BMO(\mathbb{R}^{n})$, of the operators $T_{N}^{{\mathcal{L}}}$ and its maximal operator $T^{\ast }f(x)=\sup _{N}T_{N}^{{\mathcal{L}}}f(x)$.It is also shown that the local size of the maximal differential transform operators (with $V=0$) is the same with the order of a singular integral for functions $f$ having local support. Moreover, if ${\{v_{j}\}}_{j\in \mathbb{Z}}\in \ell ^{p}(\mathbb{Z})$, we get an intermediate size between the local size of singular integrals and Hardy–Littlewood maximal operator.

The generalized Soulé character was introduced by H. Nakamura and Z. Wojtkowiak and is a generalization of Soulé’s cyclotomic character. In this paper, we prove that certain linear sums of generalized Soulé characters essentially coincide with the image of generalized Beilinson elements in K-groups under Soulé’s higher regulator maps. This result generalizes Huber–Wildeshaus’ theorem, which is a cyclotomic field case of our results, to an arbitrary number fields.

In this paper, we study how to distinguish the embedded topology of a smooth quartic and its bitangent lines. In order to do this, we introduce the concept of two-graphs and switching classes from graph theory. This new method improves previous results about a quartic and three bitangent lines considered by E. Artal Bartolo and J. Vallès, four bitangent lines considered by the authors and H. Tokunaga, and enables us to distinguish the embedded topology of a smooth quartic and five or more bitangent lines. As an application, we obtain a new Zariski 5-tuple and a Zariski 9-tuple for arrangements consisting of a smooth quartic and five of its bitangent lines and six of its bitangent lines, respectively.

Let $\{M_{n}\}_{n=1}^{\infty }$ be a sequence of expanding matrices with $M_{n}=\operatorname{diag}(p_{n},q_{n})$, and let $\{{\mathcal{D}}_{n}\}_{n=1}^{\infty }$ be a sequence of digit sets with ${\mathcal{D}}_{n}=\{(0,0)^{t},(a_{n},0)^{t},(0,b_{n})^{t},\pm (a_{n},b_{n})^{t}\}$, where $p_{n}$, $q_{n}$, $a_{n}$ and $b_{n}$ are positive integers for all $n\geqslant 1$. If $\sup _{n\geqslant 1}\{\frac{a_{n}}{p_{n}},\frac{b_{n}}{q_{n}}\}, then the infinite convolution $\unicode[STIX]{x1D707}_{\{M_{n}\},\{{\mathcal{D}}_{n}\}}=\unicode[STIX]{x1D6FF}_{M_{1}^{-1}{\mathcal{D}}_{1}}\ast \unicode[STIX]{x1D6FF}_{(M_{1}M_{2})^{-1}{\mathcal{D}}_{2}}\ast \cdots \,$ is a Borel probability measure (Cantor–Dust–Moran measure). In this paper, we investigate whenever there exists a discrete set $\unicode[STIX]{x1D6EC}$ such that $\{e^{2\unicode[STIX]{x1D70B}i\langle \unicode[STIX]{x1D706},x\rangle }:\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}\}$ is an orthonormal basis for $L^{2}(\unicode[STIX]{x1D707}_{\{M_{n}\},\{{\mathcal{D}}_{n}\}})$.

Any knot in $S^3$ may be reduced to a slice knot by crossing changes. Indeed, this slice knot can be taken to be the unknot. In this paper we study the question of when the same holds for knots in homology spheres. We show that a knot in a homology sphere is nullhomotopic in a smooth homology ball if and only if that knot is smoothly concordant to a knot which is homotopic to a smoothly slice knot. As a consequence, we prove that the equivalence relation on knots in homology spheres given by cobounding immersed annuli in a homology cobordism is generated by concordance in homology cobordisms together with homotopy in a homology sphere., Comment: 10 pages, 1 figure. Changes from Version 1: Theorem 1.6 from version 1 was previously proven by the same technique by Austin-Rolfsen. The result of Theorem 1.9 frmo version 1 appears in a remark of Daemi

Root systems and Coxeter groups are important tools in multivariable analysis. This paper is concerned with differential-difference and integral operators, and orthogonality structures for polynomials associated to Coxeter groups. For each such group, the structures allow as many parameters as the number of conjugacy classes of reflections. The classical orthogonal polynomials of Gegenbauer and Jacobi type appear in this theory as two-dimensional cases. For each Coxeter group and admissible choice of parameters there is a structure analogous to spherical harmonics which relies on the connection between a Laplacian operator and orthogonality on the unit sphere with respect to a group-invariant measure. The theory has been developed in several papers of the author [4,5,6,7]. In this paper, the emphasis is on the study of an intertwining operator which allows the transfer of certain results about ordinary harmonic polynomials to those associated to Coxeter groups. In particular, a formula and a bound are obtained for the Poisson kernel.