C*-Algebras of Singular Integral Operators with Shifts Having the Same Nonempty Set of Fixed Points

The C*-subalgebra of generated by all multiplication operators by slowly oscillating and piecewise continuous functions, by the Cauchy singular integral operator and by the range of a unitary representation of an amenable group of diffeomorphisms with any nonempty set of common fixed points is studied. A symbol calculus for the C*-algebra and a Fredholm criterion for its elements are obtained. For the C*-algebra composed by all functional operators in , an invertibility criterion for its elements is also established. Both the C*-algebras and are investigated by using a generalization of the local-trajectory method for C*-algebras associated with C*-dynamical systems which is based on the notion of spectral measure. Submitted: April 30, 2007. Accepted: November 5, 2007.     

Chains and antichains in partial orderings

We study the complexity of infinite chains and antichains in computable partial orderings. We show that there is a computable partial ordering which has an infinite chain but none that is or , and also obtain the analogous result for antichains. On the other hand, we show that every computable partial ordering which has an infinite chain must have an infinite chain that is the difference of two sets. Our main result is that there is a computably axiomatizable theory K of partial orderings such that K has a computable model with arbitrarily long finite chains but no computable model with an infinite chain. We also prove the corresponding result for antichains. Finally, we prove that if a computable partial ordering has the feature that for every , there is an infinite chain or antichain that is relative to , then we have uniform dichotomy: either for all copies of , there is an infinite chain that is relative to , or for all copies of , there is an infinite antichain that is relative to .     

A new family of maximal curves over a finite field

It has been known for a long time that the Deligne–Lusztig curves associated to the algebraic groups of type and defined over the finite field all have the maximum number of -rational points allowed by the Weil “explicit formulas”, and that these curves are -maximal curves over infinitely many algebraic extensions of . Serre showed that an -rational curve which is -covered by an -maximal curve is also -maximal. This has posed the problem of the existence of -maximal curves other than the Deligne–Lusztig curves and their -subcovers, see for instance Garcia (On curves with many rational points over finite fields. In: Finite Fields with Applications to Coding Theory, Cryptography and Related Areas, pp. 152–163. Springer, Berlin, 2002) and Garcia and Stichtenoth (A maximal curve which is not a Galois subcover of the Hermitan curve. Bull. Braz. Math. Soc. (N.S.) 37, 139–152, 2006). In this paper, a positive answer to this problem is obtained. For every q = n ³ with n = p ^r  > 2, p ≥ 2 prime, we give a simple, explicit construction of an -maximal curve that is not -covered by any -maximal Deligne–Lusztig curve. Furthermore, the -automorphism group Aut has size n ³(n ³ + 1)(n ² − 1)(n ² − n + 1). Interestingly, has a very large -automorphism group with respect to its genus . Research supported by the Italian Ministry MURST, Strutture geometriche, combinatoria e loro applicazioni, PRIN 2006–2007.     

Numerically satisfactory solutions of Kummer recurrence relations

Pairs of numerically satisfactory solutions as for the three-term recurrence relations satisfied by the families of functions , , are given. It is proved that minimal solutions always exist, except when and z is in the positive or negative real axis, and that is minimal as whenever . The minimal solution is identified for any recurrence direction, that is, for any integer values of and . When the confluent limit , with fixed, is the main tool for identifying minimal solutions together with a connection formula; for , is the main tool to be considered.     

Closed geodesics on compact nilmanifolds with Chevalley rational structure

We study the distribution of closed geodesics on nilmanifolds Γ \ N arising from a 2-step nilpotent Lie algebra constructed from an irreducible representation of a compact semisimple Lie algebra on a real finite dimensional vector space U. We determine sufficient conditions on the semisimple Lie algebra for Γ \ N to have the density of closed geodesics property where Γ is a lattice arising from a Chevalley rational structure on .     

OPC Lattices and Congruence Heredity

