Source author record

Hoang Le Truong

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
2topics
4close collaborators

Published work

13 publications

preprint2022arXiv

Classification and geometric properties of surfaces with property N3,3{\bf N}_{3,3}

Let XX be a closed subscheme of codimension ee in a projective space. One says that XX satisfies property Nd,p{\bf N}_{d,p}, if the ii-th syzygies of the homogeneous coordinate ring are generated by elements of degree <d+i<d+i for 0≤i≤p0\le i\le p. The geometric and algebraic properties of smooth projective varieties satisfying property N2,e{\bf N}_{2,e} are well understood, and the complete classification of these varieties is a classical result. The aim of this paper is to study the next case: projective surfaces in P5\Bbb P^5 satisfying property N3,3{\bf N}_{3,3}. In particular, we give a classification of such varieties using adjunction mappings and we also provide illuminating examples of our results via calculations done with Macaulay 2. As corollaries, we study the CI-biliaison equivalence class of smooth projective surfaces of degree 1010 satisfying property N3,3{\bf N}_{3,3} on a cubic fourfold.

preprint2015arXiv

On the index of reducibility in Noetherian modules

Let MM be a finitely generated module over a Noetherian ring RR and NN a submodule. The index of reducibility irM(N)_M(N) is the number of irreducible submodules that appear in an irredundant irreducible decomposition of NN (this number is well defined by a classical result of Emmy Noether). Then the main results of this paper are: (1) irM(N)=∑p∈AssR(M/N)dim⁡k(p)Soc(M/N)p\mathrm{ir}_M(N) = \sum_{{\frak p} \in \mathrm{Ass}_R(M/N)} \dim_{k(\frak p)} \mathrm{Soc}(M/N)_{\frak p} ; (2) For an irredundant primary decomposition of N=Q1∩⋯∩QnN = Q_1 \cap \cdots \cap Q_n, where QiQ_i is pi\frak p_i-primary, then irM(N)=irM(Q1)+⋯+irM(Qn)\mathrm{ir}_M(N) = \mathrm{ir}_M(Q_1) + \cdots + \mathrm{ir}_M(Q_n) if and only if QiQ_i is a pi\frak p_i-maximal embedded component of NN for all embedded associated prime ideals pi\frak p_i of NN; (3) For an ideal II of RR there exists a polynomial IrM,I(n)\mathrm{Ir}_{M,I}(n) such that IrM,I(n)=irM(InM)\mathrm{Ir}_{M,I}(n)=\mathrm{ir}_M(I^nM) for n≫0n\gg 0. Moreover, bightM(I)−1≤°(IrM,I(n))≤ℓM(I)−1\mathrm{bight}_M(I)-1\le °(\mathrm{Ir}_{M,I}(n))\le \ell_M(I)-1; (4) If (R,m)(R, \frak m) is local, MM is Cohen-Macaulay if and only if there exist an integer ll and a parameter ideal q\frak q of MM contained in ml\frak m^l such that irM(qM)=dim⁡kSoc(Hmd(M))\mathrm{ir}_M({\frak q}M)=\dim_k\mathrm{Soc}(H^d_{\frak m}(M)), where d=dim⁡Md=\dim M.

preprint2015arXiv

The Chern Coefficient and Cohen-Macaulay rings

The purpose of this paper is to investigate a relationship between the index of reducibility and the Chern coefficient for primary ideals. Therefore, the main result of this paper gives a characterization of a Cohen-Macaulay ring in terms of its the index of reducibility, its Cohen-Macaulay type, and the Chern coefficient for parameter ideals. As corollaries to the main theorem we obtained the characterizations of a Gorenstein ring in term of its Chern coefficient for parameter ideals.

preprint2013arXiv

Huneke-Wiegand conjecture and change of rings

Let RR be a Cohen-Macaulay local ring of dimension one with a canonical module KR\rm{K_R}. Let II be a faithful ideal of RR. We explore the problem of when I⊗RI∨I \otimes_RI^{\vee} is torsionfree, where I∨=HomR(I,KR)⁡I^{\vee} = \operatorname{Hom_R(I, \rm{K_R})}. We prove that if RR has multiplicity at most 66, then II is isomorphic to RR or KR\rm{K_R} as an RR-module, once I⊗RI∨I\otimes_RI^{\vee} is torsionfree. This result is applied to monomial ideals of numerical semigroup rings. A higher dimensional assertion is also discussed.

preprint2010arXiv

On a new invariant of finitely generated modules over local rings

Let MM be a finitely generated module on a local ring RR and $\F: M_0\subset M_1\subset...\subset M_t=M$ a filtration of submodules of MM such that do<d1<...<dt=d d_o<d_1< ... <d_t=d, where di=dim⁡Mid_i=\dim M_i. This paper is concerned with a non-negative integer pF(M)p_\mathcal F(M) which is defined as the least degree of all polynomials in n1,...,ndn_1, ..., n_d bounding above the function ℓ(M/(x1n1,...,xdnd)M)−∑i=0tn1...ndie(x1,...,xdi;Mi).\ell(M/(x_1^{n_1}, ..., x_d^{n_d})M)-\sum_{i=0}^tn_1...n_{d_i}e(x_1,..., x_{d_i};M_i). We prove that pF(M)p_\mathcal F(M) is independent of the choices of good systems of parameters x‾=x1,...,xd\underline x=x_1, ..., x_d. When $\F$ is the dimension filtration of MM we also present some relations between $p_\F(M)$ and the polynomial type of each Mi/Mi−1M_i/M_{i-1} and the dimension of the non-sequentially Cohen-Macaulay locus of MM.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.