Showing 1–22 of 22 results for author: Postinghel, E

Nonvanishing and Abundance for cones of movable divisors

Authors: Gilberto Bini, Maria Chiara Brambilla, Claudio Fontanari, Elisa Postinghel

Abstract: Let $\overline{\mathrm{Mov}}^k(X)$ be the closure of the cone $\mathrm{Mov}^k(X)$ generated by classes of effective divisors on a projective variety $X$ with stable base locus of codimension at least $k+1$. We propose a generalized version of the Log Nonvanishing Conjecture and of the Log Abundance Conjecture for a klt pair $(X,Δ)$, that is: if $K_X+Δ\in \overline{\mathrm{Mov}}^{k}(X)$, then… ▽ More Let $\overline{\mathrm{Mov}}^k(X)$ be the closure of the cone $\mathrm{Mov}^k(X)$ generated by classes of effective divisors on a projective variety $X$ with stable base locus of codimension at least $k+1$. We propose a generalized version of the Log Nonvanishing Conjecture and of the Log Abundance Conjecture for a klt pair $(X,Δ)$, that is: if $K_X+Δ\in \overline{\mathrm{Mov}}^{k}(X)$, then $K_X+Δ\in \mathrm{Mov}^{k}(X)$. Moreover, we prove that if the Log Minimal Model Program, the Log Nonvanishing, and the Log Abundance hold, then so does our conjecture. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 4 pages, comments welcome

Duality and polyhedrality of cones for Mori dream spaces

Authors: Maria Chiara Brambilla, Olivia Dumitrescu, Elisa Postinghel, Luis José Santana Sánchez

Abstract: Our goal is twofold. On one hand we show that the cones of divisors ample in codimension $k$ on a Mori dream space are rational polyhedral. On the other hand we study the duality between such cones and the cones of $k$-moving curves by means of the Mori chamber decomposition of the former. We give a new proof of the weak duality property (already proved by Payne and Choi) and we exhibit an interes… ▽ More Our goal is twofold. On one hand we show that the cones of divisors ample in codimension $k$ on a Mori dream space are rational polyhedral. On the other hand we study the duality between such cones and the cones of $k$-moving curves by means of the Mori chamber decomposition of the former. We give a new proof of the weak duality property (already proved by Payne and Choi) and we exhibit an interesting family of examples for which strong duality holds. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: 20 pages, 1 figure

MSC Class: Primary: 14C20 Secondary: 14E05; 14E30; 14J45

Waring identifiability for powers of forms via degenerations

Authors: Alex Casarotti, Elisa Postinghel

Abstract: We discuss an approach to the secant non-defectivity of the varieties parametrizing $k$-th powers of forms of degree $d$. It employs a Terracini type argument along with certain degeneration arguments, some of which are based on toric geometry. This implies a result on the identifiability of the Waring decompositions of general forms of degree kd as a sum of $k$-th powers of degree $d$ forms, for… ▽ More We discuss an approach to the secant non-defectivity of the varieties parametrizing $k$-th powers of forms of degree $d$. It employs a Terracini type argument along with certain degeneration arguments, some of which are based on toric geometry. This implies a result on the identifiability of the Waring decompositions of general forms of degree kd as a sum of $k$-th powers of degree $d$ forms, for which an upper bound on the Waring rank was proposed by Fröberg, Ottaviani and Shapiro. △ Less

Submitted 23 November, 2023; v1 submitted 12 January, 2023; originally announced January 2023.

Comments: 26 pages, 2 figures. Final version. Accepted for publication in Proceedings of the London Mathematical Society

MSC Class: 14N07; 14C20; 14D06; 14M25

On linear systems with multiple points on a rational normal curve

Authors: Antonio Laface, Elisa Postinghel, Luis José Santana Sánchez

Abstract: We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: linear spans of points, secant varietie… ▽ More We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: linear spans of points, secant varieties of the rational normal curve or joins between them. △ Less

Submitted 9 May, 2022; originally announced May 2022.

Comments: 35 pages

MSC Class: 14C20; 14J70; 14J17

Log Fano blowups of mixed products of projective spaces and their effective cones

Authors: Tim Grange, Elisa Postinghel, Artie Prendergast-Smith

