Related papers: Equations for $\bar M_{0,n}$

Let $\mu$ be a Borel measure on a compactum $X$. The main objects in this paper are $\sigma$-ideals $I(dim)$, $J_0(\mu)$, $J_f(\mu)$ of Borel sets in $X$ that can be covered by countably many compacta which are finite-dimensional, or of…

The Koszul homology of modules of the polynomial ring $R$ is a central object in commutative algebra.It is strongly related with the minimal free resolution of these modules, and thus with regularity, Hilbert functions, etc. Here we…

Koszul homology of monomial ideals provides a description of the structure of such ideals, not only from a homological point of view (free resolutions, Betti numbers, Hilbert series) but also from an algebraic viewpoint. In this paper we…

We prove that in the polynomial ring $Q=\mathsf{k}[x,y,z,w]$, with $\mathsf{k}$ an algebraically closed field of characteristic zero, all Gorenstein homogeneous ideals $I$ such that $(x,y,z,w)^4\subseteq I \subseteq (x,y,z,w)^2$ can be…

Let $R$ be a smooth affine algebra over an infinite perfect field $k$. Let $I\subset R$ be an ideal, $\omega_I:(R/I)^n\to I/I^2$ a surjective homomorphism and $Q_{2n}\subset \mathbb{A}^{2n+1}$ be the smooth quadric defined by the equation…

We study invertible matrix solutions $A$ to the equation $A^{-1}\overline\partial A=\omega^{(0,1)}$ on a small open subset $U$ of the closure $\overline M$ of a domain $M\subset{\mathbf C}^n$, where $\omega^{(0,1)}$ is a matrix of $(0,1)$…

Gross and Popescu conjectured that the homogeneous ideal of an embedded $(1,d)$-polarized abelian surface is generated by quadrics and cubics for $d\geq 9$. We prove this using the projective normality of the embedding. It follows that the…

In this article, we first generalize Kaplansky's zero-divisor conjecture of group-rings $K[G]$ (with $K$ a field) to the more general setting of $G$-graded rings $R=\bigoplus\limits_{n\in G}R_{n}$ with $G$ a torsion-free group. Then we…

Let $M_{l,m}$ be the total space of the $S^3$-bundle over $S^4$ classified by the element $l\sigma+m\rho\in{\pi_4(SO(4))}$, $l,m\in\mathbb Z$. In this paper we study the homotopy theory of gauge groups of principal $G$-bundles over…

Let P be a principal bundle with semisimple compact simply connected structure group G over a compact simply connected four-manifold M. In this note we give explicit formulas for the rational homotopy groups and cohomology algebra of the…

We prove a structure theorem for compact aspherical Lorentz manifolds with abundant local symmetry. If M is a compact, aspherical, real-analytic, complete Lorentz manifold such that the isometry group of the universal cover has semisimple…

Let $Q\to M$ be a principal $G$-bundle, and $B_0$ a connection on $Q$. We introduce an infinitesimal homogeneity condition for sections in an associated vector bundle $Q\times_GV$ with respect to $B_0$, and, inspired by the well known…

We consider the ${\mathbb Z}^n$-graded algebra of global sections of line bundles generated by the standard line bundles $L_1,\ldots,L_n$ on $\bar{M}_{0,n}$. We find a simple presentation of this algebra by generators and quadratic…

Given a strictly increasing sequence $\Lambda=(\lambda_n)$ of nonegative real numbers, with $\sum_{n=1}^\infty \frac{1}{\lambda_n}<\infty$, the M\"untz spaces $M_\Lambda^p$ are defined as the closure in $L^p([0,1])$ of the monomials…

We prove Koszulity of the homology of the of moduli spaces of stable n-pointed curves of genus zero $\overline{M}_{0,n}$ for $n=5$, using its presentation due to Keel and the Priddy criterion of Koszulity. For $n=6 $ we establish that…

Assume $\kappa = \kappa^{< \kappa}$ (usually $\aleph_0$ or an inaccessible). We shall deal with iterated forcings preserving ${}^{\kappa>}{\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this,…

In this paper, we consider the homogeneous coordinate rings $A(Y_{n,d}) \cong \mathbb{K}[\Omega_{n,d}]$ of monomial projections $Y_{n,d}$ of Veronese varieties parameterized by subsets $\Omega_{n,d}$ of monomials of degree $d$ in $n+1$…

We present a classification of the complete, simply connected, contact metric $(\kappa,\mu)$-spaces as homogeneous contact metric manifolds, by studying the base space of their canonical fibration. According to the value of the Boeckx…

Given a monomial $m$ in a polynomial ring and a subset $L$ of the variables of the polynomial ring, the principal $L$-Borel ideal generated by $m$ is the ideal generated by all monomials which can be obtained from $m$ by successively…

Let $M$ be a finite module over a noetherian ring $R$ with a free resolution of length 1. We consider the generalized Koszul complexes $\mathcal{C}_{\bar\lambda}(t)$ associated with a map $\bar\lambda:M\to\mathcal{H}$ into a finite free…