Source author record

Dušan Repovš

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

94works
21topics
4close collaborators

Published work

94 publications

preprint2020arXiv

Controlled surgery and L\mathbb{L}-homology

This paper presents an alternative approach to controlled surgery obstructions. The obstruction for a degree one normal map (f,b):Mn→Xn(f,b): M^n \rightarrow X^n with control map q:Xn→Bq: X^n \rightarrow B to complete controlled surgery is an element σc(f,b)∈Hn(B,L)σ^c (f, b) \in H_n (B, \mathbb{L}), where Mn,XnM^n, X^n are topological manifolds of dimension n≥5n \geq 5. Our proof uses essentially the geometrically defined L\mathbb{L}-spectrum as described by Nicas (going back to Quinn) and some well known homotopy theory. We also outline the construction of the algebraically defined obstruction, and we explicitly describe the assembly map Hn(B,L)→Ln(π1(B))H_n (B, \mathbb{L}) \rightarrow L_n (π_1 (B)) in terms of forms in the case n≡0(4)n \equiv 0 (4). Finally, we explicitly determine the canonical map Hn(B,L)→Hn(B,L0)H_n (B, \mathbb{L}) \rightarrow H_n (B, L_0).

preprint2020arXiv

On Steenrod L\mathbb{L}-homology, generalized manifolds, and surgery

The aim of this paper is to show the importance of the Steenrod construction of homology theories for the disassembly process in surgery on a generalized nn-manifold XnX^n, in order to produce an element of generalized homology theory, which is basic for calculations. In particular, we show how to construct an element of the nn-th Steenrod homology group Hnst(Xn,L+),H^{st}_{n} (X^{n}, \mathbb{L}^+), where L+\mathbb{L}^+ is the connected covering spectrum of the periodic surgery spectrum L\mathbb{L}, avoiding the use of the geometric splitting procedure, which is standardly used in surgery on topological manifolds.

preprint2016arXiv

A Nash type solution for hemivariational inequality systems

In this paper we prove an existence result for a general class of hemivariational inequalities systems using the Ky Fan version of KKM theorem (1984) or the Tarafdar fixed point theorem (1987). As application we give an infinite dimensional version for existence result of Nash generalized derivative points introduced recently by Kristály (2010) and also we give an application to a general hemivariational inequalities system.

preprint2016arXiv

Existence of solutions for pp-Laplacian discrete equations

