Related papers: The Koszul complex of a moment map
Let $\Sigma_{g,n}$ be an orientable surface of genus $g$ with $n$ punctures. We study actions of the mapping class group of $\Sigma_{g,n}$ via Hodge-theoretic and arithmetic techniques. We show that if $$\rho: \pi_1(\Sigma_{g,n})\to…
Suppose given an Hamiltonian action of a compact semisimple Lie group on a polarized complex projective manifold $(M,L)$. We study by means of microlocal techniques the local and global asymptotic behaviour of linear series on $M$ defined…
Let $kG$ be the group algebra of a finite group scheme defined over a field $k$ of characteristic $p>0$. Associated to any closed subset $V$ of the projectivized prime ideal spectrum $\operatorname{Proj} \operatorname{H}^*(G,k)$ is a thick…
Suppose $X$ is a compact symplectic manifold acted on by a compact Lie group $K$ (which may be nonabelian) in a Hamiltonian fashion, with moment map $\mu: X \to {\rm Lie}(K)^*$ and Marsden-Weinstein reduction $\xred = \mu^{-1}(0)/K$. There…
Let $M$ be a smooth manifold and $K\subset M$ be a simplicial complex of codimension at least 3. Functor calculus methods lead to a homotopical formula of $M\setminus K$ in terms of spaces $M\setminus T$ where $T$ is a finite subset of $K$.…
We prove a new criterion for the homogeneous coordinate ring of a finite set of points in ${\Bbb P}^n$ to be Koszul. Like the well known criterion due to Kempf it involves only incidence conditions on linear spans of subsets of a given set.…
We show that the closed convex hull of any one-dimensional semi-algebraic subset of R^n has a semidefinite representation, meaning that it can be written as a linear projection of the solution set of some linear matrix inequality. This is…
In previous work, the authors introduced the notion of Q-Koszul algebras, as a tool to "model" module categories for semisimple algebraic groups over fields of large characteristics. Here we suggest the model extends to small…
We introduce a derived representation scheme associated with a quiver, which may be thought of as a derived version of a Nakajima variety. We exhibit an explicit model for the derived representation scheme as a Koszul complex and by doing…
We consider the Knizhnik-Zamolodchikov system of linear differential equations. The coefficients of this system are rational functions. We prove that under some conditions the solution of KZ system is rational too. We give the method of…
Using the fact that the structure sheaf of a resolution of singularities, or regular alteration, pushes forward to a Cohen-Macaulay complex in equal characteristic zero with a differential graded algebra structure, we introduce a…
We consider compact K\"ahler manifolds acted on by a connected compact Lie group $K$ of isometries in Hamiltonian fashion. We prove that the squared moment map $\|\mu\|^2$ is constant if and only if the manifold is biholomorphically and…
Let $G$ be a simply connected solvable Lie group with a lattice $\Gamma$ and the Lie algebra $\g$ and a representation $\rho:G\to GL(V_{\rho})$ whose restriction on the nilradical is unipotent. Consider the flat bundle $E_{\rho}$ given by…
Let $K$ be the compact Lie group $USp(N/2)$ or $SO(N, R)$. Let $M^K_n$ be the moduli space of framed K-instantons over $S^4$ with the instanton number $n$. By Donaldson (1984), $M^K_n$ is endowed with a natural scheme structure. It is a…
We translate the operations of polarization and depolarization from monomial ideals in a polynomial ring to abstract simplicial complexes. As a result, we explicitly describe the relation between the Koszul simplicial complex of a monomial…
Let $G$ be a noncompact real algebraic group and $\G<G$ a lattice. One purpose of this paper is to show that there is an smooth, volume preserving, mixing action of $G$ or $\G$ on a compact manifold which admits a smooth deformation. We…
Let R be a commutative noetherian ring. Let M be a finitely generated R-module. In this paper, we reconstruct M from its Koszul homology with respect to a suitable sequence of elements of R by taking direct summands, syzygies and…
Let $\Gamma$ be a finitely presented group and $G$ a linear algebraic group over $\mathbb{R}$. A representation $\rho:\Gamma\rightarrow G(\mathbb{R})$ can be seen as an $\mathbb{R}$-point of the representation variety $\mathfrak{R}(\Gamma,…
Associated to any uniform finite layered graph Gamma there is a noncommutative graded quadratic algebra A(Gamma) given by a construction due to Gelfand, Retakh, Serconek and Wilson. It is natural to ask when these algebras are Koszul.…
In this paper we study K-cosymplectic manifolds, i.e., smooth cosymplectic manifolds for which the Reeb field is Killing with respect to some Riemannian metric. These structures generalize coK\"ahler structures, in the same way as K-contact…