Compact complex affine Kähler manifold is a torus












5












$begingroup$


Before giving a motivation let me ask the precise question firstly.



By a complex affine manifold I mean a complex manifold $M$ with the property that there exists an holomorphic atlas for which transition functions are restrictions of functions belonging to $Aff(mathbb{C}^{dim_mathbb{C}M})$, the group of complex affine motions of $mathbb{C}^{dim_mathbb{C}M}$.



Question: Suppose $M$ is a compact complex affine manifold admitting Kähler metric. Does it imply that $M$ has a complex torus as a finite covering? What restriction does it imply on a Kähler metric? Does it have to be a flat metric induced from the torus?



The reason for such a question is Remark 2 at the end of Ma. Kato's paper Compact Differentiable 4-Folds with Quaternionic Structures. Apparently Calabi-Yau theorem seems to be of use here. Since I do not understand the explanation given there, the clarification of an argument in that case would be appreciated as well.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    The complete classification of compact complex surfaces admitting holomorphic affine connections was worked out by Kobayashi and Ochiai; see Kobayashi and Horst, Topics in Complex Differential Geometry, in the book Kobayashi and Wu, Complex Differential Geometry, for an overview. Also see Bruno Klingler, Structures affine et projectives sur les surfaces complexes, Annales de l'Institut Fourier, for more information on the possible complex affine structures.
    $endgroup$
    – Ben McKay
    4 hours ago
















5












$begingroup$


Before giving a motivation let me ask the precise question firstly.



By a complex affine manifold I mean a complex manifold $M$ with the property that there exists an holomorphic atlas for which transition functions are restrictions of functions belonging to $Aff(mathbb{C}^{dim_mathbb{C}M})$, the group of complex affine motions of $mathbb{C}^{dim_mathbb{C}M}$.



Question: Suppose $M$ is a compact complex affine manifold admitting Kähler metric. Does it imply that $M$ has a complex torus as a finite covering? What restriction does it imply on a Kähler metric? Does it have to be a flat metric induced from the torus?



The reason for such a question is Remark 2 at the end of Ma. Kato's paper Compact Differentiable 4-Folds with Quaternionic Structures. Apparently Calabi-Yau theorem seems to be of use here. Since I do not understand the explanation given there, the clarification of an argument in that case would be appreciated as well.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    The complete classification of compact complex surfaces admitting holomorphic affine connections was worked out by Kobayashi and Ochiai; see Kobayashi and Horst, Topics in Complex Differential Geometry, in the book Kobayashi and Wu, Complex Differential Geometry, for an overview. Also see Bruno Klingler, Structures affine et projectives sur les surfaces complexes, Annales de l'Institut Fourier, for more information on the possible complex affine structures.
    $endgroup$
    – Ben McKay
    4 hours ago














5












5








5





$begingroup$


Before giving a motivation let me ask the precise question firstly.



By a complex affine manifold I mean a complex manifold $M$ with the property that there exists an holomorphic atlas for which transition functions are restrictions of functions belonging to $Aff(mathbb{C}^{dim_mathbb{C}M})$, the group of complex affine motions of $mathbb{C}^{dim_mathbb{C}M}$.



Question: Suppose $M$ is a compact complex affine manifold admitting Kähler metric. Does it imply that $M$ has a complex torus as a finite covering? What restriction does it imply on a Kähler metric? Does it have to be a flat metric induced from the torus?



The reason for such a question is Remark 2 at the end of Ma. Kato's paper Compact Differentiable 4-Folds with Quaternionic Structures. Apparently Calabi-Yau theorem seems to be of use here. Since I do not understand the explanation given there, the clarification of an argument in that case would be appreciated as well.










share|cite|improve this question











$endgroup$




Before giving a motivation let me ask the precise question firstly.



By a complex affine manifold I mean a complex manifold $M$ with the property that there exists an holomorphic atlas for which transition functions are restrictions of functions belonging to $Aff(mathbb{C}^{dim_mathbb{C}M})$, the group of complex affine motions of $mathbb{C}^{dim_mathbb{C}M}$.



Question: Suppose $M$ is a compact complex affine manifold admitting Kähler metric. Does it imply that $M$ has a complex torus as a finite covering? What restriction does it imply on a Kähler metric? Does it have to be a flat metric induced from the torus?