Abstract: We compute the cones of effective divisors on blowups of $\mathbb{P}^1 \times \mathbb{P}^2$ and $\mathbb{P}^1 \times \mathbb{P}^3$ in up to 6 points. We also show that all these varieties are log Fano, giving a conceptual explanation for the fact that all the cones we compute are rational polyhedral. We compute the cones of effective divisors on blowups of $\mathbb{P}^1 \times \mathbb{P}^2$ and $\mathbb{P}^1 \times \mathbb{P}^3$ in up to 6 points. We also show that all these varieties are log Fano, giving a conceptual explanation for the fact that all the cones we compute are rational polyhedral. △ Less

Submitted 26 April, 2022; v1 submitted 8 September, 2021; originally announced September 2021.

Comments: 49 pages + ancillary Normaliz files; v2: added Lemma 3.12 and corrected the statement of Theorem 3.16. Accepted for publication in Rev. Mat. Complut

MSC Class: 14C20; 14J45; 14J70

Weyl cycles on the blow-up of $\mathbb{P}^4$ at eight points

Authors: Maria Chiara Brambilla, Olivia Dumitrescu, Elisa Postinghel

Abstract: We define the Weyl cycles on $X^n_s$, the blown up projective space $\mathbb{P}^n$ in $s$ points in general position. In particular, we focus on the Mori Dream spaces $X^3_7$ and $X^{4}_{8}$, where we classify all the Weyl cycles of codimension two. We further introduce the Weyl expected dimension for the space of the global sections of any effective divisor that generalizes the linear expected di… ▽ More We define the Weyl cycles on $X^n_s$, the blown up projective space $\mathbb{P}^n$ in $s$ points in general position. In particular, we focus on the Mori Dream spaces $X^3_7$ and $X^{4}_{8}$, where we classify all the Weyl cycles of codimension two. We further introduce the Weyl expected dimension for the space of the global sections of any effective divisor that generalizes the linear expected dimension and the secant expected dimension. △ Less

Submitted 5 May, 2023; v1 submitted 15 March, 2021; originally announced March 2021.

Comments: Final version, published in The Art of Doing Algebraic Geometry. Trends in Mathematics. Birkhauser, Cham (2023)

On Strassen's rank additivity for small three-way tensors

Authors: Jarosław Buczyński, Elisa Postinghel, Filip Rupniewski

Abstract: We address the problem of the additivity of the tensor rank. That is for two independent tensors we study if the rank of their direct sum is equal to the sum of their individual ranks. A positive answer to this problem was previously known as Strassen's conjecture until recent counterexamples were proposed by Shitov. The latter are not very explicit, and they are only known to exist asymptotically… ▽ More We address the problem of the additivity of the tensor rank. That is for two independent tensors we study if the rank of their direct sum is equal to the sum of their individual ranks. A positive answer to this problem was previously known as Strassen's conjecture until recent counterexamples were proposed by Shitov. The latter are not very explicit, and they are only known to exist asymptotically for very large tensor spaces. In this article we prove that for some small three-way tensors the additivity holds. For instance, if the rank of one of the tensors is at most 6, then the additivity holds. Or, if one of the tensors lives in $C^k \otimes C^3 \otimes C^3$ for any $k$, then the additivity also holds. More generally, if one of the tensors is concise and its rank is at most 2 more than the dimension of one of the linear spaces, then additivity holds. In addition we also treat some cases of the additivity of border rank of such tensors. In particular, we show that the additivity of the border rank holds if the direct sum tensor is contained in $C^4 \otimes C^4 \otimes C^4$. Some of our results are valid over an arbitrary base field. △ Less

Submitted 4 August, 2019; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: 21 pages, 1 figure, accepted for publication in the SIAM Journal on Matrix Analysis and Applications (SIMAX)

MSC Class: 15A69 (Primary) 14M17; 68W30; 15A03 (Secondary)

Positivity of divisors on blown-up projective spaces, II

Authors: Olivia Dumitrescu, Elisa Postinghel

