13
$\begingroup$

I would like to discuss the following problem. Hopefully, you will suggest to me some ideas and bibliography.

At first I will provide some basic definitions to set up the notation.

Let us consider a line arrangement $\mathcal{A}=\left\lbrace l_{1},\ldots,l_{m}\right\rbrace$ in $\mathbb{CP}^{2}$ and let $M\left(\mathcal{A}\right)$ be its complement manifold, i.e., the space $M\left(\mathcal{A}\right)=\mathbb{CP}^{2}\setminus\bigcup_{k=1}^{m}l_{k}$ obtained taking the complement of the union of the lines.

Regarded as a differentiable manifold, $M\left(\mathcal{A}\right)$ is diffeomorphic to the interior of a connected compact manifold with boundary. As a consequence, by a standard result in low dimensional topology, there is a differentiable manifold $N$ which is homeomorphic but not diffeomorphic to $M\left(\mathcal{A}\right).$

Here is my question:

Let $\mathcal{A}$ and $\mathcal{B}$ be line arrangements in $\mathbb{CP}^{2}$ with complement manifolds $M\left(\mathcal{A}\right)$ and $M\left(\mathcal{B}\right).$ Is that true that if $M\left(\mathcal{A}\right)$ and $M\left(\mathcal{B}\right)$ are homeomorphic, then they are diffeomorphic, too? Otherwise, exhibit an explicit example of two line arrangements $\mathcal{A}$ and $\mathcal{B}$ in $\mathbb{CP}^{2}$ with complement manifolds $M\left(\mathcal{A}\right)$ and $M\left(\mathcal{B}\right)$ which are homeomorphic but not diffeomorphic.

$\endgroup$
2
$\begingroup$

As far as I know, that's still an open problem. The only work I'm aware of that addresses the rigidity of the topology is on the level of homotopy type: Randell's Isotopy Theorem and Rybnikov's example showing the matroid does not determine the homotopy type. But I see you know about these from your previous question (https://mathoverflow.net/users/53064/esaini582)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.