Are stably rational surfaces all rational?Del pezzo surfaces in positive characteristicNumerically negative exceptional divisor on a surface.Universal property of blowing downStabilisers of group actionsAre stably birational varieties birational?Methods of showing a variety is stably rationalConic bundles on quartic del Pezzo surfacesPurely inseparable $k$-rational dominant maps between an absolutely irreducible $k$-surface and $mathbbP^2$Is an open subscheme of a rationally connected variety, rationally connected?Is there an odd degree unirational parametrization of a cubic threefold?

Are stably rational surfaces all rational?


Del pezzo surfaces in positive characteristicNumerically negative exceptional divisor on a surface.Universal property of blowing downStabilisers of group actionsAre stably birational varieties birational?Methods of showing a variety is stably rationalConic bundles on quartic del Pezzo surfacesPurely inseparable $k$-rational dominant maps between an absolutely irreducible $k$-surface and $mathbbP^2$Is an open subscheme of a rationally connected variety, rationally connected?Is there an odd degree unirational parametrization of a cubic threefold?













9












$begingroup$


Let $X$ be an irreducible surface such that $X times mathbbP^1$ is rational. Is it true that $X$ is rational?



If the field is not algebraically closed, the answer is no in general (see A. Beauville, J.-L. Colliot-Thélène, J.-J. Sansuc et Sir Peter Swinnerton-Dyer, Variétés stablement rationnelles non rationnelles, Ann. of Math. 121(1985) 283–318.).



If the field is algebraically closed of characteristic zero, the answer is yes.



What happens when the field is algebraically closed, of positive characteristic?



(one could ask the same for simply rationally connected surfaces).










share|cite|improve this question











$endgroup$











  • $begingroup$
    I imagine that this is a simple application of Castelnuovo's criterion, which is valid in all characteristics.
    $endgroup$
    – Daniel Loughran
    Mar 19 at 9:41






  • 2




    $begingroup$
    At least to me, the question does not exactly fit with the title. The question "are stably rational surfaces rational" is rather whether $XtimesmathbfP^n$ rational (for some $n$) implies $X$ rational?
    $endgroup$
    – YCor
    Mar 19 at 10:19
















9












$begingroup$


Let $X$ be an irreducible surface such that $X times mathbbP^1$ is rational. Is it true that $X$ is rational?



If the field is not algebraically closed, the answer is no in general (see A. Beauville, J.-L. Colliot-Thélène, J.-J. Sansuc et Sir Peter Swinnerton-Dyer, Variétés stablement rationnelles non rationnelles, Ann. of Math. 121(1985) 283–318.).



If the field is algebraically closed of characteristic zero, the answer is yes.



What happens when the field is algebraically closed, of positive characteristic?



(one could ask the same for simply rationally connected surfaces).










share|cite|improve this question











$endgroup$











  • $begingroup$
    I imagine that this is a simple application of Castelnuovo's criterion, which is valid in all characteristics.
    $endgroup$
    – Daniel Loughran
    Mar 19 at 9:41






  • 2




    $begingroup$
    At least to me, the question does not exactly fit with the title. The question "are stably rational surfaces rational" is rather whether $XtimesmathbfP^n$ rational (for some $n$) implies $X$ rational?
    $endgroup$
    – YCor
    Mar 19 at 10:19














9












9








9





$begingroup$


Let $X$ be an irreducible surface such that $X times mathbbP^1$ is rational. Is it true that $X$ is rational?



If the field is not algebraically closed, the answer is no in general (see A. Beauville, J.-L. Colliot-Thélène, J.-J. Sansuc et Sir Peter Swinnerton-Dyer, Variétés stablement rationnelles non rationnelles, Ann. of Math. 121(1985) 283–318.).



If the field is algebraically closed of characteristic zero, the answer is yes.



What happens when the field is algebraically closed, of positive characteristic?



(one could ask the same for simply rationally connected surfaces).










share|cite|improve this question











$endgroup$




Let $X$ be an irreducible surface such that $X times mathbbP^1$ is rational. Is it true that $X$ is rational?



If the field is not algebraically closed, the answer is no in general (see A. Beauville, J.-L. Colliot-Thélène, J.-J. Sansuc et Sir Peter Swinnerton-Dyer, Variétés stablement rationnelles non rationnelles, Ann. of Math. 121(1985) 283–318.).



If the field is algebraically closed of characteristic zero, the answer is yes.



What happens when the field is algebraically closed, of positive characteristic?



(one could ask the same for simply rationally connected surfaces).







ag.algebraic-geometry birational-geometry






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 19 at 8:34







Jérémy Blanc

















asked Mar 19 at 8:21









Jérémy BlancJérémy Blanc

4,19411536