Abstract: We construct log resolutions of pairs on the blow-up of the projective space in an arbitrary number of general points and we discuss the semi-ampleness of the strict transforms. As an application we prove that the abundance conjecture holds for an infinite family of such pairs. For $n+2$ points, these strict transforms are F-nef divisors on the moduli space $\overline{\mathcal{M}}_{0,n+3}$ in a Ka… ▽ More We construct log resolutions of pairs on the blow-up of the projective space in an arbitrary number of general points and we discuss the semi-ampleness of the strict transforms. As an application we prove that the abundance conjecture holds for an infinite family of such pairs. For $n+2$ points, these strict transforms are F-nef divisors on the moduli space $\overline{\mathcal{M}}_{0,n+3}$ in a Kapranov's model: we show that all of them are nef. △ Less

Submitted 4 April, 2019; v1 submitted 14 September, 2017; originally announced September 2017.

Comments: Journal of Algebra

MSC Class: 14C20 (Primary) 14C17; 14J70 (Secondary)

Newton-Okounkov bodies and Toric Degenerations of Mori dream spaces via Tropical compactifications

Authors: Elisa Postinghel, Stefano Urbinati

Abstract: Given a smooth Mori dream space $X$ we construct a model dominating all the small $\mathbb{Q}$-factorial modifications via tropicalization. This construction allows us to recover a Minkowski basis for the Newton-Okounkov bodies of divisors on $X$ and hence the movable cone of $X$. The existence of such basis allows us to prove the polyhedrality of the global Newton-Okounkov body and the existence… ▽ More Given a smooth Mori dream space $X$ we construct a model dominating all the small $\mathbb{Q}$-factorial modifications via tropicalization. This construction allows us to recover a Minkowski basis for the Newton-Okounkov bodies of divisors on $X$ and hence the movable cone of $X$. The existence of such basis allows us to prove the polyhedrality of the global Newton-Okounkov body and the existence of toric degenerations. △ Less

Submitted 25 January, 2018; v1 submitted 12 December, 2016; originally announced December 2016.

Comments: 18 pages, new version

Cones of effective divisors on the blown-up P^3 in general lines

Authors: Olivia Dumitrescu, Elisa Postinghel, Stefano Urbinati

Abstract: We compute the facets of the effective cones of divisors on the blow-up of P^3 in up to five lines in general position. We prove that up to six lines these threefolds are weak Fano and hence Mori Dream Spaces. We compute the facets of the effective cones of divisors on the blow-up of P^3 in up to five lines in general position. We prove that up to six lines these threefolds are weak Fano and hence Mori Dream Spaces. △ Less

Submitted 20 April, 2016; v1 submitted 30 December, 2015; originally announced December 2015.

Comments: Second version, accepted for publication to the special issue "Recent advances in Linear series and Newton-Okounkov bodies" of the "Rendiconti di Palermo" as proceedings of the workshop in Padua, February 2015

Positivity of divisors on blown-up projective spaces, I

Authors: Olivia Dumitrescu, Elisa Postinghel

Abstract: We study $l$-very ample, ample and semi-ample divisors on the blown-up projective space $\mathbb{P}^n$ in a collection of points in general position. We establish Fujita's conjectures for all ample divisors with the number of points bounded above by $2n$ and for an infinite family of ample divisors with an arbitrary number of points. We study $l$-very ample, ample and semi-ample divisors on the blown-up projective space $\mathbb{P}^n$ in a collection of points in general position. We establish Fujita's conjectures for all ample divisors with the number of points bounded above by $2n$ and for an infinite family of ample divisors with an arbitrary number of points. △ Less

Submitted 14 September, 2017; v1 submitted 15 June, 2015; originally announced June 2015.

Comments: Inequality (2.2) was slightly modified

MSC Class: 14C20 (Primary); 14E25; 14C17; 14J70 (Secondary)

On Segre's bound for fat points in $\mathbb{P}^n$

Authors: Edoardo Ballico, Olivia Dumitrescu, Elisa Postinghel

