moving lines, soccer, and rees algebrasdavid:nowthatiaminbarcelona... iwanttovisitthe2churches...

Moving Lines, Soccer, and Rees Algebras

Carlos D’Andrea

Ideals, Varieties, Applications – Amherst

Carlos D’Andrea

Back in 2012...

Carlos D’Andrea

David: Now that I am in Barcelona...

I want to visit the 2 churches

Carlos D’Andrea

David: Now that I am in Barcelona...I want to visit the 2 churches

Carlos D’Andrea

David: Now that I am in Barcelona...I want to visit the 2 churches

Carlos D’Andrea

Church # 1: Sagrada Família

Carlos D’Andrea

Church #2?

Carlos D’Andrea

Church #2: Camp Nou!!

Carlos D’Andrea

“The” score of the (20th) Century

Carlos D’Andrea

Let us enjoy it

Diego’s goal

Carlos D’Andrea

David’s score of Last (and this) Century

Geometric Modelingvs

Algebraic Geometry

Carlos D’Andrea

David’s score of Last (and this) Century

Geometric Modelingvs

Algebraic Geometry

Carlos D’Andrea

David’s goal of Last (and this) Century

Geometric Modelingand

Algebraic Geometry

Carlos D’Andrea

Rolling the ball...

(Sederberg & Chen 1995)The implicit equation of a rational quartic can be

computed as a 2× 2 determinant.If the curve has a triple point, then one row is linear

and the other is cubic.Otherwise, both rows are quadratic.

Carlos D’Andrea

Rolling the ball...

(Sederberg & Chen 1995)

The implicit equation of a rational quartic can becomputed as a 2× 2 determinant.

If the curve has a triple point, then one row is linearand the other is cubic.

Otherwise, both rows are quadratic.

Carlos D’Andrea

Rolling the ball...

computed as a 2× 2 determinant.

If the curve has a triple point, then one row is linearand the other is cubic.

Carlos D’Andrea

Rolling the ball...

and the other is cubic.

Carlos D’Andrea

Rolling the ball...

and the other is cubic.Otherwise, both rows are quadratic.

Carlos D’Andrea

A quartic with a triple point

φ(t0, t1) = (t04 − t1

4 : −t02t12 : t0t1

3)F (X0,X1,X2) = X 4

2 − X 41 − X0X1X

L1,1(T ,X ) = T0X2 + T1X1L1,3(T ,X ) = T0(X

31 + X0X

22 ) + T1 X

X2 X1X 3

1 + X0X22 X 3

Carlos D’Andrea

φ(t0, t1) = (t04 − t1

4 : −t02t12 : t0t1

3)F (X0,X1,X2) = X 4

2 − X 41 − X0X1X

L1,1(T ,X ) = T0X2 + T1X1L1,3(T ,X ) = T0(X

31 + X0X

22 ) + T1 X

X2 X1X 3

1 + X0X22 X 3

Carlos D’Andrea

φ(t0, t1) = (t04 − t1

4 : −t02t12 : t0t1

3)F (X0,X1,X2) = X 4

2 − X 41 − X0X1X

L1,1(T ,X ) = T0X2 + T1X1L1,3(T ,X ) = T0(X

31 + X0X

22 ) + T1 X

X2 X1X 3

1 + X0X22 X 3

Carlos D’Andrea

φ(t0, t1) = (t04 − t1

4 : −t02t12 : t0t1

3)F (X0,X1,X2) = X 4

2 − X 41 − X0X1X

L1,1(T ,X ) = T0X2 + T1X1L1,3(T ,X ) = T0(X

31 + X0X

22 ) + T1 X

X2 X1X 3

1 + X0X22 X 3

)Carlos D’Andrea

A quartic without triple points

φ(t0 : t1) = (t04 : 6t02t1

2 − 4t14 : 4t03t1 − 4t0t13)F (X ) = X 4

2 +4X0X31 +2X0X1X

22 −16X 2

0X21 −6X 2

0X22 +16X 3

