相关论文: Gr\"obner basis and Anick's resolution for U_{F_2}…
We compute three first steps of a minimal projective resolution for the trivial module over U_K(sl_3^+).
In this paper, we propose an algebraic approach to upgrade a projective reconstruction to a Euclidean one, and aim at computing the rectifying homography from a minimal number of 9 segments of known length. Constraints are derived from…
We explicitly provide minimal Gr\"obner bases for simple, finite-dimensional modules of complex Lie algebras of types A and C, using a homogeneous ordering that is compatible with the PBW filtration on the universal enveloping algebras.
Let $A=K[a_1,\ldots,a_n]$ be a weighted $\mathbb{N}$-filtered solvable polynomial algebra with filtration $FA=\{ F_pA\}_{p\in\mathbb{N}}$, where solvable polynomial algebras are in the sense of (A. Kandri-Rody and V. Weispfenning,…
We give an explicit algorithm to compute a projective resolution of a module over the noncommutative ring based on the noncommutative Groebner bases theory.
For a line arrangement in the complex projective plane $\mathbb{P}^2$, we investigate the compactification $\overline{F}$ of the affine Milnor fiber in $\mathbb{P}^3$ and its minimal resolution $\widetilde{F}$. We compute the Chern numbers…
In this article we show that, given a quadratic algebra satisfying some assumptions, which we call having a resolving datum, one can construct a projective resolution of the trivial module which is obtained as iterated cones of Koszul…
The first part of this work uses the algorithm recently detailed in arXiv:1906.02935 to classify the irreducible weight modules of the minimal model vertex operator algebra $L_k(\mathfrak{sl}_3)$, when the level $k$ is admissible. These are…
We provide an algorithmic method for constructing projective resolutions of modules over quotients of path algebras. This algorithm is modified to construct minimal projective resolutions of linear modules over Koszul algebras.
For a finite dimensional Frobenius cellular algebra, a sufficient and necessary condition for a simple cell module to be projective is given. A special case that dual bases of the cellular basis satisfying a certain condition is also…
This text consists of five relatively systematic notes on Gr\"obner bases and free resolutions of modules over solvable polynomial algebras.
The structure of the F5 algorithm to compute Gr\"obner bases makes it very efficient. However, while it is believed to terminate for so-called regular sequences, it is not clear whether it terminates for all inputs. This paper has two major…
In this article we compute a minimal Groebner basis for the symmetric algebra for certain affine Monomial Curves, as an R-module. Keywords: Monomial Curves, Groebner Basis, Symmetric Algebra. Mathematics Subject Classification 2000: 13P10,…
We extend recent results in order to construct projective resolutions for modules over twisted tensor products of truncated polynomial rings. We begin by taking note of the conditions necessary to think of these algebras as a type of Ore…
A canonical minimal free resolution of an arbitrary co-artinian lattice ideal over the polynomial ring is constructed over any field whose characteristic is 0 or any but finitely many positive primes. The differential has a closed-form…
Many computer vision applications require robust estimation of the underlying geometry, in terms of camera motion and 3D structure of the scene. These robust methods often rely on running minimal solvers in a RANSAC framework. In this paper…
In this paper we want to propose practical numerical methods to solve a class of initial-boundary problem of space-time fractional advection-diffusion equations. To start with, an implicit method based on two-sided Gr\"unwald formulae is…
A good canonical projection of a surface $S$ of general type is a morphism to the 3-dimensional projective space P^3 given by 4 sections of the canonical line bundle. To such a projection one associates the direct image sheaf F of the…
We give a practical, algorithmic method to calculate minimal projective resolutions of simple modules for a finite dimensional incidence $k$-algebra $\Lambda$, where $k$ is a field. We apply the method to the calculation of Ext groups…
We obtain explicit formulas for the trivialization functions of the ${\rm SU}(3)$ principal bundle $G_2 \to S^6$ over two affine charts. We also calculate the explicit transition function of this fibration over the equator of the…