Abstract: For a scheme of fat points $Z$ defined by the saturated ideal $\mathcal{I}_Z$, the regularity index computes the Castelnuovo-Mumford regularity of the Cohen-Macaulay ring $R/\mathcal{I}_Z.$ For points in " general position" we improve the bound for the regularity index computed by Segre for $\mathbb {P}^2$ and generalised by Catalisano, Trung and Valla for $\mathbb {P}^n$. Moreover, we prove that… ▽ More For a scheme of fat points $Z$ defined by the saturated ideal $\mathcal{I}_Z$, the regularity index computes the Castelnuovo-Mumford regularity of the Cohen-Macaulay ring $R/\mathcal{I}_Z.$ For points in " general position" we improve the bound for the regularity index computed by Segre for $\mathbb {P}^2$ and generalised by Catalisano, Trung and Valla for $\mathbb {P}^n$. Moreover, we prove that the generalised Segre's bound conjectured by Fatabbi and Lorenzini holds for $n+3$ arbitrary points in $\mathbb {P}^n$. We propose a modification of Segre's conjecture for arbitrary points and we discuss some evidences. △ Less

Submitted 25 October, 2015; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: Revised version: statement of Theorem 3.6 corrected, Section 4.1 with a proof of Conjecture 4.1 for n=3 added. Accepted for publication in JPAA. 19 pages

MSC Class: 13D40; 14C20

On the effective cone of $\mathbb{P}^n$ blown-up at $n+3$ points

Authors: Maria Chiara Brambilla, Olivia Dumitrescu, Elisa Postinghel

Abstract: We compute the facets of the effective and movable cones of divisors on the blow-up of $\mathbb{P}^n$ at $n+3$ points in general position. Given any linear system of hypersurfaces of $\mathbb{P}^n$ based at $n+3$ multiple points in general position, we prove that the secant varieties to the rational normal curve of degree $n$ passing through the points, as well as their joins with linear subspaces… ▽ More We compute the facets of the effective and movable cones of divisors on the blow-up of $\mathbb{P}^n$ at $n+3$ points in general position. Given any linear system of hypersurfaces of $\mathbb{P}^n$ based at $n+3$ multiple points in general position, we prove that the secant varieties to the rational normal curve of degree $n$ passing through the points, as well as their joins with linear subspaces spanned by some of the points, are cycles of the base locus and we compute their multiplicity. We conjecture that a linear system with $n+3$ points is linearly special only if it contains such subvarieties in the base locus and we give a new formula for the expected dimension. △ Less

Submitted 30 September, 2015; v1 submitted 16 January, 2015; originally announced January 2015.

Comments: 22 pages. Revised version. Statement of Theorem 5.1 corrected. To appear in Experimental Mathematics

MSC Class: Primary: 14C20; Secondary: 14J70; 14J26; 13D40

On linear systems of $\mathbb{P}^3$ with nine base points

Authors: Maria Chiara Brambilla, Olivia Dumitrescu, Elisa Postinghel

Abstract: We study special linear systems of surfaces of $\mathbb{P}^3$ interpolating nine points in general position having a quadric as fixed component. By performing degenerations in the blown-up space, we interpret the quadric obstruction in terms of linear obstructions for a quasi-homogeneous class. By degeneration we also prove a Nagata type result for $\mathbb{P}^2$ that implies a base locus lemma fo… ▽ More We study special linear systems of surfaces of $\mathbb{P}^3$ interpolating nine points in general position having a quadric as fixed component. By performing degenerations in the blown-up space, we interpret the quadric obstruction in terms of linear obstructions for a quasi-homogeneous class. By degeneration we also prove a Nagata type result for $\mathbb{P}^2$ that implies a base locus lemma for the quadric. As an application we establish Laface-Ugaglia Conjecture for linear systems with multiplicities bounded by 8 and for homogeneous linear systems with multiplicity m and degree up to 2m+1. △ Less

Submitted 30 September, 2015; v1 submitted 29 October, 2014; originally announced October 2014.

Comments: 24 pages. Minor changes. To appear in Annali di Matematica Pura ed Applicata

MSC Class: 14C20 (Primary); 14J70; 14J26 (Secondary)

Faithful tropicalisation and torus actions

Authors: Jan Draisma, Elisa Postinghel

