Topological structure of the space of composition operators on {\mathcal{H}^{\infty}} of Dirichlet series

In this paper, we study properties of the topological space of composition operators acting on the space \({\mathcal{H}^{\infty}}\) of Dirichlet series. Especially, we show that there are two compact composition operators which are not in the same path component on \({\mathcal{H}^{\infty}}\). This is in sharp contrast with the classical case where all compact composition operators on \({H^{\infty}}\) of one variable or several variables lie in the same path component.     

Conservative fragments of {{S}^{1}_{2}} and {{R}^{1}_{2}}

Conservative subtheories of ${{R}^{1}_{2}}$ and ${{S}^{1}_{2}}$ are presented. For ${{S}^{1}_{2}}$ , a slight tightening of Je?ábek??s result (Math Logic Q 52(6):613?C624, 2006) that ${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$ is presented: It is shown that ${T^{0}_{2}}$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ${\forall\Sigma^{b}_{1}}$ -theory, we define a ${\forall\Sigma^{b}_{0}}$ -theory, ${T^{-1}_{2}}$ , for the ${\forall\Sigma^{b}_{0}}$ -consequences of ${S^{1}_{2}}$ . We show ${T^{-1}_{2}}$ is weak by showing it cannot ${\Sigma^{b}_{0}}$ -define division by 3. We then consider what would be the analogous ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ based on Pollett (Ann Pure Appl Logic 100:189?C245, 1999. It is shown that this theory, ${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$ , also cannot ${\Sigma^{b}_{0}}$ -define division by 3. On the other hand, we show that ${{S}^{0}_{2}+open_{\{||id||\}}}$ -COMP is a ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ . Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium?? 98, 262?C279, 2000) and show that ${\hat{C}^{0}_{2}}$ is ${\forall\hat\Sigma^{b}_{1}}$ -conservative over a theory based on open _cl-comprehension.     

A class of {\Sigma _{3}^{0}} modular lattices embeddable as principal filters in {\mathcal{L}^{\ast }(V_{\infty })}

Let I ₀ be a a computable basis of the fully effective vector space V _∞ over the computable field F. Let I be a quasimaximal subset of I ₀ that is the intersection of n maximal subsets of the same 1-degree up to *. We prove that the principal filter ${\mathcal{L}^{\ast}(V,\uparrow )}$ of V = cl(I) is isomorphic to the lattice ${\mathcal{L}(n, \overline{F})}$ of subspaces of an n-dimensional space over ${\overline{F}}$ , a ${\Sigma _{3}^{0}}$ extension of F. As a corollary of this and the main result of Dimitrov (Math Log 43:415–424, 2004) we prove that any finite product of the lattices ${(\mathcal{L}(n_{i}, \overline{F }_{i}))_{i=1}^{k}}$ is isomorphic to a principal filter of ${\mathcal{ L}^{\ast}(V_{\infty})}$ . We thus answer Question 5.3 “What are the principal filters of ${\mathcal{L}^{\ast}(V_{\infty}) ?}$ ” posed by Downey and Remmel (Computable algebras and closure systems: coding properties, handbook of recursive mathematics, vol 2, pp 977–1039, Stud Log Found Math, vol 139, North-Holland, Amsterdam, 1998) for spaces that are closures of quasimaximal sets.     

Approximation of solution operators of elliptic partial differential equations by {\mathcal{H}}- and {\mathcal{H}^2}-matrices

We investigate the problem of computing the inverses of stiffness matrices resulting from the finite element discretization of elliptic partial differential equations. Since the solution operators are non-local, the inverse matrices will in general be dense, therefore representing them by standard techniques will require prohibitively large amounts of storage. In the field of integral equations, a successful technique for handling dense matrices efficiently is to use a data-sparse representation like the popular multipole method. In this paper we prove that this approach can be generalized to cover inverse matrices corresponding to partial differential equations by switching to data-sparse ${\mathcal{H}}$ - and ${\mathcal{H}^2}$ -matrices. The key results are existence proofs for local low-rank approximations of the solution operator and its discrete counterpart, which give rise to error estimates for ${\mathcal{H}}$ - and ${\mathcal{H}^2}$ -matrix approximations of the entire matrices.     

{\mathcal{C}^{\alpha}}-regularity for a class of non-diagonal elliptic systems with p-growth

We consider weak solutions to nonlinear elliptic systems in a W ^1,p -setting which arise as Euler equations to certain variational problems. The solutions are assumed to be stationary in the sense that the differential of the variational integral vanishes with respect to variations of the dependent and independent variables. We impose new structure conditions on the coefficients which yield everywhere ${\mathcal{C}^{\alpha}}$ -regularity and global ${\mathcal{C}^{\alpha}}$ -estimates for the solutions. These structure conditions cover variational integrals like ${\int F(\nabla u)\; dx}$ with potential ${F(\nabla u):=\tilde F (Q_1(\nabla u),\ldots, Q_N(\nabla u))}$ and positively definite quadratic forms in ${\nabla u}$ defined as ${Q_i(\nabla u)=\sum_{\alpha \beta} a_i^{\alpha \beta} \nabla u^\alpha \cdot \nabla u^\beta}$ . A simple example consists in ${\tilde F(\xi_1,\xi_2):= |\xi_1|^{\frac{p}{2}} + |\xi_2|^{\frac{p}{2}}}$ or ${\tilde F(\xi_1,\xi_2):= |\xi_1|^{\frac{p}{4}}|\xi_2|^{\frac{p}{4}}}$ . Since the Q _i need not to be linearly dependent our result covers a class of nondiagonal, possibly nonmonotone elliptic systems. The proof uses a new weighted norm technique with singular weights in an L ^p -setting.     

Linear Forms and Higher-Degree Uniformity for Functions On {\mathbb{F}^{n}_{p}}

In [GW1] we began an investigation of the following general question. Let L ₁, . . . , L _m be a system of linear forms in d variables on Fⁿ_p{F^n_p}, and let A be a subset of Fⁿ_p{F^n_p} of positive density. Under what circumstances can one prove that A contains roughly the same number of m-tuples L ₁(x ₁, . . . , x _d ), . . . , L _m (x ₁, . . . , x _d ) with x₁,?, x_d ? \mathbb Fⁿ_p{x_1,\ldots, x_d \in {\mathbb F}^n_p} as a typical random set of the same density? Experience with arithmetic progressions suggests that an appropriate assumption is that ||A - d1||_U^k{||A - \delta 1||_{U{^k}}} should be small, where we have written A for the characteristic function of the set A, δ is the density of A, k is some parameter that depends on the linear forms L ₁, . . . , L _m , and || ·||_U^k{|| \cdot ||_U{^k}} is the kth uniformity norm. The question we investigated was how k depends on L ₁, . . . , L _m . Our main result was that there were systems of forms where k could be taken to be 2 even though there was no simple proof of this fact using the Cauchy–Schwarz inequality. Based on this result and its proof, we conjectured that uniformity of degree k − 1 is a sufficient condition if and only if the kth powers of the linear forms are linearly independent. In this paper we prove this conjecture, provided only that p is sufficiently large. (It is easy to see that some such restriction is needed.) This result represents one of the first applications of the recent inverse theorem for the U ^k norm over Fⁿ_p{F^n_p} by Bergelson, Tao and Ziegler [TZ2], [BTZ]. We combine this result with some abstract arguments in order to prove that a bounded function can be expressed as a sum of polynomial phases and a part that is small in the appropriate uniformity norm. The precise form of this decomposition theorem is critical to our proof, and the theorem itself may be of independent interest.     

$${\mathcal{C}}_{0}$$ ( X)-algebras,stability and strongly self-absorbing $${\mathcal{C}}^{*}$$ -algebras

We study permanence properties of the classes of stable and so-called -stable -algebras, respectively. More precisely, we show that a (X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for -algebras absorbing the Jiang–Su algebra tensorially). Furthermore, we prove that if is a K ₁-injective strongly self-absorbing -algebra, then A absorbs tensorially if and only if all its fibres do, again provided that X is finite-dimensional. This latter statement generalizes results of Blanchard and Kirchberg. We also show that the condition on the dimension of X cannot be dropped. Along the way, we obtain a useful characterization of when a -algebra with weakly unperforated Cuntz semigroup is stable, which allows us to show that stability passes to extensions of -absorbing -algebras. Research supported by: Deutsche Forschungsgemeinschaft (through the SFB 478), by the EU-Network Quantum Spaces - Noncommutative Geometry (Contract No. HPRN-CT-2002-00280), and by the Center for Advanced Studies in Mathematics at Ben-Gurion University     

A note about the generalized Hardy-Sobolev inequality with potential in L^{{p,d}} {\left( {\mathbb{R}^{n} } \right)}

We present a generalized version of the Hardy-Sobolev inequality, in which the homogeneous potential is replaced by any potential V belonging to the Lorentz space . We show that the best constant in these inequalities is achieved provided that where . We also analyze the limit case . Finally an application to a non-linear eigenvalues problem with rough potentials is presented.Received: 19 September 2004, Accepted: 15 November 2004, Published online: 22 December 2004     

Disintegration of positive isometric group representations on $$\varvec{\mathrm {L}^{p}}$$-spaces

Let G be a Polish locally compact group acting on a Polish space \({{X}}\) with a G-invariant probability measure \(\mu \). We factorize the integral with respect to \(\mu \) in terms of the integrals with respect to the ergodic measures on X, and show that \(\mathrm {L}^{p}({{X}},\mu )\) (\(1\le p<\infty \)) is G-equivariantly isometrically lattice isomorphic to an \({\mathrm {L}^p}\)-direct integral of the spaces \(\mathrm {L}^{p}({{X}},\lambda )\), where \(\lambda \) ranges over the ergodic measures on X. This yields a disintegration of the canonical representation of G as isometric lattice automorphisms of \(\mathrm {L}^{p}({{X}},\mu )\) as an \({\mathrm {L}^p}\)-direct integral of order indecomposable representations. If \(({{X}}^\prime ,\mu ^\prime )\) is a probability space, and, for some \(1\le q<\infty \), G acts in a strongly continuous manner on \(\mathrm {L}^{q}({{X}}^\prime ,\mu ^\prime )\) as isometric lattice automorphisms that leave the constants fixed, then G acts on \(\mathrm {L}^{p}({{X}}^{\prime },\mu ^{\prime })\) in a similar fashion for all \(1\le p<\infty \). Moreover, there exists an alternative model in which these representations originate from a continuous action of G on a compact Hausdorff space. If \(({{X}}^\prime ,\mu ^\prime )\) is separable, the representation of G on \(\mathrm {L}^p(X^\prime ,\mu ^\prime )\) can then be disintegrated into order indecomposable representations. The notions of \({\mathrm {L}^p}\)-direct integrals of Banach spaces and representations that are developed extend those in the literature.     

On the Evaluation of the Integral $$\int_0^{{\pi \mathord{\left/ {\vphantom {\pi 4}} \right. \kern-\nulldelimiterspace} 4}} {\ln \left( {\cos ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta \pm \sin ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta } \right)d\theta } $$

The integral $$\int_0^{{\pi \mathord{\left/ {\vphantom {\pi 4}} \right. \kern-\nulldelimiterspace} 4}} {\ln \left( {\cos ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta \pm \sin ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta } \right)d\theta } $$ where m and n are relatively prime positive integers, is evaluated exactly in terms of elementary functions and the Catalan constant G.     

Measure partitions via Fourier analysis II: center transversality in the {{L}^{2}}-norm for complex hyperplanes

Applications of harmonic analysis on finite groups were recently introduced to measure partition problems, with a variety of equipartition types by convex fundamental domains obtained as the vanishing of prescribed Fourier transforms. Considering the circle group, we extend this approach to the compact Lie group setting, in which case the annihilation of transforms in the classical Fourier series produces measure transversality similar in spirit to the classical centerpoint theorem of Rado: for any \({q\geq 2}\), the existence of a complex hyperplane whose surrounding regular q-fans are close—in an \({L^2}\)-sense—to equipartitioning a given set of measures. The proofs of these results represent the first application of continuous as opposed to finite group actions in the usual equivariant topological reductions prevalent in combinatorial geometry.     

Construction of the Outer Automorphism of $${\mathcal {S}}_{6}$$ via a Complex Hadamard Matrix

We give a new construction of the outer automorphism of the symmetric group on six points. Our construction features a complex Hadamard matrix of order six containing third roots of unity and the algebra of split quaternions over the real numbers.     

A Group of Involutions Characterizing a Clifford Algebra of Type {\mathcal{C}}\,{\mathcal{L}}_{0,3}

In this note, a group characterization for Clifford algebras of type is given.     

Counting SL2（F2^s） Representations of Torus Knot Groups

In this paper,we count the number of SL2(F2^s)-representations of torus knot groups up to a conjugacy.For the finite field F2^s with character 2,the counting method is similar to that in out previous work[1].Explicit formulae of the effective counting are given in this paper.Twisted Alexander polynomials related to those reprsentations are discussed.     

Rigidity of unary algebras and its application to the $${\mathcal {HS} = \mathcal {SH}}$$ problem

H. P. Gumm and T. Schröder stated a conjecture that the preservation of preimages by a functor T for which |T1| = 1 is equivalent to the satisfaction of the class equality \({{\mathcal {HS}}({\sf K}) = {\mathcal {SH}}({\sf K})}\) for any class K of T-coalgebras. Although T. Brengos and V. Trnková gave a positive answer to this problem for a wide class of Set-endofunctors, they were unable to find the full solution. Using a construction of a rigid unary algebra we prove \({{\mathcal {HS}} \neq {\mathcal {SH}}}\) for a class of Set-endofunctors not preserving non-empty preimages; these functors have not been considered previously.     

Finite determinacy and Whitney equisingularity of map germs from {\mathbb{C}^n} to {\mathbb{C}^{2n-1}}

We show that a holomorphic map germ ${f : (\mathbb{C}^n,0)\to(\mathbb{C}^{2n-1},0)}$ is finitely determined if and only if the double point scheme D(f) is a reduced curve. If n ≥ 3, we have that μ(D ²(f)) = 2μ(D ²(f)/S ₂)+C(f)?1, where D ²(f) is the lifting of the double point curve in ${(\mathbb{C}^n\times \mathbb{C}^n,0)}$ , μ(X) denotes the Milnor number of X and C(f) is the number of cross-caps that appear in a stable deformation of f. Moreover, we consider an unfolding F(t, x) = (t, f _t (x)) of f and show that if F is μ-constant, then it is excellent in the sense of Gaffney. Finally, we find a minimal set of invariants whose constancy in the family f _t is equivalent to the Whitney equisingularity of F. We also give an example of an unfolding which is topologically trivial, but it is not Whitney equisingular.