This work is devoted to the study of the existence of at least one (non-zero) solution to a problem involving the discrete pp-Laplacian. As a special case, we derive an existence theorem for a second-order discrete problem, depending on a positive real parameter αα, whose prototype is given by {−Δ2u(k−1)=αf(k,u(k)),∀  k∈Z[1,T]u(0)=u(T+1)=0. \left\{ \begin{array}{l} -Δ^2u({k-1})=αf(k,u(k)),\quad \forall\; k \in {\mathbb{Z}}[1,T] \\ {u(0)=u({T+1})=0.}\\ \end{array} \right. Our approach is based on variational methods in finite-dimensional setting.

preprint2016arXiv

Group gradings on finite dimensional Lie algebras

We study gradings by noncommutative groups on finite dimensional Lie algebras over an algebraically closed field of characteristic zero. It is shown that if LL is gradeg by a non-abelian finite group GG then the solvable radical RR of LL is GG-graded and there exists a Levi subalgebra B=H1⊕⋯⊕HmB=H_1\oplus\cdots\oplus H_m homogeneous in GG-grading with graded simple summands H1,…,HmH_1, \ldots, H_m. All supports Supp Hi,i=1…,mSupp~H_i, i=1\ldots, m, are commutative subsets of GG.

preprint2016arXiv

Higher nonlocal problems with bounded potential

The aim of this paper is to study a class of nonlocal fractional Laplacian equations depending on two real parameters. More precisely, by using an appropriate analytical context on fractional Sobolev spaces due to Servadei and Valdinoci, we establish the existence of three weak solutions for nonlocal fractional problems exploiting an abstract critical point result for smooth functionals. We emphasize that the dependence of the underlying equation from one of the real parameter is not necessarily of affine type.

preprint2016arXiv

Multiple perturbations of a singular eigenvalue problem

We study the perturbation by a critical term and a (p−1)(p-1)-superlinear subcritical nonlinearity of a quasilinear elliptic equation containing a singular potential. By means of variational arguments and a version of the concentration-compactness principle in the singular case, we prove the existence of solutions for positive values of the parameter under the principal eigenvalue of the associated singular eigenvalue problem.

preprint2016arXiv

Multiple solutions for a Neumann system involving subquadratic nonlinearities

In this paper we consider the model semilinear Neumann system {−Δu+a(x)u=λc(x)Fu(u,v)inΩ,−Δv+b(x)v=λc(x)Fv(u,v)inΩ,∂u∂ν=∂v∂ν=0on∂Ω,\left\{ \begin{array}{lll} -Δu+a(x)u=λc(x) F_u(u,v)& {\rm in} & Ω,\\ -Δv+b(x)v=λc(x) F_v(u,v)& {\rm in} & Ω,\\ \frac{\partial u}{\partial ν}=\frac{\partial v}{\partial ν}=0 & {\rm on} & \partialΩ, \end{array}\right. where Ω⊂RNΩ\subset \mathbb R^N is a smooth open bounded domain, νν denotes the outward unit normal to ∂Ω\partial Ω, λ≥0λ\geq 0 is a parameter, a,b,c∈L+∞(Ω)∖{0},a,b,c\in L_+^\infty(Ω)\setminus\{0\}, and F∈C1(R2,R)∖{0}F\in C^1(\mathbb{R}^2,\mathbb{R})\setminus\{0\} is a nonnegative function which is subquadratic at infinity. Two nearby numbers are determined in explicit forms, λ‾\underline λ and λ‾\overline λ with 0<λ‾≤λ‾ 0<\underlineλ\leq \overline λ, such that for every 0≤λ<λ‾0\leq λ<\underline λ, system (Nλ)(N_λ) has only the trivial pair of solution, while for every λ>λ‾λ>\overline λ, system (Nλ)(N_λ) has at least two distinct nonzero pairs of solutions.

preprint2016arXiv

Multiple solutions for elliptic equations involving a general operator in divergence form

In this paper, exploiting variational methods, the existence of three weak solutions for a class of elliptic equations involving a general operator in divergence form and with Dirichlet boundary condition is investigated. Several special cases are analyzed. In conclusion, for completeness, a concrete example of an application is presented by finding the existence of three nontrivial weak solutions for an uniformly elliptic second-order problem on a bounded Euclidean domain.

preprint2016arXiv

Nonlinear mappings preserving at least one eigenvalue

We prove that if FF is a Lipschitz map from the set of all complex n×nn\times n matrices into itself with F(0)=0F(0)=0 such that given any xx and yy we have that % F\left( x\right) -F\left( y\right) and x−yx-y have at least one common eigenvalue, then either F(x)=uxu−1F\left( x\right) =uxu^{-1} or F(x)=uxtu−1F\left( x\right) =ux^{t}u^{-1} for all xx, for some invertible n×nn\times n matrix uu. We arrive at the same conclusion by supposing FF to be of class C\mathcal{C}% ^{1} on a domain in Mn\mathcal{M}_{n} containing the null matrix, instead of Lipschitz. We also prove that if FF is of class C1\mathcal{C}^{1} on a domain containing the null matrix satisfying F(0)=0F(0)=0 and ρ(F(x)−F(y))=ρ(x−y)ρ(F\left( x\right) -F\left( y\right) )=ρ(x-y) for all xx and yy, where ρ(⋅)ρ\left( \cdot \right) denotes the spectral radius, then there exists γ∈Cγ\in \mathbb{C} of modulus one such that either γ−1Fγ^{-1}F or γ−1F‾γ^{-1}\overline{F} is of the above form, where F‾\overline{F} is the (complex) conjugate of FF.

preprint2016arXiv

Nonlinear Neumann problems driven by a nonhomogeneous differential operator

We study a nonlinear parametric Neumann problem driven by a nonhomogeneous quasilinear elliptic differential operator div⁡(a(x,∇u))\operatorname{div}(a(x,\nabla u)), a special case of which is the pp-Laplacian. The reaction term is a nonlinearity function ff which exhibits (p−1)(p-1)-subcritical growth. By using variational methods, we prove a multiplicity result on the existence of weak solutions for such problems. An explicit example of an application is also presented.

preprint2016arXiv

On a p(⋅)p(\cdot)-biharmonic problem with no-flux boundary condition

The study of fourth order partial differential equations has flourished in the last years, however, a p(⋅)p(\cdot)-biharmonic problem with no-flux boundary condition has never been considered before, not even for constant pp. This is an important step further, since surfaces that are impermeable to some contaminants are appearing quite often in nature, hence the significance of such boundary condition. By relying on several variational arguments, we obtain the existence and the multiplicity of weak solutions to our problem. We point out that, although we use a mountain pass type theorem in order to establish the multiplicity result, we do not impose an Ambrosetti-Rabinowitz type condition, nor a symmetry condition, on our nonlinearity ff.

preprint2016arXiv

On a non-homogeneous eigenvalue problem involving a potential: an Orlicz-Sobolev space setting

In this paper we study a non-homogeneous eigenvalue problem involving variable growth conditions and a potential VV. The problem is analyzed in the context of Orlicz-Sobolev spaces. Connected with this problem we also study the optimization problem for the particular eigenvalue given by the infimum of the Rayleigh quotient associated to the problem with respect to the potential VV when VV lies in a bounded, closed and convex subset of a certain variable exponent Lebesgue space.

preprint2016arXiv

On a PDE involving the Ap(⋅){\cal A}_{p(\cdot)}-Laplace operator

This paper establishes existence of solutions for a partial differential equation in which a differential operator involving variable exponent growth conditions is present. This operator represents a generalization of the p(⋅)p(\cdot)-Laplace operator, i.e. Δp(⋅)u=div(∣∇u∣p(⋅)−2∇u)Δ_{p(\cdot)}u={\rm div}(|\nabla u|^{p(\cdot)-2}\nabla u), where p(⋅)p(\cdot) is a continuous function. The proof of the main result is based on Schauder's fixed point theorem combined with adequate variational arguments. The function space setting used here makes appeal to the variable exponent Lebesgue and Sobolev spaces.

preprint2016arXiv

On doubly nonlocal fractional elliptic equations

This work is devoted to the study of the existence of solutions to nonlocal equations involving the fractional Laplacian. These equations have a variational structure and we find a nontrivial solution for them using the Mountain Pass Theorem. To make the nonlinear methods work, some careful analysis of the fractional spaces involved is necessary. In addition, we require rather general assumptions on the local operator. As far as we know, this result is new and represent a fractional version of a classical theorem obtained working with Laplacian equations.

preprint2016arXiv

On sequences of solutions for discrete anisotropic equations

Taking advantage of a recent critical point theorem, the existence of infinitely many solutions for an anisotropic problem with a parameter is established. More precisely, a concrete interval of positive parameters, for which the treated problem admits infinitely many solutions, is determined without symmetry assumptions on the nonlinear data. Our goal was achieved by requiring an appropriate behavior of the nonlinear terms at zero, without any additional conditions.

preprint2016arXiv

On the existence of three solutions for the Dirichlet problem on the Sierpinski gasket

We apply a recently obtained three critical points theorem of B. Ricceri to prove the existence of at least three solutions of certain two-parameters Dirichlet problems defined on the Sierpinski gasket. We also show the existence of at least three nonzero solutions of certain perturbed two-parameters Dirichlet problems on the Sierpinski gasket, using both the mountain pass theorem of Ambrosetti-Rabinowitz and that of Pucci-Serrin.

preprint2016arXiv

On the Schrödinger-Maxwell system involving sublinear terms

In this paper we study the coupled Schrödinger-Maxwell system {−△u+u+ϕu=λα(x)f(u)inR3,−△ϕ=u2inR3,\left\{ \begin{array}{lll} -\triangle u+u +ϕu=λα(x) f(u)& {\rm in} & \mathbb R^3,\\ -\triangle ϕ=u^2 & {\rm in} & \mathbb R^3, \end{array}\right. where α∈L∞(R3)∩L6/(5−q)(R3)α\in L^\infty(\mathbb R^3)\cap L^{6/(5-q)}(\mathbb R^3) for some q∈(0,1)q\in (0,1), and the continuous function f:R→Rf:\mathbb{R}\to\mathbb{R} is superlinear at zero and sublinear at infinity, e.g., f(s)=min⁡(∣s∣r,∣s∣p)f(s) = \min(|s|^r,|s|^p) with 0<r<1<p.0<r<1<p. Depending on the range of λ>0λ>0, non-existence and multiplicity results are obtained.

preprint2016arXiv

Quantitative Rellich Inequalities on Finsler-Hadamard Manifolds

In this paper we are dealing with quantitative Rellich inequalities on Finsler-Hadamard manifolds where the remainder terms are expressed by means of the flag curvature. By exploring various arguments from Finsler geometry and PDEs on manifolds we show that more weighty curvature implies more powerful improvements in Rellich inequalities. The sharpness of the involved constants are also studied. Our results complement those of Yang, Su and Kong [Commun. Contemp. Math., 2014].

preprint2015arXiv

On monoids of injective partial cofinite selfmaps

We study the semigroup Iλcf\mathscr{I}^{\mathrm{cf}}_λ of injective partial cofinite selfmaps of an infinite cardinal λλ. We show that Iλcf\mathscr{I}^{\mathrm{cf}}_λ is a bisimple inverse semigroup and each chain of idempotents in Iλcf\mathscr{I}^{\mathrm{cf}}_λ is contained in a bicyclic subsemigroup of Iλcf\mathscr{I}^{\mathrm{cf}}_λ, we describe the Green relations on Iλcf\mathscr{I}^{\mathrm{cf}}_λ and we prove that every non-trivial congruence on Iλcf\mathscr{I}^{\mathrm{cf}}_λ is a group congruence. Also, we describe the structure of the quotient semigroup Iλcf/σ\mathscr{I}^{\mathrm{cf}}_λ/σ, where σσ is the least group congruence on Iλcf\mathscr{I}^{\mathrm{cf}}_λ.

preprint2014arXiv

Continuous selections of multivalued mappings

This survey covers in our opinion the most important results in the theory of continuous selections of multivalued mappings (approximately) from 2002 through 2012. It extends and continues our previous such survey which appeared in Recent Progress in General Topology, II, which was published in 2002. In comparison, our present survey considers more restricted and specific areas of mathematics. Note that we do not consider the theory of selectors (i.e. continuous choices of elements from subsets of topological spaces) since this topics is covered by another survey in this volume.

preprint2014arXiv

Simply connected open 3-manifolds with rigid genus one ends

We construct uncountably many simply connected open 3-manifolds with genus one ends homeomorphic to the Cantor set. Each constructed manifold has the property that any self homeomorphism of the manifold (which necessarily extends to a homeomorphism of the ends) fixes the ends pointwise. These manifolds are complements of rigid generalized Bing-Whitehead (BW) Cantor sets. Previous examples of rigid Cantor sets with simply connected complement in R3R^{3} had infinite genus and it was an open question as to whether finite genus examples existed. The examples here exhibit the minimum possible genus, genus one. These rigid generalized BW Cantor sets are constructed using variable numbers of Bing and Whitehead links. Our previous result with Željko determining when BW Cantor sets are equivalently embedded in R3R^{3} extends to the generalized construction. This characterization is used to prove rigidity and to distinguish the uncountably many examples.

preprint2013arXiv

Browder-Livesay filtrations and the example of Cappell and Shaneson

Let M3M^3 be a 3-dimensional manifold with fundamental group π1(M)π_1(M) which contains a quaternion subgroup QQ of order 8. In 1979 Cappell and Shaneson constructed a nontrivial normal map f ⁣:M3×T2→M3×S2 f\colon M^3\times T^2\to M^3\times S^2 which cannot be detected by simply connected surgery obstructions along submanifolds of codimension 0, 1, or 2, but it can be detected by the codimension 3 Kervaire-Arf invariant. The proof of non-triviality of σ(f)∈L5(π1(M))σ(f)\in L_5(π_1(M)) is based on consideration of a Browder-Livesay filtration of a manifold XX with π1(X)≅π1(M)π_1(X)\cong π_1(M). For a Browder-Livesay pair Yn−1⊂XnY^{n-1}\subset X^n, the restriction of a normal map to the submanifold YY is given by a partial multivalued map Γ ⁣:Ln(π1(X))→Ln−1(π1(Y))Γ\colon L_n(π_1(X))\to L_{n-1}(π_1(Y)), and the Browder-Livesay filtration provides an iteration ΓnΓ^n. This map is a basic step in the definition of the iterated Browder-Livesay invariants which give obstructions to realization of surgery obstructions by normal maps of closed manifolds. In the present paper we prove that Γ3(σ(f))=0Γ^3(σ(f))=0 for any Browder-Livesay filtration of a manifold X4k+1X^{4k+1} with π1(X)≅Qπ_1(X)\cong Q. We compute splitting obstruction groups for various inclusions ρ→Qρ\to Q of index 2, describe natural maps in the braids of exact sequences, and make more precise several results about surgery obstruction groups of the group QQ.

preprint2013arXiv

Detecting codimension one manifold factors with the piecewise disjoint arc-disk property and related properties

We show that all finite-dimensional resolvable generalized manifolds with the piecewise disjoint arc-disk property are codimension one manifold factors. We then show how the piecewise disjoint arc-disk property and other general position properties that detect codimension one manifold factors are related. We also note that in every example presently known to the authors of a codimension one manifold factor of dimension n≥4n\geq 4 determined by general position properties, the piecewise disjoint arc-disk property is satisfied.

preprint2013arXiv

Homogeneity Groups of Ends of 3-manifolds

For every finitely generated abelian group G, we construct an irreducible open 3-manifold MGM_{G} whose end set is homeomorphic to a Cantor set and with end homogeneity group of MGM_{G} isomorphic to G. The end homogeneity group is the group of self-homeomorphisms of the end set that extend to homeomorphisms of the 3-manifold. The techniques involve computing the embedding homogeneity groups of carefully constructed Antoine type Cantor sets made up of rigid pieces. In addition, a generalization of an Antoine Cantor set using infinite chains is needed to construct an example with integer homogeneity group. Results about local genus of points in Cantor sets and about geometric index are also used.

preprint2013arXiv

Inequivalent Cantor Sets in R3R^{3} Whose Complements Have the Same Fundamental Group

For each Cantor set C in R3R^{3}, all points of which have bounded local genus, we show that there are infinitely many inequivalent Cantor sets in R3R^{3} with complement having the same fundamental group as the complement of C. This answers a question from Open Problems in Topology and has as an application a simple construction of nonhomeomorphic open 3-manifolds with the same fundamental group. The main techniques used are analysis of local genus of points of Cantor sets, a construction for producing rigid Cantor sets with simply connected complement, and manifold decomposition theory. The results presented give an argument that for certain groups G, there are uncountably many nonhomeomorphic open 3-manifolds with fundamental group G.

preprint2013arXiv

Max-min measures on ultrametric spaces

The ultrametrization of the set of all probability measures of compact support on the ultrametric spaces was first defined by Hartog and de Vink. In this paper we consider a similar construction for the so called max-min measures on the ultrametric spaces. In particular, we prove that the functors max-min measures and idempotent measures are isomorphic. However, we show that this is not the case for the monads generated by these functors.

preprint2013arXiv

On 2-dimensional nonaspherical cell-like Peano continua: A simplified approach

We construct a functor AC(−,−)AC(-,-) from the category of path connected spaces XX with a base point xx to the category of simply connected spaces. The following are the main results of the paper: (i) If XX is a Peano continuum then AC(X,x)AC(X,x) is a cell-like Peano continuum; (ii) If XX is n−n-dimensional then AC(X,x)AC(X, x) is (n+1)−(n+1)-dimensional; and (iii) For a path connected space XX, π1(X,x)π_1(X,x) is trivial if and only if π2(AC(X,x))π_2(AC(X, x)) is trivial. As a corollary, AC(S1,x)AC(S^1, x) is a 2-dimensional nonaspherical cell-like Peano continuum.

preprint2013arXiv

On Snake cones, Alternating cones and related constructions

We show that the Snake on a square SC(S1)SC(S^1) is homotopy equivalent to the space AC(S1)AC(S^1) which was investigated in the previous work by Eda, Karimov and Repov\vs. We also introduce related constructions CSC(−)CSC(-) and CAC(−)CAC(-) and investigate homotopical differences between these four constructions. Finally, we explicitly describe the second homology group of the Hawaiian tori wedge.

preprint2013arXiv

On the Pontryagin-Steenrod-Wu theorem

This paper is on homotopy classification of maps of (n+1)-dimensional manifolds into the n-dimensional sphere. For a continuous map f of an (n+1)-manifold into the n-sphere define the degree deg f to be the class dual to f^*[S^n], where [S^n] is the fundamental class. We present a short and direct proof of the following specific case of the Pontryagin-Steenrod-Wu theorem: Theorem. Let M be a connected orientable closed smooth (n+1)-manifold, n>2. Then the map deg:π^n(M)\to H_1(M;Z) is 1-to-1 (i.e., bijective), if the product w_2(M) x r_2 H_2(M;Z) is nonzero, where r_2 is the mod2 reduction; 2-to-1 (i.e., each element of H_1(M;Z) has exactly 2 preimages) - otherwise. The proof is based on the Pontryagin-Thom construction and a geometric definition of the Stiefel-Whitney classes w_2(M).

preprint2012arXiv

A two-parameter control for contractive-like multivalued mappings

We propose a general approach to defining a contractive-like multivalued mappings FF which avoids any use of the Hausdorff distance between the sets F(x)F(x) and F(y)F(y). Various fixed point theorems are proved under a two-parameter control of the distance function dF(x)=dist(x,F(x))d_{F}(x)=dist(x,F(x)) between a point x∈Xx \in X and the value F(x)ßXF(x) ßX. Here, both parameters are numerical functions. The first one $\a\,:[0,+ı)\rightarrow [1,+ı)$ controls the distance between xx and some appropriate point y∈F(x)y \in F(x) in comparison with dF(x)d_{F}(x), whereas the second one $\b\,:[0,+ı)\rightarrow [0,1)$ estimates dF(y)d_{F}(y) with respect to d(x,y)d(x,y). It appears that the well harmonized relations between $\a$ and $\b$ are sufficient for the existence of fixed points of FF. Our results generalize several known fixed-point theorems.

preprint2012arXiv

On monoids of monotone injective partial self-maps of integers with cofinite domains and images

We study the semigroup I∞↗(Z)\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z}) of monotone injective partial selfmaps of the set of integers having cofinite domain and image. We show that I∞↗(Z)\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z}) is bisimple and all of its non-trivial semigroup homomorphisms are either isomorphisms or group homomorphisms. We also prove that every Baire topology ττ on I∞↗(Z)\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z}) such that (I∞↗(Z),τ)(\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z}),τ) is a Hausdorff semitopological semigroup is discrete and we construct a non-discrete Hausdorff inverse semigroup topology τWτ_W on I∞↗(Z)\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z}). We show that the discrete semigroup I∞↗(Z)\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z}) cannot be embedded into some classes of compact-like topological semigroups and that its remainder under the closure in a topological semigroup SS is an ideal in SS.

