Showing 1–16 of 16 results for author: Dais, D I

On the Twelve-Point Theorem for $\ell$-Reflexive Polygons

Authors: Dimitrios I. Dais

Abstract: It is known that, adding the number of lattice points lying on the boundary of a reflexive polygon and the number of lattice points lying on the boundary of its polar, always yields 12. Generalising appropriately the notion of reflexivity, one shows that this remains true for "$\ell$-reflexive polygons". In particular, there exist (for this reason) infinitely many (lattice inequivalent) lattice po… ▽ More It is known that, adding the number of lattice points lying on the boundary of a reflexive polygon and the number of lattice points lying on the boundary of its polar, always yields 12. Generalising appropriately the notion of reflexivity, one shows that this remains true for "$\ell$-reflexive polygons". In particular, there exist (for this reason) infinitely many (lattice inequivalent) lattice polygons with the same property. The first proof of this fact is due to Kasprzyk and Nill. The present paper contains a second proof (which uses tools only from toric geometry) as well as the description of complementary properties of these polygons and of the invariants of the corresponding toric log del Pezzo surfaces. △ Less

Submitted 22 June, 2018; v1 submitted 21 June, 2018; originally announced June 2018.

Comments: 62 pages, 14 figures, and 15 tables

MSC Class: 52B20 (Primary); 14M25 (Secondary)

Toric log del Pezzo surfaces with one singularity

Authors: Dimitrios I. Dais

Abstract: This paper focuses on the classification of all toric log Del Pezzo surfaces with exactly one singularity up to isomorphism, and on the description of how they are embedded as intersections of finitely many quadrics into suitable projective spaces. This paper focuses on the classification of all toric log Del Pezzo surfaces with exactly one singularity up to isomorphism, and on the description of how they are embedded as intersections of finitely many quadrics into suitable projective spaces. △ Less

Submitted 12 June, 2017; v1 submitted 17 May, 2017; originally announced May 2017.

Comments: 24 pages, 6 figures; minor changes in some lemmas in [v2]

MSC Class: 14M25 (Primary); 14Q10; 52B20 (Secondary)

Computing minimal generating systems for some special toric ideals

Authors: Dimitrios I. Dais, Ioannis Markakis

Abstract: Let $X_{P}$ be the projective toric surface associated to a lattice polytope $P$. If the number of lattice points lying on the boundary of $P$ is at least $4$, it is known that $X_{P}$ is embeddable into a suitable projective space as zero set of finitely many quadrics. In this case, the determination of a minimal generating system of the toric ideal defining $X_{P}$ is reduced to a simple Gaussia… ▽ More Let $X_{P}$ be the projective toric surface associated to a lattice polytope $P$. If the number of lattice points lying on the boundary of $P$ is at least $4$, it is known that $X_{P}$ is embeddable into a suitable projective space as zero set of finitely many quadrics. In this case, the determination of a minimal generating system of the toric ideal defining $X_{P}$ is reduced to a simple Gaussian elimination. △ Less

Submitted 10 July, 2017; v1 submitted 17 May, 2017; originally announced May 2017.

Comments: Minor stylistic changes in the second and third versions

MSC Class: 52B20; 14M25; 14Q10

Classification of Toric log Del Pezzo Surfaces having Picard Number 1 and Index $\le 3$

Authors: Dimitrios I. Dais

Abstract: Toric log Del Pezzo surfaces with Picard number 1 have been completely classified whenever their index is $\le 2$: In this paper we extend the classification for those having index 3: We prove that, up to isomorphism, there are exactly 18 surfaces of this kind. Toric log Del Pezzo surfaces with Picard number 1 have been completely classified whenever their index is $\le 2$: In this paper we extend the classification for those having index 3: We prove that, up to isomorphism, there are exactly 18 surfaces of this kind. △ Less

Submitted 7 September, 2007; originally announced September 2007.

MSC Class: 14M25 (Primary); 14J26; 14Q10 (Secondary).

A boundedness result for toric log Del Pezzo surfaces

Authors: Dimitrios I. Dais, Benjamin Nill

Abstract: In this paper we give an upper bound for the Picard number of the rational surfaces which resolve minimally the singularities of toric log Del Pezzo surfaces of given index $\ell$. This upper bound turns out to be a quadratic polynomial in the variable $\ell$. In this paper we give an upper bound for the Picard number of the rational surfaces which resolve minimally the singularities of toric log Del Pezzo surfaces of given index $\ell$. This upper bound turns out to be a quadratic polynomial in the variable $\ell$. △ Less

Submitted 29 September, 2008; v1 submitted 31 July, 2007; originally announced July 2007.

Comments: 10 pages; final version (typos corrected, references updated)

