Related papers: Deligne pairing for equidimensional morphisms
We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of…
We prove a formula which compares intersection numbers of conormal varieties of two projective varieties and their dual varieties. When one of them is linear, we can recover the usual Plucker formula for the degree of the dual variety. The…
We study topological properties of the correspondence of prime spectra associated to a noncommutative ring homomorphism R -> S. Our main result provides criteria for the adjointness of certain functors between the categories of Zariski…
A morphism of nonreduced Gieseker - Maruyama functor (of semistable coherent torsion-free sheaves) on a surface to the nonreduced functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. This leads to the…
There is a natural conjugation action on the set of endomorphism of $\P^N$ of fixed degree $d \geq 2$. The quotient by this action forms the moduli of degree $d$ endomorphisms of $\P^N$, denoted $\mathcal{M}_d^N$. We construct invariant…
We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…
Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that…
In this note, we propose a geometric analogue of Dirichlet's unit theorem on arithmetic varieties, that is, if X is a normal projective variety over a finite field and D is a pseudo-effective Q-Cartier divisor on X, does it follow that D is…
A survey of properties of the adjunction involving a semisymmetrization functor, which was suggested by J.D.H. Smith, and which maps the category of quasigroups with homotopies to the category of semisymmetric quasigroups with…
In this note we prove the geometrical origin of pairings of abelian schemes. According to Deligne's philosophy of motives, this means that these pairings are motivic. We make also explicit the link between pairings and linear morphisms. We…
A class of three-dimensional models which satisfy supersymmetric intertwining relations with the simplest - oscillator-like - variant of shape invariance is constructed. It is proved that the models are not amenable to conventional…
We prove an essentially surjective Galois-correspondence-like functor for $n$-stacks. More specifically, it gives an essentially surjective functor from the $\infty$-category of $n$-stacks of finite sets with an action of the fundamental…
Let S be a closed orientable surface of genus at least two, and let C be an arbitrary (complex) projective structure on S. We show that there is a decomposition of S into pairs of pants and cylinders such that the restriction of C to each…
Let X be a smooth projective curve over a field of characteristic p>0. We show that the Hitchin morphism, which associates to a Higgs bundle its characteristic polynomial, has a non-trivial deformation over the affine line. This deformation…
A complete system of primitive pairwise orthogonal idempotents for cyclotomic Hecke algebras is constructed by consecutive evaluations of a rational function in several variables on quantum contents of multi-tableaux. This function is a…
We associate to a 2-vector bundle over an essentially finite groupoid a 2-vector space of parallel sections, or, in representation theoretic terms, of higher invariants, which can be described as homotopy fixed points. Our main result is…
Following Hausel-Hitchin, we investigate core Lagrangians and upward flows in Hilbert schemes of points on elliptic surfaces. We compute the scheme-theoretic multiplicities of core Lagrangians, as well as the equivariant multiplicities of…
We construct stable vector bundles on the space of symmetric forms of degree d in n+1 variables which are equivariant for the action of SL_{n+1}(C), and admit an equivariant free resolution of length 2. For n=1, we obtain new examples of…
The idea is to identify certain path algebra elements with symmetric functions. We propose such a morphism by solving the quiver relations, which describe the Plucker-type embedding for quiver grassmannians.
We generalize the construction of a moduli space of semistable pairs parametrizing isomorphism classes of morphisms from a fixed coherent sheaf to any sheaf with fixed Hilbert polynomial under a notion of stability to the case of projective…