L1,2(T ,X ) = T0(X1X2 − X0X2) + T1(−X 22 − 2X0X1 + 4X 2

L̃1,2(T ,X ) = T0(X21 + 1

2X22 − 2X0X1) + T1(X0X2 − X1X2)

Carlos D’Andrea

φ(t0 : t1) = (t04 : 6t02t1

2 − 4t14 : 4t03t1 − 4t0t13)F (X ) = X 4

2 +4X0X31 +2X0X1X

22 −16X 2

0X21 −6X 2

0X22 +16X 3

L1,2(T ,X ) = T0(X1X2 − X0X2) + T1(−X 22 − 2X0X1 + 4X 2

L̃1,2(T ,X ) = T0(X21 + 1

2X22 − 2X0X1) + T1(X0X2 − X1X2)

Carlos D’Andrea

φ(t0 : t1) = (t04 : 6t02t1

2 − 4t14 : 4t03t1 − 4t0t13)F (X ) = X 4

2 +4X0X31 +2X0X1X

22 −16X 2

0X21 −6X 2

0X22 +16X 3

L1,2(T ,X ) = T0(X1X2 − X0X2) + T1(−X 22 − 2X0X1 + 4X 2

L̃1,2(T ,X ) = T0(X21 + 1

2X22 − 2X0X1) + T1(X0X2 − X1X2)

Carlos D’Andrea

Parametrizing the circle

φ : P1 −→ P2

(t0 : t1) 7−→(t0

2 + t12 : t0

2 − t12 : 2t0t1

)(a(t) : b(t) : c(t))

Carlos D’Andrea

φ : P1 −→ P2

(t0 : t1) 7−→(t0

2 + t12 : t0

2 − t12 : 2t0t1

)(a(t) : b(t) : c(t))

Carlos D’Andrea

φ : P1 −→ P2

(t0 : t1) 7−→(t0

2 + t12 : t0

2 − t12 : 2t0t1

)(a(t) : b(t) : c(t))

Carlos D’Andrea

Implicitization

X2a(T )− X0c(T ) = X2T20 − 2X0T0T1 + X2T

X2b(T )− X1c(T ) = X2T20 − 2X1T0T1 − X2T

ResT(X2 · a(T )− X0 · c(T ),X2 · b(T )− X1 · c(T )

X2 −2X0 X2 00 X2 −2X0 X2

X2 −2X1 −X2 00 X2 −2X1 −X2

= 4X 22 (X

21 + X 2

2 − X 20 )

Carlos D’Andrea

Implicitization

X2a(T )− X0c(T ) = X2T20 − 2X0T0T1 + X2T

X2b(T )− X1c(T ) = X2T20 − 2X1T0T1 − X2T

X2 −2X0 X2 00 X2 −2X0 X2

X2 −2X1 −X2 00 X2 −2X1 −X2

= 4X 22 (X

21 + X 2

2 − X 20 )

Carlos D’Andrea

Implicitization

X2a(T )− X0c(T ) = X2T20 − 2X0T0T1 + X2T

X2b(T )− X1c(T ) = X2T20 − 2X1T0T1 − X2T

X2 −2X0 X2 00 X2 −2X0 X2

X2 −2X1 −X2 00 X2 −2X1 −X2

= 4X 22 (X

21 + X 2

2 − X 20 )

Carlos D’Andrea

You can do it better!

ϕ1(T ,X ) = (−T1 : −T1 : T0)= X2T0 − (X0 + X1)T1

ψ1(T ,X ) = (−T0 : T0 : T1)(−X0 + X1)T0 + X2T1

X2 −X0 − X1−X0 + X1 X2

)= X 2

1 + X 22 − X 2

Carlos D’Andrea

ϕ1(T ,X ) = (−T1 : −T1 : T0)= X2T0 − (X0 + X1)T1

ψ1(T ,X ) = (−T0 : T0 : T1)

(−X0 + X1)T0 + X2T1

X2 −X0 − X1−X0 + X1 X2

)= X 2

1 + X 22 − X 2

Carlos D’Andrea

ϕ1(T ,X ) = (−T1 : −T1 : T0)= X2T0 − (X0 + X1)T1

ψ1(T ,X ) = (−T0 : T0 : T1)(−X0 + X1)T0 + X2T1

X2 −X0 − X1−X0 + X1 X2

)= X 2

1 + X 22 − X 2

Carlos D’Andrea

ϕ1(T ,X ) = (−T1 : −T1 : T0)= X2T0 − (X0 + X1)T1

ψ1(T ,X ) = (−T0 : T0 : T1)(−X0 + X1)T0 + X2T1

X2 −X0 − X1−X0 + X1 X2

)= X 2

1 + X 22 − X 2

Carlos D’Andrea

Moving Lines!

A moving line

L(T0,T1,X0,X1,X2) = v0(T )X0+v1(T )X1+v2(T )X2

follows the parametrization iff

L(T0,T1, a(T ), b(T ), c(T )) = 0