MSC Class: 14M25; 14J26; 14Q10 (Primary) 15B20 (Secondary)

Journal ref: Archiv Math. 91 (2008), 526-535

On the existence of crepant resolutions of Gorenstein Abelian quotient singularities in dimensions \geq 4

Authors: D. I. Dais, M. Henk, G. M. Ziegler

Abstract: For which finite subgroups G of SL(r,C), r \geq 4, are there crepant desingularizations of the quotient space C^r/G? A complete answer to this question (also known as "Existence Problem" for such desingularizations) would classify all those groups for which the high-dimensional versions of McKay correspondence are valid. In the paper we consider this question in the case of abelian finite subgro… ▽ More For which finite subgroups G of SL(r,C), r \geq 4, are there crepant desingularizations of the quotient space C^r/G? A complete answer to this question (also known as "Existence Problem" for such desingularizations) would classify all those groups for which the high-dimensional versions of McKay correspondence are valid. In the paper we consider this question in the case of abelian finite subgroups of SL(r,C) by using techniques from toric and discrete geometry. We give two necessary existence conditions, involving the Hilbert basis elements of the cone supporting the junior simplex, and an Upper Bound Theorem, respectively. Moreover, to the known series of Gorenstein abelian quotient singularities admitting projective, crepant resolutions (which are briefly recapitulated) we add a new series of non-c.i. cyclic quotient singularities having this property. △ Less

Submitted 3 April, 2006; v1 submitted 28 December, 2005; originally announced December 2005.

Comments: Version v2 (April 2006) contains minor changes and corrections of some typos. A shorter version of the paper appears in the Proceedings of the Conference "Algebraic and Geometric Combinatorics" (held in Anogia, Crete, 20-26 August 2005)

MSC Class: 14E15 (Primary); 14M25; 52B20 (Secondary)

On the Equations Defining Toric L.C.I. Singularities

Authors: Dimitrios I. Dais, Martin Henk