preprint2012arXiv

Survey on the Generalized R. L. Moore Problem

We give an updated extended survey of results related to the celebrated unsolved generalized R. L. Moore problem. In particular, we address the problem of characterizing codimension one manifold factors, i.e. spaces XX having the property that X×RX \times \mathbb{R} is a topological manifold. A main part of the paper is devoted to many efficient general position techniques, which have been used to solve special cases of this problem.

preprint2012arXiv

The Geometry and Fundamental Groups of Solenoid Complements

When a solenoid is embedded in three space, its complement is an open three manifold. We discuss the geometry and fundamental groups of such manifolds, and show that the complements of different solenoids (arising from different inverse limits) have different fundamental groups. Embeddings of the same solenoid can give different groups; in particular, the nicest embeddings are unknotted at each level, and give an Abelian fundamental group, while other embeddings have non-Abelian groups. We show using geometry that every solenoid has uncountably many embeddings with non-homeomorphic complements.

preprint2011arXiv

Characterizing compact Clifford semigroups that embed into convolution and functor-semigroups

We study algebraic and topological properties of the convolution semigroups of probability measures on a topological groups and show that a compact Clifford topological semigroup SS embeds into the convolution semigroup P(G)P(G) over some topological group GG if and only if SS embeds into the semigroup exp⁡(G)\exp(G) of compact subsets of GG if and only if SS is an inverse semigroup and has zero-dimensional maximal semilattice. We also show that such a Clifford semigroup SS embeds into the functor-semigroup F(G)F(G) over a suitable compact topological group GG for each weakly normal monadic functor FF in the category of compacta such that F(G)F(G) contains a GG-invariant element (which is an analogue of the Haar measure on GG).