Abstract: For any affine variety equipped with coordinates, there is a surjective, continuous map from its Berkovich space to its tropicalisation. Exploiting torus actions, we develop techniques for finding an explicit, continuous section of this map. In particular, we prove that such a section exists for linear spaces, Grassmannians of planes (reproving a result due to Cueto, Häbich, and Werner), matrix va… ▽ More For any affine variety equipped with coordinates, there is a surjective, continuous map from its Berkovich space to its tropicalisation. Exploiting torus actions, we develop techniques for finding an explicit, continuous section of this map. In particular, we prove that such a section exists for linear spaces, Grassmannians of planes (reproving a result due to Cueto, Häbich, and Werner), matrix varieties defined by the vanishing of 3 times 3 minors, and for the hypersurface defined by Cayley's hyperdeterminant. △ Less

Submitted 19 November, 2014; v1 submitted 18 April, 2014; originally announced April 2014.

Comments: 22 pages, 6 figures, corrected in an error in proposition 4.2---many thanks to a referee! Also corrected a latex-problem with references

MSC Class: 14T05; 14M15; 14M12; 14G22; 52B40

Journal ref: Manuscr. Math. 149(3-4), 315-338 (2016)

Vanishing theorems for linearly obstructed divisors

Authors: Olivia Dumitrescu, Elisa Postinghel

Abstract: We study divisors in the blow-up of $\mathbb{P}^n$ at points in general position that are non-special with respect to the notion of linear speciality introduced in [5]. We describe the cohomology groups of their strict transforms via the blow-up of the space along their linear base locus. We extend the result to non-effective divisors that sit in a small region outside the effective cone. As an ap… ▽ More We study divisors in the blow-up of $\mathbb{P}^n$ at points in general position that are non-special with respect to the notion of linear speciality introduced in [5]. We describe the cohomology groups of their strict transforms via the blow-up of the space along their linear base locus. We extend the result to non-effective divisors that sit in a small region outside the effective cone. As an application, we describe linear systems of divisors in $\mathbb{P}^n$ blown-up at points in star configuration and their strict transforms via the blow-up of the linear base locus. △ Less

Submitted 20 January, 2017; v1 submitted 26 March, 2014; originally announced March 2014.

MSC Class: 14C20 (Primary); 14J70; 14C17 (Secondary)

Degenerations of real irrational toric varieties

Authors: Elisa Postinghel, Frank Sottile, Nelly Villamizar

Abstract: An irrational toric variety X is an analytic subset of the simplex associated to a finite configuration of real vectors. The positive torus acts on X by translation, and we consider limits of sequences of these translations. Our main result identifies all possible Hausdorff limits of translations of X as toric degenerations using elementary methods and the geometry of the secondary fan of the vect… ▽ More An irrational toric variety X is an analytic subset of the simplex associated to a finite configuration of real vectors. The positive torus acts on X by translation, and we consider limits of sequences of these translations. Our main result identifies all possible Hausdorff limits of translations of X as toric degenerations using elementary methods and the geometry of the secondary fan of the vector configuration. This generalizes work of Garcia-Puente et al., who used algebraic geometry and work of Kapranov, Sturmfels, and Zelevinsky, when the vectors were integral. △ Less

Submitted 20 November, 2014; v1 submitted 13 December, 2013; originally announced December 2013.

Comments: 21 pages

Report number: Mittag-Leffler-2011spring

On a notion of speciality of linear systems in P^n

Authors: Maria Chiara Brambilla, Olivia Dumitrescu, Elisa Postinghel

Abstract: Given a linear system in P^n with assigned multiple general points we compute the cohomology groups of its strict transforms via the blow-up of its linear base locus. This leads us to give a new definition of expected dimension of a linear system, which takes into account the contribution of the linear base locus, and thus to introduce the notion of linear speciality. We investigate such a notion… ▽ More Given a linear system in P^n with assigned multiple general points we compute the cohomology groups of its strict transforms via the blow-up of its linear base locus. This leads us to give a new definition of expected dimension of a linear system, which takes into account the contribution of the linear base locus, and thus to introduce the notion of linear speciality. We investigate such a notion giving sufficient conditions for a linear system to be linearly non-special for arbitrary number of points, and necessary conditions for small numbers of points. △ Less

Submitted 10 June, 2013; v1 submitted 18 October, 2012; originally announced October 2012.

