Embeddings of homology equivalent manifolds with boundary

We prove a theorem on equivariant maps implying the following two corollaries:(1) Let N and M be compact orientable n-manifolds with boundaries such that M⊂N, the inclusion M→N induces an isomorphism in integral cohomology, both M and N have (n−d−1)-dimensional spines and . Then the restriction-induced map Embm(N)→Embm(M) is bijective. Here Embm(X) is the set of embeddings X→Rm up to isotopy (in the PL or smooth category).(2) For a 3-manifold N with boundary whose integral homology groups are trivial and such that N?D³ (or for its special 2-spine N) there exists an equivariant map , although N does not embed into R³.The second corollary completes the answer to the following question: for which pairs (m,n) for each n-polyhedron N the existence of an equivariant map implies embeddability of N into Rm? An answer was known for each pair (m,n) except (3,3) and (3,2).     

Families of low dimensional determinantal schemes

A scheme X⊂Pⁿ of codimension c is called standard determinantal if its homogeneous saturated ideal can be generated by the t×t minors of a homogeneous t×(t+c−1) matrix (f_ij). Given integers a₀≤a₁≤?≤a_t+c−2 and b₁≤?≤b_t, we denote by the stratum of standard determinantal schemes where f_ij are homogeneous polynomials of degrees a_j−b_i and is the Hilbert scheme (if n−c>0, resp. the postulation Hilbert scheme if n−c=0).Focusing mainly on zero and one dimensional determinantal schemes we determine the codimension of in and we show that is generically smooth along under certain conditions. For zero dimensional schemes (only) we find a counterexample to the conjectured value of appearing in Kleppe and Miró-Roig (2005) [25].     

On conjugate adjacency matrices of a graph

Let G be a simple graph of order n. Let and , where a and b are two nonzero integers and m is a positive integer such that m is not a perfect square. We say that A^c=[c_ij] is the conjugate adjacency matrix of the graph G if c_ij=c for any two adjacent vertices i and j, for any two nonadjacent vertices i and j, and c_ij=0 if i=j. Let P_G(λ)=|λI-A| and denote the characteristic polynomial and the conjugate characteristic polynomial of G, respectively. In this work we show that if then , where denotes the complement of G. In particular, we prove that if and only if P_G(λ)=P_H(λ) and . Further, let P^c(G) be the collection of conjugate characteristic polynomials of vertex-deleted subgraphs G_i=G?i(i=1,2,…,n). If P^c(G)=P^c(H) we prove that , provided that the order of G is greater than 2.     

Extending homeomorphisms from punctured surfaces to handlebodies

Let Hg be a genus g handlebody and MCG2n(Tg) be the group of the isotopy classes of orientation preserving homeomorphisms of Tg=∂Hg, fixing a given set of 2n points. In this paper we find a finite set of generators for , the subgroup of MCG2n(Tg) consisting of the isotopy classes of homeomorphisms of Tg admitting an extension to the handlebody and keeping fixed the union of n disjoint properly embedded trivial arcs. This result generalizes a previous one obtained by the authors for n=1. The subgroup turns out to be important for the study of knots and links in closed 3-manifolds via (g,n)-decompositions. In fact, the links represented by the isotopy classes belonging to the same left cosets of in MCG2n(Tg) are equivalent.     

Preserving Z-sets by Dranishnikov's resolution

We prove that Dranishnikov's k-dimensional resolution is a UV^n − 1-divider of Chigogidze's k-dimensional resolution ck. This fact implies that preserves Z-sets. A further development of the concept of UV^n − 1-dividers permits us to find sufficient conditions for to be homeomorphic to the Nöbeling space νk or the universal pseudoboundary σk. We also obtain some other applications.     

Superinjective simplicial maps of complexes of curves and injective homomorphisms of subgroups of mapping class groups

Let S be a closed, connected, orientable surface of genus at least 3, be the complex of curves on S and be the extended mapping class group of S. We prove that a simplicial map, , preserves nondisjointness (i.e. if α and β are two vertices in and i(α,β)≠0, then i(λ(α),λ(β))≠0) iff it is induced by a homeomorphism of S. As a corollary, we prove that if K is a finite index subgroup of and is an injective homomorphism, then f is induced by a homeomorphism of S and f has a unique extension to an automorphism of .     

Cyclic actions and divisible polynomials

Let g:M²ⁿ?M²ⁿ be an orientation preserving PL map of period m>2. Suppose that the cyclic action defined by g is locally linear PL, fixing a locally flat submanifold F with components only of dimension 0 or 2n−2, and regular. Let ?(m) be Euler’s number and ρ(m)=?(m)−1 if m is a power of 2 and ρ(m)=?(m) otherwise. If is a rational integer, then . This congruence is used to show that a codimension-2 locally flat submanifold of cohomology complex projective n-space fixed by g must have degree one if m≠4 or 10 and n<?(m)+4.     