preprint2011arXiv

Hurewicz sets of reals without perfect subsets

We show that even for subsets X of the real line which do not contain perfect sets, the Hurewicz property does not imply the property S1(Gamma,Gamma), asserting that for each countable family of open gamma-covers of X, there is a choice function whose image is a gamma-cover of X. This settles a problem of Just, Miller, Scheepers, and Szeptycki. Our main result also answers a question of Bartoszynski and Tsaban, and implies that for C_p(X), the conjunction of Sakai's strong countable fan tightness and the Reznichenko property does not imply Arhangelskii's property alpha_2.

preprint2011arXiv

Idempotent convexity and algebras for the capacity monad and its submonads

Idempotent analogues of convexity are introduced. It is proved that the category of algebras for the capacity monad in the category of compacta is isomorphic to the category of (max⁡,min⁡)(\max,\min)-idempotent biconvex compacta and their biaffine maps. It is also shown that the category of algebras for the monad of sup-measures ((max⁡,min⁡)(\max,\min)-idempotent measures) is isomorphic to the category of (max⁡,min⁡)(\max,\min)-idempotent convex compacta and their affine maps.

preprint2011arXiv

On Pliś metric on the space of strictly convex compacta

We consider a certain metric on the space of all convex compacta in Rn\R^{n}, introduced by A. Pliś. The set of strictly convex compacta is a complete metric subspace of the metric space of convex compacta with respect to this metric. We present some applications of this metric to the problems of set-valued analysis, in particular we estimate the distance between two compact sets with respect to this metric and to the Hausdorff metric.

