Congruence-simple subsemirings of ℚ+

Commutative congruence-simple semirings have already been characterized with the exception of the subsemirings of ℝ⁺. Even the class CongSimp(\mathbb Q⁺)\mathit{\mathcal{C}ong\mathcal{S}imp}(\mathbb {Q}^{+}) of all congruence-simple subsemirings of ℚ⁺ has not been classified yet. We introduce a new large class of the congruence-simple saturated subsemirings of ℚ⁺. We classify all the maximal elements of CongSimp(\mathbbQ⁺)\mathit{\mathcal{C}ong\mathcal {S}imp}(\mathbb{Q}^{+}) and show that every element of CongSimp(\mathbbQ⁺)\{\mathbbQ⁺}\mathit{\mathcal{C}ong\mathcal{S}imp}(\mathbb{Q}^{+})\setminus\{\mathbb{Q}^{+}\} is contained in at least one of them.     

On the Unital C*-Algebras Generated by Certain Subnormal Tuples

We consider an important class of subnormal operator m-tuples M _p (p = m,m + 1, . . .) that is associated with a class of reproducing kernel Hilbert spaces H_p{{\mathcal H}_p} (with M _m being the multiplication tuple on the Hardy space of the open unit ball \mathbb B^2m{{\mathbb B}^{2m}} in \mathbb C^m{{\mathbb C}^m} and M _m+1 being the multiplication tuple on the Bergman space of \mathbb B^2m{{\mathbb B}^{2m}}). Given any two C*-algebras A{\mathcal A} and B{\mathcal B} from the collection {C^*(M_p), C^*([(M)\tilde]_p): p 3 m}{\{C^*({M}_p), C^*({\tilde M}_p): p \geq m\}} , where C*(M _p ) is the unital C*-algebra generated by M _p and C^*([(M)\tilde]_p){C^*({\tilde M}_p)} the unital C*-algebra generated by the dual [(M)\tilde]_p{{\tilde M}_p} of M _p , we verify that A{\mathcal A} and B{\mathcal B} are either *-isomorphic or that there is no homotopy equivalence between A{\mathcal A} and B{\mathcal B} . For example, while C*(M _m ) and C*(M _m+1) are well-known to be *-isomorphic, we find that C^*([(M)\tilde]_m){C^*({\tilde M}_m)} and C^*([(M)\tilde]_m+1){C^*({\tilde M}_{m+1})} are not even homotopy equivalent; on the other hand, C*(M _m ) and C^*([(M)\tilde]_m){C^*({\tilde M}_{m})} are indeed *-isomorphic. Our arguments rely on the BDF-theory and K-theory.     

Closed polylines inscribed in a closed space curve

Let n be an odd positive integer. It is proved that if n + 2 is a power of a prime number and C is a regular closed non-self-intersecting curve in \mathbbRⁿ {\mathbb{R}^n} ,then C contains vertices of an equilateral (n + 2)-link polyline with n + 1 vertices lying in a hyperplane. It is also proved that if C is a rectifiable closed curve in \mathbbRⁿ {\mathbb{R}^n} ,then C contains n + 1 points that lie in a hyperplane and divide C into parts one of which is twice as long as each of the others. Bibliography: 6 titles.     

A visible shoreline theorem for staircase paths

Let C be an orthogonal polygon in the plane, bounded by a simple closed curve, and assume that C is starshaped via staircase paths. Let P í \mathbbR²\(int C)P \subseteq {\mathbb{R}}^2\backslash({\rm int} C). If every four points of P see a common boundary point of C via staircase paths in \mathbbR²\(int C){\mathbb{R}}^2\backslash({\rm int} C), then there is a boundary point b of C such that every point of P sees b (via staircase paths in \mathbbR²\(int C){\mathbb{R}}^2\backslash({\rm int} C)). The number four is best possible, even if C is orthogonally convex.     

Biharmonic submanifolds of {\mathbb{C}P^n}

