arXiv subjects

Jacopo Somaglia

Publications and source records attributed to Jacopo Somaglia.

At least 19 recordsLinked to original sources

arXiv2026

Some remarks on almost locally uniformly rotund points

We study the relations between different notions of almost locally uniformly rotund points that appear in literature. We show that every non-reflexive Banach space admits an equivalent norm having a point in the corresponding unit sphere which is not almost locally uniformly rotund, and which is strongly exposed by all its supporting functionals. This result is in contrast with a characterization due to P. Bandyopadhyay, D. Huang, and B.-L. Lin from 2004. We also show that such a characterization remains true in reflexive Banach spaces.

math.FA↗

arXiv2026

Tilings and coverings by balls in $\ell_1$

A famous result of Klee from 1981 is that the Banach space $\ell_1(κ)$ admits a disjoint tiling by balls of radius $1$, for all cardinals $κ$ with $κ^ω=κ$. Klee also observed that the smallest cardinal in which such a tiling might exist is $κ= 2^{\aleph_0}$, leaving open the question whether, for $κ< 2^{\aleph_0}$, $\ell_1(κ)$ might admit a tiling by balls at all. Our main result answers this question in the negative, proving in particular that $\ell_1$ does not admit any tiling by balls. We also give a companion result about star-$n$-finite coverings by balls of $\ell_1(κ)$ and we give a construction of a star-finite tiling of $\mathcal{X} \oplus_\infty c_{00}$, for each space $\mathcal{X}$ whose dimension is at most countable.

math.FA↗

arXiv2026

Packings in classical Banach spaces

We obtain several new results on the simultaneous packing and covering constant $γ(\mathcal{X})$ of a Banach space $\mathcal{X}$, and its lattice counterpart $γ^*(\mathcal{X})$. These constants measure how efficient a (lattice) packing by unit balls in $\mathcal{X}$ can be, the optimal case being that $γ(\mathcal{X})= 1$ and the worst that $γ(\mathcal{X})= 2$. Our first main result is that $γ(\mathcal{X})> 1$ whenever $B_\mathcal{X}$ admits a LUR point, which leads us to a negative answer to a question of Swanepoel. We also develop general methods to compute these constants for a large class of spaces. As a sample of our findings: (i) $γ^*(\mathcal{X})= 1$ when $\mathcal{X}$ is a separable octahedral Banach space, or $\mathcal{X}= \mathcal{C}(\mathcal{K})$, where $\mathcal{K}$ is zero-dimensional; (ii) $γ(\ell_p(κ)\oplus_r \mathcal{X})= γ^*(\ell_p(κ)\oplus_r \mathcal{X})= \frac{2}{2^{1/p}}$, whenever $\rm{dens}(\mathcal{X})< κ$ and $1\leq r\leq p< \infty$; (iii) $γ(L_p(μ))= γ^*(L_p(μ))= \frac{2}{2^{1/p}}$ for $1\leq p\leq 2$ and every measure $μ$; (iv) there exist reflexive (resp. octahedral) Banach spaces $\mathcal{X}$ with $γ(\mathcal{X})= 2$. We leave a large area open for further research and we indicate several possible directions.

math.FA↗

arXiv2025

Global Lipschitz extension preserving the slope

We show that every real-valued Lipschitz function on a subset of a metric space can be extended to the whole space while preserving the slope and, up to a small error, the global Lipschitz constant. This answers a question posed by Di Marino, Gigli, and Pratelli, who established the analogous property for the asymptotic Lipschitz constant. We also prove the same result for the ascending slope and for the descending slope.

math.MG↗

arXiv2025

Nonexistence results for the semilinear wave equation on graphs

We investigate the semilinear wave equation with potential on weighted graphs. We establish sufficient conditions for the nonexistence of global-in-time solutions. Both nonnegative and sign-changing solutions are considered. In particular, the proof for sign-changing solutions relies on a novel technique for this type of result.

math.AP↗

arXiv2025

Lattice tilings of Hilbert spaces

