We prove that in the unramified case, local models of Shimura varieties with Iwahori level structure are normal and Cohen Macaulay.

We study smooth toroidal compactifications of Siegel varieties thoroughly from the viewpoints of mixed Hodge theory and K\"ahler-Einstein metric. We observe that any cusp of a Siegel space can be identified as a set of certain weight one polarized mixed Hodge structures. We then study the infinity boundary divisors of toroidal compactifications, and obtain a global volume form formula of an arbitrary smooth Siegel variety $\sA_{g,\Gamma}(g>1)$ with a smooth toroidal compactification $\overline{\sA}_{g,\Gamma}$ such that $D_\infty:=\overline{\sA}_{g,\Gamma}\setminus \sA_{g,\Gamma}$ is normal crossing. We use this volume form formula to show that the unique group-invariant K\"ahler-Einstein metric on $\sA_{g,\Gamma}$ endows some restraint combinatorial conditions for all smooth toroidal compactifications of $\sA_{g,\Gamma}.$ Again using the volume form formula, we study the asymptotic behaviour of logarithmical canonical line bundle on any smooth toroidal compactification of $\sA_{g,\Gamma}$ carefully and we obtain that the logarithmical canonical bundle degenerate sharply even though it is big and numerically effective.

No abstract uploaded!

In this paper we study generalized Gorenstein Arf rings: a class of one-dimensional Cohen–Macaulay local Arf rings that is strictly contained in the class of Gorenstein rings. We obtain new characterizations and examples of Arf rings, and give applications of our argument to numerical semigroup rings and certain idealizations. In particular, we generalize a beautiful result of Barucci and Fröberg concerning Arf numerical semigroup rings.

In this paper we study the Weak Lefschetz property of two classes of standard graded Artinian Gorenstein algebras associated in a natural way to the Apéry set of numerical semigroups. To this aim we also prove a general result about the transfer of the Weak Lefschetz property from an Artinian Gorenstein algebra to its quotients modulo a colon ideal.