Number of irreducible components of a variety

  • Context: Graduate 
  • Thread starter Thread starter GargleBlast42
  • Start date Start date
  • Tags Tags
    Components
Click For Summary
SUMMARY

The discussion focuses on determining the number of irreducible components of an algebraic variety defined by a set of polynomials in \(\mathbb{C}^9\). The user presents a specific variety with multiple polynomial equations and notes that singular points exist where the Jacobian's rank is less than expected. The challenge lies in identifying the irreducible components that contain these singular points and calculating their respective dimensions. The user seeks a method to analyze the variety's structure and the implications of the Jacobian's rank on the dimension of the components.

PREREQUISITES
  • Understanding of algebraic varieties and their properties
  • Familiarity with polynomial equations in multiple variables
  • Knowledge of Jacobian matrices and their rank
  • Concept of singular points in algebraic geometry
NEXT STEPS
  • Study the concept of irreducible components in algebraic geometry
  • Learn about the role of the Jacobian in determining singularities
  • Explore methods for computing dimensions of varieties using tools like Macaulay2
  • Investigate radical ideals and their implications for polynomial systems
USEFUL FOR

Mathematicians, algebraic geometers, and researchers interested in the structure of algebraic varieties and singularity theory.

GargleBlast42
Messages
28
Reaction score
0
Hello,

I have the following problem:

I have an algebraic variety given as a zero locus of a set of polynomials. I know that there are points on this variety, which are singular (i.e. the dimension of the tangent space at these points is bigger than that of the variety). Now fixing one of these points, I would like to know, what is the number of irreducible components of the variety containing this point and what is their respective dimension. How can one do this?
 
Physics news on Phys.org
This won't be an easy one : we must find out which components make the point singular and work backwards. The dimension of such a component depends on the variety at hand.
 
Well, for example, I have this variety in \mathbb{C}^9:
x_1^5+x_3^5+x_5^5+x_7^5+x_9^5=0
x_1^4+x_2 x_3^4+x_4 x_5^4+x_6 x_7^4+x_8 x_9^4=0
x_1^3+x_2^2 x_3^3+x_4^2 x_5^3+x_6^2 x_7^3+x_8^2 x_9^3=0
x_1^2+x_2^3 x_3^2+x_4^3 x_5^2+x_6^3 x_7^2+x_8^3 x_9^2=0
x_1+x_2^4 x_3+x_4^4 x_5+x_6^4 x_7+x_8^4 x_9=0
x_2^5+x_4^5+x_6^5+x_8^5+1=0
(this actually arose from an equation in \mathbb{CP}^9, where I took a patch in which one of the coordinates equals 1 (it's easy to see where the coordinate was in the original eqution))

Now in a generic point, the Jacobian of these polynomials has rank 6, and thus, one would expect that the dimension of the variety is 3 (provided that the polynomials form a radical ideal - is that the case here?). But now in a point like, e.g. x_1=0,x_3=0,x_5=0,x_6=0,x_8=0, the rank of the Jacobian is just 4 and thus, one would expect that these points are singular and that there are several irreducible components going through this points. How can one say how many they are and what their dimension is?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 6 ·
Replies
6
Views
5K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K