regular sequence $iff$ complete intersectionWhat is the connection between the definition of complete intersection variety and complete intersection ring?Problem about Complete Intersection in $textbf P^n$ (from Hartshorne).Complete intersectionIrreducibility of smooth intersectionAre complete intersection prime ideals of regular rings regular ideals?Locally complete intersection in a fiberMultiplicity and regular sequencesRegular Ring is a Complete Intersection RingLocal complete intersection

Can I hook these wires up to find the connection to a dead outlet?

Does Dispel Magic work on Tiny Hut?

Does int main() need a declaration on C++?

Why was Sir Cadogan fired?

Getting extremely large arrows with tikzcd

Why were 5.25" floppy drives cheaper than 8"?

What is required to make GPS signals available indoors?

Knowledge-based authentication using Domain-driven Design in C#

Venezuelan girlfriend wants to travel the USA to be with me. What is the process?

files created then deleted at every second in tmp directory

What reasons are there for a Capitalist to oppose a 100% inheritance tax?

Why do I get negative height?

Bullying boss launched a smear campaign and made me unemployable

How to remove border from elements in the last row?

Was the Stack Exchange "Happy April Fools" page fitting with the '90's code?

My ex-girlfriend uses my Apple ID to log in to her iPad. Do I have to give her my Apple ID password to reset it?

In the UK, is it possible to get a referendum by a court decision?

How to find if SQL server backup is encrypted with TDE without restoring the backup

What's the meaning of "Sollensaussagen"?

Using "tail" to follow a file without displaying the most recent lines

Unlock My Phone! February 2018

How badly should I try to prevent a user from XSSing themselves?

Ambiguity in the definition of entropy

Finitely generated matrix groups whose eigenvalues are all algebraic



regular sequence $iff$ complete intersection


What is the connection between the definition of complete intersection variety and complete intersection ring?Problem about Complete Intersection in $textbf P^n$ (from Hartshorne).Complete intersectionIrreducibility of smooth intersectionAre complete intersection prime ideals of regular rings regular ideals?Locally complete intersection in a fiberMultiplicity and regular sequencesRegular Ring is a Complete Intersection RingLocal complete intersection













2












$begingroup$


Let $k$ be a field and $X subseteq mathbbP^n$ a closed subscheme of dimension $n-r$.
We say $X$ is complete intersection if $X = V(I)$, where $I$ is a homogeneous ideal which is generated by $r$ elements.



Next, for a closed immersion of locally noetherian schemes $f : X to Y$, we say that $f$ is a regular immersion of codimension $r$ if at every point $x in X$, the kernel of $f^#_x : mathscrO_Y, f(x) to mathscrO_X,x$ is generated by a regular sequence of $r$ elements.



Now for $Y = mathbbP^n$ and $i: X to Y$, are these two conditions equivalent?
In example 3.5. of Liu's "Algebraic geometry and arithmetic curves", the author says that a complete intersection is a regular immersion in this situation.



To show this, I think it's sufficient to show that:




Let $A$ be a noetherian local integral domain of dimension $n$, $I$ a proper ideal and suppose that $dim A/I = n-r$. Then if $I$ is generated by $r$ elements, then $I$ is generated by a regular sequence of $r$ elements.




For our purpose we can assume that $A$ is regular and is finitely generated over a field.



I showed that for a generator $f_1, dots, f_r$, $dim A/(f_1, dots, f_i) = n-i$.
So $f_i+1$ in $A/(f_1, dots, f_i)$ is not contained in any minimal prime ideal.
Therefore if these $A/(f_1, dots, f_i)$ are reduced, this sequence is a regular sequence.
And by this, it seems that we can assume these rings reduced.



Thank you very much.










share|cite|improve this question











$endgroup$







  • 2




    $begingroup$
    The highlighted part is wrong unless $A$ is Cohen-Macaulay. A counterexample is given by $A=K[[X^4,X^3Y,XY^3,Y^4]]$, and $I=(X^4,Y^4)$.
    $endgroup$
    – user26857
    Mar 20 at 21:26










  • $begingroup$
    @user26857 Thanks for your comment. So, if $A$ is Cohen-Macaulay, is it true? If so could you show me a proof?
    $endgroup$
    – agababibu
    Mar 20 at 21:36






  • 1




    $begingroup$
    When $A$ is CM we have $mathrmgrade(I)=dim A-dim A/I=r$, and if $I=(a_1,dots,a_r)$ we get that $a_1,dots,a_r$ is an $A$-sequence. (No need to assume $A$ domain.)
    $endgroup$
    – user26857
    Mar 20 at 21:39











  • $begingroup$
    @user26857 Thank you very much!
    $endgroup$
    – agababibu
    Mar 20 at 22:30















