Ch. Cobollo,P. Hájek
Abstract:We prove that every Banach space admitting a Gateaux smooth norm and containing a complemented copy of $\ell_1$ has an equivalent renorming which is simultaneously Gâteaux smooth and octahedral. This is a partial solution to a problem from the early nineties.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **In a Banach space with a Gâteaux - smooth norm and containing a complemented subspace of the ℓ₁ space, can an equivalent renorm that simultaneously satisfies Gâteaux - smoothness and octahedrality be found?**
Specifically, the main result of the paper is to prove that for any Banach space \(X\) with a Gâteaux - smooth norm and containing a complemented subspace of the ℓ₁ space, there exists an equivalent renorm \(\|\cdot\|\) such that \(X\) has both Gâteaux - smoothness and octahedrality under this new norm.
### Background and Motivation
1. **Octahedrality**:
- Octahedrality is a concept introduced by Godefroy, which describes a strong non - differentiability (in the Fréchet sense). A Banach space \(X\) has an octahedral norm if and only if it contains a copy of the ℓ₁ space.
- Octahedrality is very important in the study of the geometric properties of Banach spaces, especially in connecting various dentability conditions and weak sequential completeness.
2. **Gâteaux - smoothness**:
- Gâteaux - smoothness means that the directional derivative of the norm at a certain point exists and is unique. This smoothness also has important applications in the geometric analysis of Banach spaces.
3. **Historical background of the problem**:
- Since the early 1990s, the question of whether there exists a norm with both Gâteaux - smoothness and octahedrality has been an open problem.
- The only known example so far is the Hardy space \(H^1(D)\), which is a separable subspace containing a complemented subspace of the ℓ₁ space.
### Main Results
The main theorem of the paper is as follows:
**Theorem 1.1**: Let \((X,\|\cdot\|)\) be a Banach space which has a Gâteaux - smooth (equivalent) norm and has a complemented subspace isomorphic to the ℓ₁ space. Then \(X\) has a new renorm \(\|\cdot\|\) such that \(X\) has both octahedrality and Gâteaux - smoothness under this new norm.
### Methods and Techniques
- **Construction method**: The paper achieves this goal through a new construction method. This method is based on the directional estimation of the norm on a dense subspace and extends it to the entire space.
- **Key steps**: Prove the Gâteaux - smoothness and octahedrality of the new norm. In particular, by controlling the estimation of the directional derivative and considering the Birkhoff - James orthogonal relation, the Gâteaux - smoothness of the new norm at all points is proved.
### Conclusion
The results of the paper partially solve an open problem since the early 1990s, that is, in a Banach space with a Gâteaux - smooth norm and containing a complemented subspace of the ℓ₁ space, an equivalent renorm that simultaneously satisfies Gâteaux - smoothness and octahedrality can be found. This provides new perspectives and tools for the study of the geometric properties of Banach spaces.