Related papers: Analysis on some infinite modules, inner projectio…

We show the geometric syzygy conjecture in positive characteristic. Specifically, if C is a general smooth curve of genus g defined over an algebraically closed field of characteristic p, then all linear syzygy spaces are spanned by…

In this paper we study short exact sequences $ 0 \to \mathcal P \to \mathcal N \to \ii_D(k) \to 0 $ with $ \mathcal P, \mathcal N $ torsion--free sheaves and $ D $ closed projective scheme. This is a classical way to construct and study…

Repetitiveness in projective and injective resolutions and its influence on homological dimensions are studied. Some variations on the theme of repetitiveness are introduced, and it is shown that the corresponding invariants lead to very…

We introduce a weak order ideal property that suffices for establishing the Evans-Griffith Syzygy Theorem. We study this weak order ideal property in settings that allow for comparison between homological algebra over a local ring $R$…

Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…

The linearity defect, introduced by Herzog and Iyengar, is a numerical measure for the complexity of minimal free resolutions. Employing a characterization of the linearity defect due to \c{S}ega, we study the behavior of linearity defect…

We study structures of embedded projective manifolds swept out by cubic varieties. We show if an embedded projective manifold is swept out by high-dimensional smooth cubic hypersurfaces, then it admits an extremal contraction which is a…

We prove a higher dimensional generalization of Gross and Zagier's theorem on the factorization of differences of singular moduli. Their result is proved by giving a counting formula for the number of isomorphisms between elliptic curves…

We introduce the class of modules with initially linear syzygies, which includes ideals with linear quotients, and study their minimal resolutions. Using a contracting homotopy for the resolutions, we see that the minimal resolution of a…

The first half of the thesis concerns Abelian vortices and Yang-Mills (YM) theory. It is proved that the 5 types of vortices recently proposed by Manton are symmetry reductions of (A)SDYM equations with suitable gauge groups and symmetry…

We study the syzygies of a codimension two ideal I = <f_1,f_2,f_3> in k[x,y,z]. Our main result is that the module of syzygies vanishing (scheme-theoretically) at the zero locus Z = V(I) is generated by the Koszul syzygies iff Z is a local…

We discover a new connection between Koszul theory and representation theory. Let $\La$ be a quadratic algebra defined by a locally finite quiver with relations. Firstly, we give a combinatorial description of the local Koszul complexes and…

The phenomenon of periodicity, discovered by Benson and Goodearl, is linked to the behavior of the objects of cocycles in acyclic complexes. It is known that any flat $\mathsf{Proj}$-periodic module is projective, any fp-injective…

We study syzygies of the Segre embedding of P(V_1) x ... x P(V_n), and prove two finiteness results. First, for fixed p but varying n and V_i, there is a finite list of "master p-syzygies" from which all other p-syzygies can be derived by…

Let Q be an affine semigroup generating Z^d, and fix a finitely generated Z^d-graded module M over the semigroup algebra k[Q] for a field k. We provide an algorithm to compute a minimal Z^d-graded injective resolution of M up to any desired…

In this paper, we investigate the notions of $\mathcal{X}^\bot$-projective, $\mathcal{X}$-injective and $\mathcal{X}$-flat modules and give some characterizations of these modules, where $\mathcal{X}$ is a class of left $R$-modules. We…

We discuss the isomorphism problem of projective schemes; given two projective schemes, can we algorithmically decide whether they are isomorphic? We give affirmative answers in the case of one-dimensional projective schemes, the case of…

Many applications using large datasets require efficient methods for minimizing a proximable convex function subject to satisfying a set of linear constraints within a specified tolerance. For this task, we present a proximal projection…

Let $X$ be a $n$ dimensional compact local Hermitian symmetric space of non-compact type and $L=\shO(K_X)\tens\shO(qM)$ be an adjoint line bundle. Let $c>0$ be a constant. Assume the curvature of $M$ is $\ge c\omega$, where $\omega$ is the…

We present a new interior-point potential-reduction algorithm for solving monotone linear complementarity problems (LCPs) that have a particular special structure: their matrix $M\in{\mathbb R}^{n\times n}$ can be decomposed as $M=\Phi U +…