The reason for such a question is Remark 2 at the end of Ma. Kato's paper Compact Differentiable 4-Folds with Quaternionic Structures. Apparently Calabi-Yau theorem seems to be of use here. Since I do not understand the explanation given there, the clarification of an argument in that case would be appreciated as well.







dg.differential-geometry complex-geometry kahler-manifolds complex-manifolds






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 7 hours ago









Michael Albanese

7,59655192




7,59655192










asked 9 hours ago









J.E.M.SJ.E.M.S

21114




21114








  • 1




    $begingroup$
    The complete classification of compact complex surfaces admitting holomorphic affine connections was worked out by Kobayashi and Ochiai; see Kobayashi and Horst, Topics in Complex Differential Geometry, in the book Kobayashi and Wu, Complex Differential Geometry, for an overview. Also see Bruno Klingler, Structures affine et projectives sur les surfaces complexes, Annales de l'Institut Fourier, for more information on the possible complex affine structures.
    $endgroup$
    – Ben McKay
    4 hours ago














  • 1




    $begingroup$
    The complete classification of compact complex surfaces admitting holomorphic affine connections was worked out by Kobayashi and Ochiai; see Kobayashi and Horst, Topics in Complex Differential Geometry, in the book Kobayashi and Wu, Complex Differential Geometry, for an overview. Also see Bruno Klingler, Structures affine et projectives sur les surfaces complexes, Annales de l'Institut Fourier, for more information on the possible complex affine structures.
    $endgroup$
    – Ben McKay
    4 hours ago








1




1




$begingroup$
The complete classification of compact complex surfaces admitting holomorphic affine connections was worked out by Kobayashi and Ochiai; see Kobayashi and Horst, Topics in Complex Differential Geometry, in the book Kobayashi and Wu, Complex Differential Geometry, for an overview. Also see Bruno Klingler, Structures affine et projectives sur les surfaces complexes, Annales de l'Institut Fourier, for more information on the possible complex affine structures.
$endgroup$
– Ben McKay
4 hours ago




$begingroup$
The complete classification of compact complex surfaces admitting holomorphic affine connections was worked out by Kobayashi and Ochiai; see Kobayashi and Horst, Topics in Complex Differential Geometry, in the book Kobayashi and Wu, Complex Differential Geometry, for an overview. Also see Bruno Klingler, Structures affine et projectives sur les surfaces complexes, Annales de l'Institut Fourier, for more information on the possible complex affine structures.
$endgroup$
– Ben McKay
4 hours ago










2 Answers
2






active

oldest

votes


















1












$begingroup$

If a compact Kähler manifold $M$ admits a holomorphic affine connection, its Atiyah class and therefore all its Chern classes are zero. By Yau's solution of the Calabi conjecture, this implies that a finite covering of $M$ is a complex torus.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Sorry if I am missing something simple, but could you explain how Yau's solution of the Calabi conjecture implies that $M$ is finitely covered by a complex torus?
    $endgroup$
    – Michael Albanese
    1 hour ago



















1












$begingroup$