Abstract: Based on Nakajima's Classification Theorem we describe the precise form of the binomial equations which determine toric locally complete intersection ("l.c.i'') singularities. Based on Nakajima's Classification Theorem we describe the precise form of the binomial equations which determine toric locally complete intersection ("l.c.i'') singularities. △ Less

Submitted 18 September, 2002; v1 submitted 13 April, 2002; originally announced April 2002.

Comments: Latex 2e, 31 pages, 3 eps figures, new version V2 (September 2002) with minor changes. To appear in "Transactions of A.M.S."

MSC Class: 14B05; 14M10; 14M25; 52B20; 13H10; 13P10; 20M25; 32S05

Resolving 3-dimensional toric singularities

Authors: Dimitrios I. Dais

Abstract: This paper surveys, in the first place, some basic facts from the classification theory of normal complex singularities, including details for the low dimensions 2 and 3. Next, it describes how the toric singularities are located within the class of rational singularities, and recalls their main properties. Finally, it focuses, in particular, on a toric version of Reid's desingularization strate… ▽ More This paper surveys, in the first place, some basic facts from the classification theory of normal complex singularities, including details for the low dimensions 2 and 3. Next, it describes how the toric singularities are located within the class of rational singularities, and recalls their main properties. Finally, it focuses, in particular, on a toric version of Reid's desingularization strategy in dimension three △ Less

Submitted 25 October, 2001; originally announced October 2001.

Comments: Latex 2e, 32 pages, 4 eps-figures. To appear in actes de l'école d'été ``Géométrie des variétés toriques'' (Grenoble, 2000), collection Séminaires et Congr`es, SMF 2002. A preliminary version of these proceedings is available at http://www-fourier.ujf-grenoble.fr/~mbrion/ecole.html

MSC Class: Primary 14M25; Secondary 14B05; 32S0

Crepant Resolutions of Gorenstein Toric Singularities and Upper Bound Theorem

Authors: Dimitrios I. Dais

Abstract: A necessary condition for the existence of torus-equivariant crepant resolutions of Gorenstein toric singularities can be derived by making use of a variant of the classical Upper Bound Theorem which is valid for simplicial balls. A necessary condition for the existence of torus-equivariant crepant resolutions of Gorenstein toric singularities can be derived by making use of a variant of the classical Upper Bound Theorem which is valid for simplicial balls. △ Less

Submitted 25 October, 2001; originally announced October 2001.

Comments: Latex 2e, 6 pages. To appear in ``Géométrie des variétés toriques'', (Proc. of SS 2000, Grenoble), collection S'eminaires et Congr`es, SMF 2002. A preliminary version of these proceedings is available http://www-fourier.ujf-grenoble.fr/~mbrion/ecole.html

MSC Class: Primary 14M25; 52B20; Secondary 14B05; 52B05; 52B11

On the String-Theoretic Euler Number of a Class of Absolutely Isolated Singularities

Authors: Dimitrios I. Dais

Abstract: An explicit computation of the so-called string-theoretic E-function of a normal complex variety X with at most log-terminal singularities can be achieved by constructing one snc-desingularization of X, accompanied with the intersection graph of the exceptional prime divisors, and with the precise knowledge of their structure. In the present paper, it is shown that this is feasible for the case… ▽ More An explicit computation of the so-called string-theoretic E-function of a normal complex variety X with at most log-terminal singularities can be achieved by constructing one snc-desingularization of X, accompanied with the intersection graph of the exceptional prime divisors, and with the precise knowledge of their structure. In the present paper, it is shown that this is feasible for the case in which X is the underlying space of a class of absolutely isolated singularities (including both usual A_{n}-singularities and Fermat singularities of arbitrary dimension). As byproduct of the exact evaluation of e_{str}(X), for this class of singularities, one gets (in contrast to the expectations of V1!) counterexamples to a conjecture of Batyrev concerning the boundedness of the string-theoretic index. Finally, the string-theoretic Euler number is also computed for global complete intersections in P^{N} with prescribed singularities of the above type. △ Less

Submitted 26 October, 2001; v1 submitted 17 November, 2000; originally announced November 2000.

Comments: LateX 2e, 27 pages, 4 eps figures. Revised version V2 (October 2001) corrects some arithmetical inaccuracies (pointed out by N. Kakimi, concering the discrepancy coefficients) of V1, and minor misprints of the published version

MSC Class: (Primary) 14Q15; 32S35; 32S45; (Secondary) 14B05; 14E15; 32S05; 32S25

Journal ref: manuscripta mathematica 105 (2001) 2, 143-174

On the String-Theoretic Euler Number of 3-dimensional A-D-E Singularities

Authors: Dimitrios I. Dais, Marko Roczen

Abstract: The string-theoretic E-functions E_{str}(X;u,v) of normal complex varieties X having at most log-terminal singularities are defined by means of snc-resolutions. We give a direct computation of them in the case in which X is the underlying space of the 3-dimensional A-D-E singularities by making use of a canonical resolution process. Moreover, we compute the string-theoretic Euler number for seve… ▽ More The string-theoretic E-functions E_{str}(X;u,v) of normal complex varieties X having at most log-terminal singularities are defined by means of snc-resolutions. We give a direct computation of them in the case in which X is the underlying space of the 3-dimensional A-D-E singularities by making use of a canonical resolution process. Moreover, we compute the string-theoretic Euler number for several compact complex threefolds with prescribed A-D-E singularities. △ Less

Submitted 25 October, 2001; v1 submitted 17 November, 2000; originally announced November 2000.

Comments: Latex 2e, 48 pages, 9 eps figures. Revised version (October 2001). To appear in "Adv. in Geometry", Vol. 1, Issue 4

MSC Class: (Primary) 14Q15; 32S35; 32S45; (Secondary) 14B05; 14E15; 32S05; 32S25

All toric l.c.i.-singularities admit projective crepant resolutions

Authors: Dimitrios I. Dais, Christian Haase, G"unter M. Ziegler

Abstract: It is known that the underlying spaces of all abelian quotient singularities which are embeddable as complete intersections of hypersurfaces in an affine space can be overall resolved by means of projective torus-equivariant crepant birational morphisms in all dimensions. In the present paper we extend this result to the entire class of toric l.c.i.-singularities. Our proof makes use of Nakajima… ▽ More It is known that the underlying spaces of all abelian quotient singularities which are embeddable as complete intersections of hypersurfaces in an affine space can be overall resolved by means of projective torus-equivariant crepant birational morphisms in all dimensions. In the present paper we extend this result to the entire class of toric l.c.i.-singularities. Our proof makes use of Nakajima's classification theorem and of some special techniques from toric and discrete geometry. △ Less

Submitted 16 March, 1999; v1 submitted 3 December, 1998; originally announced December 1998.

Comments: 33 pages, 13 eps-figures, LaTeX2e (revised 3/99: minor corrections and modifications)

Report number: TU Berlin Preprint 614/1998 MSC Class: 14B05; 14M25; 52B20

On crepant resolutions of 2-parameter series of Gorenstein cyclic quotient singularities

Authors: Dimitrios I. Dais, Utz-Uwe Haus, Martin Henk

Abstract: An immediate generalization of the classical McKay correspondence for Gorenstein quotient spaces $\Bbb{C}^{r}/G$ in dimensions $r\geq 4$ would primarily demand the existence of projective, crepant, full desingularizations. Since this is not always possible, it is natural to ask about special classes of such quotient spaces which would satisfy the above property. In this paper we give explicit ne… ▽ More An immediate generalization of the classical McKay correspondence for Gorenstein quotient spaces $\Bbb{C}^{r}/G$ in dimensions $r\geq 4$ would primarily demand the existence of projective, crepant, full desingularizations. Since this is not always possible, it is natural to ask about special classes of such quotient spaces which would satisfy the above property. In this paper we give explicit necessary and sufficient conditions under which 2-parameter series of Gorenstein cyclic quotient singularities have torus-equivariant resolutions of this specific sort in all dimensions. △ Less

Submitted 20 March, 1998; originally announced March 1998.

Comments: 52 pages. 3 Figures. LaTeX 2e with AMS and epsfig macros. Also available as ZIB Preprint

Report number: SC 98-12 MSC Class: 14M25; 14Q15

Journal ref: Results in Math. 33, (1998), 208-265

On a series of Gorenstein cyclic quotient singularities admitting a unique projective crepant resolution

Authors: Dimitrios I. Dais, Martin Henk

Abstract: In this paper we prove that the Gorenstein cyclic quotient singularities of type \frac 1l (1,..., 1,l-(r-1)) with $l\geq r\geq 2$, have a \textit{unique}torus-equivariant projective, crepant, partial resolution, which is ``full'' iff either $l\equiv 0$ mod $% (r-1) $ or $l\equiv 1$ mod $(r-1) $. As it turns out, if one of these two conditions is fulfilled, then the exceptional locus of the full… ▽ More In this paper we prove that the Gorenstein cyclic quotient singularities of type \frac 1l (1,..., 1,l-(r-1)) with $l\geq r\geq 2$, have a \textit{unique}torus-equivariant projective, crepant, partial resolution, which is ``full'' iff either $l\equiv 0$ mod $% (r-1) $ or $l\equiv 1$ mod $(r-1) $. As it turns out, if one of these two conditions is fulfilled, then the exceptional locus of the full desingularization consists of $\lfloor \frac{l}{r-1} \rfloor$ prime divisors, $\lfloor \frac{l}{r-1}\rfloor - 1$ of which are isomorphic to the total spaces of $\Bbb{P}_{\Bbb{C}}^1$-bundles over $\Bbb{P}_{\Bbb{C}%}^{r-2}$. Moreover, it is shown that intersection numbers are computable explicitly and that the resolution morphism can be viewed as a composite of successive (normalized) blow-ups. Obviously, the monoparametrized singularity-series of the above type contains (as its ``first member'') the well-known Gorenstein singularity defined by the origin of the affine cone which lies over the $r$-tuple Veronese embedding of $\Bbb{P}_{\Bbb{C}}^{r-1}$. △ Less

Submitted 20 March, 1998; originally announced March 1998.

Comments: 96 pages. 14 Figures. LaTeX 2e with AMS and epsfig macros. This is the revised version of the ZIB preprint SC-97-39. To appear in the DMV-Seminar-Volume "Combinatorial Convex Geometry and Toric Varieties", Birkhaeuser. (For correct placement of figures we would recommend the use of the LaTeX sources instead of the direct PostScript link)

MSC Class: 14M25; 14Q15

All Abelian Quotient C.I.-Singularities Admit Projective Crepant Resolutions in All Dimensions

Authors: Dimitrios I. Dais, Martin Henk, Guenter M. Ziegler

Abstract: For Gorenstein quotient spaces $C^d/G$, a direct generalization of the classical McKay correspondence in dimensions $d\geq 4$ would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not always possible, Reid asked about special classes of such quotient spaces which would satisfy the above property. We prove that the underlying spaces of all Gor… ▽ More For Gorenstein quotient spaces $C^d/G$, a direct generalization of the classical McKay correspondence in dimensions $d\geq 4$ would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not always possible, Reid asked about special classes of such quotient spaces which would satisfy the above property. We prove that the underlying spaces of all Gorenstein abelian quotient singularities, which are embeddable as complete intersections of hypersurfaces in an affine space, have torus-equivariant projective crepant resolutions in all dimensions. We use techniques from toric and discrete geometry. △ Less

Submitted 10 April, 1997; originally announced April 1997.

Comments: revised version of MPI-preprint 97/4, 35 pages, 13 figures, latex2e-file (preprint.tex), macro packages and eps-files

Strong McKay Correspondence, String-theoretic Hodge Numbers and Mirror Symmetry

Authors: Victor V. Batyrev, Dimitrios I. Dais

Abstract: In the revised version of the paper, we correct misprints and add some new statements. In the revised version of the paper, we correct misprints and add some new statements. △ Less

Submitted 22 November, 1994; v1 submitted 4 October, 1994; originally announced October 1994.

Comments: 42 pages, Latex