We prove that if is a finite algebra which satisfies a nontrivial idempotent Mal’cev condition, and if Con contains a copy of an order polynomially complete lattice other than , , or Con, then Con is not hereditary. Received March 7, 2006; accepted in final form December 5, 2006.     

Solutions of affine stochastic functional differential equations in the state space

We consider solutions of affine stochastic functional differential equations on . The drift of these equations is specified by a functional defined on a general function space which is only described axiomatically. The solutions are reformulated as stochastic processes in the space . By representing such a process in the bidual space of we establish that the transition functions of this process form a generalized Gaussian Mehler semigroup on . This way the process is characterized completely on since it is Markovian. Moreover we derive a sufficient and necessary condition on the underlying space such that the transition functions are even an Ornstein-Uhlenbeck semigroup. We exploit this result to associate a Cauchy problem in the function space to the stochastic functional differential equation.      

Compact Differences of Weighted Composition Operators on Weighted Banach Spaces of Analytic Functions

Let be the weighted Banach space of analytic functions with a topology generated by weighted sup-norm. In the present article, we investigate the analytic mappings and which characterize the compactness of differences of two weighted composition operators on the space . As a consequence we characterize the compactness of differences of composition operators on weighted Bloch spaces.      

The Extremal Truncated Moment Problem

For a degree 2n real d-dimensional multisequence to have a representing measure μ, it is necessary for the associated moment matrix to be positive semidefinite and for the algebraic variety associated to β, , to satisfy rank card as well as the following consistency condition: if a polynomial vanishes on , then . We prove that for the extremal case , positivity of and consistency are sufficient for the existence of a (unique, rank -atomic) representing measure. We also show that in the preceding result, consistency cannot always be replaced by recursiveness of . The first-named author’s research was partially supported by NSF Research Grants DMS-0099357 and DMS-0400741. The second-named author’s research was partially supported by NSF Research Grant DMS-0201430 and DMS-0457138.     

Passive Systems with a Normal Main Operator and Quasi-selfadjoint Systems

Passive systems with and as an input and output space and as a state space are considered in the case that the main operator on the state space is normal. Basic properties are given and a general unitary similarity result involving some spectral theoretic conditions on the main operator is established. A passive system with is said to be quasi-selfadjoint if ran . The subclass of the Schur class is the class formed by all transfer functions of quasi-selfadjoint passive systems. The subclass is characterized and minimal passive quasi-selfadjoint realizations are studied. The connection between the transfer function belonging to the subclass and the Q-function of T is given. Received: December 16, 2007., Accepted: March 4, 2008.     

Plane polynomial automorphisms of fixed multidegree

Let be the group of polynomial automorphisms of the complex affine plane. On one hand, can be endowed with the structure of an infinite dimensional algebraic group (see Shafarevich in Math USSR Izv 18:214–226, 1982) and on the other hand there is a partition of according to the multidegree (see Friedland and Milnor in Ergod Th Dyn Syst 9:67–99, 1989). Let denote the set of automorphisms whose multidegree is equal to d. We prove that is a smooth, locally closed subset of and show some related results. We give some applications to the study of the varieties (resp. ) of automorphisms whose degree is equal to m (resp. is less than or equal to m).     

Intersection homology Künneth theorems

Cohen, Goresky, and Ji showed that there is a Künneth theorem relating the intersection homology groups to and , provided that the perversity satisfies rather strict conditions. We consider biperversities and prove that there is a Künneth theorem relating to and for all choices of and . Furthermore, we prove that the Künneth theorem still holds when the biperversity p, q is “loosened” a little, and using this we recover the Künneth theorem of Cohen–Goresky–Ji.     

Cyclicity of bicyclic operators and completeness of translates

