Related papers: Computing resolutions of quotient singularities

Let a finite group G act linearly on a finite dimensional vector space V over an algebraically closed field k of characteristic p>2. Assume that the quotient V/G is an isolated singularity. In the case when p does not divide the order of G,…

In order to extrincate the structure of corings with a finitely generated and projective generator we give the notion of a comatrix coring. As consequences we give generalizations of the main characterizations of faithfully flat Galois…

We construct smooth symplectic resolutions of the quotient of R^2 under some infinite discrete sub-group of GL_2(R) preserving a log-symplectic structure. This extends from algebraic geometry to smooth real differential geometry the Du Val…

We construct finite free resolutions of Z over ZG, where G is the fundamental group of a surface distinct from S^2 and RP^2, and define diagonal approximations for these resolutions. We then procceed to give some possible applications that…

We classify simple flops on smooth threefolds, or equivalently, Gorenstein threefold singularities with irreducible small resolution. There are only six families of such singularities, distinguished by Koll{\'a}r's {\em length} invariant.…

Constraint satisfiability problems, crucial to several applications, are solved on a quantum computer using Grover's search algorithm, leading to a quadratic improvement over the classical case. The solutions are obtained with high…

Let $G$ be a finite group. Let $X_1(G)$ be the first column of the ordinary character table of $G.$ In this paper, we will show that if $X_1(G)=X_1(S_n),$ then $G\cong S_n.$ As a consequence, we show that $S_n$ is uniquely determined by the…

We demonstrate that the linear quotient singularity for the exceptional subgroup G in Sp(4,C) of order 32 is isomorphic to an affine quiver variety for a 5-pointed star-shaped quiver. This allows us to construct uniformly all 81 projective…

The theorem of three circles in real algebraic geometry guarantees the termination and correctness of an algorithm of isolating real roots of a univariate polynomial. The main idea of its proof is to consider polynomials whose roots belong…

The main problem studied is resolution of singularities of the cotangent sheaf of a complex- or real-analytic variety Y (or of an algebraic variety Y over a field of characteristic zero). Given Y, we ask whether there is a global resolution…

Cox rings of normal varieties are factorially graded, i.e. homogeneous elements allow a unique decomposition into homogeneous factors. We study this property from an algebraic point of view and give a criterion which in a sense reduces it…

We consider the problem of finding the isolated common roots of a set of polynomial functions defining a zero-dimensional ideal I in a ring R of polynomials over C. We propose a general algebraic framework to find the solutions and to…

For a commutative local ring $R$, consider (noncommutative) $R$-algebras $\Lambda$ of the form $\Lambda = End_R(M)$ where $M$ is a reflexive $R$-module with nonzero free direct summand. Such algebras $\Lambda$ of finite global dimension can…

In this article we give a universal model for geometric quantization associated to a real polarization given by an integrable system with non-degenerate singularities. This universal model goes one step further than the previous cotangent…

The global nilpotent cone N is a singular stack associated to the choice of an algebraic group G, a smooth projective curve X, and a line bundle L on X, which is of fundamental importance to the Geometric Langlands Program, and which is of…

We consider the parameterization ${\mathbf{f}}=(f_0,f_1,f_2)$ of a plane rational curve $C$ of degree $n$, and we want to study the singularities of $C$ via such parameterization. We do this by using the projection from the rational normal…

Let $k$ be an algebraically closed field of characteristic 0, $Y=k^{r}\times {(k^{\times})}^{s}$ and let $G$ be an algebraic torus acting diagonally on the ring of differential operators $\cD (Y)^G$. We give necessary and sufficient…

Building on the concept of a smooth DG algebra we define the notion of a smooth derived category. We the propose the definition of a categorical resolution of singularities. Our main example is the derived category $D(X)$ of quasi-coherent…

We study the Cox ring and monoid of effective divisor classes of $\overline{M}_{0,n} = Bl\mathbb{P}^{n-3}$, over a ring R. We provide a bijection between elements of the Cox ring, not divisible by any exceptional divisor section, and…

Cox rings are intrinsic objects naturally generalizing homogeneous coordinate rings of projective spaces. A complexity-one horospherical variety is a normal variety equipped with a reductive group action whose general orbit is horospherical…