4,19411536











  • $begingroup$
    I imagine that this is a simple application of Castelnuovo's criterion, which is valid in all characteristics.
    $endgroup$
    – Daniel Loughran
    Mar 19 at 9:41






  • 2




    $begingroup$
    At least to me, the question does not exactly fit with the title. The question "are stably rational surfaces rational" is rather whether $XtimesmathbfP^n$ rational (for some $n$) implies $X$ rational?
    $endgroup$
    – YCor
    Mar 19 at 10:19

















  • $begingroup$
    I imagine that this is a simple application of Castelnuovo's criterion, which is valid in all characteristics.
    $endgroup$
    – Daniel Loughran
    Mar 19 at 9:41






  • 2




    $begingroup$
    At least to me, the question does not exactly fit with the title. The question "are stably rational surfaces rational" is rather whether $XtimesmathbfP^n$ rational (for some $n$) implies $X$ rational?
    $endgroup$
    – YCor
    Mar 19 at 10:19
















$begingroup$
I imagine that this is a simple application of Castelnuovo's criterion, which is valid in all characteristics.
$endgroup$
– Daniel Loughran
Mar 19 at 9:41




$begingroup$
I imagine that this is a simple application of Castelnuovo's criterion, which is valid in all characteristics.
$endgroup$
– Daniel Loughran
Mar 19 at 9:41




2




2




$begingroup$
At least to me, the question does not exactly fit with the title. The question "are stably rational surfaces rational" is rather whether $XtimesmathbfP^n$ rational (for some $n$) implies $X$ rational?
$endgroup$
– YCor
Mar 19 at 10:19





$begingroup$
At least to me, the question does not exactly fit with the title. The question "are stably rational surfaces rational" is rather whether $XtimesmathbfP^n$ rational (for some $n$) implies $X$ rational?
$endgroup$
– YCor
Mar 19 at 10:19











1 Answer
1






active

oldest

votes


















12












$begingroup$

The result is true in all characteristics. See O. Zariski, Illinois J. Math. 2(1958), 303-315.






share|cite|improve this answer









$endgroup$












    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%2f325752%2fare-stably-rational-surfaces-all-rational%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    12












    $begingroup$

    The result is true in all characteristics. See O. Zariski, Illinois J. Math. 2(1958), 303-315.






    share|cite|improve this answer









    $endgroup$

















      12












      $begingroup$

      The result is true in all characteristics. See O. Zariski, Illinois J. Math. 2(1958), 303-315.






      share|cite|improve this answer









      $endgroup$















        12












        12








        12





        $begingroup$

        The result is true in all characteristics. See O. Zariski, Illinois J. Math. 2(1958), 303-315.






        share|cite|improve this answer









        $endgroup$



        The result is true in all characteristics. See O. Zariski, Illinois J. Math. 2(1958), 303-315.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Mar 19 at 9:14









        Laurent Moret-BaillyLaurent Moret-Bailly

        14.5k14769




        14.5k14769



























            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%2f325752%2fare-stably-rational-surfaces-all-rational%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

            Rank groups within a grouped sequence of TRUE/FALSE and NAGrouping functions (tapply, by, aggregate) and the *apply familyCharacters counting and subletting specific patternsWhat is the purpose of setting a key in data.table?data.table vs dplyr: can one do something well the other can't or does poorly?how to make a bar plot for a list of dataframes?How to group by unique values in a list in RPandas - Alternative to rank() function that gives unique ordinal ranks for a columnRank within group in for loop in RData transformation: from dyadic to observational data in RGetting map from purrr to work with paste0

            Are all passive ability checks floors for active ability checks?Does passive perception supersede active perception?Which skills can be used passively?Active Opposition with Free-Form Professions in Fate5E Trap/Ambush/Stealth Mechanics VS Passive Perception ConfusionInteraction between perception and stealth in obscured conditionsHow does Keen Sight affect Passive Perception?Are all d20 rolls either attacks, saves or ability checks?Can players declare that they are making a specific ability check?Can I see a Hidden creature that is not obscured at all?Can a Stealth check ever be made passively?Is this alternate version of the Observant feat balanced?What is the minimum amount of skill points per HD?

            Quoting Keynes in a lectureIs differentiated instruction permitted by universities?How to make students learn prerequisitesUnsatisfactory Instructor Evaluations: balancing of expectations of engineering studentsWhat is the difference between a “statistician”, “applied statistician”, and an academic applying advanced stats within their field?Listing in reference section, but not quotingHow to efficiently use time while preparing for a class?Graduate Admissions: Teaching Emphasisstrategies for sharing teaching information with universities I don't personally have contacts withIs there an efficient way to give a large class of students feedback about their assignments?Is it unreasonable to expect students to read the lecture notes before attending the first class?