Related papers: Serre duality for non-commutative P^1-bundles

We develop a new framework for noncommutative differential geometry based on double derivations. This leads to the notion of moment map and of Hamiltonian reduction in noncommutative symplectic geometry. For any smooth associative algebra…

In Commutative Algebra structure results on minimal free resolutions of Gorenstein modules are of classical interest. We define Gorenstein modules of finite length over the weighted polynomial ring via symmetric matrices in divided powers.…

Let X be a compact connected Riemann surface equipped with an anti-holomorphic involution \sigma. Let G be a connected complex reductive affine algebraic group, and let \sigma_G be a real form of G. We consider holomorphic principal…

We prove finite generation of the algebra of type A conformal blocks over arbitrary stable curves of any genus. As an application we construct a flat family of irreducible normal projective varieties over the moduli stack of stable pointed…

Classical invariants for representations of one Lie group can often be related to invariants of some other Lie group. Physics suggests that the right objects to consider for these questions are certain refinements of classical invariants…

Let $G$ be a simple simply-connected connected linear algebraic group over $\mathbb{C}$. We proved a $2$-birational Torelli theorem for the moduli space of semistable principal $G$-bundles over a smooth curve of genus $\geq 3$, which says…

In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…

Let A be an abelian hereditary category with Serre duality. We provide a classification of such categories up to derived equivalence under the additional condition that the Grothendieck group modulo the radical of the Euler form is a free…

Let k be a field. In this paper, we find necessary and sufficient conditions for a noncommutative curve of genus zero over k to be a noncommutative P^1-bundle. This result can be considered a noncommutative, one-dimensional version of…

We construct, using geometric invariant theory, a quasi-projective Deligne-Mumford stack of stable graded algebras. We also construct a derived enhancement, which classifies twisted bundles of stable graded A-infinity-algebras. The tangent…

We study dualities between classes of relational topological structures, given by Hom-functors. We show that there exists a 2-element structure with infinitely many relations, which reconstructs all other structures generated by a 2-element…

We present a Serre-type conjecture on the modularity of four-dimensional symplectic mod p Galois representations. We assume that the Galois representation is irreducible and odd (in the symplectic sense). The modularity condition is…

We give some equivalent characterizations of $\mathcal{GP}$, the class of Gorenstein $(\mathcal{L}, \mathcal{A})$-projective modules, and construct some model structures associated to duality pairs and Frobenius pairs. Moreover, some rings…

We call a monoidal category ${\mathcal C}$ a Serre category if for any $C$, $D \in {\mathcal C}$ such that $C\ot D$ is semisimple, $C$ and $D$ are semisimple objects in ${\mathcal C}$. Let $H$ be an involutory Hopf algebra, $M$, $N$ two…

Let $\Lambda$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $\Lambda$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate…

Let $X$ be a smooth projective curve of genus $g \geq 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Given a semistable vector bundle $E$ over $X$, we show that its direct image $F\_*E$ under the Frobenius map…

Fix a pair of positive integers d and n. We create a ring R and a complex G of R-modules with the following universal property. Let P be a polynomial ring in d variables over a field and let I be a grade d Gorenstein ideal in P which is…

We show that the action of the Serre functor on the subcategory of projective-injective modules in a parabolic BGG category $\mathcal O$ of a quasi-reductive finite dimensional Lie superalgebra is given by tensoring with the top component…

We discuss a possible noncommutative generalization of the notion of an equivariant vector bundle. Let $A$ be a $\mathbb{K}$-algebra, $M$ a left $A$-module, $H$ a Hopf $\mathbb{K}$-algebra, $\delta:A\to H\otimes A:=H\otimes_{\mathbb{K}} A$…

The ring of dual integers is the bounded polynomial ring $\mathbb Z[\epsilon]=\mathbb Z[T]/(T^2)$ with integer coefficients. We describe the (finitely generated) Gorenstein-projective $\mathbb Z[\epsilon]$-modules as the torsionless…