Comments: 26 pages. Minor changes, Definition 3.2 slightly extended. Accepted for publication in Transactions of AMS

Report number: Mittag-Leffler-2011spring MSC Class: 14C20 (Primary) 14J70; 14C17 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 367 (2015), 5447-5473

Secant varieties of Segre-Veronese embeddings of (P^1)^r

Authors: Antonio Laface, Elisa Postinghel

Abstract: We use a double degeneration technique to calculate the dimension of the secant variety of any Segre-Veronese embedding of (P^1)^r We use a double degeneration technique to calculate the dimension of the secant variety of any Segre-Veronese embedding of (P^1)^r △ Less

Submitted 11 May, 2011; originally announced May 2011.

Comments: 13 pages, 1 figure

Report number: Mittag-Leffler-2011spring MSC Class: 14C20

Secant Degree of Toric Surfaces and Delightful Planar Toric Degenerations

Authors: Elisa Postinghel

Abstract: The $k$-secant degree is studied with a combinatorial approach. A planar toric degeneration of any projective toric surface $X$ corresponds to a regular unimodular triangulation $D$ of the polytope defining $X$. If the secant ideal of the initial ideal with respect to $D$ coincides with the initial ideal of the secant ideal, then $D$ is said to be delightful and the $k$-secant degree of $X$ can be… ▽ More The $k$-secant degree is studied with a combinatorial approach. A planar toric degeneration of any projective toric surface $X$ corresponds to a regular unimodular triangulation $D$ of the polytope defining $X$. If the secant ideal of the initial ideal with respect to $D$ coincides with the initial ideal of the secant ideal, then $D$ is said to be delightful and the $k$-secant degree of $X$ can be easily computed. All delightful triangulations of toric surfaces having sectional genus $g\leq1$ are completely classified and, for $g\geq2$, a lower bound for the $2$- and $3$-secant degree, by means of the combinatorial geometry and the singularities of non-delightful triangulations, is established. △ Less

Submitted 11 December, 2010; originally announced December 2010.

Comments: 19 pages, several figures

MSC Class: Primary 14M25; Secondary 14D06; 51N35

Apolarity, Hessian and Macaulay polynomials

Authors: Lorenzo Di Biagio, Elisa Postinghel

Abstract: A result by Macaulay states that an Artinian graded Gorenstein ring R of socle dimension one and socle degree b can be realized as the apolar ring of a homogeneous polynomial f of degree b. If R is the Jacobian ring of a smooth hypersurface g=0, then b is just equal to the degree of the Hessian polynomial of g. In this paper we investigate the relationship between f and the Hessian polynomial of g… ▽ More A result by Macaulay states that an Artinian graded Gorenstein ring R of socle dimension one and socle degree b can be realized as the apolar ring of a homogeneous polynomial f of degree b. If R is the Jacobian ring of a smooth hypersurface g=0, then b is just equal to the degree of the Hessian polynomial of g. In this paper we investigate the relationship between f and the Hessian polynomial of g. △ Less

Submitted 8 October, 2012; v1 submitted 28 July, 2010; originally announced July 2010.

Comments: 12 pages. Improved exposition, minor corrections

MSC Class: 14N15 (Primary) 14J70 (Secondary)

A new proof of the Alexander-Hirschowitz interpolation Theorem

Authors: Elisa Postinghel

Abstract: The classical polynomial interpolation problem in several variables can be generalized to the case of points with greater multiplicities. What is known, as yet, is essentially concentrated in the Alexander-Hirschowitz Theorem which says that a general collection of double points in P^r gives independent conditions on the linear system L of the hypersurfaces of degree d, with a well known list of… ▽ More The classical polynomial interpolation problem in several variables can be generalized to the case of points with greater multiplicities. What is known, as yet, is essentially concentrated in the Alexander-Hirschowitz Theorem which says that a general collection of double points in P^r gives independent conditions on the linear system L of the hypersurfaces of degree d, with a well known list of exceptions. We present a new proof of this theorem which consists in performing degenerations of P^r and analyzing how L degenerates. △ Less

Submitted 1 March, 2010; originally announced March 2010.

Comments: 15 pages

MSC Class: 14C20; 14D06; 14N05