We give some general results on proper-biharmonic submanifolds of a complex space form and, in particular, of the complex projective space. These results are mainly concerned with submanifolds with constant mean curvature or parallel mean curvature vector field. We find the relation between the bitension field of the inclusion of a submanifold [`(M)]{\bar{M}} in \mathbbCPⁿ{\mathbb{C}P^n} and the bitension field of the inclusion of the corresponding Hopf-tube in \mathbbS²ⁿ⁺¹{\mathbb{S}^{2n+1}}. Using this relation we produce new families of proper-biharmonic submanifolds of \mathbbCPⁿ{\mathbb{C}P^n}. We study the geometry of biharmonic curves of \mathbbCPⁿ{\mathbb{C}P^n} and we characterize the proper-biharmonic curves in terms of their curvatures and complex torsions.     

Embeddings of general curves in projective spaces: the range of the quadrics

Let C ì \mathbbP^r C \subset {\mathbb{P}^r} be a general embedding of prescribed degree of a general smooth curve with prescribed genus. Here we prove that either h⁰( \mathbbP^r,I_C(2) ) = 0 {h^0}\left( {{\mathbb{P}^r},{\mathcal{I}_C}(2)} \right) = 0 or h¹( \mathbbP^r,I_C(2) ) = 0 {h^1}\left( {{\mathbb{P}^r},{\mathcal{I}_C}(2)} \right) = 0 (a problem called the maximal rank conjecture in the range of quadrics).     

A Berger type normal holonomy theorem for complex submanifolds

We prove a Berger type theorem for the normal holonomy F^{^}{\Phi^\perp} (i.e., the holonomy group of the normal connection) of a full complete complex submanifold M of the complex projective space \mathbbC Pⁿ{\mathbb{C} P^n}. Namely, if F^{^}{\Phi^\perp} does not act transitively, then M is the complex orbit, in the complex projective space, of the isotropy representation of an irreducible Hermitian symmetric space of rank greater or equal to 3. Moreover, we show that for complete irreducible complex submanifolds of \mathbbCⁿ{\mathbb{C}^n} the normal holonomy is generic, i.e., it acts transitively on the unit sphere of the normal space. The methods in the proofs rely heavily on the singular data of appropriate holonomy tubes (after lifting the submanifold to the complex Euclidean space, in the \mathbbC Pⁿ{\mathbb{C} P^n} case) and basic facts of complex submanifolds.     

Nonexistence of invariant graphs in all supercritical energy levels of mechanical Lagrangians in T 2

Let (T², g) be a smooth Riemannian structure in the torus T². We show that given ε > 0 and any C^∞ function U : T² → ℝ there exists a C¹ function U_ε with Lipschitz derivatives that is ε-C⁰ close to U for which there are no continuous invariant graphs in any supercritical energy level of the mechanical Lagrangian L_ε : TT² → ℝ given by . We also show that given n ∈ ℕ, the set of C^∞ potentials U : T² → ℝ for which there are no continuous invariant graphs in any supercritical energy level E ≤ n of is C⁰ dense in the set of C^∞ functions. Partially supported by CNPq, FAPERJ-Cientistas do nosso estado.     

Quantum symmetric pairs and representations of double affine Hecke algebras of type {C^\vee C_n}

We build representations of the affine and double affine braid groups and Hecke algebras of type C^ú C_n{C^\vee C_n} based upon the theory of quantum symmetric pairs (U, B). In the case U=U_q(\mathfrakgl_N){{\bf U}=\mathcal{U}_{\rm q}(\mathfrak{gl}_N)}, our constructions provide a quantization of the representations constructed by Etingof, Freund, and Ma in [15], and also a type C^ú C_n{C^\vee C_n} generalization of the results in [19].     

Sharp Kolmogorov-type inequalities for norms of fractional derivatives of multivariate functions

Let C( \mathbbR^m ) C\left( {{\mathbb{R}^m}} \right) be the space of bounded and continuous functions x:\mathbbR^m ? \mathbbR x:{\mathbb{R}^m} \to \mathbb{R} equipped with the norm

Algebraic characterization of isometries of the complex and the quaternionic hyperbolic planes

Let H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} denote the two dimensional hyperbolic space over \mathbb F{\mathbb F} , where \mathbb F{\mathbb F} is either the complex numbers \mathbb C{\mathbb C} or the quaternions \mathbb H{\mathbb H} . It is of interest to characterize algebraically the dynamical types of isometries of H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} . For \mathbb F=\mathbb C{\mathbb F=\mathbb C} , such a characterization is known from the work of Giraud–Goldman. In this paper, we offer an algebraic characterization of isometries of H²_{\mathbb H}{{\bf H}^{\bf 2}_{\mathbb H}} . Our result restricts to the case \mathbb F=\mathbb C{\mathbb F=\mathbb C} and provides another characterization of the isometries of H²_{\mathbb C}{{\bf H}^{\bf 2}_{\mathbb C}} , which is different from the characterization due to Giraud–Goldman. Two elements in a group G are said to be in the same z-class if their centralizers are conjugate in G. The z-classes provide a finite partition of the isometry group. In this paper, we describe the centralizers of isometries of H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} and determine the z-classes.     

Analytic criterion for linear convexity of Hartogs domains with smooth boundary in $ {\mathbb{H}^2} $

We establish a criterion for the local linear convexity of sets in the two-dimensional quaternion space \mathbbH² {\mathbb{H}^2} that are analogs of bounded Hartogs domains with smooth boundary in the two-dimensional complex space \mathbbC² {\mathbb{C}^2} .     

<Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Subalgebras Generated by a Single Operator in <Emphasis Type="Italic">B</Emphasis>(<Emphasis Type="Italic">H</Emphasis>)

In this paper, we characterize a C ^*-subalgebra C ^*(x) of B(H), generated by a single operator x. We show that if x is polar-decomposed by aq, where a is the partial isometry part and q is the positive operator part of x, then C ^*(x) is *-isomorphic to the groupoid crossed product algebra A_q×_a\mathbbG_a\mathcal{A}_{q}\times_{\alpha }\mathbb{G}_{a} , where A_q=C^*(q)\mathcal{A}_{q}=C^{*}(q) and \mathbbG_a\mathbb{G}_{a} is the graph groupoid induced by a partial isometry part a of x.     

An effective compactness theorem for Coxeter groups

Through highly non-constructive methods, works by Bestvina, Culler, Feighn, Morgan, Rips, Shalen, and Thurston show that if a finitely presented group does not split over a virtually solvable subgroup, then the space of its discrete and faithful actions on \mathbbHⁿ{\mathbb{H}^n} , modulo conjugation, is compact for all dimensions. Although this implies that the space of hyperbolic structures of such groups has finite diameter, the known methods do not give an explicit bound. We establish such a bound for Coxeter groups. We find that either the group splits over a virtually solvable subgroup or there is a constant C and a point in \mathbbHⁿ{\mathbb{H}^n} that is moved no more than C by any generator. The constant C depends only on the number of generators of the group, and is independent of the relators.     

Regularity of the Anosov distributions of Euler-Lagrange deformations of geodesic flows

Let g be a negatively curved Riemannian metric of a closed C ^∞ manifold M of dimension at least three. Let L _λ be a C ^∞ one-parameter convex superlinear Lagrangian on TM such that L₀(v) = \frac12 g(v, v){L_0(v)= \frac{1}{2} g(v, v)} for any v ∈ TM. We denote by j^l{\varphi^\lambda} the restriction of the Euler-Lagrange flow of L _λ on the \frac12{\frac{1}{2}} -energy level. If λ is small enough then the flow j^l{\varphi^\lambda} is Anosov. In this paper we study the geometric consequences of different assumptions about the regularity of the Anosov distributions of j^l{\varphi^\lambda} . For example, in the case that the initial Riemannian metric g is real hyperbolic, we prove that for λ small, j^l{\varphi^\lambda} has C ³ weak stable and weak unstable distributions if and only if j^l{\varphi^\lambda} is C ^∞ orbit equivalent to the geodesic flow of g.     

Some remarks on the Kähler geometry of the Taub-NUT metrics

In this article, we investigate the balanced condition and the existence of an Engliš expansion for the Taub-NUT metrics on \mathbbC²{\mathbb{C}^2} . Our first result shows that a Taub-NUT metric on \mathbbC²{\mathbb{C}^2} is never balanced unless it is the flat metric. The second one shows that an Engliš expansion of the Rawnsley’s function associated to a Taub-NUT metric always exists, while the coefficient a ₃ of the expansion vanishes if and only if the Taub-NUT metric is indeed the flat one.     

Commutative <Emphasis Type="Italic">C</Emphasis>*-Algebras of Toeplitz Operators on Complex Projective Spaces

We prove the existence of commutative C*-algebras of Toeplitz operators on every weighted Bergman space over the complex projective space \mathbbPⁿ\mathbb(C){{\mathbb{P}^n}\mathbb{(C)}}. The symbols that define our algebras are those that depend only on the radial part of the homogeneous coordinates. The algebras presented have an associated pair of Lagrangian foliations with distinguished geometric properties and are closely related to the geometry of \mathbbPⁿ\mathbb(C){{\mathbb{P}^n}\mathbb{(C)}}.     

On the Rao modules of minimal curves in $${\mathbb{P}^N}$$

We study the Hartshorne-Rao modules M _C of minimal curves C in \mathbbP^N{\mathbb{P}^N} , with N ≥ 4, lying in the same liaison class of curves on a smooth rational scroll surface. We get a free minimal resolution of M _C for some of such curves and an upper bound for Betti numbers of M _C , for any C.     

Invariant Elliptic Curves as Attractors in the Projective Plane

Let f be a rational self-map of ℙ² which leaves invariant an elliptic curve C\mathcal{C} with strictly negative transverse Lyapunov exponent. We show that C\mathcal{C} is an attractor, i.e. it possesses a dense orbit and its basin has strictly positive measure.     

Orthogonal basis for spherical monogenics by step two branching

Spherical monogenics can be regarded as a basic tool for the study of harmonic analysis of the Dirac operator in Euclidean space \mathbb R^m{{\mathbb R}^m}. They play a similar role as spherical harmonics do in case of harmonic analysis of the Laplace operator on \mathbb R^m{{\mathbb R}^m}. Fix the direct sum \mathbb R^m=\mathbb R^p ?\mathbb R^q{{\mathbb R}^m={\mathbb R}^p \oplus {\mathbb R}^q}. In this article, we will study the decomposition of the space M_n(\mathbb R^m, \mathbb C_m){{\mathcal M}_n({\mathbb R}^m, {\mathbb C}_m)} of spherical monogenics of order n under the action of Spin(p) × Spin(q). As a result, we obtain a Spin(p) × Spin(q)-invariant orthonormal basis for M_n(\mathbb R^m, \mathbb C_m){{\mathcal M}_n({\mathbb R}^m, {\mathbb C}_m)}. In particular, using the construction with p = 2 inductively, this yields a new orthonormal basis for the space M_n(\mathbb R^m, \mathbb C_m){{\mathcal M}_n({\mathbb R}^m, {\mathbb C}_m)}.