Convergence preserving mappings on topological groups

It is well known that a mapping is convergence preserving, that is, whenever an infinite series ∑an converges, the series ∑φ(an) converges, if and only if there exists m∈R such that φ(x)=mx in some neighborhood of 0. We explore convergence preserving mappings on Hausdorff topological groups, showing in particular, that if G×G is a Fréchet group, and H has no small subgroups, then a mapping is convergence preserving if and only if there is a neighborhood of the identity in G on which φ is a sequentially continuous homomorphism.     

Additive Jordan isomorphisms of nest algebras on normed spaces

Let X be a real or complex Banach space. Let and be two nest algebras on X. Suppose that φ is an additive bijective mapping from onto such that φ(A²)=φ(A)² for every . Then φ is either a ring isomorphism or a ring anti-isomorphism. Moreover, if X is a real space or an infinite dimensional complex space, then there exists a continuous (conjugate) linear bijective mapping T such that either φ(A)=TAT⁻¹ for every or φ(A)=TA∗T−1 for every .     

Blaschke products and the rank of backward shift invariant subspaces over the bidisk

Let H²(D²) be the Hardy space over the bidisk. For sequences of Blaschke products {φn(z):−∞<n<∞} and {ψn(w):−∞<n<∞} satisfying some additional conditions, we may define a Rudin type invariant subspace M. We shall determine the rank of H²(D²)?M for the pair of operators and .     

Lattices generated by join of strongly closed subgraphs in d-bounded distance-regular graphs

Let Γ be a d-bounded distance-regular graph with diameter d?3. Suppose that P(x) is a set of all strongly closed subgraphs containing x and that P(x,i) is a subset of P(x) consisting of all elements of P(x) with diameter i. Let L^′(x,i) be the set generated by all joins of the elements in P(x,i). By ordering L^′(x,i) by inclusion or reverse inclusion, L^′(x,i) is denoted by or . We prove that and are both finite atomic lattices, and give the conditions for them both being geometric lattices. We also give the eigenpolynomial of      

On a property of plane curves

Let γ:[0,1]→²[0,1] be a continuous curve such that γ(0)=(0,0), γ(1)=(1,1), and γ(t)∈²(0,1) for all t∈(0,1). We prove that, for each n∈N, there exists a sequence of points Ai, 0?i?n+1, on γ such that A₀=(0,0), An+1=(1,1), and the sequences and , 0?i?n, are positive and the same up to order, where π₁, π₂ are projections on the axes.     

Covering numbers of different points in Dvoretzky covering

Consider the Dvoretzky random covering on the circle T with a decreasing length sequence {?n}_n?1 such that . We study, for a given β?0, the set Fβ of points which are asymptotically covered by a number βLn of the first n randomly placed intervals where . Three typical situations arise, delimited by two “phase transitions”, according to is zero, positive-finite or infinite, where . More precisely, if ?n tends to zero rapidly enough so that then, with probability one, dimHFβ=1 for all β?0; if ?n is moderate so that then, with probability one, we have for and Fβ=∅ for where and is the interval consisting of β's such that ; eventually, if ?n is so slow that then, with probability one, F₁=T. This solves a problem raised by L. Carleson in a rather satisfactory fashion.Analogous results are obtained for the Poisson covering of the line, which is studied as a tool.     

Unique expansions of real numbers

It was discovered some years ago that there exist non-integer real numbers q>1 for which only one sequence (ci) of integers ci∈[0,q) satisfies the equality . The set of such “univoque numbers” has a rich topological structure, and its study revealed a number of unexpected connections with measure theory, fractals, ergodic theory and Diophantine approximation.In this paper we consider for each fixed q>1 the set Uq of real numbers x having a unique representation of the form with integers ci belonging to [0,q). We carry out a detailed topological study of these sets. For instance, we characterize their closures, and we determine those bases q for which Uq is closed or even a Cantor set. We also study the set consisting of all sequences (ci) of integers ci∈[0,q) such that . We determine the numbers r>1 for which the map (defined on (1,∞)) is constant in a neighborhood of r and the numbers q>1 for which is a subshift or a subshift of finite type.     

On the value distribution and moments of the Epstein zeta function to the right of the critical strip

We study the Epstein zeta function En(L,s) for and a random lattice L of large dimension n. For any fixed we determine the value distribution and moments of En(⋅,cn) (suitably normalized) as n→∞. We further discuss the random function c?En(⋅,cn) for c∈[A,B] with and determine its limit distribution as n→∞.