Related papers: Monic Inversion Principle and Complete intersectio…

This is my PhD thesis from 2004 under Prof. S.M. Bhatwadekar. Here we answer a question of Nori and prove the following result. Let $A$ be a smooth affine domain of dimension $d$ over an infinite perfect field. Let $I$ be an ideal of $A[T]$…

Let $R$ be an affine algebra over an algebraically closed field of characteristic $0$ with dim$(R)=n$. Let $P$ be a projective $A=R[T_1,\cdots,T_k]$-module of rank $n$ with determinant $L$. Suppose $I$ is an ideal of $A$ of height $n$ such…

Let $A$ be a commutative Noetherian ring of dimension $n$ ($n \ge 3$). Let $I$ be a local complete intersection ideal in $A[T]$ of height $n$. Suppose $I/{I^2}$ is free ${A[T]}/I$-module of rank $n$ and $({A[T]}/I)$ is torsion in…

Throughout this abstruct $A$ will denote a noetherian commutative ring of dimension $n$. The paper has two parts. Among the interesting results in Part-1 are the following: 1) {\it suppose that $f_1, f_2, ..., f_r$ (with $r \leq n$) is a…

Suppose $A=k[X_1, X_2, \ldots, X_n]$ is a polynomial ring over a field $k$ and $I$ is an ideal in $A$. Then M. P. Murthy conjectured that $\mu(I)=\mu(I/I^2)$, where $\mu$ denotes the minimal number of generators. Recently, Fasel \cite{F}…

Let $A$ be a regular ring over a field $k$, with $1/2\in k$ and dimension $d$. We discuss the Homotopy Conjecture of Madhav V. Nori, in the complete intersection case (meaning when the projective module in question if free, of rank at least…

Let $\phi$ be a Drinfeld module of generic characteristic, and let $X$ be a sufficiently generic affine subvariety of $\mathbb{G}_a^g$. We show that the intersection of $X$ with a finite rank $\phi$-submodule of $\mathbb{G}_a^g$ is finite.

We prove an analogue of the Affine Horrocks' Theorem for local complete intersection ideals of height $n$ in $R[T]$, where $R$ is a regular domain of dimension $d$, which is essentially of finite type over an infinite perfect field of…

Let $R$ be a smooth affine algebra over an infinite perfect field $k$. Let $I\subset R$ be an ideal, $\omega_I:(R/I)^n\to I/I^2$ a surjective homomorphism and $Q_{2n}\subset \mathbb{A}^{2n+1}$ be the smooth quadric defined by the equation…

We consider the class of all commutative reduced rings for which there exists a finite subset T of A such that all projections on quotients by prime ideals of A are surjective when restricted to T. A complete structure theorem is given for…

Let $\mathcal{P}$ be the class of rings for which every indecomposable right module is pure-projective or pure-injective. When $R$ is a Noetherian local commutative ring of maximal ideal $P$, it is proven that $R\in\mathcal{P}$ if and only…

Let $R=k[x_1,\dots,x_n]$ be a polynomial ring over a prefect field of positive characteristic. Let $I$ be an unmixed ideal in $R$ and let $J$ be a generic link of $I$ in $S=R[u_{ij}]_{c \times r}$. We describe the parameter test submodule…

Let $I_M$ and $I_N$ be defining ideals of toric varieties such that $I_M$ is a projection of $I_N$, i.e. $I_N \subseteq I_M$. We give necessary and sufficient conditions for the equality $I_M=rad(I_N+(f_1,...,f_s))$, where $f_1,...,f_s$…

We give sufficent conditions for a derivation of a $k$-algebra $A$ of finite type to be $\infty$-integrable in the sense of Hasse-Schmidt, when $A$ is a complete intersection, or when $A$ is reduced and $k$ is a regular ring. As a…

Let $R$ be a commutative Noetherian ring of dimension $d$. First, we define the "geometric subring" $A$ of a polynomial ring $R[T]$ of dimension $d+1$ (the definition of geometric subring is more general, see (1.2)). Then we prove that…

We introduce the monic rank of a vector relative to an affine-hyperplane section of an irreducible Zariski-closed affine cone $X$. We show that the monic rank is finite and greater than or equal to the usual $X$-rank. We describe an…

Let $k$ be an arbitrary field, the purpose of this work is to provide families of positive integers $\mathcal{A} = \{d_1,\ldots,d_n\}$ such that either the toric ideal $I_{\mathcal A}$ of the affine monomial curve $\mathcal C =…

Given a set $\mathcal A = \{a_1,\ldots,a_n\} \subset \mathbb{N}^m$ of nonzero vectors defining a simplicial toric ideal $I_{\mathcal A} \subset k[x_1,...,x_n]$, where $k$ is an arbitrary field, we provide an algorithm for checking whether…

We prove that every quasi-complete intersection ideal is obtained from a pair of nested complete intersection ideals by way of a flat base change. As a by-product we establish a rigidity statement for the minimal two-step Tate complex…

Let $K$ be a field and $I$ a monomial ideal of the polynomial ring $S=K[x_1,\ldots, x_n]$. We show that if either: 1) $I$ is almost complete intersection, 2) $I$ can be generated by less than four monomials; or 3) $I$ is the Stanley-Reisner…