Carlos D’Andrea

Moving Lines!

A moving line

L(T0,T1, a(T ), b(T ), c(T )) = 0

Carlos D’Andrea

Moving Lines!

A moving line

L(T0,T1, a(T ), b(T ), c(T )) = 0

Carlos D’Andrea

For the unit circle...

L1(T ,X ) = −2T02T1X0 + 0X1 + (T0

3 + T0T12)X2

L2(T ,X ) = −2T0T12X0 + 0X1 + (T0

2T1 + T13)X2

L3(T ,X ) = 0X0 − 2T02T1X1 + (T0

3 − T0T12)X2

L4(T ,X ) = 0X0 − 2T0T12X1 + (T0

2T1 − T13)X2

X2 −2X0 X2 00 X2 −2X0 X2

X2 −2X1 −X2 00 X2 −2X1 −X2

Carlos D’Andrea

For the unit circle...

L1(T ,X ) = −2T02T1X0 + 0X1 + (T0

3 + T0T12)X2

L2(T ,X ) = −2T0T12X0 + 0X1 + (T0

2T1 + T13)X2

L3(T ,X ) = 0X0 − 2T02T1X1 + (T0

3 − T0T12)X2

L4(T ,X ) = 0X0 − 2T0T12X1 + (T0

2T1 − T13)X2

X2 −2X0 X2 00 X2 −2X0 X2

X2 −2X1 −X2 00 X2 −2X1 −X2

Carlos D’Andrea

In general

The determinant of a “matrix ofmoving lines” is always a multiple of

the implicit equationL11(X ) L12(X ) . . . L1k(X )L21(X ) L22(X ) . . . L2k(X )

... ... ... ...Lk1(X ) Lk2(X ) . . . Lkk(X )

Carlos D’Andrea

I dare you...

find a non-singular square matrix ofmoving linesfind one where the determinant isexactly the implicit equation

Carlos D’Andrea

I dare you...

find a non-singular square matrix ofmoving lines

find one where the determinant isexactly the implicit equation

Carlos D’Andrea

I dare you...

find a non-singular square matrix ofmoving linesfind one where the determinant isexactly the implicit equation

Carlos D’Andrea

David gets the ball...

Cox, Sederberg, ChenThe moving line ideal basis of planar rational curves

CAGD 98

Carlos D’Andrea

David gets the ball...

Cox, Sederberg, ChenThe moving line ideal basis of planar rational curves

CAGD 98

Carlos D’Andrea

Moving Lines are Syzygies

The homogeneous idealI =

(a(T ), b(T ), c(T )

)⊂ K[T0,T1] has a

Hilbert-Burch resolution of the type

0→ K[T ]2(ϕµ,ψd−µ)

−→ K[T ]3(a,b,c)−→ K[T ]

The moving lines are a free K[T ]-module of rank 2The determinant of Sylv(ϕµ, ψd−µ) gives exactly the

implicit equation

Carlos D’Andrea

(a(T ), b(T ), c(T )

)⊂ K[T0,T1] has a

0→ K[T ]2(ϕµ,ψd−µ)

−→ K[T ]3(a,b,c)−→ K[T ]

implicit equation

Carlos D’Andrea

(a(T ), b(T ), c(T )

)⊂ K[T0,T1] has a

0→ K[T ]2(ϕµ,ψd−µ)

−→ K[T ]3(a,b,c)−→ K[T ]

implicit equation

Carlos D’Andrea

Geometrically...

There are two parametrizationsϕµ(t0 : t1), ψd−µ(t0 : t1) such that

φ(t0 : t1) = ϕµ(t0 : t1) ∧ ψd−µ(t0 : t1)

Carlos D’Andrea

Geometrically...

There are two parametrizationsϕµ(t0 : t1), ψd−µ(t0 : t1) such that

φ(t0 : t1) = ϕµ(t0 : t1) ∧ ψd−µ(t0 : t1)

Carlos D’Andrea

“Factorization” of the unit circle

ϕ1(t0 : t1) = (−t1 : −t1 : t0)ψ1(t0 : t1) = (−t0 : t0 : t1)∣∣∣∣∣∣

i j k−t1 −t1 t0−t0 t0 t1

∣∣∣∣∣∣ = (− t02 − t1

2 : t12 − t0

2 : −2t0t1)

Carlos D’Andrea

ϕ1(t0 : t1) = (−t1 : −t1 : t0)ψ1(t0 : t1) = (−t0 : t0 : t1)