We construct a bounded and symmetric convex body in $\ell_2(Γ)$ (for certain cardinals $Γ$) whose translates yield a tiling of $\ell_2(Γ)$. This answers a question due to Fonf and Lindenstrauss. As a consequence, we obtain the first example of an infinite-dimensional reflexive Banach space that admits a tiling with balls (of radius $1$). Further, our tiling has the property of being point-countable and lattice (in the sense that the set of translates forms a group). The same construction performed in $\ell_1(Γ)$ yields a point-$2$-finite lattice tiling by balls of radius $1$ for $\ell_1(Γ)$, which compares to a celebrated construction due to Klee. We also prove that lattice tilings by balls are never disjoint and, more generally, each tile intersects as many tiles as the cardinality of the tiling. Finally, we prove some results concerning discrete subgroups of normed spaces. By a simplification of the proof of our main result, we prove that every infinite-dimensional normed space contains a subgroup that is $1$-separated and $(1+\varepsilon)$-dense, for every $\varepsilon>0$; further, the subgroup admits a set of generators of norm at most $2+\varepsilon$. This solves a problem due to Swanepoel and yields a simpler proof of a result of Dilworth, Odell, Schlumprecht, and Zsák. We also give an alternative elementary proof of Steprāns' result that discrete subgroups of normed spaces are free.

math.FA↗

arXiv2025

A note on smooth rotund norms which are not midpoint locally uniformly rotund

We prove that every separable infinite-dimensional Banach space admits a Gâteaux smooth and rotund norm which is not midpoint locally uniformly rotund. Moreover, by using a similar technique, we provide in every infinite-dimensional Banach space with separable dual a Fréchet smooth and weakly uniformly rotund norm which is not midpoint locally uniformly rotund. These two results provide a positive answer to some open problems by A. J. Guirao, V. Montesinos, and V. Zizler.

math.FA↗

arXiv2025

Nonexistence of solutions to parabolic problems with a potential on weighted graphs

We investigate nonexistence of nontrivial nonnegative solutions to a class of semilinear parabolic equations with a positive potential, posed on weighted graphs. Assuming an upper bound on the Laplacian of the distance and a suitable weighted space-time volume growth condition, we show that no global solutions exists. We also discuss the optimality of the hypotheses, thus recovering a critical exponent phenomenon of Fujita type.

math.AP↗

arXiv2024

Moduli of continuity and absolute continuity: any relation?

We construct a monotone, continuous, but not absolutely continuous function whose minimal modulus of continuity is absolutely continuous. In particular, we establish that there is no equivalence between the absolute continuity of a function and the absolute continuity of its modulus of continuity, in contrast with a well-known property of Lipschitz functions.

math.CA↗

arXiv2024

Rotund Gateaux smooth norms which are not locally uniformly rotund

We provide, in every infinite-dimensional separable Banach space, an average locally uniformly rotund (and hence rotund) Gateaux smooth renorming which is not locally uniformly rotund. This solves an open problem posed by A.J. Guirao, V. Montesinos, and V. Zizler.

math.FA↗

arXiv2023

Nonexistence results for semilinear elliptic equations on weighted graphs

We study semilinear elliptic inequalities with a potential on infinite graphs. Given a distance on the graph, we assume an upper bound on its Laplacian, and a growth condition on a suitable weighted volume of balls. Under such hypotheses, we prove that the problem does not admit any nonnegative nontrivial solution. We also show that our conditions are optimal.

math.AP↗

arXiv2023

Banach spaces of continuous functions without norming Markushevich bases

We investigate the question whether a scattered compact topological space $K$ such that $C(K)$ has a norming Markushevich basis (M-basis, for short) must be Eberlein. This question originates from the recent solution, due to Hájek, Todorčević, and the authors, to an open problem from the Nineties, due to Godefroy. Our prime tool consists in proving that $C([0,ω_1])$ does not embed in a Banach space with a norming M-basis, thereby generalising a result due to Alexandrov and Plichko. Subsequently, we give sufficient conditions on a compact $K$ for $C(K)$ not to embed in a Banach space with a norming M-basis. Examples of such conditions are that $K$ is a $0$-dimensional compact space with a P-point, or a compact tree of height at least $ω_1 +1$. In particular, this allows us to answer the said question in the case when $K$ is a tree and to obtain a rather general result for Valdivia compacta. Finally, we give some structural results for scattered compact trees; in particular, we prove that scattered trees of height less than $ω_2$ are Valdivia.

math.FA↗

arXiv2023

Dense lineability and spaceability in certain subsets of $\ell_{\infty}$

