Questions tagged [complete-intersection]
The complete-intersection tag has no usage guidance.
51
questions
10
votes
1
answer
562
views
With 6 inverted, is the ring of Weierstrass curves a quotient of the Lazard ring by a regular sequence?
Let $L$ be the Lazard ring, i.e., the underlying ring of the universal one-dimensional formal group law. Let $M$ be the ring $\mathbb{Z}[c_4, c_6, 1/6]$ of Weierstrass curves over $\mathbb{Z}[1/6]$. ...
- 158
2
votes
0
answers
72
views
Are there CM complete intersections of arbitrarily large degree and codimension?
For every $d, c$ does there exist a complete intersection $X \subset \mathbb{P}^N$ of codimension $c$ and multidegrees $d_1, \dots, d_c \ge d$ such that the Mumford-Tate group of $X$ is abelian?
The ...
- 2,879
0
votes
1
answer
247
views
Depth of almost complete intersection rings
Let $R$ be a regular local ring and let $I \subset R$ be an almost complete intersection ideal, that is, $\mu(I)=\text{ht}(I)+1$ where $\mu(I)$ is the number of minimal generators of $I$ and $ht(I)=\...
1
vote
0
answers
69
views
Prescribed intersection of varieties
Every variety here is complex analytic, or complex algebraic if it solves anything.
Given a germ of a (possibly singular, nor necessarily irreducible) hypersurface $(H,0)\subset(\mathbb{C}^{n+1},0)$ ...
- 159
4
votes
0
answers
300
views
Are smooth irreducible affine varieties set theoretical complete intersection?
I'm trying to prove a lemma, so I wanted to use the next claim (which I do not know if it is true or if there is a counter example): every smooth irreducible affine variety is set theoretical complete ...
4
votes
1
answer
207
views
For a local complete intersection ring $(R,\mathfrak m)$ with $\mathfrak m^3=0\ne \mathfrak m^2$, $\mathfrak m$ can be generated by two elements
Let $(R,\mathfrak m,k)$ be a local complete intersection ring with $\mathfrak m^3=0\ne \mathfrak m^2$. As $0\ne \mathfrak m^2 \subseteq \text{soc}(R)$ and $R$ is Gorenstein, so we get $\mathfrak m^2 =\...
- 63
1
vote
0
answers
110
views
Check whether a closed point of a Noetherian affine scheme is a local complete intersection
Suppose that $k$ is an algebraically closed field and $A$ is the ring $k[a,b,c,d]/(ac-b^2,bd-c^2,ad-bc)$. Let $X$ be Spec$A$, and $m$ be the maximal ideal of $A$ generated by the quotient images of $a,...
- 411
3
votes
0
answers
298
views
On a conjecture of Hartshorne
Hartshorne has a conjecture in his book Ample Subvarieties of Algebraic Varieties. It's in page 126 Conjecture 5.16 where he writes that if $B$ is a finitely generated flat module over a regular local ...
- 2,135
3
votes
0
answers
83
views
Complete intersections in complex manifolds
Let $X$ be a complex manifold of dimension $n$ and $Y\subset X$ a closed submanifold of codimension $k$.
a) Say that $Y$ is a complete intersection if the ideal $I(Y)\subset \mathcal O(X)$ of global ...
- 46.6k
5
votes
2
answers
470
views
Question on a constructive proof that space projective curves are the intersections of three hypersurfaces
$\newcommand\P{\mathbb P} \newcommand\C{\mathcal C}$I am a bit confused by a proof I am reading on the fact that a projective algebraic space-curve (i.e. an algebraic curve in $\P^3(k)$, where $k$ is ...
- 489
2
votes
0
answers
151
views
Deformation of toric varieties to complete intersections
I am looking for some systematic study/examples of families of projective complete intersection varieties degenerating to a projective toric variety. In particular, given a projective toric variety, ...
- 2,185
2
votes
1
answer
183
views
Bertini type result for complete intersection varieties containg a non-singular variety
Let $X$ be a smooth, projective $\mathbb{C}$-variety of dimension $r$ containing in $\mathbb{P}^n$. Denote by $I_X \subset \mathbb{C}[X_0,...,X_n]$ the ideal of $X$ defined by some homogeneous ...
- 2,185
4
votes
2
answers
260
views
When is a pair of space curves that intersect (plenty) a complete intersection?
Let there be two curves of degree $d=2 m^2$ in $\mathbb{A}^3$ having $\geq c d^2$ points of intersection, where $c>0$ is a constant. Then their union $V$ is a curve of degree $2 d = 4 m^2$. Can $V$ ...
- 19k
1
vote
0
answers
181
views
How to compute the genus of the (singular) intersection of three quadratics in $\mathbb{C}P^4$?
Consider three quadratics in $\mathbb{C}P^4$:
$$
x_0^2+4x_1^2+\frac{x^2_2}{4}=0,~ x_1x_4+x_2x_3=0, ~ x_0^2+x_3^2+x_4^2=0.
$$
If there intersection was non-singular, then the intersection should be a ...
- 8,627
5
votes
2
answers
234
views
Surface of type $(2,2)$ on the Segre cubic scroll $\mathbb{P}^1 \times \mathbb{P}^2 \subset \mathbb{P}^5$
Let $S=\mathbb{P}^1 \times \mathbb{P}^2 \subset \mathbb{P}^5$ embedded with the Segre embedding given by $\mathcal{O}_S(1,1)$.
If we intersect $S$ with a general smooth quadric $Q \subset \mathbb{P}^5$...
- 1,313
5
votes
1
answer
270
views
Isomorphisms of complete intersections
Let $X, Y\in \mathbb{P}^n$ be two singular Fano complete intersections of the same multidegree $(d_1,…,d_r)$.
If we assume there is an isomorphism $f\colon X\rightarrow Y$ are there any assumptions so ...
2
votes
0
answers
67
views
Properties preserved in addition of ideals
If I and J are prime (radical) ideals then what are the conditions under which we can define a prime (radical) ideal from I+J?
- 51
3
votes
1
answer
266
views
Do height $h$ prime ideals in regular local rings contain regular sequences of length $h$?
Let $R$ be a regular local ring and let $P$ be a prime ideal of height $h$ in $R$.
Is it always the case that $P$ contains a regular sequence of lenght $h$?
This is clear if $h$ is $0,1$ or $\dim R$.
...
- 2,836
2
votes
1
answer
260
views
Middle cohomology of very general hyperplane sections
Let $X$ be a smooth, projective variety over $\mathbb{C}$ of dimension $n$ satisfying the property that for every $i \ge 0$, $H^{i,i}(X,\mathbb{C}) \cap H^{2i}(X,\mathbb{Q})=\mathbb{Q}c_1(\mathcal{O}...
- 2,002
3
votes
0
answers
204
views
Lifting a Frobenius endomorphism under an étale morphism
Let $X$ be a smooth affine scheme over $\mathbb{Z}/{p^2}$ that is a complete intersection, say $X$ is the spectrum of $\mathbb{Z}/{p^2}[x_1,...x_n]/(f_1, ... f_r)$, where $n-r$ is the dimension of $X$....
- 111
3
votes
0
answers
242
views
Noether intersection multiplicity for complete intersections
If I take two curves $C,D$ on a surface $M$ with isolated intersection point $p$, then Noether gives a formula equating the intersection multiplicity $i_p(C,D)$ of $C$ and $D$ at $p$ in terms of their ...
- 553
1
vote
0
answers
108
views
Sequence of Cohen-Macaulay subschemes and regular embedding
Let $X$ be a non-singular variety, $Y_1, Y_2$ be non-singular subvarieties of
$X$ of the same dimension such that $Y_1 \cap Y_2$ is non-singular, irreducible and $Y_1 \cup Y_2$ is a local complete ...
- 2,185
2
votes
0
answers
117
views
Local complete intersection on a smooth variety
Let $X$ be a smooth variety and let $x_{1},\ldots,x_{k}$ be general points. Let $T:=<T_{x_{1}}X,\ldots,T_{x_{k}}X>$ be the join of the tangent spaces at the points $x_{1},\ldots,x_{k}$. If we ...
- 1,313
1
vote
1
answer
438
views
When is a graph morphism a regular embedding? [closed]
Let $f:X \to Y$ be a finite morphism, where $X$ is an affine, non-singular curve and $Y$ is an affine, non-singular surface over $\mathbb{C}$. Denote by $\Gamma_f \subset X \times Y$ the graph of the ...
- 2,185
1
vote
0
answers
163
views
Structure of Complete Local Rings
Let $X$ be a proper $n$-dimensional $k$-scheme and $x \in X$ a closed point. Consider the stalk $\mathcal{O}_{X,x}$. We consider now it's completion $O_{X,x}^{\wedge}$ wrt it's maximal ideal $m_x$.
...
- 5,676
2
votes
1
answer
578
views
Complete intersection subvariety of projective variety
I am not able to find any literature which studies complete intersection subvarieties of a projective variety, all good references consider CI in projective space.
My guess is, a subvariety X of ...
- 2,185
0
votes
1
answer
246
views
When does a subspace of the affine space form a regular sequence in a ring of regular functions?
Let $J$ be an ideal in the ring $\mathbb{C}[u] := \mathbb{C}[u_1,...,u_n]$ of regular functions on $\mathbb{C}^n$.
Given a subspace $\mathbb{C}^k \subset \mathbb{C}^n$ and $I$ its ideal in $\mathbb{...
- 1,197
4
votes
2
answers
656
views
Linear sections of Segre varieties and rational normal scrolls
In a projective space $\mathbb{P}^{k+2}$ consider two complementary subspaces $\mathbb{P}^1,\mathbb{P}^k$, and let $C\subset\mathbb{P}^k$ be a degree $k$ rational normal curve. Fixed an isomorphism $\...
user114666
4
votes
0
answers
125
views
Bounding the dimension of the locus where a variety has larger than expected dimension
Disclaimer: I am a research mathematician, but not an algebraic geometer, and so I don't know if this is a good question. I welcome advice for improving it and/or better tags.
Let $K$ be an ...
- 1,499
4
votes
2
answers
1k
views
How to define the intersection multiplicity of a projective variety and a complete intersection?
In the appendix of Algebaric Geometry by Hartshorne, he shows us that how Serre defines the intersection number in a more general case:$$i(X,Y;Z)=\sum(-1)^i\cdot\bigl(\operatorname{length} \...
- 41
1
vote
0
answers
310
views
Find the generators of a complete intersection maximal ideal
Let $k$ be a field (not necessarily algebraically closed), define the $k$-algebra
$$
B:=k[x_{0}, x_{1}, x_{2}, x_{3}]_{(F_{2}F_{3})}
$$
(degree 0 part of the localization), it's the coordinate ring of ...
- 1,836
3
votes
1
answer
414
views
ideals linked to an almost complete intersection
Is a grade $3$ type $3$ perfect ideal in a Noetherian ring linked to a grade $3$ almost complete intersection? I know that grade $3$ type $2$ perfect ideals are (by a work of Anne Brown).
- 81
6
votes
2
answers
727
views
Automorphisms and infinitesimal deformations of a smooth complete intersection
Let $X\subset\mathbb{P}^{n+c}$ be a smooth complete intersection of dimension $n$.
Is it known when $Aut(X)$ is finite ?
Does there exist a formula for the dimension of the tangent space to the ...
user58018
1
vote
2
answers
252
views
Sections of a sheaf of differentials on a weighted complete intersection
Let $X\subset\mathbb{P}(a_0,...,a_N)$ be a smooth $n$-dimensional weighted complete intersection in a weighted projective space $\mathbb{P}(a_0,...,a_N)$.
Is it true that if $q\geq 1$ then $H^0(X,\...
user75933
4
votes
0
answers
72
views
Rational connectedness of certain subvarieties of the linear series
Let $X$ be a smooth projective hypersurface in $\mathbb{P}^3$, $|\mathcal{O}_X(a)|$ be the complete linear system for some integer $a>0$. Ofcourse, a general element of the linear system is a ...
- 2,106
2
votes
0
answers
371
views
Blow up along a section of a smooth morphism
Let $C$ be a ground locally notherian and quasiprojective scheme. Let $\pi:S\to B$ be a $C$-morphism of finite type $C$-schemes. We call $\pi$ a $C$-smooth morphism if the morphisms $S\to C$ and $B\to ...
- 43
2
votes
1
answer
256
views
A question about Complete Intersections
Suppose that $(A,\mathfrak{m})$ is a complete intersection and $\mathbf{x}$ is a minimal basis for $\mathfrak{m}$. Consider the Koszul homologies $H_\bullet(\mathbf{x},A)$. It is well-known that $\...
- 591
0
votes
1
answer
212
views
When every module is a scalar extension?
Let $A \subseteq B$ be commutative noetherian domains.
Of course, if $M$ is an $A$-module, then $M \otimes_A B$ is a $B$-module.
I am curious to know if there exist additional conditions on $A$ and $B$...
- 2,735
0
votes
0
answers
694
views
Complete Intersection
Let $I$ be an ideal of the polynomial ring $P=K[x_{1},...,x_{n}]$ that is generated by degree two polynomials ${f_1,...,f_k}$.
The zero set $\mathcal{Z}(I)$ is isomorphic to an affine space of
...
- 1
3
votes
1
answer
465
views
A criterion for complete intersection in terms of the Hilbert series?
Let $(R, \mathfrak{m})$ be a complete local ring (of dimension $2$ if that makes a difference). I would like to be able to decide whether or not $R$ is a complete intersection (meaning, a quotient of ...
- 2,613
1
vote
0
answers
274
views
Sufficient conditions to get complete intersection curves
Let $H_1,H_2\cdots,H_{d-1}$ be hypersurfaces in $\mathbb{P}^d$, if the intersection $B:=H_1\cap H_2\cap \cdots \cap H_{d-1}$ is $1$-dimensional then it is called a complete intersection curve.
What ...
13
votes
1
answer
2k
views
Realizing algebraic curves as complete intersections
I have two related questions about smooth complete algebraic curves (over $\mathbb{C}$).
Does there exist a smooth complete algebraic curve $X$ that cannot be embedded as a complete intersection in $\...
- 141
12
votes
1
answer
2k
views
geometric interpretation and differences of Gorenstein rings, Complete intersections and regular rings
Let $R$ be a local Noetherian ring.
What is the geometric interpretation of:
1- Gorenstein rings
2- Complete intersections
3- Regular rings?
and how can I realize differences by geometric ...
- 1,389
3
votes
0
answers
407
views
Bezout's theorem for non-proper intersections?
Is there a version of Bézout's theorem for non-proper intersections?
For my specific problem, the setup is as follows: Let $P_1,P_2,P_3,P_4\in\mathbb{C}[z_1,z_2,z_3,z_4]$, and suppose that (as a ...
- 193
2
votes
1
answer
1k
views
Irreducible components of reduced complete intersection
Let $Z$ be an irreducible and reduced scheme. Does there exist a reduced complete intersection $Y$ such that $Z$ is an irreducible component of $Y$?
- 205
11
votes
2
answers
948
views
Parameter space for complete intersections and their discriminant
Consider globally complete intersections in $\mathbb{P}^n$, of codimension $k$, of some fixed multi-degree $(d_1,\dots,d_k)$.
Is there some nice (i.e. "explicit") parameter space for them?
(even if ...
- 2,202
4
votes
0
answers
666
views
Factoriality of complete intersections
Let $X\subset\mathbb{P} _{\mathbb{C}}^N$ be a normal complete intersection.
$X$ is called factorial if every Weil divisor on it is Cartier;
equivalently if all local rings $\mathcal{O}_{X,x}$ are ...
- 1,139
7
votes
1
answer
911
views
what can be reached by flat degeneration of (globally) complete intersection?
Let $X\subset\mathbb{P}^n$ be a (globally) complete intersection, let $(X_t)_{t\in\mathbb{C}^1}$ be a flat family, with $X_1=X$. Which types of schemes can we get as $X_0$?
Or, conversely, which (...
- 2,202
7
votes
2
answers
581
views
If $X$ is an affine variety, is $X$ one component of a complete intersection with two?
This is an idle question, but I give the example that motivated me below.
Say $X \subseteq {\mathbb A}^n_k$ is irreducible and $k$ is infinite. Then by picking a regular point of $X$ and picking ...
- 27.5k
3
votes
1
answer
376
views
Sections of a fibration in intersections of quadrics
Suppose that we have a smooth variety $X$ of dimension $n$ that fibers (a flat morphism) over a curve $Y$, and s.t. the fibers of $X \to Y$ are all complete interesections of two quadric hypersurfaces ...
- 31