preprint2011arXiv

On semilocally simply connected spaces

The purpose of this paper is: (i) to construct a space which is semilocally simply connected in the sense of Spanier even though its Spanier group is non-trivial; (ii) to propose a modification of the notion of a Spanier group so that via the modified Spanier group semilocal simple connectivity can be characterized; and (iii) to point out that with just a slightly modified definition of semilocal simple connectivity which is sometimes also used in literature, the classical Spanier group gives the correct characterization within the general class of path-connected topological spaces. While the condition "semilocally simply connected" plays a crucial role in classical covering theory, in generalized covering theory one needs to consider the condition "homotopically Hausdorff" instead. The paper also discusses which implications hold between all of the abovementioned conditions and, via the modified Spanier groups, it also unveils the weakest so far known algebraic characterization for the existence of generalized covering spaces as introduced by Fischer and Zastrow. For most of the implications, the paper also proves the non-reversibility by providing the corresponding examples. Some of them rely on spaces that are newly constructed in this paper.

preprint2011arXiv

On the singular homology of one class of simply-connected cell-like spaces

In our earlier papers we constructed examples of 2-dimensional nonaspherical simply-connected cell-like Peano continua, called {\sl Snake space}. In the sequel we introduced the functor SC(−,−)SC(-,-) defined on the category of all spaces with base points and continuous mappings. For the circle S1S^1, the space SC(S1,∗)SC(S^1, \ast) is a Snake space. In the present paper we study the higher-dimensional homology and homotopy properties of the spaces SC(Z,∗)SC(Z, \ast) for any path-connected compact spaces ZZ.