∣∣∣∣∣∣i j k−t1 −t1 t0−t0 t0 t1

∣∣∣∣∣∣ = (− t02 − t1

2 : t12 − t0

2 : −2t0t1)

Carlos D’Andrea

ϕ1(t0 : t1) = (−t1 : −t1 : t0)ψ1(t0 : t1) = (−t0 : t0 : t1)∣∣∣∣∣∣

i j k−t1 −t1 t0−t0 t0 t1

∣∣∣∣∣∣ = (− t02 − t1

2 : t12 − t0

2 : −2t0t1)

Carlos D’Andrea

Geometry II

(µ ≤ d − µ)µ = 1 ⇐⇒ there is one point of multiplicityd − 1If there is a point of multiplicity > µ,then there isonly one and it has multiplicity d − µ

Carlos D’Andrea

Geometry II

(µ ≤ d − µ)µ = 1 ⇐⇒ there is one point of multiplicityd − 1

If there is a point of multiplicity > µ,then there isonly one and it has multiplicity d − µ

Carlos D’Andrea

Geometry II

(µ ≤ d − µ)µ = 1 ⇐⇒ there is one point of multiplicityd − 1If there is a point of multiplicity > µ,

then there isonly one and it has multiplicity d − µ

Carlos D’Andrea

Geometry II

(µ ≤ d − µ)µ = 1 ⇐⇒ there is one point of multiplicityd − 1If there is a point of multiplicity > µ,then there isonly one and it has multiplicity d − µ

Carlos D’Andrea

Geometry III

(Bernardi-Gimigliano-Idà 2015, Madsen 2015)The curve has a point of multiplicity

d − µ ⇐⇒ µ′ = 0φ(t0 : t1)

=ϕµ(t0 : t1) ∧ ψd−µ(t0 : t1)

=(ϕ′µ′(t0 : t1) ∧ ϕ′µ−µ′(t0 : t1)

)∧ ψd−µ(t0 : t1)

Carlos D’Andrea

Geometry III

d − µ ⇐⇒ µ′ = 0

φ(t0 : t1)=

ϕµ(t0 : t1) ∧ ψd−µ(t0 : t1)=(

ϕ′µ′(t0 : t1) ∧ ϕ′µ−µ′(t0 : t1))

∧ ψd−µ(t0 : t1)

Carlos D’Andrea

Geometry III

d − µ ⇐⇒ µ′ = 0φ(t0 : t1)

=ϕµ(t0 : t1) ∧ ψd−µ(t0 : t1)

=(ϕ′µ′(t0 : t1) ∧ ϕ′µ−µ′(t0 : t1)

)∧ ψd−µ(t0 : t1)

Carlos D’Andrea

Geometry III

d − µ ⇐⇒ µ′ = 0φ(t0 : t1)

=ϕµ(t0 : t1) ∧ ψd−µ(t0 : t1)

=(ϕ′µ′(t0 : t1) ∧ ϕ′µ−µ′(t0 : t1)

)∧ ψd−µ(t0 : t1)

Carlos D’Andrea

Conics instead of lines?

O(T )X 20 + P(T )X0X1 +Q(T )X0X2 +R(T )X 2

1 +S(T )X1X2 + T (T )X 2

2 ∈ K[T ,X ]is a moving conic following the parametrization ifO(T )a(T )2 + P(T )a(T )b(T ) +Q(T )a(T )c(T ) +R(T )b(T )2 + S(T )b(T )c(T ) + T (T )c(T )2 = 0

Carlos D’Andrea

O(T )X 20 + P(T )X0X1 +Q(T )X0X2 +R(T )X 2

1 +S(T )X1X2 + T (T )X 2

2 ∈ K[T ,X ]is a moving conic following the parametrization if

O(T )a(T )2 + P(T )a(T )b(T ) +Q(T )a(T )c(T ) +R(T )b(T )2 + S(T )b(T )c(T ) + T (T )c(T )2 = 0

Carlos D’Andrea

O(T )X 20 + P(T )X0X1 +Q(T )X0X2 +R(T )X 2

1 +S(T )X1X2 + T (T )X 2

2 ∈ K[T ,X ]is a moving conic following the parametrization ifO(T )a(T )2 + P(T )a(T )b(T ) +Q(T )a(T )c(T ) +R(T )b(T )2 + S(T )b(T )c(T ) + T (T )c(T )2 = 0

Carlos D’Andrea