Consider $S^2$ it is a projective manifold ( a manifold endowed with an atlas $(U_i), f_i:U_irightarrow Pmathbb{R}^n$ such that $f_icirc f_j^{-1}$ is a restriction of an element of $PGl(n,mathbb{R})$. Benzecri has shown in its thesis that if $M$ is a projective real manifold, so is $Mtimes S^1$. $S^2$ is endowed with a real projective structure, thus $S^2times S^1$ is a real affine manifold, $S^2times S^1times S^1$ is also a real affine manifold. The holonomy of this manifold can be defined by homothetic maps so preserves a complex structure on $mathbb{R}^4$. This manifold is endowed with a Kahler structure, the complex structure here is not necessarily associated with a symplectic structure such that $(M,J,omega)$ is Kahler.



http://www.numdam.org/article/BSMF_1960__88__229_0.pdf






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Actually I have a problem with understanding this example. Can You elaborate on how does one get $S^2 times S^1$ is affine? From the result You have cited it follows it's projective.
    $endgroup$
    – J.E.M.S
    5 hours ago










  • $begingroup$
    The result says that if $M$ is projective, $Mtimes S^1$ is affine, it is a radiant affine manifold, look the corollary p. 16.
    $endgroup$
    – Tsemo Aristide
    5 hours ago






  • 1




    $begingroup$
    This doesn't actually give an example, because there is no Kaehler metric. As abx says, the compact Kaehler examples admit finite covering by complex tori.
    $endgroup$
    – Ben McKay
    4 hours ago










  • $begingroup$
    What I am saying is the following: the quotient of $mathbb{R}^3−{0}$ by the homothetic map defined by$ h(x)=2x $ is $S^2×S^1$. The quotient of $R^+={xin mathbb{R}, x>0}$ by $g(x)=2x$ is $S^1$. This defines an affine structure on $S^2×S^1×S^1$, $(mathbb{R}^3−{0})×mathbb{R}^+$ is contained in $mathbb{C}^2$ and $h(x)=2x$ preserves the complex structure. This implies the existence of a complex structure $J$ on $S^2×S^1×S^1.$
    $endgroup$
    – Tsemo Aristide
    35 mins ago












  • $begingroup$
    The argument of abx shows that there does not exists a symplectic structure $omega$ such that $(S^2times S^1×S^1,ω,J)$ is a khaler structure. I dont know if there exists an easy way to show that. It may be interesting to construct examples of complex structures on khaler manifolds which are not associated to a khaler structure.
    $endgroup$
    – Tsemo Aristide
    32 mins ago











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "504"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f323451%2fcompact-complex-affine-k%25c3%25a4hler-manifold-is-a-torus%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes









1












$begingroup$

If a compact Kähler manifold $M$ admits a holomorphic affine connection, its Atiyah class and therefore all its Chern classes are zero. By Yau's solution of the Calabi conjecture, this implies that a finite covering of $M$ is a complex torus.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Sorry if I am missing something simple, but could you explain how Yau's solution of the Calabi conjecture implies that $M$ is finitely covered by a complex torus?
    $endgroup$
    – Michael Albanese
    1 hour ago
















1












$begingroup$

If a compact Kähler manifold $M$ admits a holomorphic affine connection, its Atiyah class and therefore all its Chern classes are zero. By Yau's solution of the Calabi conjecture, this implies that a finite covering of $M$ is a complex torus.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Sorry if I am missing something simple, but could you explain how Yau's solution of the Calabi conjecture implies that $M$ is finitely covered by a complex torus?
    $endgroup$
    – Michael Albanese
    1 hour ago














1












1








1





$begingroup$

If a compact Kähler manifold $M$ admits a holomorphic affine connection, its Atiyah class and therefore all its Chern classes are zero. By Yau's solution of the Calabi conjecture, this implies that a finite covering of $M$ is a complex torus.






share|cite|improve this answer









$endgroup$



If a compact Kähler manifold $M$ admits a holomorphic affine connection, its Atiyah class and therefore all its Chern classes are zero. By Yau's solution of the Calabi conjecture, this implies that a finite covering of $M$ is a complex torus.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered 5 hours ago









abxabx

23.6k34885




23.6k34885












  • $begingroup$
    Sorry if I am missing something simple, but could you explain how Yau's solution of the Calabi conjecture implies that $M$ is finitely covered by a complex torus?
    $endgroup$
    – Michael Albanese
    1 hour ago


















  • $begingroup$
    Sorry if I am missing something simple, but could you explain how Yau's solution of the Calabi conjecture implies that $M$ is finitely covered by a complex torus?
    $endgroup$
    – Michael Albanese
    1 hour ago
















$begingroup$
Sorry if I am missing something simple, but could you explain how Yau's solution of the Calabi conjecture implies that $M$ is finitely covered by a complex torus?
$endgroup$
– Michael Albanese
1 hour ago




$begingroup$
Sorry if I am missing something simple, but could you explain how Yau's solution of the Calabi conjecture implies that $M$ is finitely covered by a complex torus?
$endgroup$
– Michael Albanese
1 hour ago











1












$begingroup$

Consider $S^2$ it is a projective manifold ( a manifold endowed with an atlas $(U_i), f_i:U_irightarrow Pmathbb{R}^n$ such that $f_icirc f_j^{-1}$ is a restriction of an element of $PGl(n,mathbb{R})$. Benzecri has shown in its thesis that if $M$ is a projective real manifold, so is $Mtimes S^1$. $S^2$ is endowed with a real projective structure, thus $S^2times S^1$ is a real affine manifold, $S^2times S^1times S^1$ is also a real affine manifold. The holonomy of this manifold can be defined by homothetic maps so preserves a complex structure on $mathbb{R}^4$. This manifold is endowed with a Kahler structure, the complex structure here is not necessarily associated with a symplectic structure such that $(M,J,omega)$ is Kahler.



http://www.numdam.org/article/BSMF_1960__88__229_0.pdf






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Actually I have a problem with understanding this example. Can You elaborate on how does one get $S^2 times S^1$ is affine? From the result You have cited it follows it's projective.
    $endgroup$
    – J.E.M.S
    5 hours ago










  • $begingroup$
    The result says that if $M$ is projective, $Mtimes S^1$ is affine, it is a radiant affine manifold, look the corollary p. 16.
    $endgroup$
    – Tsemo Aristide
    5 hours ago






  • 1




    $begingroup$
    This doesn't actually give an example, because there is no Kaehler metric. As abx says, the compact Kaehler examples admit finite covering by complex tori.
    $endgroup$
    – Ben McKay
    4 hours ago










  • $begingroup$
    What I am saying is the following: the quotient of $mathbb{R}^3−{0}$ by the homothetic map defined by$ h(x)=2x $ is $S^2×S^1$. The quotient of $R^+={xin mathbb{R}, x>0}$ by $g(x)=2x$ is $S^1$. This defines an affine structure on $S^2×S^1×S^1$, $(mathbb{R}^3−{0})×mathbb{R}^+$ is contained in $mathbb{C}^2$ and $h(x)=2x$ preserves the complex structure. This implies the existence of a complex structure $J$ on $S^2×S^1×S^1.$
    $endgroup$
    – Tsemo Aristide
    35 mins ago












  • $begingroup$
    The argument of abx shows that there does not exists a symplectic structure $omega$ such that $(S^2times S^1×S^1,ω,J)$ is a khaler structure. I dont know if there exists an easy way to show that. It may be interesting to construct examples of complex structures on khaler manifolds which are not associated to a khaler structure.
    $endgroup$
    – Tsemo Aristide
    32 mins ago
















1












$begingroup$

Consider $S^2$ it is a projective manifold ( a manifold endowed with an atlas $(U_i), f_i:U_irightarrow Pmathbb{R}^n$ such that $f_icirc f_j^{-1}$ is a restriction of an element of $PGl(n,mathbb{R})$. Benzecri has shown in its thesis that if $M$ is a projective real manifold, so is $Mtimes S^1$. $S^2$ is endowed with a real projective structure, thus $S^2times S^1$ is a real affine manifold, $S^2times S^1times S^1$ is also a real affine manifold. The holonomy of this manifold can be defined by homothetic maps so preserves a complex structure on $mathbb{R}^4$. This manifold is endowed with a Kahler structure, the complex structure here is not necessarily associated with a symplectic structure such that $(M,J,omega)$ is Kahler.



http://www.numdam.org/article/BSMF_1960__88__229_0.pdf






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Actually I have a problem with understanding this example. Can You elaborate on how does one get $S^2 times S^1$ is affine? From the result You have cited it follows it's projective.
    $endgroup$
    – J.E.M.S
    5 hours ago










  • $begingroup$
    The result says that if $M$ is projective, $Mtimes S^1$ is affine, it is a radiant affine manifold, look the corollary p. 16.
    $endgroup$
    – Tsemo Aristide
    5 hours ago






  • 1




    $begingroup$
    This doesn't actually give an example, because there is no Kaehler metric. As abx says, the compact Kaehler examples admit finite covering by complex tori.
    $endgroup$
    – Ben McKay
    4 hours ago










  • $begingroup$
    What I am saying is the following: the quotient of $mathbb{R}^3−{0}$ by the homothetic map defined by$ h(x)=2x $ is $S^2×S^1$. The quotient of $R^+={xin mathbb{R}, x>0}$ by $g(x)=2x$ is $S^1$. This defines an affine structure on $S^2×S^1×S^1$, $(mathbb{R}^3−{0})×mathbb{R}^+$ is contained in $mathbb{C}^2$ and $h(x)=2x$ preserves the complex structure. This implies the existence of a complex structure $J$ on $S^2×S^1×S^1.$
    $endgroup$
    – Tsemo Aristide
    35 mins ago












  • $begingroup$
    The argument of abx shows that there does not exists a symplectic structure $omega$ such that $(S^2times S^1×S^1,ω,J)$ is a khaler structure. I dont know if there exists an easy way to show that. It may be interesting to construct examples of complex structures on khaler manifolds which are not associated to a khaler structure.
    $endgroup$
    – Tsemo Aristide
    32 mins ago














1












1








1





$begingroup$

Consider $S^2$ it is a projective manifold ( a manifold endowed with an atlas $(U_i), f_i:U_irightarrow Pmathbb{R}^n$ such that $f_icirc f_j^{-1}$ is a restriction of an element of $PGl(n,mathbb{R})$. Benzecri has shown in its thesis that if $M$ is a projective real manifold, so is $Mtimes S^1$. $S^2$ is endowed with a real projective structure, thus $S^2times S^1$ is a real affine manifold, $S^2times S^1times S^1$ is also a real affine manifold. The holonomy of this manifold can be defined by homothetic maps so preserves a complex structure on $mathbb{R}^4$. This manifold is endowed with a Kahler structure, the complex structure here is not necessarily associated with a symplectic structure such that $(M,J,omega)$ is Kahler.



http://www.numdam.org/article/BSMF_1960__88__229_0.pdf






share|cite|improve this answer











$endgroup$



Consider $S^2$ it is a projective manifold ( a manifold endowed with an atlas $(U_i), f_i:U_irightarrow Pmathbb{R}^n$ such that $f_icirc f_j^{-1}$ is a restriction of an element of $PGl(n,mathbb{R})$. Benzecri has shown in its thesis that if $M$ is a projective real manifold, so is $Mtimes S^1$. $S^2$ is endowed with a real projective structure, thus $S^2times S^1$ is a real affine manifold, $S^2times S^1times S^1$ is also a real affine manifold. The holonomy of this manifold can be defined by homothetic maps so preserves a complex structure on $mathbb{R}^4$. This manifold is endowed with a Kahler structure, the complex structure here is not necessarily associated with a symplectic structure such that $(M,J,omega)$ is Kahler.



http://www.numdam.org/article/BSMF_1960__88__229_0.pdf







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 4 hours ago

























answered 7 hours ago









Tsemo AristideTsemo Aristide

2,7231616




2,7231616












  • $begingroup$
    Actually I have a problem with understanding this example. Can You elaborate on how does one get $S^2 times S^1$ is affine? From the result You have cited it follows it's projective.
    $endgroup$
    – J.E.M.S
    5 hours ago










  • $begingroup$
    The result says that if $M$ is projective, $Mtimes S^1$ is affine, it is a radiant affine manifold, look the corollary p. 16.
    $endgroup$
    – Tsemo Aristide
    5 hours ago






  • 1




    $begingroup$
    This doesn't actually give an example, because there is no Kaehler metric. As abx says, the compact Kaehler examples admit finite covering by complex tori.
    $endgroup$
    – Ben McKay
    4 hours ago










  • $begingroup$
    What I am saying is the following: the quotient of $mathbb{R}^3−{0}$ by the homothetic map defined by$ h(x)=2x $ is $S^2×S^1$. The quotient of $R^+={xin mathbb{R}, x>0}$ by $g(x)=2x$ is $S^1$. This defines an affine structure on $S^2×S^1×S^1$, $(mathbb{R}^3−{0})×mathbb{R}^+$ is contained in $mathbb{C}^2$ and $h(x)=2x$ preserves the complex structure. This implies the existence of a complex structure $J$ on $S^2×S^1×S^1.$
    $endgroup$
    – Tsemo Aristide
    35 mins ago












  • $begingroup$
    The argument of abx shows that there does not exists a symplectic structure $omega$ such that $(S^2times S^1×S^1,ω,J)$ is a khaler structure. I dont know if there exists an easy way to show that. It may be interesting to construct examples of complex structures on khaler manifolds which are not associated to a khaler structure.
    $endgroup$
    – Tsemo Aristide
    32 mins ago


















  • $begingroup$
    Actually I have a problem with understanding this example. Can You elaborate on how does one get $S^2 times S^1$ is affine? From the result You have cited it follows it's projective.
    $endgroup$
    – J.E.M.S
    5 hours ago










  • $begingroup$
    The result says that if $M$ is projective, $Mtimes S^1$ is affine, it is a radiant affine manifold, look the corollary p. 16.
    $endgroup$
    – Tsemo Aristide
    5 hours ago






  • 1




    $begingroup$
    This doesn't actually give an example, because there is no Kaehler metric. As abx says, the compact Kaehler examples admit finite covering by complex tori.
    $endgroup$
    – Ben McKay
    4 hours ago










  • $begingroup$
    What I am saying is the following: the quotient of $mathbb{R}^3−{0}$ by the homothetic map defined by$ h(x)=2x $ is $S^2×S^1$. The quotient of $R^+={xin mathbb{R}, x>0}$ by $g(x)=2x$ is $S^1$. This defines an affine structure on $S^2×S^1×S^1$, $(mathbb{R}^3−{0})×mathbb{R}^+$ is contained in $mathbb{C}^2$ and $h(x)=2x$ preserves the complex structure. This implies the existence of a complex structure $J$ on $S^2×S^1×S^1.$
    $endgroup$
    – Tsemo Aristide
    35 mins ago












  • $begingroup$
    The argument of abx shows that there does not exists a symplectic structure $omega$ such that $(S^2times S^1×S^1,ω,J)$ is a khaler structure. I dont know if there exists an easy way to show that. It may be interesting to construct examples of complex structures on khaler manifolds which are not associated to a khaler structure.
    $endgroup$
    – Tsemo Aristide
    32 mins ago
















$begingroup$
Actually I have a problem with understanding this example. Can You elaborate on how does one get $S^2 times S^1$ is affine? From the result You have cited it follows it's projective.
$endgroup$
– J.E.M.S
5 hours ago




$begingroup$
Actually I have a problem with understanding this example. Can You elaborate on how does one get $S^2 times S^1$ is affine? From the result You have cited it follows it's projective.
$endgroup$
– J.E.M.S
5 hours ago












$begingroup$
The result says that if $M$ is projective, $Mtimes S^1$ is affine, it is a radiant affine manifold, look the corollary p. 16.
$endgroup$
– Tsemo Aristide
5 hours ago




$begingroup$
The result says that if $M$ is projective, $Mtimes S^1$ is affine, it is a radiant affine manifold, look the corollary p. 16.
$endgroup$
– Tsemo Aristide
5 hours ago




1




1




$begingroup$
This doesn't actually give an example, because there is no Kaehler metric. As abx says, the compact Kaehler examples admit finite covering by complex tori.
$endgroup$
– Ben McKay
4 hours ago




$begingroup$
This doesn't actually give an example, because there is no Kaehler metric. As abx says, the compact Kaehler examples admit finite covering by complex tori.
$endgroup$
– Ben McKay
4 hours ago












$begingroup$
What I am saying is the following: the quotient of $mathbb{R}^3−{0}$ by the homothetic map defined by$ h(x)=2x $ is $S^2×S^1$. The quotient of $R^+={xin mathbb{R}, x>0}$ by $g(x)=2x$ is $S^1$. This defines an affine structure on $S^2×S^1×S^1$, $(mathbb{R}^3−{0})×mathbb{R}^+$ is contained in $mathbb{C}^2$ and $h(x)=2x$ preserves the complex structure. This implies the existence of a complex structure $J$ on $S^2×S^1×S^1.$
$endgroup$
– Tsemo Aristide
35 mins ago






$begingroup$
What I am saying is the following: the quotient of $mathbb{R}^3−{0}$ by the homothetic map defined by$ h(x)=2x $ is $S^2×S^1$. The quotient of $R^+={xin mathbb{R}, x>0}$ by $g(x)=2x$ is $S^1$. This defines an affine structure on $S^2×S^1×S^1$, $(mathbb{R}^3−{0})×mathbb{R}^+$ is contained in $mathbb{C}^2$ and $h(x)=2x$ preserves the complex structure. This implies the existence of a complex structure $J$ on $S^2×S^1×S^1.$
$endgroup$
– Tsemo Aristide
35 mins ago














$begingroup$
The argument of abx shows that there does not exists a symplectic structure $omega$ such that $(S^2times S^1×S^1,ω,J)$ is a khaler structure. I dont know if there exists an easy way to show that. It may be interesting to construct examples of complex structures on khaler manifolds which are not associated to a khaler structure.
$endgroup$
– Tsemo Aristide
32 mins ago




$begingroup$
The argument of abx shows that there does not exists a symplectic structure $omega$ such that $(S^2times S^1×S^1,ω,J)$ is a khaler structure. I dont know if there exists an easy way to show that. It may be interesting to construct examples of complex structures on khaler manifolds which are not associated to a khaler structure.
$endgroup$
– Tsemo Aristide
32 mins ago


















draft saved

draft discarded




















































Thanks for contributing an answer to MathOverflow!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f323451%2fcompact-complex-affine-k%25c3%25a4hler-manifold-is-a-torus%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Усть-Каменогорск

Халкинская богословская школа

Высокополье (Харьковская область)