We study cyclicity of operators on a separable Banach space which admit a bicyclic vector such that the norms of its images under the iterates of the operator satisfy certain growth conditions. A simple consequence of our main result is that a bicyclic unitary operator on a Banach space with separable dual is cyclic. Our results also imply that if is the shift operator acting on the weighted space of sequences , if the weight ω satisfies some regularity conditions and ω(n) = 1 for nonnegative n, then S is cyclic if . On the other hand one can see that S is not cyclic if the series diverges. We show that the question of Herrero whether either S or S* is cyclic on admits a positive answer when the series is convergent. We also prove completeness results for translates in certain Banach spaces of functions on .     

Determination of holomorphic modular forms by primitive Fourier coefficients

We prove that Siegel modular forms of degree greater than one, integral weight and level N, with respect to a Dirichlet character of conductor are uniquely determined by their Fourier coefficients indexed by matrices whose contents run over all divisors of . The cases of other major types of holomorphic modular forms are included. The author is supported by the Grant-in-Aid for JSPS fellows.     

On the Essential Commutant of Toeplitz Operators in Several Complex Variables

Using the joint local mean oscillation, Jingbo Xia [13] showed that the essential commutant of , where is the subalgebra of L ^∞ generated by all functions which are bounded and have at most one discontinuity, is (QC). Even though Xia’s method cannot be used, we are able to generalize his result to Toeplitz operators in higher dimensions with a different approach. This result is stronger than the well-known result stating that the essential commutant of the full Toeplitz algebra is (QC).      

Semicrossed products of simple C*-algebras

Let and be C*-dynamical systems and assume that is a separable simple C*-algebra and that α and β are *-automorphisms. Then the semicrossed products and are isometrically isomorphic if and only if the dynamical systems and are outer conjugate. K. R. Davidson was partially supported by an NSERC grant. E. G. Katsoulis was partially supported by a summer grant from ECU     

Quasilinearization and curvature of Aleksandrov spaces

We present a new distance characterization of Aleksandrov spaces of non-positive curvature. By introducing a quasilinearization for abstract metric spaces we draw an analogy between characterization of Aleksandrov spaces and inner product spaces; the quasi-inner product is defined by means of the quadrilateral cosine—a metric substitute for the angular measure between two directions at different points. Our main result states that a geodesically connected metric space is an Aleksandrov domain (also known as a CAT(0) space) if and only if the quadrilateral cosine does not exceed one for every two pairs of distinct points in . We also observe that a geodesically connected metric space is an domain if and only if, for every quadruple of points in , the quadrilateral inequality (known as Euler’s inequality in ) holds. As a corollary of our main result we give necessary and sufficient conditions for a semimetric space to be an domain. Our results provide a complete solution to the Curvature Problem posed by Gromov in the context of metric spaces of non-positive curvature.      

Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems

A complete classification of the computational complexity of the fixed-point existence problem for Boolean dynamical systems, i.e., finite discrete dynamical systems over the domain {0, 1}, is presented. For function classes and graph classes , an ()-system is a Boolean dynamical system such that all local transition functions lie in and the underlying graph lies in . Let be a class of Boolean functions which is closed under composition and let be a class of graphs which is closed under taking minors. The following dichotomy theorems are shown: (1) If contains the self-dual functions and contains the planar graphs, then the fixed-point existence problem for ()-systems with local transition function given by truth-tables is NP-complete; otherwise, it is decidable in polynomial time. (2) If contains the self-dual functions and contains the graphs having vertex covers of size one, then the fixed-point existence problem for ()-systems with local transition function given by formulas or circuits is NP-complete; otherwise, it is decidable in polynomial time.      

On the Circumference of 2-Connected $$\mathcal{P}_{3}$$-Dominated Graphs

Let G be a connected graph. For at distance 2, we define , and , if then . G is quasi-claw-free if it satisfies , and G is P ₃-dominated() if it satisfies , for every pair (x, y) of vertices at distance 2. Certainly contains as a subclass. In this paper, we prove that the circumference of a 2-connected P ₃-dominated graph G on n vertices is at least min or , moreover if then G is hamiltonian or , where is a class of 2-connected nonhamiltonian graphs.