An official website of the United States government
We show that over an algebraically closed field of characteristic not equal to 2, homological projective duality for smooth quadric hypersurfaces and for double covers of projective spaces branched over smooth quadric hypersurfaces is a combination of two operations: one interchanges a quadric hypersurface with its classical projective dual and the other interchanges a quadric hypersurface with the double cover branched along it.
more »
« less
Categorical joins
We introduce the notion of a categorical join, which can be thought of as a categorification of the classical join of two projective varieties. This notion is in the spirit of homological projective duality, which categorifies classical projective duality. Our main theorem says that the homological projective dual category of the categorical join is naturally equivalent to the categorical join of the homological projective dual categories. This categorifies the classical version of this assertion and has many applications, including a nonlinear version of the main theorem of homological projective duality.
more »
« less
- PAR ID:
- 10329187
- Date Published:
- Journal Name:
- Journal of the American Mathematical Society
- Volume:
- 34
- Issue:
- 2
- ISSN:
- 0894-0347
- Page Range / eLocation ID:
- 505 to 564
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
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, semilinear and semialgebraic 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 nonuniform computational complexity (such as circuit complexity), while on the other hand it has features that 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.more » « less
-
Duality properties are studied for a Gorenstein algebra that is finite and projective over its center. Using the homotopy category of injective modules, it is proved that there is a local duality theorem for the subcategory of acyclic complexes of such an algebra, akin to the local duality theorems of Grothendieck and Serre in the context of commutative algebra and algebraic geometry. A key ingredient is the Nakayama functor on the bounded derived category of a Gorenstein algebra and its extension to the full homotopy category of injective modules.more » « less
-
null (Ed.)By a fundamental theorem of D. Quillen, there is a natural duality - an instance of general Koszul duality - between differential graded (DG) Lie algebras and DG cocommutative coalgebras defined over a field k of characteristic 0. A cyclic pairing (i.e., an inner product satisfying a natural cyclicity condition) on the cocommutative coalgebra gives rise to an interesting structure on the universal enveloping algebra Ua of the Koszul dual Lie algebra a called the derived Poisson bracket. Interesting special cases of the derived Poisson bracket include the Chas-Sullivan bracket on string topology. We study the derived Poisson brackets on universal enveloping algebras Ua, and their relation to the classical Poisson brackets on the derived moduli spaces DRep_g(a) of representations of a in a finite dimensional reductive Lie algebra g. More specifically, we show that certain derived character maps of a intertwine the derived Poisson bracket with the classical Poisson structure on the representation homology HR(a, g) related to DRep_g(a).more » « less
-
In previous work, the authors established a generalized version of Schmidt’s subspace theorem for closed subschemes in general position in terms of Seshadri constants.We extend our theorem to weighted sums involving closed subschemes in subgeneral position, providing a joint generalization of Schmidt’s theorem with seminal inequalities of Nochka.A key aspect of the proof is the use of a lower bound for Seshadri constants of intersections from algebraic geometry, as well as a generalized Chebyshev inequality.As an application, we extend inequalities of Nochka and Ru–Wong from hyperplanes in 𝑚-subgeneral position to hypersurfaces in 𝑚-subgeneral position in projective space, proving a sharp result in dimensions 2 and 3, and coming within a factor of 3/2 of a sharp inequality in all dimensions.We state analogous results in Nevanlinna theory generalizing the second main theorem and Nochka’s theorem (Cartan’s conjecture).more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1090/jams/963
