Related papers: Matrix computations on projective modules using no…

We prove that the stably free modules over a smooth affine threefold over an algebraically closed field of characteristic different from 2 are free.

Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…

With this paper we present an extension of our recent ISSAC paper about computations of Groebner(-Shirshov) bases over free associative algebras Z<X>. We present all the needed proofs in details, add a part on the direct treatment of the…

Solving zero-dimensional polynomial systems using Gr\"obner bases is usually done by, first, computing a Gr\"obner basis for the degree reverse lexicographic order, and next computing the lexicographic Gr\"obner basis with a change of order…

We study constructible invariants of the moduli space $\overline{\mathcal{M}}(\boldsymbol{x})$ of stable maps from genus zero curves to $\mathbb{P}^1$, relative to $0$ and $\infty$, with ramification profiles specified by…

Let $M_R$ be a module and $\sigma$ an endomorphism of $R$. Let $m\in M$ and $a\in R$, we say that $M_R$ satisfies the condition $\mathcal{C}_1$ (respectively, $\mathcal{C}_2$), if $ma=0$ implies $m\sigma(a)=0$ (respectively, $m\sigma(a)=0$…

In this paper we give some relationships among the Groebner-Shirshov bases in free associative algebras, free left modules and "double-free" left modules (free modules over a free algebra). We give the Chibrikov's Composition-Diamond lemma…

Let $(R,\mathfrak{m}_R,k)$ be a one-dimensional complete local reduced $k$-algebra over a field of characteristic zero. R. Berger conjectured that $R$ is regular if and only if the universally finite module of differentials $\Omega_R$ is…

We prove an analogue of the Madsen-Weiss theorem for high dimensional manifolds. For example, we explicitly describe the ring of characteristic classes of smooth fibre bundles whose fibres are connected sums of g copies of S^n x S^n, in the…

This paper is a continuation of the papers J. Pure Appl. Algebra, 210 (2007), 437--445 and J. Algebra Appl., 8 (2009), 219--227. Namely, we introduce and study a doubly filtered set of classes of modules of finite Gorenstein projective…

We introduce a new class of large structured random matrices characterized by four fundamental properties which we discuss. We prove that this class is stable under matrix-valued and pointwise non-linear operations. We then formulate an…

We consider a rational map f:S->S of a complex projective surface together with an invariant meromorphic two form. Under a mild topological assumption on the map, we show that the zeroes of the invariant form can be eliminated by birational…

We initiate a new, computational approach to a classical problem: certifying non-freeness of ($2$-generator, parabolic) M\"{o}bius subgroups of $\mathrm{SL}(2,\mathbb{Q})$. The main tools used are algorithms for Zariski dense groups and…

Let $R\to U$ be an associative ring epimorphism such that $U$ is a flat left $R$-module. Assume that the related Gabriel topology $\mathbb G$ of right ideals in $R$ has a countable base. Then we show that the left $R$-module $U$ has…

In this article, the projectivity of finitely generated flat modules of a commutative ring are studied from a topological point of view. Then various interesting results are obtained. For instance, it is shown that if a ring has either a…

Working in a polynomial ring $S=\mathbf{k}[x_1,\ldots,x_n]$ where $\mathbf{k}$ is an arbitrary commutative ring with $1$, we consider the $d^{th}$ Veronese subalgebras $R=S^{(d)}$, as well as natural $R$-submodules $M=S^{(\geq r, d)}$…

In this paper, we characterize rank one preserving module maps on a Hilbert $C^\ast-$module and study its applications on free probability theory.

Let $k$ be an algebraically closed field of any characteristic, and let $(X,P)$ be an orbifold curve over $k$. We construct the moduli space $\mathrm{M}_{(X,P)}^{\mathrm{ss}}(n, \Delta)$ of $P$-semistable bundles on $(X,P)$ of rank $n$ and…

In this paper, we study the problem when a finitely generated torsionless module is projective. Let $\Lambda$ be an Artinian local algebra with radical square zero. Then a finitely generated torsionless $\Lambda$-module $M$ is projective if…

A stable pair on a projective variety consists of a sheaf and a global section subject to stability conditions parameterized by rational polynomials. We will show that for a smooth projective threefold and a class of a rank 2 sheaf, there…