2












$begingroup$


Let $k$ be a field and $X subseteq mathbbP^n$ a closed subscheme of dimension $n-r$.
We say $X$ is complete intersection if $X = V(I)$, where $I$ is a homogeneous ideal which is generated by $r$ elements.



Next, for a closed immersion of locally noetherian schemes $f : X to Y$, we say that $f$ is a regular immersion of codimension $r$ if at every point $x in X$, the kernel of $f^#_x : mathscrO_Y, f(x) to mathscrO_X,x$ is generated by a regular sequence of $r$ elements.



Now for $Y = mathbbP^n$ and $i: X to Y$, are these two conditions equivalent?
In example 3.5. of Liu's "Algebraic geometry and arithmetic curves", the author says that a complete intersection is a regular immersion in this situation.



To show this, I think it's sufficient to show that:




Let $A$ be a noetherian local integral domain of dimension $n$, $I$ a proper ideal and suppose that $dim A/I = n-r$. Then if $I$ is generated by $r$ elements, then $I$ is generated by a regular sequence of $r$ elements.




For our purpose we can assume that $A$ is regular and is finitely generated over a field.



I showed that for a generator $f_1, dots, f_r$, $dim A/(f_1, dots, f_i) = n-i$.
So $f_i+1$ in $A/(f_1, dots, f_i)$ is not contained in any minimal prime ideal.
Therefore if these $A/(f_1, dots, f_i)$ are reduced, this sequence is a regular sequence.
And by this, it seems that we can assume these rings reduced.



Thank you very much.










share|cite|improve this question











$endgroup$







  • 2




    $begingroup$
    The highlighted part is wrong unless $A$ is Cohen-Macaulay. A counterexample is given by $A=K[[X^4,X^3Y,XY^3,Y^4]]$, and $I=(X^4,Y^4)$.
    $endgroup$
    – user26857
    Mar 20 at 21:26










  • $begingroup$
    @user26857 Thanks for your comment. So, if $A$ is Cohen-Macaulay, is it true? If so could you show me a proof?
    $endgroup$
    – agababibu
    Mar 20 at 21:36






  • 1




    $begingroup$
    When $A$ is CM we have $mathrmgrade(I)=dim A-dim A/I=r$, and if $I=(a_1,dots,a_r)$ we get that $a_1,dots,a_r$ is an $A$-sequence. (No need to assume $A$ domain.)
    $endgroup$
    – user26857
    Mar 20 at 21:39











  • $begingroup$
    @user26857 Thank you very much!
    $endgroup$
    – agababibu
    Mar 20 at 22:30













2












2








2





$begingroup$


Let $k$ be a field and $X subseteq mathbbP^n$ a closed subscheme of dimension $n-r$.
We say $X$ is complete intersection if $X = V(I)$, where $I$ is a homogeneous ideal which is generated by $r$ elements.



Next, for a closed immersion of locally noetherian schemes $f : X to Y$, we say that $f$ is a regular immersion of codimension $r$ if at every point $x in X$, the kernel of $f^#_x : mathscrO_Y, f(x) to mathscrO_X,x$ is generated by a regular sequence of $r$ elements.



Now for $Y = mathbbP^n$ and $i: X to Y$, are these two conditions equivalent?
In example 3.5. of Liu's "Algebraic geometry and arithmetic curves", the author says that a complete intersection is a regular immersion in this situation.



To show this, I think it's sufficient to show that:




Let $A$ be a noetherian local integral domain of dimension $n$, $I$ a proper ideal and suppose that $dim A/I = n-r$. Then if $I$ is generated by $r$ elements, then $I$ is generated by a regular sequence of $r$ elements.




For our purpose we can assume that $A$ is regular and is finitely generated over a field.



I showed that for a generator $f_1, dots, f_r$, $dim A/(f_1, dots, f_i) = n-i$.
So $f_i+1$ in $A/(f_1, dots, f_i)$ is not contained in any minimal prime ideal.
Therefore if these $A/(f_1, dots, f_i)$ are reduced, this sequence is a regular sequence.
And by this, it seems that we can assume these rings reduced.



Thank you very much.










share|cite|improve this question











$endgroup$




Let $k$ be a field and $X subseteq mathbbP^n$ a closed subscheme of dimension $n-r$.
We say $X$ is complete intersection if $X = V(I)$, where $I$ is a homogeneous ideal which is generated by $r$ elements.