Moving lines, conics, cubics,...

Syz(a, b, c) moving linesSyz(a2, b2, c2, ab, ac, bc) moving conicsSyz(a3, b3, c3, a2b, . . .) moving cubics

... ...

Carlos D’Andrea

Syz(a, b, c) moving lines

Syz(a2, b2, c2, ab, ac, bc) moving conicsSyz(a3, b3, c3, a2b, . . .) moving cubics

... ...

Carlos D’Andrea

Syz(a, b, c) moving linesSyz(a2, b2, c2, ab, ac, bc) moving conics

Syz(a3, b3, c3, a2b, . . .) moving cubics... ...

Carlos D’Andrea

Syz(a, b, c) moving linesSyz(a2, b2, c2, ab, ac, bc) moving conicsSyz(a3, b3, c3, a2b, . . .) moving cubics

... ...

Carlos D’Andrea

The method of moving curves

The implicit equation can be computed as thedeterminant of a small matrix with entries∣∣∣∣∣∣∣∣

some moving linessome moving conicssome moving cubics

· · ·

∣∣∣∣∣∣∣∣The more singular the curve, the simpler the

description of the determinant

Carlos D’Andrea

The implicit equation can be computed as thedeterminant of a small matrix with entries

∣∣∣∣∣∣∣∣some moving linessome moving conicssome moving cubics

· · ·

Carlos D’Andrea

· · ·

∣∣∣∣∣∣∣∣

The more singular the curve, the simpler thedescription of the determinant

Carlos D’Andrea

· · ·

Carlos D’Andrea

Extreme case

If the curve has a point of multiplicity d − 1the implicit equation is always a 2× 2 determinant∣∣∣∣ L1,1(X ) L′1,1(X )

L1,d−1(X ) L′1,d−1(X )

∣∣∣∣

Carlos D’Andrea

Extreme case

If the curve has a point of multiplicity d − 1

the implicit equation is always a 2× 2 determinant∣∣∣∣ L1,1(X ) L′1,1(X )

L1,d−1(X ) L′1,d−1(X )

∣∣∣∣

Carlos D’Andrea

Extreme case

If the curve has a point of multiplicity d − 1the implicit equation is always a 2× 2 determinant∣∣∣∣ L1,1(X ) L′1,1(X )

L1,d−1(X ) L′1,d−1(X )

∣∣∣∣Carlos D’Andrea

In general, we do not know..

∣∣∣∣∣∣∣∣which moving lines?which moving conics?which moving cubics?

· · ·

∣∣∣∣∣∣∣∣

Carlos D’Andrea

In general, we do not know..

∣∣∣∣∣∣∣∣which moving lines?which moving conics?which moving cubics?

· · ·

∣∣∣∣∣∣∣∣

Carlos D’Andrea

Spatial Curves/Surfaces

Carlos D’Andrea

Rational Surfaces

φS : P2 99K P3

