P. A. P. Nghiem,J. Ballot,R. A. Garcia,P. Lambert,S. Turck-Chieze
Abstract:In the present analysis of Procyon-A and Eta-Bootis, we use the local-wave formalism which, despite its lack of precision inherent to any semi-analytical method, uses directly the model profile without any modification when calculating the acoustic mode eigenfrequencies. These two solar-like stars present steep variations toward the center due to the convective core stratification, and toward the surface due to the very thin convective zone. Based on different boundary conditions, the frequencies obtained with this formalism are different from that of the classical numerical calculation. We point out that (1) the frequencies calculated with the local-wave formalism seem to agree better with observational ones. All the frequencies detected with a good confident level including those classified as 'noise' find an identification, (2) some frequencies can be clearly identified here as indications of the core limit.
What problem does this paper attempt to address?
This paper attempts to solve key problems in the four - dimensional manifold surgery theory, especially how to perform surgeries on four - dimensional manifolds when the fundamental group is not a "good" fundamental group. Specifically:
1. **Dependence on Freedman's Disc Theorem**:
- The validity of Freedman's Disc Theorem depends only on the fundamental group of the 4 - dimensional manifold. If there exists a Whitney disc, then the fundamental group is called "good" (good fundamental group). According to Freedman's Disc Theorem, for some specific fundamental groups (such as the trivial group and the integer group \(\mathbb{Z}\)), the surgery theory is valid in four - dimensional space.
2. **Conjecture and Breakthrough for Non - Abelian Free Fundamental Groups**:
- Previously, there was a conjecture that for non - Abelian free fundamental groups, Freedman's Disc Theorem does not hold, and thus the surgery theory should also fail in four - dimensional space. However, Krushkal and Lee recently proved a surprising result: for a large class of 4 - dimensional manifolds with non - Abelian free fundamental groups, the surgery theory is actually feasible.
3. **Extension to Other Fundamental Groups**:
- The aim of this paper is to further prove that for some other fundamental groups that have not yet been proven to be "good" (for example, the fundamental groups of closed, hyperbolic surfaces or the fundamental groups of 3 - dimensional knot spaces), the surgery theory is also applicable. The author uses the controlled surgery theory to deal with these problems.
4. **Specific Examples**:
- The paper demonstrates these results through specific examples, such as spin Poincaré 4 - complexes with the fundamental groups of closed hyperbolic surfaces, and 4 - dimensional manifolds with the fundamental groups of specific knot groups. These examples show that even for those fundamental groups that are not "good", surgeries can be completed by appropriate methods.
In summary, the problem that this paper attempts to solve is how to make the four - dimensional manifold surgery theory still valid under more general fundamental group conditions, and verifies this possibility through specific examples. This not only expands the application range of the surgery theory but also provides a new perspective for understanding four - dimensional topology.
### Key Formulas
- Existence Condition of Whitney Discs:
\[
\text{Whitney disks exist} \iff \pi_1(M^4) \text{ is a good fundamental group}
\]
- Wall Obstruction Vanishing Condition:
\[
\sigma(f) = 0 \in L_4(\pi_1(X))
\]
- Definition of UV1 Maps:
\[
p: X \to B \text{ is a UV1 map if } \forall \delta > 0, \text{ the map } p \text{ is a UV1}(\delta) \text{ map}
\]
These formulas and concepts play a central role in the paper, helping to explain why the surgery theory can be successfully applied in four - dimensional space in certain cases.