Next, for a closed immersion of locally noetherian schemes $f : X to Y$, we say that $f$ is a regular immersion of codimension $r$ if at every point $x in X$, the kernel of $f^#_x : mathscrO_Y, f(x) to mathscrO_X,x$ is generated by a regular sequence of $r$ elements.



Now for $Y = mathbbP^n$ and $i: X to Y$, are these two conditions equivalent?
In example 3.5. of Liu's "Algebraic geometry and arithmetic curves", the author says that a complete intersection is a regular immersion in this situation.



To show this, I think it's sufficient to show that:




Let $A$ be a noetherian local integral domain of dimension $n$, $I$ a proper ideal and suppose that $dim A/I = n-r$. Then if $I$ is generated by $r$ elements, then $I$ is generated by a regular sequence of $r$ elements.




For our purpose we can assume that $A$ is regular and is finitely generated over a field.



I showed that for a generator $f_1, dots, f_r$, $dim A/(f_1, dots, f_i) = n-i$.
So $f_i+1$ in $A/(f_1, dots, f_i)$ is not contained in any minimal prime ideal.
Therefore if these $A/(f_1, dots, f_i)$ are reduced, this sequence is a regular sequence.
And by this, it seems that we can assume these rings reduced.



Thank you very much.







algebraic-geometry commutative-algebra






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 20 at 20:53









user26857

39.5k124283




39.5k124283










asked Mar 20 at 19:43









agababibuagababibu

413110




413110







  • 2




    $begingroup$
    The highlighted part is wrong unless $A$ is Cohen-Macaulay. A counterexample is given by $A=K[[X^4,X^3Y,XY^3,Y^4]]$, and $I=(X^4,Y^4)$.
    $endgroup$
    – user26857
    Mar 20 at 21:26










  • $begingroup$
    @user26857 Thanks for your comment. So, if $A$ is Cohen-Macaulay, is it true? If so could you show me a proof?
    $endgroup$
    – agababibu
    Mar 20 at 21:36






  • 1




    $begingroup$
    When $A$ is CM we have $mathrmgrade(I)=dim A-dim A/I=r$, and if $I=(a_1,dots,a_r)$ we get that $a_1,dots,a_r$ is an $A$-sequence. (No need to assume $A$ domain.)
    $endgroup$
    – user26857
    Mar 20 at 21:39











  • $begingroup$
    @user26857 Thank you very much!
    $endgroup$
    – agababibu
    Mar 20 at 22:30












  • 2




    $begingroup$
    The highlighted part is wrong unless $A$ is Cohen-Macaulay. A counterexample is given by $A=K[[X^4,X^3Y,XY^3,Y^4]]$, and $I=(X^4,Y^4)$.
    $endgroup$
    – user26857
    Mar 20 at 21:26










  • $begingroup$
    @user26857 Thanks for your comment. So, if $A$ is Cohen-Macaulay, is it true? If so could you show me a proof?
    $endgroup$
    – agababibu
    Mar 20 at 21:36






  • 1




    $begingroup$
    When $A$ is CM we have $mathrmgrade(I)=dim A-dim A/I=r$, and if $I=(a_1,dots,a_r)$ we get that $a_1,dots,a_r$ is an $A$-sequence. (No need to assume $A$ domain.)
    $endgroup$
    – user26857
    Mar 20 at 21:39











  • $begingroup$
    @user26857 Thank you very much!
    $endgroup$
    – agababibu
    Mar 20 at 22:30







2




2




$begingroup$
The highlighted part is wrong unless $A$ is Cohen-Macaulay. A counterexample is given by $A=K[[X^4,X^3Y,XY^3,Y^4]]$, and $I=(X^4,Y^4)$.
$endgroup$
– user26857
Mar 20 at 21:26




$begingroup$
The highlighted part is wrong unless $A$ is Cohen-Macaulay. A counterexample is given by $A=K[[X^4,X^3Y,XY^3,Y^4]]$, and $I=(X^4,Y^4)$.
$endgroup$
– user26857
Mar 20 at 21:26












$begingroup$
@user26857 Thanks for your comment. So, if $A$ is Cohen-Macaulay, is it true? If so could you show me a proof?
$endgroup$
– agababibu
Mar 20 at 21:36




$begingroup$
@user26857 Thanks for your comment. So, if $A$ is Cohen-Macaulay, is it true? If so could you show me a proof?
$endgroup$
– agababibu
Mar 20 at 21:36