We investigate dense lineability and spaceability of subsets of $\ell_\infty$ with a prescribed number of accumulation points. We prove that the set of all bounded sequences with exactly countably many accumulation points is densely lineable in $\ell_\infty$, thus complementing a recent result of Papathanasiou who proved the same for the sequences with continuum many accumulation points. We also prove that these sets are spaceable. We then consider the same problems for the set of bounded non-convergent sequences with a finite number of accumulation points. We prove that such set is densely lineable in $\ell_\infty$ and that it is nevertheless not spaceable. The said problems are also studied in the setting of ideal convergence and in the space $\mathbb{R}^ω$.

math.FA↗

arXiv2023

Stochastic Approximation in convex multiobjective optimization

Given a strictly convex multiobjective optimization problem with objective functions $f_1,\dots,f_N$, let us denote by $x_0$ its solution, obtained as minimum point of the linear scalarized problem, where the objective function is the convex combination of $f_1,\dots,f_N$ with weights $t_1,\ldots,t_N$. The main result of this paper gives an estimation of the averaged error that we make if we approximate $x_0$ with the minimum point of the convex combinations of $n$ functions, chosen among $f_1,\dots,f_N$, with probabilities $t_1,\ldots,t_N$, respectively, and weighted with the same coefficient $1/n$. In particular, we prove that the averaged error considered above converges to 0 as $n$ goes to $\infty$, uniformly w.r.t. the weights $t_1,\ldots,t_N$. The key tool in the proof of our stochastic approximation theorem is a geometrical property, called by us small diameter property, ensuring that the minimum point of a convex combination of the function $f_1,\dots,f_N$ continuously depends on the coefficients of the convex combination.

math.OC↗

arXiv2022

Characterizations of weakly $\mathcal{K}$-analytic and Vašák spaces using projectional skeletons and separable PRI

We find characterizations of Vašák spaces and weakly $\mathcal{K}$-analytic spaces using the notions of separable projectional resolution of the identity (SPRI) and of projectional skeleton. This in particular addresses a recent challenge suggested by M. Fabian and V. Montesinos in \cite{FM18}. Our method of proof also gives similar characterizations of WCG spaces and their subspaces (some aspects of which were known, some are new). Moreover we show that for countably many projectional skeletons $\{\mathfrak{s}_n: n \in ω\}$ on a Banach space inducing the same set, there exists a projectional skeleton on the space (indexed by ranges of the corresponding projections) which is isomorphic to a subskeleton of each $\mathfrak{s}_n$, $n \in ω$.

math.FA↗

arXiv2022

Isomorphisms of $\mathcal{C}(K, E)$ spaces and height of $K$

Let $K_1$, $K_2$ be compact Hausdorff spaces and $E_1, E_2$ be Banach spaces not containing a copy of $c_0$. We establish lower estimates of the Banach-Mazur distance between the spaces of continuous functions $\mathcal{C}(K_1, E_1)$ and $\mathcal{C}(K_2, E_2)$ based on the ordinals $ht(K_1)$, $ht(K_2)$, which are new even for the case of spaces of real valued functions on ordinal intervals. As a corollary we deduce that $\mathcal{C}(K_1, E_1)$ and $\mathcal{C}(K_2, E_2)$ are not isomorphic if $ht(K_1)$ is substantially different from $ht(K_2)$.

math.FA↗

arXiv2022

Weakly Corson compact trees

We introduce and study a new topology on trees, that we call the countably coarse wedge topology. Such a topology is strictly finer than the coarse wedge topology and it turns every chain complete, rooted tree into a Fréchet--Urysohn, countably compact topological space. We show the rôle of such topology in the theory of weakly Corson and weakly Valdivia compacta. In particular, we give the first example of a compact space $T$ whose every closed subspace is weakly Valdivia, yet $T$ is not weakly Corson. This answers a question due to Ondřej Kalenda.

math.GN↗

arXiv2021

An Asplund space with norming Markuševič basis that is not weakly compactly generated

We construct an Asplund Banach space $\mathcal{X}$ with a norming Markuševič basis such that $\mathcal{X}$ is not weakly compactly generated. This solves a long-standing open problem from the early nineties, originally due to Gilles Godefroy. En route to the proof, we construct a peculiar example of scattered compact space, that also solves a question due to Wiesław Kubiś and Arkady Leiderman.

math.FA↗