Related papers: Computing resolutions of quotient singularities

We present two new quantum algorithms that either find a triangle (a copy of $K_{3}$) in an undirected graph $G$ on $n$ nodes, or reject if $G$ is triangle free. The first algorithm uses combinatorial ideas with Grover Search and makes…

We present algorithms to classify isolated hypersurface singularities over the real numbers according to the classification by V.I. Arnold (Arnold et al., 1985). This first part covers the splitting lemma and the simple singularities; a…

The simplest case of a manifold with singularities is a manifold M with boundary, together with an identification of the boundary with a product M1 x P, where P is a fixed manifold. The associated singular space is obtained by collapsing P…

Let $G$ be a complex semisimple algebraic group and $X$ be a complex symmetric homogeneous $G$-variety. Assume that both $G$, $X$ as well as the $G$-action on $X$ are defined over real numbers. Then $G(\mathbb{R})$ acts on $X(\mathbb{R})$…

Localisation is an important technique in ring theory and yields the construction of various rings of quotients. Colocalisation in comodule categories has been investigated by some authors where the colocalised coalgebra turned out to be a…

We use geometry of Davis complex of a Coxeter group to prove the following result: if G is an infinite indecomposable Coxeter group and $H\subset G$ is a finite index reflection subgroup then the rank of H is not less than the rank of G.…

Over the past two decades, there has been much progress on the classification of symplectic linear quotient singularities V/G admitting a symplectic (equivalently, crepant) resolution of singularities. The classification is almost complete…

Given a recollement of three proper dg algebras over a noetherian commutative ring, e.g. three algebras which are finitely generated over the base ring, which extends one step downwards, it is shown that there is a short exact sequence of…

Motivated by quotient algorithms, such as the well-known $p$-quotient or solvable quotient algorithms, we describe how to compute extensions $\tilde H$ of a finite group $H$ by a direct sum of isomorphic simple $\mathbb{Z}_p H$-modules such…

This paper examines the relationship between the symplectic quotient X//G of a Hamiltonian G-manifold X, and the associated symplectic quotient X//T, where T is a maximal torus, in the case in which X//G is a compact manifold or orbifold.…

We study spherical charged black holes in the presence of a cosmological constant with corrections motivated by the theory of loop quantum gravity. The effective theory is constructed at the Hamiltonian level by introducing certain…

In this article we study quotients of deformations of simple singularities, and attempt to characterize them in terms of subsystems of simple root systems. The quotient of a semiuniversal deformation of a simple singularity of inhomogeneous…

We propose a numerical linear algebra based method to find the multiplication operators of the quotient ring $\mathbb{C}[x]/I$ associated to a zero-dimensional ideal $I$ generated by $n$ $\mathbb{C}$-polynomials in $n$ variables. We assume…

We describe an algorithm that computes the index of a finitely generated subgroup in a finitely $L$-presented group provided that this index is finite. This algorithm shows that the subgroup membership problem for finite index subgroups in…

In this paper, we consider the nonconvex quadratically constrained quadratic programming (QCQP) with one quadratic constraint. By employing the conjugate gradient method, an efficient algorithm is proposed to solve QCQP that exploits the…

For a finite subgroup $G$ of $\operatorname{GL}(2, \mathbb C)$, we consider the moduli space ${\mathcal M}_\theta$ of $G$-constellations. It depends on the stability parameter $\theta$ and if $\theta$ is generic it is a resolution of…

Let $R$ be a ring with identity and $I(X,R)$ be the incidence algebra of a locally finite partially ordered set $X$ over $R.$ In this paper, we compute the socle and the singular ideal of the incidence ring for some $X$ in terms of the…

Let G be a linear algebraic group, not necessarily connected or reductive, over the field of real numbers R. We describe a method, implemented on computer, to find the first Galois cohomology set H^1(R,G). The output is a list of 1-cocycles…

A K3-surface is a (smooth) surface which is simply connected and has trivial canonical bundle. In these notes we investigate three particular pencils of K3-surfaces with maximal Picard number. More precisely the general member in each…

Many quantum algorithms for attacking symmetric cryptography involve the rank problem of quantum linear equations. In this paper, we first propose two quantum algorithms for solving quantum linear systems of equations with coherent…