preprint2011arXiv

The Bryant-Ferry-Mio-Weinberger construction of generalized manifolds

Following Bryant, Ferry, Mio and Weinberger we construct generalized manifolds as limits of controlled sequences p_i: X_i --> X_{i-1} : i = 1,2,... of controlled Poincaré spaces. The basic ingredient is the epsilon-delta-surgery sequence recently proved by Pedersen, Quinn and Ranicki. Since one has to apply it not only in cases when the target is a manifold, but a controlled Poincaré complex, we explain this issue very roughly. Specifically, it is applied in the inductive step to construct the desired controlled homotopy equivalence p_{i+1}: X_{i+1} --> X_i. Our main theorem requires a sufficiently controlled Poincaré structure on X_i (over X_{i-1}). Our construction shows that this can be achieved. In fact, the Poincaré structure of X_i depends upon a homotopy equivalence used to glue two manifold pieces together (the rest is surgery theory leaving unaltered the Poincaré structure). It follows from the epsilon-delta-surgery sequence (more precisely from the Wall realization part) that this homotopy equivalence is sufficiently well controlled. In the final section we give additional explanation why the limit space of the X_i's has no resolution.

preprint2011arXiv

Topological monoids of monotone injective partial selfmaps of N\mathbb{N} with cofinite domain and image

