Related papers: A solution to the Baer splitting problem

In this paper, sufficient conditions for finitely generated modules over a commutative noetherian ring to be projective are given in terms of vanishing of Ext modules. One of the main results of this paper asserts that the Auslander--Reiten…

A module $M$ is {called} stable if it has no nonzero projective direct summand. For a ring $ R $, we study conditions under which $R$-modules from certain classes decompose as a direct sum of a projective submodule and a stable submodule.…

Let B(X,L,s) be the twisted homogeneous coordinate ring of an irreducible variety X over an algebraically closed field k with dim X > 1. Assume that c in X and s in Aut(X) are in sufficiently general position. We show that if one follows…

We compute projective dimension of translated simple modules in the regular block of the BGG category $\mathcal{O}$ in terms of Kazhdan-Lusztig combinatorics. This allows us to determine which projectives can appear at the last step of a…

Let $p\neq 2$, and let $R$ be a smooth affine algebra of dimension $3$ over $\overline{F}_p$ and $P, Q$ be projective $R$-modules of rank $2$, each with trivial determinant. We prove: $P$ is isomorphic to $Q$ if and only if there is an…

We describe a connection between two seemingly different problems: (a) the construction of projections in noncommutative tori, (b) the construction of tight Gabor frames. The present investigation relies an interpretation of projective…

Let T be a torus over an algebraically closed field k of characteristic 0, and consider a projective T-module P(V). We determine when a projective toric subvariety X of P(V) is self-dual, in terms of the configuration of weights of V.

We give an explicit algorithm to compute a projective resolution of a module over the noncommutative ring based on the noncommutative Groebner bases theory.

We construct an irreducible embedded projective plane in $S^4$. This gives a counterexample to the Kinoshita conjecture and answers Problem 4.37 of the K3 problem list. Moreover, we answer both Questions (i) and (ii) of Problem 4.37: (i)…

The famous Jacobian Conjecture asks if a morphism $f:K[x,y]\to K[x,y]$ with invertible Jacobian, is invertible ($K$ is a characteristic zero field). A known result says that if $K[f(x),f(y)] \subseteq K[x,y]$ is an integral extension, then…

Given any compact Riemann surface $C$, there is a canonical meromorphic 2--form $\widehat\eta$ on $C\times C$, with pole of order two on the diagonal $\Delta\, \subset\, C\times C$, constructed in \cite{cfg}. This meromorphic 2--form…

A plank is the part of space between two parallel planes. The following open problem, posed 45 years ago, can be viwed as the converse of Tarski's plank problem (Bang's theorem): Is it true that if the total width of a collection of planks…

In this article we prove that if $(X,B+\beta)$ is a projective generalized klt pair such that $B+\beta$ is big, then $(X,B+\beta)$ admits a good Minimal Model or Mori fiber space. In particular, this implies Tossati's transcendental…

The following conjecture arose out of discussions between B. Harbourne, J. Ro\'e, C. Cilberto and R. Miranda: for a smooth projective surface $X$ there exists a positive constant $c_X$ such that $h^1(\mathcal O_X(C))\le c_X h^0(\mathcal…

We consider all complex projective manifolds X that satisfy at least one of the following three conditions: 1. There exists a pair $(C ,\varphi)$, where $C$ is a compact connected Riemann surface and $\varphi : C\to X$ a holomorphic map,…

Let p be a prime ideal in a commutative noetherian ring R. It is proved that if an R-module M satisfies Tor^R_n(k(p),M) = 0 for some n \geq dim R_p, where k(p) is the residue field at p, then Tor^R_i(k(p),M) = 0 holds for all i \geq n.…

We will prove that if $G$ and $H$ are modules over a principal ideal domain $R$ such that the endomorphism rings $\mathrm{End}_R(R\oplus G)$ and $\mathrm{End}_R(R\oplus H)$ are isomorphic then $G\cong H$. Conversely, if $R$ is a Dedekind…

Let $R$ be a commutative Noetherian ring and $I$ be an ideal of $R$. In this article we answer affirmatively a question raised by the present author in \cite{B2}. Also, as an immediate consequence of this result it is shown that the…

Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$…

A noncommutative analogue of the Zariski cancellation problem asks whether $A[x]\cong B[x]$ implies $A\cong B$ when $A$ and $B$ are noncommutative algebras. We resolve this affirmatively in the case when $A$ is a noncommutative finitely…