t = (t0 : t1 : t2) 7−→(a(t) : b(t) : c(t) : d(t)

There are base points!

Carlos D’Andrea

Rational Surfaces

φS : P2 99K P3

t = (t0 : t1 : t2) 7−→(a(t) : b(t) : c(t) : d(t)

There are base points!

Carlos D’Andrea

And David goes...

Cox, Goldman, ZhangOn the validity of implicitization by moving quadrics

of rational surfaces with no base pointsJSC 2000

Carlos D’Andrea

And David goes...

Cox, Goldman, ZhangOn the validity of implicitization by moving quadrics

of rational surfaces with no base pointsJSC 2000

Carlos D’Andrea

Main resultThe “method of moving quadrics”works without base points, for properparametrizations with the “right num-ber” of moving planes of degree d − 1

Proof uses Commutative Algebra(Cohen-Macaulay rings) and Algebraic

Geometry (sheaf cohomology)

Carlos D’Andrea

Geometry (sheaf cohomology)

Carlos D’Andrea

Geometry (sheaf cohomology)Carlos D’Andrea

Got the community’s attention

Laurent BuséMarc ChardinDWilliam HoffmanJean-Pierre JouanolouAmit KhetanHao Hao Wang. . .

Carlos D’Andrea

Laurent Busé

Marc ChardinDWilliam HoffmanJean-Pierre JouanolouAmit KhetanHao Hao Wang. . .

Carlos D’Andrea

Laurent BuséMarc Chardin

DWilliam HoffmanJean-Pierre JouanolouAmit KhetanHao Hao Wang. . .

Carlos D’Andrea

Laurent BuséMarc ChardinD

William HoffmanJean-Pierre JouanolouAmit KhetanHao Hao Wang. . .

Carlos D’Andrea

Laurent BuséMarc ChardinDWilliam Hoffman

Jean-Pierre JouanolouAmit KhetanHao Hao Wang. . .

Carlos D’Andrea

Laurent BuséMarc ChardinDWilliam HoffmanJean-Pierre Jouanolou

Amit KhetanHao Hao Wang. . .

Carlos D’Andrea

Laurent BuséMarc ChardinDWilliam HoffmanJean-Pierre JouanolouAmit Khetan

Hao Hao Wang. . .

Carlos D’Andrea

Laurent BuséMarc ChardinDWilliam HoffmanJean-Pierre JouanolouAmit KhetanHao Hao Wang

Carlos D’Andrea

Laurent BuséMarc ChardinDWilliam HoffmanJean-Pierre JouanolouAmit KhetanHao Hao Wang. . .Carlos D’Andrea

And David goes...

Chen, Cox, LiuThe µ-basis and implicitization of a rational

parametric surfaceJSC 2005

Carlos D’Andrea

And David goes...

Chen, Cox, LiuThe µ-basis and implicitization of a rational

parametric surfaceJSC 2005

Carlos D’Andrea

Main resultEvery parametrization of a rational sur-face has a µ-basis.

Carlos D’Andrea

Nicolás BotbolYairon Cid RuizAlicia DickensteinEliana DuarteHoon HongIrina KoganHal Schenck. . .

Carlos D’Andrea

Nicolás Botbol

Yairon Cid RuizAlicia DickensteinEliana DuarteHoon HongIrina KoganHal Schenck. . .

Carlos D’Andrea

Nicolás BotbolYairon Cid Ruiz

Alicia DickensteinEliana DuarteHoon HongIrina KoganHal Schenck. . .

Carlos D’Andrea

Nicolás BotbolYairon Cid RuizAlicia Dickenstein

Eliana DuarteHoon HongIrina KoganHal Schenck. . .

Carlos D’Andrea

Nicolás BotbolYairon Cid RuizAlicia DickensteinEliana Duarte

Hoon HongIrina KoganHal Schenck. . .

Carlos D’Andrea

Nicolás BotbolYairon Cid RuizAlicia DickensteinEliana DuarteHoon Hong

Irina KoganHal Schenck. . .

Carlos D’Andrea

Nicolás BotbolYairon Cid RuizAlicia DickensteinEliana DuarteHoon HongIrina Kogan

Hal Schenck. . .

Carlos D’Andrea

Nicolás BotbolYairon Cid RuizAlicia DickensteinEliana DuarteHoon HongIrina KoganHal Schenck

Carlos D’Andrea

Nicolás BotbolYairon Cid RuizAlicia DickensteinEliana DuarteHoon HongIrina KoganHal Schenck. . .Carlos D’Andrea

And David goes...

Cox, Kustin, Polini, UlrichA study of singularities on rational curves via syzygies

MAMS 2013

Carlos D’Andrea

And David goes...

Cox, Kustin, Polini, UlrichA study of singularities on rational curves via syzygies

MAMS 2013

Carlos D’Andrea

Main results

Study of the singularities of arational curve via the Hilbert-BurchmatrixClassification of curves with pointsof “highest” multiplicity. . .

Carlos D’Andrea

Main results

Study of the singularities of arational curve via the Hilbert-Burchmatrix

Classification of curves with pointsof “highest” multiplicity. . .

Carlos D’Andrea

Main results

Study of the singularities of arational curve via the Hilbert-BurchmatrixClassification of curves with pointsof “highest” multiplicity

Carlos D’Andrea

Main results

Study of the singularities of arational curve via the Hilbert-BurchmatrixClassification of curves with pointsof “highest” multiplicity. . .

Carlos D’Andrea

Alessandra Bernardi

Eduardo Casas-AlveroLouiza FouliTony IarrobinoKuei-Nuan LinAron SimisWolmer Vasconcelos. . .

Carlos D’Andrea

Alessandra BernardiEduardo Casas-Alvero

Louiza FouliTony IarrobinoKuei-Nuan LinAron SimisWolmer Vasconcelos. . .

Carlos D’Andrea

Alessandra BernardiEduardo Casas-AlveroLouiza Fouli

Tony IarrobinoKuei-Nuan LinAron SimisWolmer Vasconcelos. . .

Carlos D’Andrea

Alessandra BernardiEduardo Casas-AlveroLouiza FouliTony Iarrobino

Kuei-Nuan LinAron SimisWolmer Vasconcelos. . .

Carlos D’Andrea

Alessandra BernardiEduardo Casas-AlveroLouiza FouliTony IarrobinoKuei-Nuan Lin

Aron SimisWolmer Vasconcelos. . .

Carlos D’Andrea

Alessandra BernardiEduardo Casas-AlveroLouiza FouliTony IarrobinoKuei-Nuan LinAron Simis

Wolmer Vasconcelos. . .

Carlos D’Andrea

Alessandra BernardiEduardo Casas-AlveroLouiza FouliTony IarrobinoKuei-Nuan LinAron SimisWolmer Vasconcelos

Carlos D’Andrea

Alessandra BernardiEduardo Casas-AlveroLouiza FouliTony IarrobinoKuei-Nuan LinAron SimisWolmer Vasconcelos. . .Carlos D’Andrea

And David scores

CoxThe moving curve ideal and the Rees algebra

TCS 2008

Carlos D’Andrea

And David scores

CoxThe moving curve ideal and the Rees algebra

TCS 2008

Carlos D’Andrea

What did we learn there?

Kφ := {Moving curves following φ} =homogeneous elements in the kernel of

K[T0,T1,X0,X1,X2] → K[T0,T1, s]Ti 7→ Ti

X0 7→ a(T0,T1)sX1 7→ b(T0,T1)sX2 7→ c(T0,T1)s

“The ideal of moving curves following φ”

Carlos D’Andrea

What did we learn there?

Kφ := {Moving curves following φ} =homogeneous elements in the kernel of

K[T0,T1,X0,X1,X2] → K[T0,T1, s]Ti 7→ Ti

X0 7→ a(T0,T1)sX1 7→ b(T0,T1)sX2 7→ c(T0,T1)s

“The ideal of moving curves following φ”

Carlos D’Andrea

Method of moving curves revisited

The implicit equation should be obtained as thedeterminant of a matrix with∣∣∣∣∣∣∣∣

· · ·some minimal generators of Kφ

and relations among them· · ·

description of Kφ

Carlos D’Andrea

The implicit equation should be obtained as thedeterminant of a matrix with

∣∣∣∣∣∣∣∣· · ·

some minimal generators of Kφand relations among them

· · ·

description of Kφ

Carlos D’Andrea

∣∣∣∣∣∣∣∣

The more singular the curve, the simpler thedescription of Kφ

Carlos D’Andrea

description of KφCarlos D’Andrea

Carlos D’Andrea

New Problem(s)

Compute a minimal system ofgenerators of Kφ for any φ

Known forµ = 1 (Hong-Simis-Vasconcelos,Cox-Hoffmann-Wang, Busé, Cortadellas-D)µ = 2 (Busé, Cortadellas-D, Kustin-Polini-Ulrich)(Kφ)(1,2) 6= 0 (Cortadellas- D)

Monomial Parametrizations (Cortadellas-D)

Carlos D’Andrea

New Problem(s)

Compute a minimal system ofgenerators of Kφ

for any φKnown for

µ = 1 (Hong-Simis-Vasconcelos,Cox-Hoffmann-Wang, Busé, Cortadellas-D)µ = 2 (Busé, Cortadellas-D, Kustin-Polini-Ulrich)(Kφ)(1,2) 6= 0 (Cortadellas- D)

Carlos D’Andrea

New Problem(s)

Carlos D’Andrea

New Problem(s)

Known forµ = 1 (Hong-Simis-Vasconcelos,Cox-Hoffmann-Wang, Busé, Cortadellas-D)

µ = 2 (Busé, Cortadellas-D, Kustin-Polini-Ulrich)(Kφ)(1,2) 6= 0 (Cortadellas- D)

Carlos D’Andrea

New Problem(s)

Known forµ = 1 (Hong-Simis-Vasconcelos,Cox-Hoffmann-Wang, Busé, Cortadellas-D)µ = 2 (Busé, Cortadellas-D, Kustin-Polini-Ulrich)

(Kφ)(1,2) 6= 0 (Cortadellas- D)

Carlos D’Andrea

New Problem(s)

Carlos D’Andrea

New Problem(s)

Monomial Parametrizations (Cortadellas-D)Carlos D’Andrea

A coarser problem

Compute n0(Kφ), the number ofminimal generators of Kφ

Show that if φ is “more singular” thanφ′ then n0(Kφ) ≤ n0(Kφ′)

Carlos D’Andrea

A coarser problem

Carlos D’Andrea

A coarser problem

Carlos D’Andrea

Example: µ = 2

The curve has eitherone point of multiplicity d − 2n0 = O

)(Cortadellas-D, Kustin-Polini-Ulrich)or only double pointsn0 = O

)(Busé)