In this paper we study the semigroup I∞↗(N)\mathscr{I}_{\infty}^{\nearrow}(\mathbb{N}) of partial cofinal monotone bijective transformations of the set of positive integers N\mathbb{N}. We show that the semigroup I∞↗(N)\mathscr{I}_{\infty}^{\nearrow}(\mathbb{N}) has algebraic properties similar to the bicyclic semigroup: it is bisimple and all of its non-trivial group homomorphisms are either isomorphisms or group homomorphisms. We also prove that every locally compact topology ττ on I∞↗(N)\mathscr{I}_{\infty}^{\nearrow}(\mathbb{N}) such that (I∞↗(N),τ)(\mathscr{I}_{\infty}^{\nearrow}(\mathbb{N}),τ) is a topological inverse semigroup, is discrete. Finally, we describe the closure of (I∞↗(N),τ)(\mathscr{I}_{\infty}^{\nearrow}(\mathbb{N}),τ) in a topological semigroup.

preprint2011arXiv

Two-sided bounds for the volume of right-angled hyperbolic polyhedra

For a compact right-angled polyhedron RR in H3\mathbb H^3 denote by vol⁡(R)\operatorname{vol} (R) the volume and by vert⁡(R)\operatorname{vert} (R) the number of vertices. Upper and lower bounds for vol⁡(R)\operatorname{vol} (R) in terms of vert⁡(R)\operatorname{vert} (R) were obtained in \cite{A09}. Constructing a 2-parameter family of polyhedra, we show that the asymptotic upper bound 5v3/85 v_3 / 8, where v3v_3 is the volume of the ideal regular tetrahedron in H3\mathbb H^3, is a double limit point for ratios vol⁡(R)/vert⁡(R)\operatorname{vol} (R) / \operatorname{vert} (R). Moreover, we improve the lower bound in the case vert⁡(R)⩽56\operatorname{vert} (R) \leqslant 56.

preprint2010arXiv

On continuous choice of retractions onto nonconvex subsets

For a Banach space BB and for a class $\A$ of its bounded closed retracts, endowed with the Hausdorff metric, we prove that retractions on elements $A \in \A$ can be chosen to depend continuously on AA, whenever nonconvexity of each $A \in \A$ is less than $\f{1}{2}$. The key geometric argument is that the set of all uniform retractions onto an $\a-$paraconvex set (in the spirit of E. Michael) is $\frac{\a}{1-\a}-$paraconvex subset in the space of continuous mappings of BB into itself. For a Hilbert space HH the estimate $\frac{\a}{1-\a}$ can be improved to $\frac{\a (1+\a^{2})}{1-\a^{2}}$ and the constant $\f{1}{2}$ can be reduced to the root of the equation $\a+ \a^{2}+a^{3}=1$.

preprint2010arXiv

On M-separability of countable spaces and function spaces

We study M-separability as well as some other combinatorial versions of separability. In particular, we show that the set-theoretic hypothesis b=d implies that the class of selectively separable spaces is not closed under finite products, even for the spaces of continuous functions with the topology of pointwise convergence. We also show that there exists no maximal M-separable countable space in the model of Frankiewicz, Shelah, and Zbierski in which all closed P-subspaces of w^* admit an uncountable family of nonempty open mutually disjoint subsets. This answers several questions of Bella, Bonanzinga, Matveev, and Tkachuk.

preprint2010arXiv

On the length of chains of proper subgroups covering a topological group

We prove that if an ultrafilter L is not coherent to a Q-point, then each analytic non-sigma-bounded topological group G admits an increasing chain <G_a : a < b(L)> of its proper subgroups such that: (i) U_{a in b(L)} G_a=G; and (ii)(ii) For every sigma-bounded subgroup H of G there exists a such that H is a subset of G_a. In case of the group Sym(w) of all permutations of w with the topology inherited from w^w this improves upon earlier results of S. Thomas.

preprint2010arXiv

Weakly convex sets and modulus of nonconvexity

We consider a definition of a weakly convex set which is a generalization of the notion of a weakly convex set in the sense of Vial and a proximally smooth set in the sense of Clarke, from the case of the Hilbert space to a class of Banach spaces with the modulus of convexity of the second order. Using the new definition of the weakly convex set with the given modulus of nonconvexity we prove a new retraction theorem and we obtain new results about continuity of the intersection of two continuous set-valued mappings (one of which has nonconvex images) and new affirmative solutions of the splitting problem for selections. We also investigate relationship between the new definition and the definition of a proximally smooth set and a smooth set.

