The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi....
Transcript of The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi....
![Page 1: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/1.jpg)
The algebra of the box–spline
Claudio Procesi.
Hanoi, January 2011
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 2: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/2.jpg)
BASIC INPUT
The basic input of this theory is a(real, sometimes integer) n ×m matrix A.We always think of A as a LIST of vectors in V = Rn, its columns:
A := (a1, . . . , am)
ConstrainWe assume that 0 is NOT in the convex hull of its columns.
From A we make several constructions, algebraic, combinatorial,analytic etc..
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 3: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/3.jpg)
For a complete treatment see
Series: Universitext
1st Edition., 2010, XXII, 381p. 19 illus., 4 in color., Softcover
ISBN: 978-0-387-78962-0
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 4: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/4.jpg)
CONVEX POLYTOPES
We begin with a system of linear equations:m∑
i=1aixi = b, or Ax = b, A := (a1, . . . , am) (1)
The columns ai , b are vectors with n coordinates(aj,i , bj , j = 1, . . . , n).
We assume that the matrix A is real and 0 is NOT in the convexhull of its columns.We are interested in dealing with twofundamental problems.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 5: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/5.jpg)
CONVEX POLYTOPES
We begin with a system of linear equations:m∑
i=1aixi = b, or Ax = b, A := (a1, . . . , am) (1)
The columns ai , b are vectors with n coordinates(aj,i , bj , j = 1, . . . , n).
We assume that the matrix A is real and 0 is NOT in the convexhull of its columns.We are interested in dealing with twofundamental problems.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 6: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/6.jpg)
CONVEX POLYTOPES
We begin with a system of linear equations:m∑
i=1aixi = b, or Ax = b, A := (a1, . . . , am) (1)
The columns ai , b are vectors with n coordinates(aj,i , bj , j = 1, . . . , n).
We assume that the matrix A is real and 0 is NOT in the convexhull of its columns.We are interested in dealing with twofundamental problems.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 7: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/7.jpg)
CONVEX POLYTOPES
We begin with a system of linear equations:m∑
i=1aixi = b, or Ax = b, A := (a1, . . . , am) (1)
The columns ai , b are vectors with n coordinates(aj,i , bj , j = 1, . . . , n).
We assume that the matrix A is real and 0 is NOT in the convexhull of its columns.We are interested in dealing with twofundamental problems.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 8: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/8.jpg)
Variable polytopes
As in Linear Programming Theory we want to study the
VARIABLE POLYTOPES:
ΠA(b) := {x |Ax = b, xi ≥ 0, ∀i}
which are convex and bounded for every b.
Identify the spaces Ax = b and Ax = 0 then think of ΠA(b) as a
variable polytope in the space Ax = 0
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 9: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/9.jpg)
Variable polytopes
As in Linear Programming Theory we want to study the
VARIABLE POLYTOPES:
ΠA(b) := {x |Ax = b, xi ≥ 0, ∀i}
which are convex and bounded for every b.
Identify the spaces Ax = b and Ax = 0 then think of ΠA(b) as a
variable polytope in the space Ax = 0
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 10: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/10.jpg)
Variable polytopes
As in Linear Programming Theory we want to study the
VARIABLE POLYTOPES:
ΠA(b) := {x |Ax = b, xi ≥ 0, ∀i}
which are convex and bounded for every b.
Identify the spaces Ax = b and Ax = 0 then think of ΠA(b) as a
variable polytope in the space Ax = 0
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 11: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/11.jpg)
The object of study
Basic functionsSet VA(b) to be the volume of ΠA(b).If A, b have integer coordinates, consider the finite set IA(b)of points in ΠA(b) with integer coordinates.
Arithmetic caseIn this case we want compute the number PA(b) of solutions ofthe system in which the coordinates xi are non negative integers.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 12: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/12.jpg)
The object of study
Basic functionsSet VA(b) to be the volume of ΠA(b).If A, b have integer coordinates, consider the finite set IA(b)of points in ΠA(b) with integer coordinates.
Arithmetic caseIn this case we want compute the number PA(b) of solutions ofthe system in which the coordinates xi are non negative integers.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 13: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/13.jpg)
In other words the vectors a1, . . . , am define a map:
F : Rm → Rn.
F (t1, . . . tm) := t1a1 + · · ·+ tmam.
Therefore, in this language, the polytope:
ΠA(b) = F−1(b) ∩ Rm+,
where Rm+ denotes the positive quadrant.
Our goals are therefore:1 To compute the volume of ΠA(b).2 If A, b have integer elements, to compute the number PA(b)
of points with integer coordinates in ΠA(b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 14: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/14.jpg)
In other words the vectors a1, . . . , am define a map:
F : Rm → Rn.
F (t1, . . . tm) := t1a1 + · · ·+ tmam.
Therefore, in this language, the polytope:
ΠA(b) = F−1(b) ∩ Rm+,
where Rm+ denotes the positive quadrant.
Our goals are therefore:1 To compute the volume of ΠA(b).2 If A, b have integer elements, to compute the number PA(b)
of points with integer coordinates in ΠA(b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 15: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/15.jpg)
In other words the vectors a1, . . . , am define a map:
F : Rm → Rn.
F (t1, . . . tm) := t1a1 + · · ·+ tmam.
Therefore, in this language, the polytope:
ΠA(b) = F−1(b) ∩ Rm+,
where Rm+ denotes the positive quadrant.
Our goals are therefore:1 To compute the volume of ΠA(b).2 If A, b have integer elements, to compute the number PA(b)
of points with integer coordinates in ΠA(b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 16: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/16.jpg)
When A, b have integer elements it is natural to think of anexpression like:b = t1a1 + · · ·+ tmam with ti not negative integers as a:
partition of b with the vectors ai ,in t1 + t2 + · · ·+ tm parts, hence the name partition function forthe number PA(b), thought of as a function of the vector b.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 17: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/17.jpg)
When A, b have integer elements it is natural to think of anexpression like:b = t1a1 + · · ·+ tmam with ti not negative integers as a:
partition of b with the vectors ai ,in t1 + t2 + · · ·+ tm parts, hence the name partition function forthe number PA(b), thought of as a function of the vector b.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 18: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/18.jpg)
Some combinatorial geometry
The pictures are taken from the book:C. De Boor, K. Höllig, S. Riemenschneider,
Box splines
Applied Mathematical Sciences 98 (1993).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 19: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/19.jpg)
The basic cone
Obviously, the set of vectors b such that ΠA(b) is not empty isequal, by definition, to the set:
The cone generated by A
CA := {m∑
i=1xiai | xi ≥ 0}
CA is a convex cone in Rn.
By assumption its non zero elements lie entirely in the interior of ahalf space.
CA is usually said to be a pointed cone and 0 is its vertex.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 20: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/20.jpg)
The basic cone
Obviously, the set of vectors b such that ΠA(b) is not empty isequal, by definition, to the set:
The cone generated by A
CA := {m∑
i=1xiai | xi ≥ 0}
CA is a convex cone in Rn.
By assumption its non zero elements lie entirely in the interior of ahalf space.
CA is usually said to be a pointed cone and 0 is its vertex.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 21: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/21.jpg)
The basic cone
Obviously, the set of vectors b such that ΠA(b) is not empty isequal, by definition, to the set:
The cone generated by A
CA := {m∑
i=1xiai | xi ≥ 0}
CA is a convex cone in Rn.
By assumption its non zero elements lie entirely in the interior of ahalf space.
CA is usually said to be a pointed cone and 0 is its vertex.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 22: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/22.jpg)
A 2–DIMENSIONAL EXAMPLE
A =
∣∣∣∣∣1 1 0 −11 0 1 1
∣∣∣∣∣
//
OO ??�������
__???????
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 23: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/23.jpg)
A 2–DIMENSIONAL EXAMPLE
the associated cone C(A) has three big cells
. . . . . . . . .
. . . . . . . .
. . . . . . .
. . . . . .
. //
OO >>}}}}}}}
``AAAAAAA
}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA. . . .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 24: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/24.jpg)
It is useful to consider also the dual cone CA of CA.
In the dual space it consists of the (row) vectors that have nonnegative scalar product with all vectors ai . I.e. with all vectors ofthe cone CA.
CA is a cone with non empty interior.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 25: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/25.jpg)
DUAL CONES
. . . . . . . . .
. . . . . . . .
. . . . . . .
. . . . . .
.
AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA. . . .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 26: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/26.jpg)
DUAL CONES
. . . . .
. . . .
. . .
. .
.
}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 27: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/27.jpg)
DUAL CONES
. . . . . . . . .
. . . . . . . .
. . . . . . .
. . . . . .
.
AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA. . . .
. . . . .
. . . .
. . .
. .
.
}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 28: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/28.jpg)
Some preliminaries
In order to attack the problem of computing volumes and partitionfunctions we need to
describe some combinatorial geometry of the cone C(A)
generated by the columns of A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 29: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/29.jpg)
Some preliminaries
In order to attack the problem of computing volumes and partitionfunctions we need to
describe some combinatorial geometry of the cone C(A)
generated by the columns of A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 30: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/30.jpg)
Some preliminaries
In order to attack the problem of computing volumes and partitionfunctions we need to
describe some combinatorial geometry of the cone C(A)
generated by the columns of A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 31: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/31.jpg)
Some preliminaries
In order to attack the problem of computing volumes and partitionfunctions we need to
describe some combinatorial geometry of the cone C(A)
generated by the columns of A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 32: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/32.jpg)
Some preliminaries
In order to attack the problem of computing volumes and partitionfunctions we need to
describe some combinatorial geometry of the cone C(A)
generated by the columns of A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 33: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/33.jpg)
Some preliminaries
In order to attack the problem of computing volumes and partitionfunctions we need to
describe some combinatorial geometry of the cone C(A)
generated by the columns of A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 34: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/34.jpg)
Some preliminaries
In order to attack the problem of computing volumes and partitionfunctions we need to
describe some combinatorial geometry of the cone C(A)
generated by the columns of A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 35: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/35.jpg)
Some preliminaries
In order to attack the problem of computing volumes and partitionfunctions we need to
describe some combinatorial geometry of the cone C(A)
generated by the columns of A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 36: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/36.jpg)
Some preliminaries
In order to attack the problem of computing volumes and partitionfunctions we need to
describe some combinatorial geometry of the cone C(A)
generated by the columns of A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 37: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/37.jpg)
Some preliminaries
In order to attack the problem of computing volumes and partitionfunctions we need to
describe some combinatorial geometry of the cone C(A)
generated by the columns of A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 38: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/38.jpg)
Some intuitive pictures
We want to decompose the cone C(A) into big cells and defineits singular and regular points.
We do everything on a transversal section, where the cone lookslike a bounded convex polytope and then project.
ExampleLet us start with some pictures where A is the list of positive rootsfor type A3.
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 39: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/39.jpg)
Some intuitive pictures
We want to decompose the cone C(A) into big cells and defineits singular and regular points.
We do everything on a transversal section, where the cone lookslike a bounded convex polytope and then project.
ExampleLet us start with some pictures where A is the list of positive rootsfor type A3.
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 40: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/40.jpg)
EXAMPLE Type A3 in section (big cells):
α2
DDDDDDDDDDDDDDDDD
zzzzzzzzzzzzzzzzz
α1 + α2
����������������α2 + α3
6666666666666666
α1 + α2 + α3
VVVVVVVVVVVVVVVVVVVVV
hhhhhhhhhhhhhhhhhhhhh
nnnnnnnnnnnn
PPPPPPPPPPPP
α1 α3
We have 7 big cells.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 41: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/41.jpg)
EXAMPLE Type A3 in section (small cells):
α2
DDDDDDDDDDDDDDDDD
zzzzzzzzzzzzzzzzz
α1 + α2
����������������α2 + α3
6666666666666666
α1 + α2 + α3
VVVVVVVVVVVVVVVVVVVVV
hhhhhhhhhhhhhhhhhhhhh
nnnnnnnnnnnn
PPPPPPPPPPPP
α1 α3
We have 8 small cells.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 42: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/42.jpg)
EXAMPLE 2 in section (big cells):
α2
6666666666666666666666666666666
�������������������������������
α1 + α2 + α3
SSSSSSSSSSSSSSS
kkkkkkkkkkkkkkk
α1 α3
We have 3 big cells.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 43: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/43.jpg)
EXAMPLE 2 in section (small cells):
α2
6666666666666666666666666666666
�������������������������������
α1 + α2 + α3
α1
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmα3
QQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQ
We have 6 small cells.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 44: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/44.jpg)
Geometry of polyhedra
We start with a general remark.Let be given m points Pi in n dimensional space and X betheir convex envelop. We assume that the points are notcontained in any proper linear subspace.
If we choose in any possible way k ≤ n among these pointsthat are independent they generate a simplex of dimensionk − 1, let Y be the union of all these simplices.Y is a closed subset of X of dimension n − 1.The connected components of X − Y are called big cellsassociated to the points.The small cells, which we will not use, are obtained byremoving to X all the points laying on the subspacesgenerated by such sets of points.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 45: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/45.jpg)
Geometry of polyhedra
We start with a general remark.Let be given m points Pi in n dimensional space and X betheir convex envelop. We assume that the points are notcontained in any proper linear subspace.
If we choose in any possible way k ≤ n among these pointsthat are independent they generate a simplex of dimensionk − 1, let Y be the union of all these simplices.Y is a closed subset of X of dimension n − 1.The connected components of X − Y are called big cellsassociated to the points.The small cells, which we will not use, are obtained byremoving to X all the points laying on the subspacesgenerated by such sets of points.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 46: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/46.jpg)
Geometry of polyhedra
We start with a general remark.Let be given m points Pi in n dimensional space and X betheir convex envelop. We assume that the points are notcontained in any proper linear subspace.
If we choose in any possible way k ≤ n among these pointsthat are independent they generate a simplex of dimensionk − 1, let Y be the union of all these simplices.Y is a closed subset of X of dimension n − 1.The connected components of X − Y are called big cellsassociated to the points.The small cells, which we will not use, are obtained byremoving to X all the points laying on the subspacesgenerated by such sets of points.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 47: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/47.jpg)
Geometry of polyhedra
We start with a general remark.Let be given m points Pi in n dimensional space and X betheir convex envelop. We assume that the points are notcontained in any proper linear subspace.
If we choose in any possible way k ≤ n among these pointsthat are independent they generate a simplex of dimensionk − 1, let Y be the union of all these simplices.Y is a closed subset of X of dimension n − 1.The connected components of X − Y are called big cellsassociated to the points.The small cells, which we will not use, are obtained byremoving to X all the points laying on the subspacesgenerated by such sets of points.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 48: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/48.jpg)
Geometry of polyhedra
We start with a general remark.Let be given m points Pi in n dimensional space and X betheir convex envelop. We assume that the points are notcontained in any proper linear subspace.
If we choose in any possible way k ≤ n among these pointsthat are independent they generate a simplex of dimensionk − 1, let Y be the union of all these simplices.Y is a closed subset of X of dimension n − 1.The connected components of X − Y are called big cellsassociated to the points.The small cells, which we will not use, are obtained byremoving to X all the points laying on the subspacesgenerated by such sets of points.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 49: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/49.jpg)
Geometry of polyhedra
We start with a general remark.Let be given m points Pi in n dimensional space and X betheir convex envelop. We assume that the points are notcontained in any proper linear subspace.
If we choose in any possible way k ≤ n among these pointsthat are independent they generate a simplex of dimensionk − 1, let Y be the union of all these simplices.Y is a closed subset of X of dimension n − 1.The connected components of X − Y are called big cellsassociated to the points.The small cells, which we will not use, are obtained byremoving to X all the points laying on the subspacesgenerated by such sets of points.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 50: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/50.jpg)
PROJECTING A POLYHEDRON TO FORM A CONE
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 51: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/51.jpg)
Same geometry for the cone C(A).
Let be given a list A of vectors ai in n dimensional space, thatgenerate a pointed cone C(A).
Let us take an hyperplane that intersects the half lines R+aiin the points Pi (there exists one by hypothesis).The cone C(A) is the projection from the origin of the convexenvelop X of the points Pi
Every simplex of dimension ≤ n − 2 projects to a simplicialcone of dimension ≤ n − 1.The union of such cones projects Y and the big cells of C(A)are the projections of the big cells of X minus the origin.
Regular pointsThe points of the big cells are also called regular, the otherssingular. X ,Y represent C(A) and its singular points insection.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 52: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/52.jpg)
Same geometry for the cone C(A).
Let be given a list A of vectors ai in n dimensional space, thatgenerate a pointed cone C(A).
Let us take an hyperplane that intersects the half lines R+aiin the points Pi (there exists one by hypothesis).The cone C(A) is the projection from the origin of the convexenvelop X of the points Pi
Every simplex of dimension ≤ n − 2 projects to a simplicialcone of dimension ≤ n − 1.The union of such cones projects Y and the big cells of C(A)are the projections of the big cells of X minus the origin.
Regular pointsThe points of the big cells are also called regular, the otherssingular. X ,Y represent C(A) and its singular points insection.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 53: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/53.jpg)
Same geometry for the cone C(A).
Let be given a list A of vectors ai in n dimensional space, thatgenerate a pointed cone C(A).
Let us take an hyperplane that intersects the half lines R+aiin the points Pi (there exists one by hypothesis).The cone C(A) is the projection from the origin of the convexenvelop X of the points Pi
Every simplex of dimension ≤ n − 2 projects to a simplicialcone of dimension ≤ n − 1.The union of such cones projects Y and the big cells of C(A)are the projections of the big cells of X minus the origin.
Regular pointsThe points of the big cells are also called regular, the otherssingular. X ,Y represent C(A) and its singular points insection.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 54: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/54.jpg)
Same geometry for the cone C(A).
Let be given a list A of vectors ai in n dimensional space, thatgenerate a pointed cone C(A).
Let us take an hyperplane that intersects the half lines R+aiin the points Pi (there exists one by hypothesis).The cone C(A) is the projection from the origin of the convexenvelop X of the points Pi
Every simplex of dimension ≤ n − 2 projects to a simplicialcone of dimension ≤ n − 1.The union of such cones projects Y and the big cells of C(A)are the projections of the big cells of X minus the origin.
Regular pointsThe points of the big cells are also called regular, the otherssingular. X ,Y represent C(A) and its singular points insection.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 55: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/55.jpg)
Same geometry for the cone C(A).
Let be given a list A of vectors ai in n dimensional space, thatgenerate a pointed cone C(A).
Let us take an hyperplane that intersects the half lines R+aiin the points Pi (there exists one by hypothesis).The cone C(A) is the projection from the origin of the convexenvelop X of the points Pi
Every simplex of dimension ≤ n − 2 projects to a simplicialcone of dimension ≤ n − 1.The union of such cones projects Y and the big cells of C(A)are the projections of the big cells of X minus the origin.
Regular pointsThe points of the big cells are also called regular, the otherssingular. X ,Y represent C(A) and its singular points insection.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 56: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/56.jpg)
SPLINES TA(x) =√detAAt−1VA(x)
The volume of the variable polytope VA(x) equals, up to theconstant
√detAAt to the
multivariate splinethat is the function TA(x) characterized by the formula:∫
Rnf (x)TA(x)dx =
∫Rm
+
f (m∑
i=1tiai )dt,
where f (x) is any continuous function with compact support.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 57: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/57.jpg)
SPLINES TA(x) =√detAAt−1VA(x)
The volume of the variable polytope VA(x) equals, up to theconstant
√detAAt to the
multivariate splinethat is the function TA(x) characterized by the formula:∫
Rnf (x)TA(x)dx =
∫Rm
+
f (m∑
i=1tiai )dt,
where f (x) is any continuous function with compact support.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 58: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/58.jpg)
SPLINES TA(x) =√detAAt−1VA(x)
The volume of the variable polytope VA(x) equals, up to theconstant
√detAAt to the
multivariate splinethat is the function TA(x) characterized by the formula:∫
Rnf (x)TA(x)dx =
∫Rm
+
f (m∑
i=1tiai )dt,
where f (x) is any continuous function with compact support.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 59: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/59.jpg)
WARNING
We have given a weak definition for TA(x)
In generalTA(x) is a tempered distribution, supported on the cone C(A)!
Only when A has maximal rank TA(x) is a function.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 60: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/60.jpg)
WARNING
We have given a weak definition for TA(x)
In generalTA(x) is a tempered distribution, supported on the cone C(A)!
Only when A has maximal rank TA(x) is a function.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 61: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/61.jpg)
WARNING
We have given a weak definition for TA(x)
In generalTA(x) is a tempered distribution, supported on the cone C(A)!
Only when A has maximal rank TA(x) is a function.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 62: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/62.jpg)
Assume A spans Rn.
Let h be the minimum number of columns that one can removefrom A so that the remaining columns do not span Rn.
The basic function TA(x) is a spline1 TA(x) has support on the cone C(A)
2 TA(x) is continuous if h ≥ 23 In general TA(x) is of class h − 24 TA(x) coincides with a homogeneous polynomial of degree
m − n on each big cell.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 63: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/63.jpg)
Assume A spans Rn.
Let h be the minimum number of columns that one can removefrom A so that the remaining columns do not span Rn.
The basic function TA(x) is a spline1 TA(x) has support on the cone C(A)
2 TA(x) is continuous if h ≥ 23 In general TA(x) is of class h − 24 TA(x) coincides with a homogeneous polynomial of degree
m − n on each big cell.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 64: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/64.jpg)
Assume A spans Rn.
Let h be the minimum number of columns that one can removefrom A so that the remaining columns do not span Rn.
The basic function TA(x) is a spline1 TA(x) has support on the cone C(A)
2 TA(x) is continuous if h ≥ 23 In general TA(x) is of class h − 24 TA(x) coincides with a homogeneous polynomial of degree
m − n on each big cell.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 65: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/65.jpg)
Assume A spans Rn.
Let h be the minimum number of columns that one can removefrom A so that the remaining columns do not span Rn.
The basic function TA(x) is a spline1 TA(x) has support on the cone C(A)
2 TA(x) is continuous if h ≥ 23 In general TA(x) is of class h − 24 TA(x) coincides with a homogeneous polynomial of degree
m − n on each big cell.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 66: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/66.jpg)
Assume A spans Rn.
Let h be the minimum number of columns that one can removefrom A so that the remaining columns do not span Rn.
The basic function TA(x) is a spline1 TA(x) has support on the cone C(A)
2 TA(x) is continuous if h ≥ 23 In general TA(x) is of class h − 24 TA(x) coincides with a homogeneous polynomial of degree
m − n on each big cell.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 67: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/67.jpg)
Assume A spans Rn.
Let h be the minimum number of columns that one can removefrom A so that the remaining columns do not span Rn.
The basic function TA(x) is a spline1 TA(x) has support on the cone C(A)
2 TA(x) is continuous if h ≥ 23 In general TA(x) is of class h − 24 TA(x) coincides with a homogeneous polynomial of degree
m − n on each big cell.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 68: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/68.jpg)
Assume A spans Rn.
Let h be the minimum number of columns that one can removefrom A so that the remaining columns do not span Rn.
The basic function TA(x) is a spline1 TA(x) has support on the cone C(A)
2 TA(x) is continuous if h ≥ 23 In general TA(x) is of class h − 24 TA(x) coincides with a homogeneous polynomial of degree
m − n on each big cell.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 69: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/69.jpg)
SIMPLE EXAMPLE
A =
∣∣∣∣∣1 0 10 1 1
∣∣∣∣∣
. //
OO ??~~~~~~~
The three vectors
C(A) is the
first quadrant
The function TA(x , y) is
of class C0
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 70: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/70.jpg)
the associated cone C(A) has two big cells
//
OO ??�������
���������������������������������
TA is 0 outside the first
quadrant and on the two cells:0
x
y
//
OO ??��������
�������������������������������������
0
0
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 71: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/71.jpg)
TA is 0 outside the first quadrant and on the two cells:0
x
y
//
OO ??��������
�������������������������������������
0
0
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 72: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/72.jpg)
SUMMARIZING
In order to compute TA(x) we need to1 Determine the decomposition of C(A) into cells2 Compute on each big cell the homogeneous polynomial of
degree m − n coinciding with TA(x) .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 73: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/73.jpg)
SUMMARIZING
In order to compute TA(x) we need to1 Determine the decomposition of C(A) into cells2 Compute on each big cell the homogeneous polynomial of
degree m − n coinciding with TA(x) .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 74: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/74.jpg)
SUMMARIZING
In order to compute TA(x) we need to1 Determine the decomposition of C(A) into cells2 Compute on each big cell the homogeneous polynomial of
degree m − n coinciding with TA(x) .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 75: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/75.jpg)
SUMMARIZING
In order to compute TA(x) we need to1 Determine the decomposition of C(A) into cells2 Compute on each big cell the homogeneous polynomial of
degree m − n coinciding with TA(x) .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 76: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/76.jpg)
SUMMARIZING
In order to compute TA(x) we need to1 Determine the decomposition of C(A) into cells2 Compute on each big cell the homogeneous polynomial of
degree m − n coinciding with TA(x) .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 77: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/77.jpg)
BOX SPLINES
While the function TA(x) is the basic object, the more interestingobject for numerical analysis is the
box splinethat is the function BA(x) characterized by the formula:∫
Rnf (x)BA(x)dx =
∫[0,1]m
f (m∑
i=1tiai )dt,
where f (x) is any continuous function.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 78: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/78.jpg)
BOX SPLINES
While the function TA(x) is the basic object, the more interestingobject for numerical analysis is the
box splinethat is the function BA(x) characterized by the formula:∫
Rnf (x)BA(x)dx =
∫[0,1]m
f (m∑
i=1tiai )dt,
where f (x) is any continuous function.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 79: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/79.jpg)
BOX SPLINES
While the function TA(x) is the basic object, the more interestingobject for numerical analysis is the
box splinethat is the function BA(x) characterized by the formula:∫
Rnf (x)BA(x)dx =
∫[0,1]m
f (m∑
i=1tiai )dt,
where f (x) is any continuous function.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 80: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/80.jpg)
THE BOX
The box spline BA(x) is supported in the compact polytope:
The Box B(A)
that is the compact convex polytope
B(A) := {m∑
i=1tiai}, 0 ≤ ti ≤ 1, ∀i .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 81: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/81.jpg)
THE BOX
The box spline BA(x) is supported in the compact polytope:
The Box B(A)
that is the compact convex polytope
B(A) := {m∑
i=1tiai}, 0 ≤ ti ≤ 1, ∀i .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 82: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/82.jpg)
The box B(A) has a nice combinatorial structure, and can bepaved by a set of parallelepipeds indexed by:all the bases which one can extract from A!
ExampleIn the next example
A =
∣∣∣∣∣1 0 1 −1 2 10 1 1 1 1 2
∣∣∣∣∣we have 15 bases and 15 parallelograms.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 83: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/83.jpg)
The box B(A) has a nice combinatorial structure, and can bepaved by a set of parallelepipeds indexed by:all the bases which one can extract from A!
ExampleIn the next example
A =
∣∣∣∣∣1 0 1 −1 2 10 1 1 1 1 2
∣∣∣∣∣we have 15 bases and 15 parallelograms.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 84: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/84.jpg)
EXAMPLE paving the box
A =
∣∣∣∣∣1 0 1 −1 2 10 1 1 1 1 2
∣∣∣∣∣
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 85: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/85.jpg)
=
∣∣∣∣∣1 0 1 −1 2 10 1 1 1 1 2
∣∣∣∣∣START WITH
A =
∣∣∣∣∣1 00 1
∣∣∣∣∣
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 86: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/86.jpg)
A =
∣∣∣∣∣1 0 10 1 1
∣∣∣∣∣
�������
��������������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 87: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/87.jpg)
A =
∣∣∣∣∣1 0 1 −10 1 1 1
∣∣∣∣∣
�������
???????
??????????????
�������
�������???????
�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 88: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/88.jpg)
A =
∣∣∣∣∣1 0 1 −1 20 1 1 1 1
∣∣∣∣∣
???????ooooooooooooo
ooooooooooooo�������
???????
???????
ooooooooooooo???????
�������
�������
ooooooooooooo
�������???????
�������
ooooooooooooo
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 89: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/89.jpg)
• •
@@@@@@@
•
oooooooooooooo •
•
~~~~~~~•
��������������•
@@@@@@@
��������������•
•
��������������
oooooooooooooo •
oooooooooooooo •
��������������
•
��������������
~~~~~~~•
@@@@@@@•
@@@@@@@
oooooooooooooo •
��������������
•
@@@@@@@
~~~~~~~•
~~~~~~~•
oooooooooooooo •
~~~~~~~
•
@@@@@@@@•
~~~~~~~
oooooooooooooo
A =
∣∣∣∣∣1 0 1 −1 2 10 1 1 1 1 2
∣∣∣∣∣Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 90: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/90.jpg)
two box splines of class C 0, h = 2 and C 1, h = 3
A =
∣∣∣∣∣1 0 10 1 1
∣∣∣∣∣ Hat functionor Courant element
A =
∣∣∣∣∣1 0 1 −10 1 1 1
∣∣∣∣∣Zwart-Powell element
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 91: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/91.jpg)
EXAMPLE OF A two dimensional box spline
Non continuous, A =
∣∣∣∣∣1 2 1 1 10 0 0 0 2
∣∣∣∣∣ (h = 1)
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 92: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/92.jpg)
3 reasons WHY the BOX SPLINE ?
∫Rn
BA(x)dx = 1
recursive definition
B[A,v ](x) =
∫ 1
0BA(x − tv)dt
in the case of integral vectors, we have
PARTITION OF UNITYThe translates BA(x − λ), λ runs over the integral vectors form a
partition of 1.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 93: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/93.jpg)
3 reasons WHY the BOX SPLINE ?
∫Rn
BA(x)dx = 1
recursive definition
B[A,v ](x) =
∫ 1
0BA(x − tv)dt
in the case of integral vectors, we have
PARTITION OF UNITYThe translates BA(x − λ), λ runs over the integral vectors form a
partition of 1.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 94: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/94.jpg)
3 reasons WHY the BOX SPLINE ?
∫Rn
BA(x)dx = 1
recursive definition
B[A,v ](x) =
∫ 1
0BA(x − tv)dt
in the case of integral vectors, we have
PARTITION OF UNITYThe translates BA(x − λ), λ runs over the integral vectors form a
partition of 1.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 95: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/95.jpg)
3 reasons WHY the BOX SPLINE ?
∫Rn
BA(x)dx = 1
recursive definition
B[A,v ](x) =
∫ 1
0BA(x − tv)dt
in the case of integral vectors, we have
PARTITION OF UNITYThe translates BA(x − λ), λ runs over the integral vectors form a
partition of 1.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 96: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/96.jpg)
TRIVIAL EXAMPLE
A = {1, 1} we have for the box spline
???????�������
Now let us add to it its translates!
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 97: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/97.jpg)
???????�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 98: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/98.jpg)
???????
???????�������
�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 99: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/99.jpg)
???????�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 100: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/100.jpg)
???????
???????�������
�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 101: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/101.jpg)
???????�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 102: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/102.jpg)
???????
???????�������
�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 103: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/103.jpg)
???????�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 104: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/104.jpg)
???????
???????�������
�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 105: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/105.jpg)
???????�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 106: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/106.jpg)
???????
???????�������
�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 107: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/107.jpg)
???????�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 108: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/108.jpg)
???????
???????�������
�������
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 109: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/109.jpg)
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 110: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/110.jpg)
From TA to BA
For a given subset S of A define aS :=∑
a∈S a
the basic formula is:
BA(x) =∑S⊂A
(−1)|S|TA(x − aS).
So TA is the fundamental object.
Notice that the local pieces of BA are no more homogeneouspolynomials.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 111: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/111.jpg)
From TA to BA
For a given subset S of A define aS :=∑
a∈S a
the basic formula is:
BA(x) =∑S⊂A
(−1)|S|TA(x − aS).
So TA is the fundamental object.
Notice that the local pieces of BA are no more homogeneouspolynomials.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 112: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/112.jpg)
From TA to BA
For a given subset S of A define aS :=∑
a∈S a
the basic formula is:
BA(x) =∑S⊂A
(−1)|S|TA(x − aS).
So TA is the fundamental object.
Notice that the local pieces of BA are no more homogeneouspolynomials.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 113: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/113.jpg)
EXAMPLE OF THE HAT FUNCTION
A =
∣∣∣∣∣1 0 10 1 1
∣∣∣∣∣From the function TA
0
x
y
�������������������������������������
0
0
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 114: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/114.jpg)
EXAMPLE OF THE HAT FUNCTIONwe get the box spline hat function summing over the 6translates of TA
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 115: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/115.jpg)
Here comes the algebra
How to compute TA? or the partition function PA?We use the Laplace transform which will change the analyticproblem to one in
algebra
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 116: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/116.jpg)
LAPLACE TRANSFORM from Rs = V to U = V ∗.
Lf (u) :=
∫Ve−〈u | v〉f (v)dv .
basic propertiesp ∈ U,w ∈ V , write p, Dw for the linear function 〈p | v〉 and thedirectional derivative on V
L(Dw f )(u) = wLf (u), L(pf )(u) = −DpLf (u),
L(epf )(u) = Lf (u − p), L(f (v + w))(u) = ewLf (u).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 117: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/117.jpg)
LAPLACE TRANSFORM from Rs = V to U = V ∗.
Lf (u) :=
∫Ve−〈u | v〉f (v)dv .
basic propertiesp ∈ U,w ∈ V , write p, Dw for the linear function 〈p | v〉 and thedirectional derivative on V
L(Dw f )(u) = wLf (u), L(pf )(u) = −DpLf (u),
L(epf )(u) = Lf (u − p), L(f (v + w))(u) = ewLf (u).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 118: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/118.jpg)
LAPLACE TRANSFORM from Rs = V to U = V ∗.
Lf (u) :=
∫Ve−〈u | v〉f (v)dv .
basic propertiesp ∈ U,w ∈ V , write p, Dw for the linear function 〈p | v〉 and thedirectional derivative on V
L(Dw f )(u) = wLf (u), L(pf )(u) = −DpLf (u),
L(epf )(u) = Lf (u − p), L(f (v + w))(u) = ewLf (u).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 119: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/119.jpg)
LAPLACE TRANSFORM from Rs = V to U = V ∗.
Lf (u) :=
∫Ve−〈u | v〉f (v)dv .
basic propertiesp ∈ U,w ∈ V , write p, Dw for the linear function 〈p | v〉 and thedirectional derivative on V
L(Dw f )(u) = wLf (u), L(pf )(u) = −DpLf (u),
L(epf )(u) = Lf (u − p), L(f (v + w))(u) = ewLf (u).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 120: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/120.jpg)
Basic transformation rules
Consider any a ∈ V as a LINEAR FUNCTION ON U we have:
An easy computation gives the Laplace transforms:
LBA =∏a∈A
1− e−a
aand LTA =
∏a∈A
1a
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 121: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/121.jpg)
Basic transformation rules
Consider any a ∈ V as a LINEAR FUNCTION ON U we have:
An easy computation gives the Laplace transforms:
LBA =∏a∈A
1− e−a
aand LTA =
∏a∈A
1a
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 122: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/122.jpg)
Basic transformation rules
Consider any a ∈ V as a LINEAR FUNCTION ON U we have:
An easy computation gives the Laplace transforms:
LBA =∏a∈A
1− e−a
aand LTA =
∏a∈A
1a
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 123: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/123.jpg)
BASIC NON COMMUTATIVE ALGEBRAS
Algebraic Fourier transform
Weyl algebrasSet W (V ),W (U) be the two Weyl algebras of differentialoperators with polynomial coefficients on V and U.
Weyl algebrasSet W (V ),W (U) be the two Weyl algebras of differentialoperators with polynomial coefficients on V and U.
Fourier transformThere is an algebraic Fourier isomorphism between them, so anyW (V ) module M becomes a W (U) module M
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 124: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/124.jpg)
BASIC NON COMMUTATIVE ALGEBRAS
Algebraic Fourier transform
Weyl algebrasSet W (V ),W (U) be the two Weyl algebras of differentialoperators with polynomial coefficients on V and U.
Fourier transformThere is an algebraic Fourier isomorphism between them, so anyW (V ) module M becomes a W (U) module M
Fourier transformThere is an algebraic Fourier isomorphism between them, so anyW (V ) module M becomes a W (U) module M
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 125: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/125.jpg)
BASIC NON COMMUTATIVE ALGEBRAS
Algebraic Fourier transform
Weyl algebrasSet W (V ),W (U) be the two Weyl algebras of differentialoperators with polynomial coefficients on V and U.
Fourier transformThere is an algebraic Fourier isomorphism between them, so anyW (V ) module M becomes a W (U) module M
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 126: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/126.jpg)
D−modules in Fourier duality:
Two modules Fourier isomorphic
1. The D−module DA := W (V )TA generated, in the space oftempered distributions, by TA under the action of the algebraW (V ) of differential operators on V with polynomial coefficients.
2. The algebra RA := S[V ][∏
a∈A a−1] obtained from thepolynomials on U by inverting the element dA :=
∏a∈A a
RA = W (U)d−1A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 127: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/127.jpg)
D−modules in Fourier duality:
Two modules Fourier isomorphic
1. The D−module DA := W (V )TA generated, in the space oftempered distributions, by TA under the action of the algebraW (V ) of differential operators on V with polynomial coefficients.
2. The algebra RA := S[V ][∏
a∈A a−1] obtained from thepolynomials on U by inverting the element dA :=
∏a∈A a
RA = W (U)d−1A
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 128: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/128.jpg)
TheoremRA = W (U)d−1
AUnder Laplace transform, L(TA) = d−1
A andDA is mapped isomorphically onto RA as W (U)-modules.
DA is the space of tempered distributions which are linearcombinations of polynomial functions on the cones C(B), B ⊂ A alinearly independent subset and their distributional derivatives.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 129: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/129.jpg)
TheoremRA = W (U)d−1
AUnder Laplace transform, L(TA) = d−1
A andDA is mapped isomorphically onto RA as W (U)-modules.
DA is the space of tempered distributions which are linearcombinations of polynomial functions on the cones C(B), B ⊂ A alinearly independent subset and their distributional derivatives.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 130: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/130.jpg)
TheoremRA = W (U)d−1
AUnder Laplace transform, L(TA) = d−1
A andDA is mapped isomorphically onto RA as W (U)-modules.
DA is the space of tempered distributions which are linearcombinations of polynomial functions on the cones C(B), B ⊂ A alinearly independent subset and their distributional derivatives.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 131: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/131.jpg)
TheoremRA = W (U)d−1
AUnder Laplace transform, L(TA) = d−1
A andDA is mapped isomorphically onto RA as W (U)-modules.
DA is the space of tempered distributions which are linearcombinations of polynomial functions on the cones C(B), B ⊂ A alinearly independent subset and their distributional derivatives.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 132: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/132.jpg)
TheoremRA = W (U)d−1
AUnder Laplace transform, L(TA) = d−1
A andDA is mapped isomorphically onto RA as W (U)-modules.
DA is the space of tempered distributions which are linearcombinations of polynomial functions on the cones C(B), B ⊂ A alinearly independent subset and their distributional derivatives.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 133: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/133.jpg)
RA and it is the coordinate ring of the open set AAcomplement of the union of the hyperplanes of Uof equations a = 0, a ∈ A.
It is a cyclic module under W (U) generated by d−1A .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 134: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/134.jpg)
PROJECTIVE PICTURE OF THE ARRANGEMENT A3
We have drawn in theprojective plane of 4−tuples ofreal numbers with sum 0, the6 lines
xi − xj = 0, 1 ≤ i < j ≤ 4
the 7 intersection points are also subspaces of the arrangement!
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 135: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/135.jpg)
PROJECTIVE PICTURE OF THE ARRANGEMENT A3
We have drawn in theprojective plane of 4−tuples ofreal numbers with sum 0, the6 lines
xi − xj = 0, 1 ≤ i < j ≤ 4
the 7 intersection points are also subspaces of the arrangement!
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 136: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/136.jpg)
The module RA
LocalizationIt is well known that once we invert an element in a polynomialalgebra we get a holonomic module over the algebra of differentialoperators.
In particular it has a finitecomposition series and it is cyclic
We want to describe a composition series of RA.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 137: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/137.jpg)
The module RA
LocalizationIt is well known that once we invert an element in a polynomialalgebra we get a holonomic module over the algebra of differentialoperators.
In particular it has a finitecomposition series and it is cyclic
We want to describe a composition series of RA.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 138: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/138.jpg)
The module RA
LocalizationIt is well known that once we invert an element in a polynomialalgebra we get a holonomic module over the algebra of differentialoperators.
In particular it has a finitecomposition series and it is cyclic
We want to describe a composition series of RA.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 139: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/139.jpg)
The building blocks
For each subspace W of U we have an irreducible module NW(generated by the δ function of W ).
The NW as W runs over the subspaces of the hyperplanearrangement given by the equations ai = 0, ai ∈ A are thecomposition factors of RA.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 140: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/140.jpg)
Take coordinates x1, . . . , xn
W = {x1 = x2 = . . . = xk = 0}
NW is generated by an element δ satisfying:
xiδ = 0, i ≤ k, ∂
∂xiδ, i > k.
It is free generated by δ over:
C[x1, x2, . . . , xk ,∂
∂xk+1, . . . ,
∂
∂xn].
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 141: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/141.jpg)
Take coordinates x1, . . . , xn
W = {x1 = x2 = . . . = xk = 0}
NW is generated by an element δ satisfying:
xiδ = 0, i ≤ k, ∂
∂xiδ, i > k.
It is free generated by δ over:
C[x1, x2, . . . , xk ,∂
∂xk+1, . . . ,
∂
∂xn].
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 142: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/142.jpg)
The filtration of RA by polar order
DefinitionIntroduce a filtration by W (U)−submodules:
filtration degree ≤ kRA,k is the span of all the fractions f
∏a∈A a−ha , ha ≥ 0
for which the set of vectors a, with ha > 0, spans a space ofdimension ≤ k.
We have RA,s = RA.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 143: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/143.jpg)
The filtration of RA by polar order
DefinitionIntroduce a filtration by W (U)−submodules:
filtration degree ≤ kRA,k is the span of all the fractions f
∏a∈A a−ha , ha ≥ 0
for which the set of vectors a, with ha > 0, spans a space ofdimension ≤ k.
We have RA,s = RA.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 144: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/144.jpg)
The filtration of RA by polar order
RA,k/RA,k−1 is semisimple.Its isotypic components are of type NW as W runs over thesubspaces of the arrangement of codimension k.In particular RA,s/RA,s−1 is a direct sum of modules N0.The annihilator of the cyclic generator of N0 is generated byall the variables, i.e. by all the elements ai ∈ A.N0 is a free rank 1 module over the commutative polynomialring S[U] of differential operators with constant coefficients.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 145: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/145.jpg)
The filtration of RA by polar order
RA,k/RA,k−1 is semisimple.Its isotypic components are of type NW as W runs over thesubspaces of the arrangement of codimension k.In particular RA,s/RA,s−1 is a direct sum of modules N0.The annihilator of the cyclic generator of N0 is generated byall the variables, i.e. by all the elements ai ∈ A.N0 is a free rank 1 module over the commutative polynomialring S[U] of differential operators with constant coefficients.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 146: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/146.jpg)
The filtration of RA by polar order
RA,k/RA,k−1 is semisimple.Its isotypic components are of type NW as W runs over thesubspaces of the arrangement of codimension k.In particular RA,s/RA,s−1 is a direct sum of modules N0.The annihilator of the cyclic generator of N0 is generated byall the variables, i.e. by all the elements ai ∈ A.N0 is a free rank 1 module over the commutative polynomialring S[U] of differential operators with constant coefficients.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 147: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/147.jpg)
The filtration of RA by polar order
RA,k/RA,k−1 is semisimple.Its isotypic components are of type NW as W runs over thesubspaces of the arrangement of codimension k.In particular RA,s/RA,s−1 is a direct sum of modules N0.The annihilator of the cyclic generator of N0 is generated byall the variables, i.e. by all the elements ai ∈ A.N0 is a free rank 1 module over the commutative polynomialring S[U] of differential operators with constant coefficients.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 148: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/148.jpg)
The filtration of RA by polar order
RA,k/RA,k−1 is semisimple.Its isotypic components are of type NW as W runs over thesubspaces of the arrangement of codimension k.In particular RA,s/RA,s−1 is a direct sum of modules N0.The annihilator of the cyclic generator of N0 is generated byall the variables, i.e. by all the elements ai ∈ A.N0 is a free rank 1 module over the commutative polynomialring S[U] of differential operators with constant coefficients.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 149: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/149.jpg)
The filtration of RA by polar order
RA,k/RA,k−1 is semisimple.Its isotypic components are of type NW as W runs over thesubspaces of the arrangement of codimension k.In particular RA,s/RA,s−1 is a direct sum of modules N0.The annihilator of the cyclic generator of N0 is generated byall the variables, i.e. by all the elements ai ∈ A.N0 is a free rank 1 module over the commutative polynomialring S[U] of differential operators with constant coefficients.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 150: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/150.jpg)
A basis for RA,s/RA,s−1
By the previous theorem RA,s/RA,s−1 is a free module over
S[U] = C[∂
∂x1, . . . ,
∂
∂xs]
(in coordinates).It is important to choose a basis.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 151: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/151.jpg)
No broken circuits
A basis comes from the theory of matroids.Let c := ai1 , . . . , aik ∈ A, i1 < i2 · · · < ik , be a sublist of linearlyindependent elements.
DefinitionWe say that ai breaks c if there is an index 1 ≤ e ≤ k suchthat:
i ≤ ie .ai is linearly dependent on aie , . . . , aik .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 152: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/152.jpg)
No broken circuits
A basis comes from the theory of matroids.Let c := ai1 , . . . , aik ∈ A, i1 < i2 · · · < ik , be a sublist of linearlyindependent elements.
DefinitionWe say that ai breaks c if there is an index 1 ≤ e ≤ k suchthat:
i ≤ ie .ai is linearly dependent on aie , . . . , aik .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 153: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/153.jpg)
The no broken bases extracted from A
no broken basesFor a basis b := ai1 , . . . , ais extracted from A set:B(b) := {a ∈ A | a breaks b} and n(b) = |B(b)| the cardinalityof B(b).
DefinitionWe say that b is no broken if B(b) = b or n(b) = s.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 154: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/154.jpg)
EXAMPLE of the elements braking a basis
Example A3 ordered as:
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3.
Let us draw in Red one particular basis and in Green the elementswhich break it.We have 16 bases10 broken and 6 no broken
FIRST THE 10 broken
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 155: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/155.jpg)
EXAMPLE of the elements braking a basis
Example A3 ordered as:
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3.
Let us draw in Red one particular basis and in Green the elementswhich break it.We have 16 bases10 broken and 6 no broken
FIRST THE 10 broken
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 156: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/156.jpg)
EXAMPLE of the elements braking a basis
Example A3 ordered as:
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3.
Let us draw in Red one particular basis and in Green the elementswhich break it.We have 16 bases10 broken and 6 no broken
FIRST THE 10 broken
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 157: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/157.jpg)
EXAMPLE of the elements braking a basis
Example A3 ordered as:
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3.
Let us draw in Red one particular basis and in Green the elementswhich break it.We have 16 bases10 broken and 6 no broken
FIRST THE 10 broken
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 158: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/158.jpg)
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 159: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/159.jpg)
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 160: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/160.jpg)
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 161: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/161.jpg)
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 162: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/162.jpg)
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 163: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/163.jpg)
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 164: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/164.jpg)
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 165: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/165.jpg)
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 166: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/166.jpg)
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 167: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/167.jpg)
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 168: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/168.jpg)
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 169: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/169.jpg)
ExampleA3 ordered as: α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3.
We have 6 n.b.b all contain necessarily α1:
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3.
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3.
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3.
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3.
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3.
α1, α2, α3, α1 + α2, α2 + α3, α1 + α2 + α3.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 170: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/170.jpg)
Let us visualize the simplices generated by the 6 n.b.b:α2
111111111111111111111111111
1111111111111
α1 α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 171: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/171.jpg)
α2
99999999999999
����������������������������
α2 + α3
pppppppppppppppppppppppp
α1
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 172: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/172.jpg)
α2
�������������������������������
α1 + α2 + α3
kkkkkkkkkkkkkkk
α1
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 173: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/173.jpg)
α1 + α2
��������������
LLLLLLLLLLLLLLLLLLLLLL
α1 α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 174: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/174.jpg)
α1 + α2 + α3
SSSSSSSSSSSSSSS
kkkkkkkkkkkkkkk
α1 α3
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 175: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/175.jpg)
α1 + α2
��������������α2 + α3
mmmmmmmmmmmmmmmmmmmmmmmmmmmm
α1
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 176: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/176.jpg)
Decomposition into big cells and no broken basesLet us visualize the decomposition into big cells, obtainedoverlapping the cones generated by no broken bases.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 177: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/177.jpg)
A remarkable fact
//////////////////////////
��������������������������
/////////////
/////////////
��������������������������
ttttttttttttttttttttt
��������������������������
tttttttttttttt�������������
JJJJJJJJJJJJJJJJJJJJJ
tttttttttttttt
JJJJJJJJJJJJJJ�������������
ttttttttttttttttttttt
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 178: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/178.jpg)
A remarkable fact
//////////////////////////
��������������������������
//////////////////////////
��������������������������
ttttttttttttttttttttt
��������������������������
tttttttttttttt�������������
JJJJJJJJJJJJJJJJJJJJJ
tttttttttttttt
JJJJJJJJJJJJJJ�������������
ttttttttttttttttttttt
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 179: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/179.jpg)
A remarkable fact
//////////////////////////
��������������������������
//////////////////////////
��������������������������
ttttttttttttttttttttt
��������������������������
tttttttttttttt
�������������
JJJJJJJJJJJJJJJJJJJJJ
tttttttttttttt
JJJJJJJJJJJJJJ�������������
ttttttttttttttttttttt
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 180: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/180.jpg)
A remarkable fact
//////////////////////////
��������������������������
//////////////////////////
��������������������������
ttttttttttttttttttttt
��������������������������
tttttttttttttt�������������
JJJJJJJJJJJJJJJJJJJJJ
tttttttttttttt
JJJJJJJJJJJJJJ�������������
ttttttttttttttttttttt
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 181: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/181.jpg)
A remarkable fact
//////////////////////////
��������������������������
//////////////////////////
��������������������������
ttttttttttttttttttttt
��������������������������
tttttttttttttt�������������
JJJJJJJJJJJJJJJJJJJJJ
tttttttttttttt
JJJJJJJJJJJJJJ
�������������
ttttttttttttttttttttt
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 182: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/182.jpg)
A remarkable fact
//////////////////////////
��������������������������
//////////////////////////
��������������������������
ttttttttttttttttttttt
��������������������������
tttttttttttttt�������������
JJJJJJJJJJJJJJJJJJJJJ
tttttttttttttt
JJJJJJJJJJJJJJ�������������
ttttttttttttttttttttt
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 183: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/183.jpg)
A remarkable fact
//////////////////////////
��������������������������
//////////////////////////
��������������������������
ttttttttttttttttttttt
��������������������������
tttttttttttttt�������������
JJJJJJJJJJJJJJJJJJJJJ
tttttttttttttt
JJJJJJJJJJJJJJ�������������
ttttttttttttttttttttt
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 184: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/184.jpg)
The overlapping theorem
You have visually seen a theorem we proved in general:
by overlapping the cones generated by the no broken bases oneobtains the entire decomposition into big cells!!
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 185: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/185.jpg)
The basis theorem
Theorem
A basis for RA,s/RA,s−1 over S[U] is given by
the classes of the elements∏
a∈b a−1 as b runsover the set of no broken bases.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 186: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/186.jpg)
The expansion of d−1A
Denote by NB the no broken bases extracted from A.
We have a more precise THEOREM.
d−1A =
∑b∈NB
pb∏a∈b
a−1, pb ∈ S[U] = C[∂
∂x1, . . . ,
∂
∂xs]
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 187: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/187.jpg)
EXAMPLE Courant element
ExampleUSE COORDINATES x , y SET
A = [x + y , x , y ] = [x , y ]
∣∣∣∣∣1 0 11 1 0
∣∣∣∣∣1
(x + y) x y =1
x (x + y)2 +1
y (x + y)2 =
− ∂
∂y( 1x (x + y)
)− ∂
∂x( 1y (x + y)
)
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 188: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/188.jpg)
EXAMPLE ZP element
Example
A = [x + y , x , y ,−x + y ] = [x , y ]
∣∣∣∣∣1 0 1 −11 1 0 1
∣∣∣∣∣1
(x + y) x y (−x + y)=
1x (x + y)3 +
4(x + y)3(−x + y)
− 1y (x + y)3 =
1/2[∂2
∂2y( 1x (x + y)
)+(
∂
∂x +∂
∂y )2( 1(x + y)(−x + y)
)− ∂2
∂2x( 1y (x + y)
)]
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 189: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/189.jpg)
We now need the basic inversion
Let X = {a1, . . . , an} be a basis,d := | det(a1, . . . , as)|χC(X) the characteristic function of the positive quadrant C(X )generated by X .
Basic example of inversion
L(d−1χC(X)) =n∏
i=1a−1
i
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 190: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/190.jpg)
We now need the basic inversion
Let X = {a1, . . . , an} be a basis,d := | det(a1, . . . , as)|χC(X) the characteristic function of the positive quadrant C(X )generated by X .
Basic example of inversion
L(d−1χC(X)) =n∏
i=1a−1
i
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 191: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/191.jpg)
We now need the basic inversion
Let X = {a1, . . . , an} be a basis,d := | det(a1, . . . , as)|χC(X) the characteristic function of the positive quadrant C(X )generated by X .
Basic example of inversion
L(d−1χC(X)) =n∏
i=1a−1
i
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 192: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/192.jpg)
We now need the basic inversion
Let X = {a1, . . . , an} be a basis,d := | det(a1, . . . , as)|χC(X) the characteristic function of the positive quadrant C(X )generated by X .
Basic example of inversion
L(d−1χC(X)) =n∏
i=1a−1
i
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 193: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/193.jpg)
We are ready to invert!
We want to invert
d−1A =
∑b∈NB
pb,A(∂
∂x1, . . . ,
∂
∂xs)∏a∈b
a−1
From the basic example and the properties!
We get ∑b∈NB
pb,A(−x1, . . . ,−xs)d−1b χC(b)
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 194: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/194.jpg)
We are ready to invert!
We want to invert
d−1A =
∑b∈NB
pb,A(∂
∂x1, . . . ,
∂
∂xs)∏a∈b
a−1
From the basic example and the properties!
We get ∑b∈NB
pb,A(−x1, . . . ,−xs)d−1b χC(b)
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 195: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/195.jpg)
EXAMPLE ZP element
Inverting
1/2[∂2
∂2y( 1x (x + y)
)+(
∂
∂x +∂
∂y )2( 1(x + y)(−x + y)
)− ∂2
∂2x( 1y (x + y)
)]
we get
1/2[y2χC((1,0),(1,1)) +(x + y)2
2 χC((1,1),(−1,1) − x2χC((0,1),(1,1))]
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 196: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/196.jpg)
The C 1 function TA, case ZP
A =
∣∣∣∣∣1 1 0 −11 0 1 1
∣∣∣∣∣//
OO ??�������
__???????
2TA is 0 outside the cone and on the three cells:
(x+y)2
2(x+y)2
2
−x2
0 y2
}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
??????????????????????????????????????????
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 197: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/197.jpg)
The C 1 function TA, case ZPthe associated cone C(A) has three big cells
//
OO ??�������
__???????
���������������������������������
?????????????????????????????????
2TA is 0
outside the cone and on the three cells:
(x+y)2
2(x+y)2
2
−x2
0 y2
}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
??????????????????????????????????????????
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 198: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/198.jpg)
The C 1 function TA, case ZP
2TA is 0 outside the cone and on the three cells:
(x+y)2
2(x+y)2
2
−x2
0 y2
}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
??????????????????????????????????????????
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 199: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/199.jpg)
GENERAL FORMULA
Given a point x in the closure of a big cell c we have
Jeffry-Kirwan residue formula
TA(x) =∑
b | c⊂C(b)
| det(b)|−1pb,A(−x).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 200: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/200.jpg)
I know of three methods to compute the polynomials pb,A(−x).1 Develop explicitly d−1
A by a recursive algorithm.2 Use a suitable system of differential equations which are
interpreted as linear equations on the polynomials.3 Compute them as residues at suitable points at infinity.
PROBLEM: Compare the three methods from the point of view ofefficiency of the algorithm.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 201: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/201.jpg)
I know of three methods to compute the polynomials pb,A(−x).1 Develop explicitly d−1
A by a recursive algorithm.2 Use a suitable system of differential equations which are
interpreted as linear equations on the polynomials.3 Compute them as residues at suitable points at infinity.
PROBLEM: Compare the three methods from the point of view ofefficiency of the algorithm.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 202: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/202.jpg)
I know of three methods to compute the polynomials pb,A(−x).1 Develop explicitly d−1
A by a recursive algorithm.2 Use a suitable system of differential equations which are
interpreted as linear equations on the polynomials.3 Compute them as residues at suitable points at infinity.
PROBLEM: Compare the three methods from the point of view ofefficiency of the algorithm.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 203: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/203.jpg)
I know of three methods to compute the polynomials pb,A(−x).1 Develop explicitly d−1
A by a recursive algorithm.2 Use a suitable system of differential equations which are
interpreted as linear equations on the polynomials.3 Compute them as residues at suitable points at infinity.
PROBLEM: Compare the three methods from the point of view ofefficiency of the algorithm.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 204: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/204.jpg)
I know of three methods to compute the polynomials pb,A(−x).1 Develop explicitly d−1
A by a recursive algorithm.2 Use a suitable system of differential equations which are
interpreted as linear equations on the polynomials.3 Compute them as residues at suitable points at infinity.
PROBLEM: Compare the three methods from the point of view ofefficiency of the algorithm.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 205: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/205.jpg)
I know of three methods to compute the polynomials pb,A(−x).1 Develop explicitly d−1
A by a recursive algorithm.2 Use a suitable system of differential equations which are
interpreted as linear equations on the polynomials.3 Compute them as residues at suitable points at infinity.
PROBLEM: Compare the three methods from the point of view ofefficiency of the algorithm.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 206: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/206.jpg)
The differential equations
We need a basic definition of combinatorial natureDefinitionWe say that a sublist Y ⊂ A is a cocircuit, if the elements inA− Y do not span V .
The basic differential operatorsFor such Y set DY :=
∏a∈Y Da, a differential operator with
constant coefficients.
(Da is directional derivative, first order operator)
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 207: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/207.jpg)
The differential equations
We need a basic definition of combinatorial natureDefinitionWe say that a sublist Y ⊂ A is a cocircuit, if the elements inA− Y do not span V .
The basic differential operatorsFor such Y set DY :=
∏a∈Y Da, a differential operator with
constant coefficients.
(Da is directional derivative, first order operator)
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 208: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/208.jpg)
For a given no broken circuit basis b, consider the elementDb :=
∏a/∈b Da.
Characterization by differential equationsThe polynomials pb,A are characterized by the differential equations
DY p = 0, ∀Y , a cocircuit in A
Dbpc,A(x1, . . . , xs) =
{1 if b = c0 if b 6= c
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 209: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/209.jpg)
For a given no broken circuit basis b, consider the elementDb :=
∏a/∈b Da.
Characterization by differential equationsThe polynomials pb,A are characterized by the differential equations
DY p = 0, ∀Y , a cocircuit in A
Dbpc,A(x1, . . . , xs) =
{1 if b = c0 if b 6= c
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 210: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/210.jpg)
For a given no broken circuit basis b, consider the elementDb :=
∏a/∈b Da.
Characterization by differential equationsThe polynomials pb,A are characterized by the differential equations
DY p = 0, ∀Y , a cocircuit in A
Dbpc,A(x1, . . . , xs) =
{1 if b = c0 if b 6= c
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 211: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/211.jpg)
The space D(A)
A remarkable space of polynomials
D(A) := {p |DY p = 0, ∀Y , a cocircuit in A}
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 212: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/212.jpg)
The theorem of Dhamen MicchellidimD(A) equals the total number of bases extracted from A
Recall the definitionsB(A) denotes the set of bases extracted from A.n(b) is the number of elements of A breaking b.
We have a more precise theorem
The polynomials pb,A form a basis for the topdegree part (m − n) of D(A).
The graded dimension of D(A) is given by
HA(q) =∑
b∈B(A)
qm−n(b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 213: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/213.jpg)
The theorem of Dhamen MicchellidimD(A) equals the total number of bases extracted from A
Recall the definitionsB(A) denotes the set of bases extracted from A.n(b) is the number of elements of A breaking b.
We have a more precise theorem
The polynomials pb,A form a basis for the topdegree part (m − n) of D(A).
The graded dimension of D(A) is given by
HA(q) =∑
b∈B(A)
qm−n(b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 214: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/214.jpg)
The theorem of Dhamen MicchellidimD(A) equals the total number of bases extracted from A
Recall the definitionsB(A) denotes the set of bases extracted from A.n(b) is the number of elements of A breaking b.
We have a more precise theorem
The polynomials pb,A form a basis for the topdegree part (m − n) of D(A).
The graded dimension of D(A) is given by
HA(q) =∑
b∈B(A)
qm−n(b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 215: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/215.jpg)
The theorem of Dhamen MicchellidimD(A) equals the total number of bases extracted from A
Recall the definitionsB(A) denotes the set of bases extracted from A.n(b) is the number of elements of A breaking b.
We have a more precise theorem
The polynomials pb,A form a basis for the topdegree part (m − n) of D(A).
The graded dimension of D(A) is given by
HA(q) =∑
b∈B(A)
qm−n(b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 216: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/216.jpg)
The theorem of Dhamen MicchellidimD(A) equals the total number of bases extracted from A
Recall the definitionsB(A) denotes the set of bases extracted from A.n(b) is the number of elements of A breaking b.
We have a more precise theorem
The polynomials pb,A form a basis for the topdegree part (m − n) of D(A).
The graded dimension of D(A) is given by
HA(q) =∑
b∈B(A)
qm−n(b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 217: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/217.jpg)
For A3 we get
The graded dimension is:
6q3 + 6q2 + 3q + 1
Remark that for all polynomials in three variables it is:
. . .+ 10q3 + 6q2 + 3q + 1
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 218: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/218.jpg)
A commutative algebra
By standard duality the previous theorems amount to study thequotient of the symmetric algebra S[V ] by the graded ideal
IA generated by all products∏
a∈Y a, Y ∈ E(A)
as Y varies over the cocircuits.
BASIC THEOREMThe graded algebra S[V ]/IA is finite dimensional of gradeddimension:
HA(q) =∑
b∈B(A)
qm−n(b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 219: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/219.jpg)
A commutative algebra
By standard duality the previous theorems amount to study thequotient of the symmetric algebra S[V ] by the graded ideal
IA generated by all products∏
a∈Y a, Y ∈ E(A)
as Y varies over the cocircuits.
BASIC THEOREMThe graded algebra S[V ]/IA is finite dimensional of gradeddimension:
HA(q) =∑
b∈B(A)
qm−n(b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 220: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/220.jpg)
Connection with non commutative object
IA is the annihilator ideal of the class of d−1A in the W (V ) module
RA,n/RA,n−1 thought of just as S[V ] module.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 221: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/221.jpg)
THE DISCRETE CASE
We pass to integral vectors and the partition function.Denote by Λ the integral lattice.It is convenient to think of a function f on Λ as the
distribution
∑λ∈Λ
f (λ)δλ. with Laplace transform ∑λ∈Λ
f (λ)e−λ.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 222: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/222.jpg)
THE DISCRETE CASE
We pass to integral vectors and the partition function.Denote by Λ the integral lattice.It is convenient to think of a function f on Λ as the
distribution
∑λ∈Λ
f (λ)δλ. with Laplace transform ∑λ∈Λ
f (λ)e−λ.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 223: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/223.jpg)
THE DISCRETE CASE
We pass to integral vectors and the partition function.Denote by Λ the integral lattice.It is convenient to think of a function f on Λ as the
distribution
∑λ∈Λ
f (λ)δλ. with Laplace transform ∑λ∈Λ
f (λ)e−λ.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 224: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/224.jpg)
The partition function
In particular for the partition function
PA(b) = #{t1, . . . , tm ∈ N |m∑
i=1tiai = b}
An easy computation gives its Laplace transform:
For the partitiondistribution
PA =∑λ∈Λ
PA(b)δbwe have LPA =
∏a∈A
1(1− e−a)
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 225: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/225.jpg)
The partition function
In particular for the partition function
PA(b) = #{t1, . . . , tm ∈ N |m∑
i=1tiai = b}
An easy computation gives its Laplace transform:
For the partitiondistribution
PA =∑λ∈Λ
PA(b)δbwe have LPA =
∏a∈A
1(1− e−a)
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 226: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/226.jpg)
THE FINAL FORMULA
There is a parallel theory, as a result we can compute a set ofpolynomials qb,φ(−x) indexed by pairs, a character φ of finiteorder and a no broken basis in Aφ = {a ∈ A |φ(ea) = 1}.The analogue of the Jeffrey–Kirwan formula is:
TheoremGiven a point x in the closure of a big cell c we have
Residue formula for partition function
PA(x) =∑
φ∈P(A)
eφ∑
b∈NBAφ| c⊂C(b)
qb,φ(−x)
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 227: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/227.jpg)
THE FINAL FORMULA
There is a parallel theory, as a result we can compute a set ofpolynomials qb,φ(−x) indexed by pairs, a character φ of finiteorder and a no broken basis in Aφ = {a ∈ A |φ(ea) = 1}.The analogue of the Jeffrey–Kirwan formula is:
TheoremGiven a point x in the closure of a big cell c we have
Residue formula for partition function
PA(x) =∑
φ∈P(A)
eφ∑
b∈NBAφ| c⊂C(b)
qb,φ(−x)
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 228: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/228.jpg)
OTHER BASIC NON COMMUTATIVE ALGEBRAS
The periodic Weyl algebras W (U) and W#(Λ)
W (U) the algebra of differential operators on U with coefficientsexponential functions eλ, λ ∈ Λ.
W#(Λ) the algebra of difference operators with polynomialcoefficients on Λ.
Fourier transformThere is an algebraic Fourier isomorphism between W (U) andW#(Λ), so any W (U) module M becomes a W#(Λ) module M
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 229: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/229.jpg)
OTHER BASIC NON COMMUTATIVE ALGEBRAS
The periodic Weyl algebras W (U) and W#(Λ)
W (U) the algebra of differential operators on U with coefficientsexponential functions eλ, λ ∈ Λ.
W#(Λ) the algebra of difference operators with polynomialcoefficients on Λ.
Fourier transformThere is an algebraic Fourier isomorphism between W (U) andW#(Λ), so any W (U) module M becomes a W#(Λ) module M
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 230: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/230.jpg)
OTHER BASIC NON COMMUTATIVE ALGEBRAS
The periodic Weyl algebras W (U) and W#(Λ)
W (U) the algebra of differential operators on U with coefficientsexponential functions eλ, λ ∈ Λ.
W#(Λ) the algebra of difference operators with polynomialcoefficients on Λ.
Fourier transformThere is an algebraic Fourier isomorphism between W (U) andW#(Λ), so any W (U) module M becomes a W#(Λ) module M
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 231: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/231.jpg)
D−modules in Fourier duality:
Two modules Fourier isomorphic
1. The W#−module D#A := W#(Λ)PA generated, in the space of
tempered distributions, by the partition distribution PA.
2. The W (U) module SA = W (U)u−1A generated in the space of
functions by u−1A :=
∏a∈A(1− e−a)−1.
Fact!SA = C[Λ][
∏a∈A(1− e−a)−1] is the algebra obtained from the
character ring C[Λ] by inverting uA :=∏
a∈A(1− e−a).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 232: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/232.jpg)
D−modules in Fourier duality:
Two modules Fourier isomorphic
1. The W#−module D#A := W#(Λ)PA generated, in the space of
tempered distributions, by the partition distribution PA.
2. The W (U) module SA = W (U)u−1A generated in the space of
functions by u−1A :=
∏a∈A(1− e−a)−1.
Fact!SA = C[Λ][
∏a∈A(1− e−a)−1] is the algebra obtained from the
character ring C[Λ] by inverting uA :=∏
a∈A(1− e−a).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 233: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/233.jpg)
D−modules in Fourier duality:
Two modules Fourier isomorphic
1. The W#−module D#A := W#(Λ)PA generated, in the space of
tempered distributions, by the partition distribution PA.
2. The W (U) module SA = W (U)u−1A generated in the space of
functions by u−1A :=
∏a∈A(1− e−a)−1.
Fact!SA = C[Λ][
∏a∈A(1− e−a)−1] is the algebra obtained from the
character ring C[Λ] by inverting uA :=∏
a∈A(1− e−a).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 234: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/234.jpg)
TheoremSA = W (U)u−1
AUnder Laplace transform, L(PA) = u−1
A andD#
A is mapped isomorphically onto SA as W (U)-modules.
D#A is the space of tempered distributions which are linear
combinations of polynomial functions on the cones C(B) ∩ Λ,B ⊂ A a linearly independent subset and their distributionalderivatives.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 235: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/235.jpg)
TheoremSA = W (U)u−1
AUnder Laplace transform, L(PA) = u−1
A andD#
A is mapped isomorphically onto SA as W (U)-modules.
D#A is the space of tempered distributions which are linear
combinations of polynomial functions on the cones C(B) ∩ Λ,B ⊂ A a linearly independent subset and their distributionalderivatives.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 236: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/236.jpg)
TheoremSA = W (U)u−1
AUnder Laplace transform, L(PA) = u−1
A andD#
A is mapped isomorphically onto SA as W (U)-modules.
D#A is the space of tempered distributions which are linear
combinations of polynomial functions on the cones C(B) ∩ Λ,B ⊂ A a linearly independent subset and their distributionalderivatives.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 237: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/237.jpg)
TheoremSA = W (U)u−1
AUnder Laplace transform, L(PA) = u−1
A andD#
A is mapped isomorphically onto SA as W (U)-modules.
D#A is the space of tempered distributions which are linear
combinations of polynomial functions on the cones C(B) ∩ Λ,B ⊂ A a linearly independent subset and their distributionalderivatives.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 238: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/238.jpg)
TheoremSA = W (U)u−1
AUnder Laplace transform, L(PA) = u−1
A andD#
A is mapped isomorphically onto SA as W (U)-modules.
D#A is the space of tempered distributions which are linear
combinations of polynomial functions on the cones C(B) ∩ Λ,B ⊂ A a linearly independent subset and their distributionalderivatives.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 239: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/239.jpg)
The toric arrangement
The toric arrangement
T the torus of character group Λ
SA = C[Λ][u−1A ] is the coordinate ring of the open set TA ⊂ T
complement of the union of the subgroups of T of equationsea = 1, a ∈ A.
SA is a cyclic module under W#(U) generated by u−1A .
The elements of the toric arrangementare the connected components of all the intersections of thesubgroups ea = 1, a ∈ A.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 240: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/240.jpg)
The toric arrangement
The toric arrangement
T the torus of character group Λ
SA = C[Λ][u−1A ] is the coordinate ring of the open set TA ⊂ T
complement of the union of the subgroups of T of equationsea = 1, a ∈ A.
SA is a cyclic module under W#(U) generated by u−1A .
The elements of the toric arrangementare the connected components of all the intersections of thesubgroups ea = 1, a ∈ A.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 241: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/241.jpg)
The toric arrangement
The toric arrangement
T the torus of character group Λ
SA = C[Λ][u−1A ] is the coordinate ring of the open set TA ⊂ T
complement of the union of the subgroups of T of equationsea = 1, a ∈ A.
SA is a cyclic module under W#(U) generated by u−1A .
The elements of the toric arrangementare the connected components of all the intersections of thesubgroups ea = 1, a ∈ A.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 242: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/242.jpg)
The toric arrangement
The toric arrangement
T the torus of character group Λ
SA = C[Λ][u−1A ] is the coordinate ring of the open set TA ⊂ T
complement of the union of the subgroups of T of equationsea = 1, a ∈ A.
SA is a cyclic module under W#(U) generated by u−1A .
The elements of the toric arrangementare the connected components of all the intersections of thesubgroups ea = 1, a ∈ A.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 243: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/243.jpg)
Given a basis b extracted from A, consider the lattice Λb ⊂ Λ thatit generates in Λ.
We have that Λ/Λb is a finite group of order [Λ : Λb] = | det(b)|.
Its character group is the finite subgroup T (b) of T which is theintersection of the kernels of the functions ea as a ∈ b.
We now define the
points of the arrangement
P(A) := ∪b∈B(A)T (b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 244: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/244.jpg)
Given a basis b extracted from A, consider the lattice Λb ⊂ Λ thatit generates in Λ.
We have that Λ/Λb is a finite group of order [Λ : Λb] = | det(b)|.
Its character group is the finite subgroup T (b) of T which is theintersection of the kernels of the functions ea as a ∈ b.
We now define the
points of the arrangement
P(A) := ∪b∈B(A)T (b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 245: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/245.jpg)
Given a basis b extracted from A, consider the lattice Λb ⊂ Λ thatit generates in Λ.
We have that Λ/Λb is a finite group of order [Λ : Λb] = | det(b)|.
Its character group is the finite subgroup T (b) of T which is theintersection of the kernels of the functions ea as a ∈ b.
We now define the
points of the arrangement
P(A) := ∪b∈B(A)T (b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 246: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/246.jpg)
Given a basis b extracted from A, consider the lattice Λb ⊂ Λ thatit generates in Λ.
We have that Λ/Λb is a finite group of order [Λ : Λb] = | det(b)|.
Its character group is the finite subgroup T (b) of T which is theintersection of the kernels of the functions ea as a ∈ b.
We now define the
points of the arrangement
P(A) := ∪b∈B(A)T (b).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 247: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/247.jpg)
THE FILTRATION
We have as for hyperplanes a filtration by polar orders on SA.
Each graded piece is semisimple.The isopypic components appearing in grade k correspond to theconnected components of the toric arrangement of codimension k
For the top part SA,n/SA,n−1 we have a sum over thepoints of the arrangement P(A).
The isotypic component associated to a point eφ decomposes asdirect sum of irreducibles indexed by the no broken bases in
Aφ := {a ∈ A | e〈a |φ〉 = 1}.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 248: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/248.jpg)
THE FILTRATION
We have as for hyperplanes a filtration by polar orders on SA.
Each graded piece is semisimple.The isopypic components appearing in grade k correspond to theconnected components of the toric arrangement of codimension k
For the top part SA,n/SA,n−1 we have a sum over thepoints of the arrangement P(A).
The isotypic component associated to a point eφ decomposes asdirect sum of irreducibles indexed by the no broken bases in
Aφ := {a ∈ A | e〈a |φ〉 = 1}.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 249: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/249.jpg)
THE FILTRATION
We have as for hyperplanes a filtration by polar orders on SA.
Each graded piece is semisimple.The isopypic components appearing in grade k correspond to theconnected components of the toric arrangement of codimension k
For the top part SA,n/SA,n−1 we have a sum over thepoints of the arrangement P(A).
The isotypic component associated to a point eφ decomposes asdirect sum of irreducibles indexed by the no broken bases in
Aφ := {a ∈ A | e〈a |φ〉 = 1}.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 250: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/250.jpg)
THE FILTRATION
We have as for hyperplanes a filtration by polar orders on SA.
Each graded piece is semisimple.The isopypic components appearing in grade k correspond to theconnected components of the toric arrangement of codimension k
For the top part SA,n/SA,n−1 we have a sum over thepoints of the arrangement P(A).
The isotypic component associated to a point eφ decomposes asdirect sum of irreducibles indexed by the no broken bases in
Aφ := {a ∈ A | e〈a |φ〉 = 1}.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 251: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/251.jpg)
The previous formula shows in particular, that the partitionfunction is on each cell a
Local structure of PA
LINEAR COMBINATION OFPOLYNOMIALS TIMEPERIODIC EXPONENTIALS.
Such a function is called aQUASI POLINOMIAL
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 252: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/252.jpg)
Basic equations
As for the case of the multivariate spline:The quasi polynomials appearing in the formula for PA satisfy
special difference equations
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 253: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/253.jpg)
DIFFERENCE OPERATORS
For a ∈ Λ and f a function on Λ we define the the
difference operator:
∇af (x) = f (x)− f (x − a), ∇a = 1− τa.
ExampleAs special functions we have the characters, eigenvectors ofdifference operators.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 254: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/254.jpg)
DIFFERENCE EQUATIONS
Parallel to the study of D(A), one can study thesystem of difference equations
∇Y f = 0, where ∇Y :=∏
v∈Y ∇v
as Y ∈ E(A) runs over the cocircuits.
Let us denote the space of solutions by:
∇(A) := {f : Λ→ C, | ∇Y (f ) = 0, ∀Y ∈ E(A)}.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 255: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/255.jpg)
DIFFERENCE EQUATIONS
Parallel to the study of D(A), one can study thesystem of difference equations
∇Y f = 0, where ∇Y :=∏
v∈Y ∇v
as Y ∈ E(A) runs over the cocircuits.
Let us denote the space of solutions by:
∇(A) := {f : Λ→ C, | ∇Y (f ) = 0, ∀Y ∈ E(A)}.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 256: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/256.jpg)
The equations ∇Y f = 0 via commutative algebra.
The ideal JA
The products NY :=∏
v∈Y (1− e−v ) as Y runsover the cocircuits in A, generate an idealJA ⊂ C[Λ]
DualityThe space of functions ∇(A), which we want todescribe, is the dual of C[Λ]/JA.
Finite dimensionThis space is finite dimensional its dimension is aweighted analogue δ(A) of d(A) (numberof elements of B(A) the bases extracted from A).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 257: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/257.jpg)
The equations ∇Y f = 0 via commutative algebra.
The ideal JA
The products NY :=∏
v∈Y (1− e−v ) as Y runsover the cocircuits in A, generate an idealJA ⊂ C[Λ]
DualityThe space of functions ∇(A), which we want todescribe, is the dual of C[Λ]/JA.
Finite dimensionThis space is finite dimensional its dimension is aweighted analogue δ(A) of d(A) (numberof elements of B(A) the bases extracted from A).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 258: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/258.jpg)
The equations ∇Y f = 0 via commutative algebra.
The ideal JA
The products NY :=∏
v∈Y (1− e−v ) as Y runsover the cocircuits in A, generate an idealJA ⊂ C[Λ]
DualityThe space of functions ∇(A), which we want todescribe, is the dual of C[Λ]/JA.
Finite dimensionThis space is finite dimensional its dimension is aweighted analogue δ(A) of d(A) (numberof elements of B(A) the bases extracted from A).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 259: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/259.jpg)
Weighted dimension
δ(A) :=∑
b∈B(A)
| det(b)|.
This formula has a strict connection with the paving of the box.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 260: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/260.jpg)
ExampleLet us take
A =
∣∣∣∣∣0 1 1 −11 0 1 1
∣∣∣∣∣
See thatδ(A) = 1+1+1+1+1+2 = 7is the number of points inwhich the box B(A), shiftedgenerically a little, intersectsthe lattice!
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 261: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/261.jpg)
LemmaThe variety defined by the ideal JA isP(A) the finite set of points of the arrangement.
Now by elementary commutative algebra we know that
C[Λ]/JA = ⊕eφ∈P(A)C[Λ]/JA(φ)
where C[Λ]/JA(φ) is its localization at eφ.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 262: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/262.jpg)
FROM DIFFERENCE TO DIFFERENTIALEQUATIONS
logarithm isomorphismThere is a formal machinery which allows us to interpret, locallyaround a point, difference equations as restriction to the lattice ofdifferential equations, we call it the
logarithm isomorphism
We have this for any moduleover the periodic Weyl algebraC[ ∂
∂xi, exi ] as soon as for
algebraic reasons (nilpotency)we can deduce from the actionof exi also an action of xi .
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 263: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/263.jpg)
Recall we had the ideal IA spanned by∏
a∈Y a, Y ∈ E(A)cocircuits.
TheoremUnder the logarithm isomorphism C[Λ]/JA(φ) becomes isomorphicto the ring RAφ
:= S[V ]/IAφ. Thus:
C[Λ]/JA ∼= ⊕eφ∈P(A)RAφ.
In particular dim(C[Λ]/JA) = δ(A).
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 264: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/264.jpg)
From volumes to partition functions
TheoremGiven a point x in the closure of a big cell c we have
PA(x) =∑
φ∈P(A)
Qφ(eφ
∑b∈NBAφ
| c⊂C(b)
pb,Aφ(−x)
).
Qφ =∏
a/∈Aφ
11− e−a
∏a∈Aφ
a − 〈φ | a〉1− e−a+〈φ | a〉
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 265: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/265.jpg)
SUMMARIZING
Given a list of vectors A.
We have the two functions TA,BA.TA is supported on the cone C(A) and coincides on each bigcell with a homogeneous polynomial in the space D(A)defined by the differential equations DY f = 0, Y ∈ E(A).The space D(A) has as dimension the number d(A) of basesextracted from A.There are explicit formulas to compute TA on each cell.BA is deduced from TA.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 266: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/266.jpg)
SUMMARIZING
Given a list of vectors A.
We have the two functions TA,BA.TA is supported on the cone C(A) and coincides on each bigcell with a homogeneous polynomial in the space D(A)defined by the differential equations DY f = 0, Y ∈ E(A).The space D(A) has as dimension the number d(A) of basesextracted from A.There are explicit formulas to compute TA on each cell.BA is deduced from TA.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 267: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/267.jpg)
SUMMARIZING
Given a list of vectors A.
We have the two functions TA,BA.TA is supported on the cone C(A) and coincides on each bigcell with a homogeneous polynomial in the space D(A)defined by the differential equations DY f = 0, Y ∈ E(A).The space D(A) has as dimension the number d(A) of basesextracted from A.There are explicit formulas to compute TA on each cell.BA is deduced from TA.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 268: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/268.jpg)
SUMMARIZING
Given a list of vectors A.
We have the two functions TA,BA.TA is supported on the cone C(A) and coincides on each bigcell with a homogeneous polynomial in the space D(A)defined by the differential equations DY f = 0, Y ∈ E(A).The space D(A) has as dimension the number d(A) of basesextracted from A.There are explicit formulas to compute TA on each cell.BA is deduced from TA.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 269: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/269.jpg)
SUMMARIZING
Given a list of vectors A.
We have the two functions TA,BA.TA is supported on the cone C(A) and coincides on each bigcell with a homogeneous polynomial in the space D(A)defined by the differential equations DY f = 0, Y ∈ E(A).The space D(A) has as dimension the number d(A) of basesextracted from A.There are explicit formulas to compute TA on each cell.BA is deduced from TA.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 270: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/270.jpg)
When A is in a lattice we have the partition function PA.
PA is supported on the intersection of the lattice with thecone C(A) and coincides on each big cell with a quasipolynomial in the space ∇(A) defined by the differenceequations ∇Y f = 0, Y ∈ E(A).The space ∇(A) has as dimension δ(A) the weighted numberof bases extracted from A.There are explicit formulas to compute PA on each cell.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 271: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/271.jpg)
When A is in a lattice we have the partition function PA.
PA is supported on the intersection of the lattice with thecone C(A) and coincides on each big cell with a quasipolynomial in the space ∇(A) defined by the differenceequations ∇Y f = 0, Y ∈ E(A).The space ∇(A) has as dimension δ(A) the weighted numberof bases extracted from A.There are explicit formulas to compute PA on each cell.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 272: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/272.jpg)
When A is in a lattice we have the partition function PA.
PA is supported on the intersection of the lattice with thecone C(A) and coincides on each big cell with a quasipolynomial in the space ∇(A) defined by the differenceequations ∇Y f = 0, Y ∈ E(A).The space ∇(A) has as dimension δ(A) the weighted numberof bases extracted from A.There are explicit formulas to compute PA on each cell.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 273: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/273.jpg)
When A is in a lattice we have the partition function PA.
PA is supported on the intersection of the lattice with thecone C(A) and coincides on each big cell with a quasipolynomial in the space ∇(A) defined by the differenceequations ∇Y f = 0, Y ∈ E(A).The space ∇(A) has as dimension δ(A) the weighted numberof bases extracted from A.There are explicit formulas to compute PA on each cell.
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 274: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/274.jpg)
We have shown that there are interesting constructions incommutative and non commutative algebra associated to the studyof these functions.
Beyond this into algebraic geometryThere is a very efficient approach to computations byresidue at points at infinity in the wonderful compactificationof the associated hyperplane arrangement.This requires another talk!!!
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 275: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/275.jpg)
We have shown that there are interesting constructions incommutative and non commutative algebra associated to the studyof these functions.
Beyond this into algebraic geometryThere is a very efficient approach to computations byresidue at points at infinity in the wonderful compactificationof the associated hyperplane arrangement.This requires another talk!!!
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 276: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/276.jpg)
We have shown that there are interesting constructions incommutative and non commutative algebra associated to the studyof these functions.
Beyond this into algebraic geometryThere is a very efficient approach to computations byresidue at points at infinity in the wonderful compactificationof the associated hyperplane arrangement.This requires another talk!!!
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 277: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/277.jpg)
A particularly interesting case is when we take for A the list ofpositive roots of a root system, or multiples of this list. In this caseone has applications to Clebsh–Gordan coefficients.
THE END
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 278: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/278.jpg)
A particularly interesting case is when we take for A the list ofpositive roots of a root system, or multiples of this list. In this caseone has applications to Clebsh–Gordan coefficients.
THE END
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 279: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/279.jpg)
A particularly interesting case is when we take for A the list ofpositive roots of a root system, or multiples of this list. In this caseone has applications to Clebsh–Gordan coefficients.
THE END
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 280: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/280.jpg)
A particularly interesting case is when we take for A the list ofpositive roots of a root system, or multiples of this list. In this caseone has applications to Clebsh–Gordan coefficients.
THE END
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 281: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/281.jpg)
A particularly interesting case is when we take for A the list ofpositive roots of a root system, or multiples of this list. In this caseone has applications to Clebsh–Gordan coefficients.
THE END
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 282: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/282.jpg)
A particularly interesting case is when we take for A the list ofpositive roots of a root system, or multiples of this list. In this caseone has applications to Clebsh–Gordan coefficients.
THE END
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 283: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/283.jpg)
A particularly interesting case is when we take for A the list ofpositive roots of a root system, or multiples of this list. In this caseone has applications to Clebsh–Gordan coefficients.
THE END
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 284: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/284.jpg)
A particularly interesting case is when we take for A the list ofpositive roots of a root system, or multiples of this list. In this caseone has applications to Clebsh–Gordan coefficients.
THE END
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 285: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/285.jpg)
A particularly interesting case is when we take for A the list ofpositive roots of a root system, or multiples of this list. In this caseone has applications to Clebsh–Gordan coefficients.
THE END
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines
![Page 286: The algebra of the box spline - CIMPA · Thealgebraofthebox–spline ClaudioProcesi. Hanoi,January2011 Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines](https://reader030.fdocuments.in/reader030/viewer/2022040723/5e34609179f75d09e14351d4/html5/thumbnails/286.jpg)
A particularly interesting case is when we take for A the list ofpositive roots of a root system, or multiples of this list. In this caseone has applications to Clebsh–Gordan coefficients.
THE END
Claudio Procesi. Topics in Hyperplane Arrangements, Polytopes and Box-Splines