Carlos D’Andrea

Example: µ = 2

)(Cortadellas-D, Kustin-Polini-Ulrich)

or only double pointsn0 = O

)(Busé)

Carlos D’Andrea

Example: µ = 2

)(Cortadellas-D, Kustin-Polini-Ulrich)or only double pointsn0 = O

)(Busé)

Carlos D’Andrea

Last Progress

Madsen, arXiv:1511.04073Cortadellas–Cox–D, JPAA toappear

Describe the bi-degrees of all minimalgenerators in T -degree larger than or

equal to µ

Carlos D’Andrea

Last Progress

equal to µ

Carlos D’Andrea

Last Progress

equal to µ

Carlos D’Andrea

We “got” this region

φ(t0 : t1)=(

ϕ′µ1(t0 : t1) ∧ ψ′µ2

(t0 : t1))∧ ψd−µ(t0 : t1)

Carlos D’Andrea

φ(t0 : t1)=(

ϕ′µ1(t0 : t1) ∧ ψ′µ2

(t0 : t1))∧ ψd−µ(t0 : t1)

Carlos D’Andrea

φ(t0 : t1)=(

ϕ′µ1(t0 : t1) ∧ ψ′µ2

(t0 : t1))∧ ψd−µ(t0 : t1)

Carlos D’Andrea