preprint2009arXiv

Distinguishing Bing-Whitehead Cantor Sets

Bing-Whitehead Cantor sets were introduced by DeGryse and Osborne in dimension three and greater to produce examples of Cantor sets that were non standard (wild), but still had simply connected complement. In contrast to an earlier example of Kirkor, the construction techniques could be generalized to dimensions bigger than three. These Cantor sets in S3S^{3} are constructed by using Bing or Whitehead links as stages in defining sequences. Ancel and Starbird, and separately Wright characterized the number of Bing links needed in such constructions so as to produce Cantor sets. However it was unknown whether varying the number of Bing and Whitehead links in the construction would produce non equivalent Cantor sets. Using a generalization of geometric index, and a careful analysis of three dimensional intersection patterns, we prove that Bing-Whitehead Cantor sets are equivalently embedded in S3S^3 if and only if their defining sequences differ by some finite number of Whitehead constructions. As a consequence, there are uncountably many non equivalent such Cantor sets in S3S^{3} constructed with genus one tori and with simply connected complement.

preprint2009arXiv

On the Brandt λ0λ^0-extensions of monoids with zero

We study algebraic properties of the Brandt λ0λ^0-extensions of monoids with zero and non-trivial homomorphisms between the Brandt λ0λ^0-extensions of monoids with zero. We introduce finite, compact topological Brandt λ0λ^0-extensions of topological semigroups and countably compact topological Brandt λ0λ^0-extensions of topological inverse semigroups in the class of topological inverse semigroups and establish the structure of such extensions and non-trivial continuous homomorphisms between such topological Brandt λ0λ^0-extensions of topological monoids with zero. We also describe a category whose objects are ingredients in the constructions of finite (compact, countably compact) topological Brandt λ0λ^0-extensions of topological monoids with zeros.

preprint2008arXiv

A unified construction yielding precisely Hilbert and James sequences spaces

Following James' approach, we shall define the Banach space J(e)J(e) for each vector e=(e1,e2,...,ed)∈Rde=(e_1,e_2,...,e_d) \in \Bbb{R}^d with e1≠0 e_1 \ne 0. The construction immediately implies that J(1) coincides with the Hilbert space i2i_2 and that J(1;−1)J(1;-1) coincides with the celebrated quasireflexive James space JJ. The results of this paper show that, up to an isomorphism, there are only the following two possibilities: (i) either J(e)J(e) is isomorphic to l2l_2, if e1+e2+...+ed≠0e_1+e_2+...+e_d\ne 0 (ii) or J(e)J(e) is isomorphic to JJ. Such a dichotomy also holds for every separable Orlicz sequence space lMl_M.

preprint2008arXiv

On chains in HH-closed topological pospaces

We study chains in an HH-closed topological partially ordered space. We give sufficient conditions for a maximal chain LL in an HH-closed topological partially ordered space such that LL contains a maximal (minimal) element. Also we give sufficient conditions for a linearly ordered topological partially ordered space to be HH-closed. We prove that any HH-closed topological semilattice contains a zero. We show that a linearly ordered HH-closed topological semilattice is an HH-closed topological pospace and show that in the general case this is not true. We construct an example an HH-closed topological pospace with a non-HH-closed maximal chain and give sufficient conditions that a maximal chain of an HH-closed topological pospace is an HH-closed topological pospace.

preprint2008arXiv

Packing index of subsets in Polish groups

For a subset AA of a Polish group GG, we study the (almost) packing index $\ind_P(A)$ (resp. $\Ind_P(A)$) of AA, equal to the supremum of cardinalities ∣S∣|S| of subsets S⊂GS\subset G such that the family of shifts {xA}x∈S\{xA\}_{x\in S} is (almost) disjoint (in the sense that ∣xA∩yA∣<∣A∣|xA\cap yA|<|A| for any distinct points x,y∈Sx,y\in S). Subsets A⊂GA\subset G with small (almost) packing index are small in a geometric sense. We show that $\ind_P(A)\in \IN\cup\{\aleph_0,\cc\}$ for any σσ-compact subset AA of a Polish group. If A⊂GA\subset G is Borel, then the packing indices $\ind_P(A)$ and $\Ind_P(A)$ cannot take values in the half-interval $[\sq(Π^1_1),\cc)$ where $\sq(Π^1_1)$ is a certain uncountable cardinal that is smaller than $\cc$ in some models of ZFC. In each non-discrete Polish Abelian group GG we construct two closed subsets A,B⊂GA,B\subset G with $\ind_P(A)=\ind_P(B)=\cc$ and $\Ind_P(A\cup B)=1$ and then apply this result to show that GG contains a nowhere dense Haar null subset C⊂GC\subset G with $\ind_P(C)=\Ind_P(C)=κ$ for any given cardinal number $κ\in[4,\cc]$.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.