1




1




$begingroup$
When $A$ is CM we have $mathrmgrade(I)=dim A-dim A/I=r$, and if $I=(a_1,dots,a_r)$ we get that $a_1,dots,a_r$ is an $A$-sequence. (No need to assume $A$ domain.)
$endgroup$
– user26857
Mar 20 at 21:39





$begingroup$
When $A$ is CM we have $mathrmgrade(I)=dim A-dim A/I=r$, and if $I=(a_1,dots,a_r)$ we get that $a_1,dots,a_r$ is an $A$-sequence. (No need to assume $A$ domain.)
$endgroup$
– user26857
Mar 20 at 21:39













$begingroup$
@user26857 Thank you very much!
$endgroup$
– agababibu
Mar 20 at 22:30




$begingroup$
@user26857 Thank you very much!
$endgroup$
– agababibu
Mar 20 at 22:30










0






active

oldest

votes












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: "69"
;
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%2fmath.stackexchange.com%2fquestions%2f3155921%2fregular-sequence-iff-complete-intersection%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes















draft saved

draft discarded
















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • 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%2fmath.stackexchange.com%2fquestions%2f3155921%2fregular-sequence-iff-complete-intersection%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

Solar Wings Breeze Design and development Specifications (Breeze) References Navigation menu1368-485X"Hang glider: Breeze (Solar Wings)"e

Kathakali Contents Etymology and nomenclature History Repertoire Songs and musical instruments Traditional plays Styles: Sampradayam Training centers and awards Relationship to other dance forms See also Notes References External links Navigation menueThe Illustrated Encyclopedia of Hinduism: A-MSouth Asian Folklore: An EncyclopediaRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to Play10.1353/atj.2005.0004The Illustrated Encyclopedia of Hinduism: A-MEncyclopedia of HinduismKathakali Dance-drama: Where Gods and Demons Come to PlaySonic Liturgy: Ritual and Music in Hindu Tradition"The Mirror of Gesture"Kathakali Dance-drama: Where Gods and Demons Come to Play"Kathakali"Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceMedieval Indian Literature: An AnthologyThe Oxford Companion to Indian TheatreSouth Asian Folklore: An Encyclopedia : Afghanistan, Bangladesh, India, Nepal, Pakistan, Sri LankaThe Rise of Performance Studies: Rethinking Richard Schechner's Broad SpectrumIndian Theatre: Traditions of PerformanceModern Asian Theatre and Performance 1900-2000Critical Theory and PerformanceBetween Theater and AnthropologyKathakali603847011Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceBetween Theater and AnthropologyBetween Theater and AnthropologyNambeesan Smaraka AwardsArchivedThe Cambridge Guide to TheatreRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeThe Garland Encyclopedia of World Music: South Asia : the Indian subcontinentThe Ethos of Noh: Actors and Their Art10.2307/1145740By Means of Performance: Intercultural Studies of Theatre and Ritual10.1017/s204912550000100xReconceiving the Renaissance: A Critical ReaderPerformance TheoryListening to Theatre: The Aural Dimension of Beijing Opera10.2307/1146013Kathakali: The Art of the Non-WorldlyOn KathakaliKathakali, the dance theatreThe Kathakali Complex: Performance & StructureKathakali Dance-Drama: Where Gods and Demons Come to Play10.1093/obo/9780195399318-0071Drama and Ritual of Early Hinduism"In the Shadow of Hollywood Orientalism: Authentic East Indian Dancing"10.1080/08949460490274013Sanskrit Play Production in Ancient IndiaIndian Music: History and StructureBharata, the Nāṭyaśāstra233639306Table of Contents2238067286469807Dance In Indian Painting10.2307/32047833204783Kathakali Dance-Theatre: A Visual Narrative of Sacred Indian MimeIndian Classical Dance: The Renaissance and BeyondKathakali: an indigenous art-form of Keralaeee

Method to test if a number is a perfect power? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Detecting perfect squares faster than by extracting square rooteffective way to get the integer sequence A181392 from oeisA rarely mentioned fact about perfect powersHow many numbers such $n$ are there that $n<100,lfloorsqrtn rfloor mid n$Check perfect squareness by modulo division against multiple basesFor what pair of integers $(a,b)$ is $3^a + 7^b$ a perfect square.Do there exist any positive integers $n$ such that $lfloore^nrfloor$ is a perfect power? What is the probability that one exists?finding perfect power factors of an integerProve that the sequence contains a perfect square for any natural number $m $ in the domain of $f$ .Counting Perfect Powers