Further results

ImplicitizationQuadratic and cubic surfaces (Chen-Shen-Deng)Steiner surfaces (Wang-Chen)Revolution surfaces (Shi-Goldman). . .

Rees Algebras“Monoid” Surfaces (Cortadellas - D)de Jonquières surfaces (Hassanzadeh- Simis)D-modules approach (Cid Ruiz)

Carlos D’Andrea

Further results

Implicitization

Quadratic and cubic surfaces (Chen-Shen-Deng)Steiner surfaces (Wang-Chen)Revolution surfaces (Shi-Goldman). . .

Carlos D’Andrea

Further results

ImplicitizationQuadratic and cubic surfaces (Chen-Shen-Deng)

Steiner surfaces (Wang-Chen)Revolution surfaces (Shi-Goldman). . .

Carlos D’Andrea

Further results

ImplicitizationQuadratic and cubic surfaces (Chen-Shen-Deng)Steiner surfaces (Wang-Chen)

Revolution surfaces (Shi-Goldman). . .

Carlos D’Andrea

Further results

Carlos D’Andrea

Further results

Rees Algebras

“Monoid” Surfaces (Cortadellas - D)de Jonquières surfaces (Hassanzadeh- Simis)D-modules approach (Cid Ruiz)

Carlos D’Andrea

Further results

Rees Algebras“Monoid” Surfaces (Cortadellas - D)

de Jonquières surfaces (Hassanzadeh- Simis)D-modules approach (Cid Ruiz)

Carlos D’Andrea

Further results

Carlos D’Andrea

This was quite a journey...

(Do not clap yet!)

Carlos D’Andrea

This was quite a journey...

(Do not clap yet!)

Carlos D’Andrea

A gift for David

Carlos D’Andrea

A gift for David

Carlos D’Andrea

Happy Retirement, David!

\end{talk}

Carlos D’Andrea

\end{talk}

Carlos D’Andrea

\end{talk}Carlos D’Andrea

moving lines, soccer, and rees algebrasdavid:nowthatiaminbarcelona... iwanttovisitthe2churches...

Documents

jonathan rees

soccer 101 a brief overview of the game of soccer so you can...

rees : rare earth elements

health and safety executive health and safety executive...

2021 summer camp - camp trevor rees-jones...2021 summer camp...

rees valley report - geonet

van rees group

olivia rees 2013 portfolio

william rees -...

t rees are terrific

chay rees runnels rees jewelry - thcfriends.org - chay reese...

celia rees - sovay

las rees cri turas

the rees family of reesville, potter county, pahenry rees...

15 soccer drills for passing and moving

the denjoy–rees technique

critically reviewing a journal paper using the rees model...

created by: shelly rees

elizabeth rees

ellen rees - uk