Source author record

M. Umut Isik

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

ResearcherUnclaimed source record

math.AG math.CT Computational Complexity math.AC math.RA

Catalog footprint

Research overview

6works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2019arXiv

Categorical Complexity

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several examples of this new definition in categories of wide common interest, such as finite sets, Boolean functions, topological spaces, vector spaces, semi-linear and semi-algebraic sets, graded algebras, affine and projective varieties and schemes, and modules over polynomial rings. We show that on one hand categorical complexity recovers in several settings classical notions of non-uniform computational complexity (such as circuit complexity), while on the other hand it has features which make it mathematically more natural. We also postulate that studying functor complexity is the categorical analog of classical questions in complexity theory about separating different complexity classes.

preprint2016arXiv

Complexity Classes and Completeness in Algebraic Geometry

We study the computational complexity of sequences of projective varieties. We define analogues of the complexity classes P and NP for these and prove the NP-completeness of a sequence called the universal circuit resultant. This is the first family of compact spaces shown to be NP-complete in a geometric setting.

preprint2014arXiv

Homological Projective Duality via Variation of Geometric Invariant Theory Quotients

We provide a geometric approach to constructing Lefschetz collections and Landau-Ginzburg Homological Projective Duals from a variation of Geometric Invariant Theory quotients. This approach yields homological projective duals for Veronese embeddings in the setting of Landau Ginzburg models. Our results also extend to a relative Homological Projective Duality framework.

preprint2014arXiv

On the Derived Categories of Degree d Hypersurface Fibrations

We provide descriptions of the derived categories of degree $d$ hypersurface fibrations which generalize a result of Kuznetsov for quadric fibrations and give a relative version of a well-known theorem of Orlov. Using a local generator and Morita theory, we re-interpret the resulting matrix factorization category as a derived-equivalent sheaf of dg-algebras on the base. Then, applying homological perturbation methods, we obtain a sheaf of $A_\infty$ -algebras which gives a new description of homological projective duals for (relative) $d$ -Veronese embeddings, recovering the sheaf of Clifford algebras obtained by Kuznetsov in the case when $d=2$ .

preprint2014arXiv

Resolutions in factorization categories

Generalizing Eisenbud's matrix factorizations, we define factorization categories. Following work of Positselski, we define their associated derived categories. We construct specific resolutions of factorizations built from a choice of resolutions of their components. We use these resolutions to lift fully-faithfulness statements from derived categories of Abelian categories to derived categories of factorizations and to construct a spectral sequence computing the morphism spaces in the derived categories of factorizations from Ext-groups of their components in the underlying Abelian category.

preprint2010arXiv

Equivalence of the Derived Category of a Variety with a Singularity Category

We prove an equivalence between the derived category of a variety and the equivariant/graded singularity category of a corresponding singular variety. The equivalence also holds at the dg level.

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.

M. Umut Isik

Research overview

Is this your work?

6 publications

Categorical Complexity

Complexity Classes and Completeness in Algebraic Geometry

Homological Projective Duality via Variation of Geometric Invariant Theory Quotients

On the Derived Categories of Degree d Hypersurface Fibrations

Resolutions in factorization categories

Equivalence of the Derived Category of a Variety with a Singularity Category

See the researcher in context

Building this map preview