Dynamics of kaleidoscopic maps

First, we introduce a certain class of piecewise affine elliptic rotation maps on , called the kaleidoscopic maps, and describe its importance.And then, we concentrate our efforts on a special case, when the rotation angle θ of a kaleidoscopic map is , . For the special case, we answer the conjectures regarding the periodicity and the singularity structure of such (kaleidoscopic) dynamics. In the process, we prove the partial riddling of the regular orbits that gives rise to the classification of periodic sets, and estimate the Hausdorff dimension of the singular set.Finally, we study the dynamics of such kaleidoscopic maps restricted within the singular set, and answer conjectures concerning the chaos, the local chaos, and the ergodicity with respect to the normalized Hausdorff measure of the singular set.     

On the dynamics of composition of commuting interval maps

Let be two commuting continuous maps. We establish some results on the topological dynamic shared by both maps and state some conditions to get that the topological entropy of the composition f○g will be positive.     

Proper analytic free maps

This paper concerns analytic free maps. These maps are free analogs of classical analytic functions in several complex variables, and are defined in terms of non-commuting variables amongst which there are no relations - they are free variables. Analytic free maps include vector-valued polynomials in free (non-commuting) variables and form a canonical class of mappings from one non-commutative domain D in say g variables to another non-commutative domain in variables. As a natural extension of the usual notion, an analytic free map is proper if it maps the boundary of D into the boundary of . Assuming that both domains contain 0, we show that if is a proper analytic free map, and f(0)=0, then f is one-to-one. Moreover, if also , then f is invertible and f−1 is also an analytic free map. These conclusions on the map f are the strongest possible without additional assumptions on the domains D and .     

Chambers of arrangements of hyperplanes and Arrow's impossibility theorem

Let A be a nonempty real central arrangement of hyperplanes and Ch be the set of chambers of A. Each hyperplane H defines a half-space H⁺ and the other half-space H⁻. Let B={+,−}. For H∈A, define a map by (if C⊆H⁺) and (if C⊆H⁻). Define . Let Chm=Ch×Ch×?×Ch (m times). Then the maps induce the maps . We will study the admissible maps which are compatible with every . Suppose |A|?3 and m?2. Then we will show that A is indecomposable if and only if every admissible map is a projection to a component. When A is a braid arrangement, which is indecomposable, this result is equivalent to Arrow's impossibility theorem in economics. We also determine the set of admissible maps explicitly for every nonempty real central arrangement.     

Positive entropy on nonautonomous interval maps and the topology of the inverse limit space

Entropy on nonautonomous maps of the interval is defined 2 ways. Under one definition, called forward entropy, it is shown that positive entropy implies that the inverse limit space of contains an indecomposable subcontinuum. Under the second definition, called backwards entropy, it is shown that the inverse limit space of is not locally connected.     

Multipliers between Sobolev spaces and fractional differentiation

We characterize the pointwise multipliers which maps a Sobolev space to a Sobolev space in the case |s|<r<d/2.     

Unbounded dissipative compressed Toeplitz operators

Denote by the collection of all closed densely defined linear maps commuting with the adjoint of the compression of the standard unilateral shift on the Hardy space to a shift coinvariant subspace. Necessary and sufficient conditions for a linear map in the class to be dissipative are given.     

An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields

Let K be a complete and algebraically closed valued field of characteristic 0. We prove that the set of rational integers is positive existentially definable in the field of meromorphic functions on K in the language of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation “the function x takes the value 0 at 0”. Consequently, we prove that the positive existential theory of in the language is undecidable. In order to obtain these results, we obtain a complete characterization of all analytic projective maps (over K) from an elliptic curve minus a point to , for any elliptic curve defined over the field of constants.     

Constructing topologically distinct energy-critical curves in the path space of the Euclidean line

We construct topologically distinct global, non-embedding solutions to the Euler-Lagrange equation for a natural energy functional on the space of maps .     

Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

Stable manifolds associated to fixed points with linear part equal to identity

We consider maps defined on an open set of having a fixed point whose linear part is the identity. We provide sufficient conditions for the existence of a stable manifold in terms of the nonlinear part of the map.These maps arise naturally in some problems of Celestial Mechanics. We apply the results to prove the existence of parabolic orbits of the spatial elliptic three-body problem.     

The compactified Picard scheme of the compactified Jacobian

Let C be an integral projective curve in any characteristic. Given an invertible sheaf L on C of degree 1, form the corresponding Abel map , which maps C into its compactified Jacobian, and form its pullback map , which carries the connected component of 0 in the Picard scheme back to the Jacobian. If C has, at worst, double points, then is known to be an isomorphism. We prove that always extends to a map between the natural compactifications, , and that the extended map is an isomorphism if C has, at worst, ordinary nodes and cusps.     

The role of the angle in supercyclic behavior

A bounded operator T acting on a Hilbert space is said to be supercyclic if there is a vector such that the projective orbit and is dense in . We use a new method based on a very simple geometric idea that allows us to decide whether an operator is supercyclic or not. The method is applied to obtain the following result: A composition operator acting on the Hardy space whose inducing symbol is a parabolic linear-fractional map of the disk onto a proper subdisk is not supercyclic. This result finishes the characterization of the supercyclic behavior of composition operators induced by linear fractional maps and, thus, completes previous work of Bourdon and Shapiro.     

Preservers of spectral radius, numerical radius, or spectral norm of the sum on nonnegative matrices

Let be the set of entrywise nonnegative n×n matrices. Denote by r(A) the spectral radius (Perron root) of . Characterization is obtained for maps such that r(f(A)+f(B))=r(A+B) for all . In particular, it is shown that such a map has the form

     

A graded Gersten-Witt complex for schemes with a dualizing complex and the Chow group

We construct for any scheme X with a dualizing complex I_• a Gersten-Witt complex and show that the differential of this complex respects the filtration by the powers of the fundamental ideal. To prove this we introduce second residue maps for one-dimensional local domains which have a dualizing complex. This residue maps generalize the classical second residue morphisms for discrete valuation rings. For the cohomology of the quotient complexes of this filtration we prove , where μ_I is the codimension function of the dualizing complex I_• and denotes the Chow group of μ_I-codimension p-cycles modulo rational equivalence.     

Non-archimedean analytic curves in the complements of hypersurface divisors

We study the degeneration dimension of non-archimedean analytic maps into the complement of hypersurface divisors of smooth projective varieties. We also show that there exist no non-archimedean analytic maps into where Di, 1?i?n, are hypersurfaces of degree at least 2 in general position and intersecting transversally. Moreover, we prove that there exist no non-archimedean analytic maps into when D₁, D₂ are generic plane curves with degD₁+degD₂?4.