arXiv


Formal Deformations of Dirac Structures.

Frank Keller, Stefan Waldmann

Formal Deformations of Dirac Structures.

Frank Keller, Stefan Waldmann

Notes on A-infinity algebras, A-infinity categories and non-commutative geometry. I.

Maxim Kontsevich, Yan Soibelman

We develop geometric approach to A-infinity algebras and A-infinitycategories based on the notion of formal scheme in the category of gradedvector spaces. Geometric approach clarifies several questions, e.g. the notionof homological unit or A-infinity structure on A-infinity functors. We discussHochschild complexes of A-infinity algebras from geometric point of view. Thepaper contains homological versions of the notions of properness and smoothnessof projective varieties as well as the non-commutative version of Hodge-to-deRham degeneration conjecture. We also discuss a generalization of Deligne’sconjecture which includes both Hochschild chains and cochains. We conclude thepaper with the description of an action of the PROP of singular chains of thetopological PROP of 2-dimensional surfaces on the Hochschild chain complex ofan A-infinity algebra with the scalar product (this action is more or lessequivalent to the structure of 2-dimensional Topological Field Theoryassociated with an “abstract” Calabi-Yau manifold).

Deformations via Simplicial Deformation Complexes.

J. P. Pridham

There has long been a philosophy that every deformation problem incharacteristic zero should be governed by a differential graded Lie algebra(DGLA). In this paper, the theory of Simplicial Deformation Complexes (SDCs) isdeveloped, as an alternative to DGLAs. These work in all characteristics, andfor many problems can be constructed canonically. In particular, SDCs areconstructed for the problems of deforming an arbitrary scheme, of deforming aHopf algebra, and of deforming a representation of the fundamental group. Incharacteristic zero, SDCs and DGLAs are equivalent.

Higher and derived stacks: a global overview.

B. Toen

These are expended notes of my talk at the summer institute in algebraicgeometry (Seattle, July-August 2005), whose main purpose is to present a globaloverview on the theory of higher and derived stacks. This text is far frombeing exhaustive but is intended to cover a rather large part of the subject,starting from the motivations and the foundational material, passing throughsome examples and basic notions, and ending with some more recent developmentsand open questions.

On deformations of flag manifolds with b_2=1.

Norbert Kuhlmann

Each global deformation of a flag manifold F with Picardgroup one isbiholomorphic to F. The same result holds for del Pezzo manifolds of degree 5and dimension >2.

Deformations of local systems and Eisenstein series.

A. Braverman, D. Gaitsgory

Let X be a (smooth and complete) curve and G a reductive group. In [BG]we introduced the object that we called “geometric Eisenstein series”. This isa perverse sheaf Eis E (or rather a complex of such) on the modulistack Bun G (X) of principal G -bundles on X , which is attached to a localsystem E on X with respect to the torus T ¯ , Langlands dual to theCartan subgroup T G . In loc. cit. we showed that Eis E corresponds to the G ¯ -local system induced from E , in the sense ofthe geometric Langlands correspondence.

In the present paper we address the following question, suggested by V.Drinfeld: what is the perverse sheaf on Bun G (X) that corresponds to theuniversal deformation of E as a local system with respect to the Borelsubgroup B ¯ G ¯ ?

We prove, following a conjecture of Drinfeld, that the resulting perversesheaf if the classical, i.e., non-compactified Eisenstein series.

Algebraic Geometry over Lie Algebras.

Ilya Kazachkov

This is a survey paper on Alegbraic Geometry over Lie Algebras

Dimension, multiplicity, holonomic modules, and an analogue of the inequality of Bernstein for rings of differential operators in prime characteristic.

V. V. Bavula

Let K be an {\em arbitrary} field of characteristic p >0 and CD (P n) be the ring of differential operators on a polynomial algebra P n in n variables. A long anticipated {\em analogue of the inequality of Bernstein} isproved for the ring CD (P n) . On the way, analogues of the concepts of

(Gelfand-Kirillov) {\em dimension, multiplicity, holonomic modules} are foundin prime characteristic (giving answers to old questions of finding suchanalogs).An analogue of the {\em Quillen’s Lemma} is proved for simple {\emfinitely presented} CD (P n) -modules. In contrast to the characteristic zerocase where the Geland-Kirillov dimension of a nonzero finitely generated CD (P n) -module M can be {\em any natural} number from the interval [ n,2n] ,in the prime characteristic, the

(new) dimension Dim (M) can be \underline{{\em any real}} number from theinterval [ n,2n] .

Quasi-Holonomic Modules in Positive Characteristic.

Anatoly N. Kochubei

We study modules over the Carlitz ring, a counterpart of the Weyl algebra inanalysis over local fields of positive characteristic. It is shown that somebasic objects of function field arithmetic, like the Carlitz module, Thakur’shypergeometric polynomials, and analogs of binomial coefficients arising in thefunction field version of umbral calculus, generate quasi-holonomic modules.This class of modules is, in many respects, similar to the class of holonomicmodules in the characteristic zero theory.

Non-commutative Henselian Rings.

Masood Aryapoor

Non-commutative Henselian rings are defined and it is shown that a local ringwhich is complete and separated in the topology defined by its maximal ideal isHenselian provided that it is almost commutative.

Dualizing Complexes and Perverse Sheaves on Noncommutative Ringed Schemes.

Amnon Yekutieli, James J. Zhang

A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A isa noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes overquasi-coherent ringed schemes and study their properties. For a separateddifferential quasi-coherent ringed scheme of finite type over a field, we proveexistence and uniqueness of a rigid dualizing complex. In the proof we use thetheory of perverse coherent sheaves in order to glue local pieces of the rigiddualizing complex into a global complex.

A universal formula for representing Lie algebra generators as formal power series with coefficients in the Weyl algebra.

Nikolai Durov, Stjepan Meljanac, Andjelo Samsarov, Zoran Skoda

Given a $n$-dimensional Lie algebra $g$ over a field $k \supset \mathbb Q$,together with its vector space basis $X^0_1,…, X^0_n$, we give a formula,depending only on the structure constants, representing the infinitesimalgenerators, $X_i = X^0_i t$ in $g\otimes_k k [[t]]$, where $t$ is a formalvariable, as a formal power series in $t$ with coefficients in the Weyl algebra$A_n$. Actually, the theorem is proved for Lie algebras over arbitrary rings$k\supset Q$.

We provide three different proofs, each of which is expected to be useful forgeneralizations. The first proof is obtained by direct calculations withtensors. This involves a number of interesting combinatorial formulas instructure constants. The final step in calculation is a new formula involvingBernoulli numbers and arbitrary derivatives of coth(x/2). The dimensions ofcertain spaces of tensors are also calculated. The second method of proof isgeometric and reduces to a calculation of formal right-invariant vector fieldsin specific coordinates, in a (new) variant of formal group scheme theory. Thethird proof uses coderivations and Hopf algebras.

Introducing Crystalline Graded Algebras.

Erna Nauwelaerts, Freddy Van Oystaeyen

We introduce a new class of graded rings extending the class of generalizedWeyl algebras. These rings are orders in crossed products of the most generaltype, and we introduce their basic structure theory. We provide an extensivelist of examples, some completely new but also some considered earlier, andhighlight some specific structure results. Many new and interesting problemsabout the crystalline graded rings may be identified.

Rigid Complexes via DG Algebras.
Amnon Yekutieli, James J. Zhang

Let A be a commutative ring, B a commutative A -algebra and M a complex of B -modules. We begin by constructing the square Sq B /A M , which is also a complex of B -modules. The squaring operation is a quadratic functor, and its construction requires differential graded (DG) algebras. If there exists an isomorphism ρ :MisoSq B /AM then the pair ( M,ρ) is called a rigid complex over B relative to A (there are some finiteness conditions). There is an obvious notion of rigid morphism between rigid complexes.

We establish several properties of rigid complexes, including their uniqueness, existence (under some extra hypothesis), and formation of pullbacks f (M,ρ)(resp.f (M,ρ)) along a finite (resp. essentially smooth) ring homomorphism f * :B→C .

In a subsequent paper we consider rigid dualizing complexes over commutative rings, building on the results of the present paper. The project culminates in a third paper, where we give a comprehensive version of Grothendieck duality for schemes. The idea of rigid complexes originates in noncommutative algebraic geometry, and is due to Van den Bergh.

D-Bundles and Integrable Hierarchies.

David Ben-Zvi, Thomas Nevins

We study the geometry of D-bundles–locally projective D-modules–onalgebraic curves, and apply them to the study of integrable hierarchies,specifically the multicomponent Kadomtsev-Petviashvili (KP) and spinCalogero-Moser (CM) hierarchies. We show that KP hierarchies have a geometricdescription as flows on moduli spaces of D-bundles; in particular, we provethat the local structure of D-bundles is captured by the full SatoGrassmannian. The rational, trigonometric, and elliptic solutions of KP aretherefore captured by D-bundles on cubic curves E, that is, irreducible(smooth, nodal, or cuspidal) curves of arithmetic genus 1. We develop aFourier-Mukai transform describing D-modules on cubic curves E in terms of(complexes of) sheaves on a twisted cotangent bundle over E. We then apply thistransform to classify D-bundles on cubic curves, identifying their modulispaces with phase spaces of general CM particle systems (realized through thegeometry of spectral curves in our twisted cotangent bundle). Moreover, it isimmediate from the geometric construction that the flows of the KP and CMhierarchies are thereby identified and that the poles of the KP solutions areidentified with the positions of the CM particles. This provides a geometricexplanation of a much-explored, puzzling phenomenon of the theory of integrablesystems: the poles of meromorphic solutions to KP soliton equations moveaccording to CM particle systems.

Noncommutative Images of Commutative Spectra.

Edward S. Letzter

We initiate a unified, axiomatic study of noncommutative algebras R whoseprime spectra are, in a natural way, finite unions of commutative noetherianspectra. Our results illustrate how these commutative spectra can befunctorially “sewn together” to form Spec R. In particular, we construct abimodule-determined functor Mod Z -> Mod R, for a suitable commutativenoetherian ring Z, from which there follows a finite-to-one, continoussurjection Spec Z -> Spec R. Algebras satisfying the given axiomatic frameworkinclude PI algebras finitely generated over fields, noetherian PI algebras,enveloping algebras of complex finite dimensional solvable Lie algebras,standard generic quantum semisimple Lie groups, quantum affine spaces,quantized Weyl algebras, and standard generic quantizations of the coordinatering of nxn matrices. In all of these examples (except for thenon-finitely-generated noetherian PI algebras), Z is finitely generated over afield, and the constructed map of spectra restricts to a surjection Max Z ->Prim R.

Commutator Hopf subalgebras and irreducible representations.

Edward S. Letzter

S. Montgomery and S. Witherspoon proved that upper and lower semisolvable,semisimple, finite dimensional Hopf algebras are of Froebenius type when theirdimensions are not divisible by the characteristic of the base field. In thisnote we show that a finite dimensional, semisimple, lower solvable Hopf algebrais always of Froebenius type, in arbitrary characteristic.

Dualising complexes and twisted Hochschild (co)homology for noetherian Hopf algebras.

Kenneth A. Brown (Glasgow), James J. Zhang (Washington)

We show that many noetherian Hopf algebras A have a rigid dualising complex Rwith R isomorphic to ^{\nu}A^1 [d]. Here, d is the injective dimension of thealgebra and \nu is a certain k-algebra automorphism of A, unique up to an innerautomorphism. In honour of the finite dimensional theory which is herebygeneralised we call \nu the Nakayama automorphism of A. We prove that \nu =S^2\XXi, where S is the antipode of A and \XXi is the left winding automorphismof A determined by the left integral of A. The Hochschild homology andcohomology groups with coefficients in a suitably twisted free bimodule areshown to be non-zero in the top dimension d, when A is an Artin-Schelterregular noetherian Hopf algebra of global dimension d. (Twisted) Poincareduality holds in this setting, as is deduced from a theorem of Van den Bergh.Calculating \nu for A using also the opposite coalgebra structure, we determinea formula for S^4 generalising a 1976 formula of Radford for A finitedimensional. Applications of the results to the cases where A is PI, anenveloping algebra, a quantum group, a quantised function algebra and a groupalgebra are outlined.

The relative Riemann-Roch theorem from Hochschild homology.

Ajay C. Ramadoss

This write up attempts to clarify a preprint by Markarian [2] which provesthe relative Riemann-Roch theorem starting from a theorem essentiallydescribing how the Hochschild Kostant Rosenberg (HKR) map from the completedHochschild chain complex of a smooth scheme X over a field of characteristic0 fails to respect co multiplication. We attempt to elaborate on the core stepsin [2]. In the process, we obtain a proof of the compatibility of the HKR maptwisted by the square root of the Todd genus with a version of the generalizedMukai pairing defined by Caldararu [3]. This settles a part of a conjecture ofCaldararu [3] regarding the equivalence between the Hochschild and Hodgestructures of a smooth complex scheme.

Double Poisson algebras.

Michel Van den Bergh

In this paper we develop Poisson geometry for non-commutative algebras. Thisgeneralizes the bi-symplectic geometry which was recently, and independently,introduced by Crawley-Boevey, Etingof and Ginzburg.

Our (quasi-)Poisson brackets induce classical (quasi-)Poisson brackets onrepresentation spaces. As an application we show that the moduli spaces ofrepresentations associated to the deformed multiplicative preprojectivealgebras recently introduced by Crawley-Boevey and Shaw carry a natural Poissonstructure.

Generalized Matric Massey Products for Graded Modules.

Arvid Siqveland

The theory of generalized matric Massey products has been applied for sometime to A -modules M , A a k -algebra. The main application is to computethe local formal moduli H ^ M , isomorphic to the local ring of the moduliof A -modules. This theory is also generalized to 𝒪 X -modules , X a k - scheme. In these notes we consider the definition ofgeneralized Massey products and the relation algebra in any obstructionsituation (a differential graded k -algebra with certain properties), andprove that this theory applies to the case of graded R -modules, R a graded k -algebra, k algebraically closed. When the relation algebra isalgebraizable, that is the relations are polynomials rather than power series,this gives a combinatorial way to compute open (\’{e}tale) subsets of themoduli of graded R -modules. This also gives a sufficient condition for thecorresponding point in the moduli of 𝒪 Proj (R) -modules to besingular. The computations are straight forward, algorithmic, and an example onthe postulation Hilbert scheme is given.

PBW-deformation theory and regular central extensions.

Thomas Cassidy (Bucknell University), Brad Shelton (University of Oregon)

A deformation U , of a graded K -algebra A is said to be of PBW type if grU is A . It has been shown for Koszul and N -Koszul algebras that thedeformation is PBW if and only if the relations of U satisfy a Jacobi typecondition. In particular, for these algebras the determination of the PBWproperty is a {\it finite} and explicitly determined linear algebra problem. Weextend these results to an arbitrary graded K -algebra, using the notion ofcentral extensions of algebras and a homological constant attached to A whichwe call the {\it complexity} of A .

Hall algebras and the Quantum Frobenius.

Kevin McGerty

Lusztig has constructed a Frobenius morphism for quantum groups at an -th root of unity, which gives an integral lift of the Frobenius map onuniversal enveloping algebras in positive characteristic. Using the Hallalgebra we give a simple construction of this map for the positive part of thequantum group attached to an arbitrary Cartan datum.

Homotopical Algebraic Geometry II: geometric stacks and applications.

Bertrand Toen, Gabriele Vezzosi

This is the second part of a series of papers devoted to develop HomotopicalAlgebraic Geometry. We start by defining and studying generalizations ofstandard notions of linear and commutative algebra in an abstract monoidalmodel category, such as derivations, etale and smooth maps, flat and projectivemodules, etc. We then use the theory of stacks over model categories introducedin \cite{hagI} in order to define a general notion of geometric stack over abase symmetric monoidal model category C, and prove that this notion satisfiesthe expected properties. The rest of the paper consists in specializing C toseveral different contexts. First of all, when C=k-Mod is the category ofmodules over a ring k, with the trivial model structure, we show that ournotion gives back the algebraic n-stacks of C. Simpson. Then we set C=sk-Mod,the model category of simplicial k-modules, and obtain this way a notion ofgeometric derived stacks which are the main geometric objects of DerivedAlgebraic Geometry. We give several examples of derived version of classicalmoduli stacks, as for example the derived stack of local systems on a space, ofalgebra structures over an operad, of flat bundles on a projective complexmanifold, etc. Finally, we present the cases where C=(k) is the model categoryof unbounded complexes of modules over a char 0 ring k, and C=Sp^{\Sigma} themodel category of symmetric spectra. In these two contexts, called respectivelyComplicial and Brave New Algebraic Geometry, we give some examples of geometricstacks such as the stack of associative dg-algebras, the stack ofdg-categories, and a geometric stack constructed using topological modularforms.

Noncommutative complete intersections and matrix integrals.

Pavel Etingof, Victor Ginzburg

We introduce a class of noncommutatative algebras called representationcomplete intersections (RCI). A graded associative algebra A is said to be RCIprovided there exist arbitrarily large positive integers n such that the schemeRep_n(A), of n-dimensional representations of A, is a complete intersection. Wediscuss examples of RCI algebras, including those arising from quivers.

There is another interesting class of associative algebras callednoncommutative complete intersections (NCCI). We prove that any graded RCIalgebra is NCCI. We also obtain explicit formulas for the Hilbert series ofeach nonvanishing cyclic and Hochschild homology group of an RCI algebra. Theproof involves a noncommutative cyclic Koszul complex, K(A), and a matrixintegral similar to the one arising in quiver gauge theory.

Representations Parameterized by a Pair of Characters.

David E. Radford, Hans-Jürgen Schneider

Let $U$ and $A$ be algebras over a field $k$. We study algebra structures $H$on the underlying tensor product $U{\otimes}A$ of vector spaces which satisfy$(u{\otimes}a)(u’{\otimes}a’) = uu’{\otimes}aa’$ if $a = 1$ or $u’ = 1$. For apair of characters $\rho \in \Alg(U, k)$ and $\chi \in \Alg(A, k)$ we define aleft $H$-module $L(\rho, \chi)$. Under reasonable hypotheses the correspondence$(\rho, \chi) \mapsto L(\rho, \chi)$ determines a bijection between characterpairs and the isomorphism classes of objects in a certain category${}_H\underline{\mathcal M}$ of left $H$-modules. In many cases thefinite-dimensional objects of ${}_H\underline{\mathcal M}$ are thefinite-dimensional irreducible left $H$-modules. In math.QA/0603269 we applythe results of this paper and show that the finite-dimensional irreduciblerepresentations of a wide class of pointed Hopf algebras are parameterized bypairs of characters.

Biproducts and Two-Cocycle Twists of Hopf Algebras.

David E. Radford, Hans-Jürgen Schneider

Let $H$ be a Hopf algebra with bijective antipode over a field $k$ andsuppose that $R{#}H$ is a bi-product. Then $R$ is a bialgebra in theYetter–Drinfel’d category ${}_H^H{\mathcal YD}$. We describe the bialgebras$(R{#}H)^{op}$ and $(R{#}H)^o$ explicitly as bi-products $R^{\UOP}{#}H^{op}$and $R^{\UO}{#}H^o$ respectively where $R^{\UOP}$ is a bialgebra in${}^{H^{op}}_{H^{op}}{\mathcal YD}$ and $R^{\UO}$ is a bialgebra in${}^{H^o}_{H^o}{\mathcal YD}$. We use our results to describe two-cocycle twistbialgebra structures on the tensor product of bi-products.

A construction of a quotient tensor category.

Phung Ho Hai

Let f :G→A be a surjective homomorphism of transitive groupoid schemesand let L denote the kernel of f . The exact sequence of groupoid schemes 1 →L→G→A→1 induces a sequence of functors between the categoriesof finite representations of these groupoid schemes Rep f (A)→Rep f(G)→Rep f(L) . We show that the category Rep f (L) is a quotient category of Rep f (G) by Rep f (A) in an appropriate sense. We also generalize this setting tothe framework where the tensor categories are not necessarily Tannakacategories (i.e. not of the form Rep f (G) for some groupoid scheme G ), where we show under certain assumption the uniqueness of the quotienttensor category.

Noncommutative complete intersections and matrix integrals.

Pavel Etingof, Victor Ginzburg

We introduce a class of noncommutatative algebras called representationcomplete intersections (RCI). A graded associative algebra A is said to be RCIprovided there exist arbitrarily large positive integers n such that the schemeRep_n(A), of n-dimensional representations of A, is a complete intersection. Wediscuss examples of RCI algebras, including those arising from quivers.

There is another interesting class of associative algebras callednoncommutative complete intersections (NCCI). We prove that any graded RCIalgebra is NCCI. We also obtain explicit formulas for the Hilbert series ofeach nonvanishing cyclic and Hochschild homology group of an RCI algebra. Theproof involves a noncommutative cyclic Koszul complex, K(A), and a matrixintegral similar to the one arising in quiver gauge theory.

Normal forms for orthogonal similarity classes of skew-symmetric matrices.

Dragomir Z Djokovic, Konstanze Rietsch, Kaiming Zhao

Let F be an algebraically closed field of characteristic different from 2. Weshow that every nonsingular skew-symmetric n by n matrix X over F isorthogonally similar to a bidiagonal skew-symmetric matrix. In the singularcase one has to allow some 4-diagonal blocks as well. If further thecharacteristic is 0, we construct the normal form for O_n(F)-similarity classesof skew-symmetric matrices. In this case the known normal forms (as presentedin the well known book by Gantmacher) are quite different.

Finally we study some related varieties of matrices. We prove that thevariety of normalized nilpotent n by n bidiagonal matrices for n=2s+1 isirreducible of dimension s. As a consequence the skew-symmetric nilpotentbidiagonal n by n matrices are shown to form a variety of pure dimension s.

Skew Derivations and Deformations of a Family of Group Crossed Products.

Sarah J. Witherspoon

We obtain deformations of a crossed product of a polynomial algebra with agroup, under some conditions, from universal deformation formulas. We show thatthe resulting deformations are nontrivial by a comparison with Hochschildcohomology. The universal deformation formulas arise from actions of Hopfalgebras generated by automorphisms and skew derivations, and are universal inthe sense that they apply to deform all algebras with such Hopf algebraactions.

Hochschild Cohomology and Graded Hecke Algebras.

Anne V. Shepler, Sarah Witherspoon

We develop and collect techniques for determining Hochschild cohomology ofskew group algebras S(V)#G and apply our results to graded Hecke algebras. Wediscuss the explicit computation of certain types of invariants undercentralizer subgroups, focusing on the infinite family of complex reflectiongroups G(r,p,n) to illustrate our ideas. Resulting formulas for Hochschildtwo-cocycles give information about deformations of S(V)#G and, in particular,about graded Hecke algebras. We expand the definition of a graded Hecke algebrato allow a nonfaithful action of G on V, and we show that there existnontrivial graded Hecke algebras for G(r,1,n), in constrast to the case of thenatural reflection representation. We prove that one of these graded Heckealgebras is equivalent to an algebra that has appeared before in a differentform.

Derived equivalences by quantization.

D. Kaledin

We assume given a smooth symplectic (in the algebraic sense) resolution X of an affine algebraic variety Y , and we prove that, possibly after replacing Y with an etale neighborhood of a point, the derived category of coherentsheaves on X is equivalent to the dervied category of finitely generated leftmodules over a non-commutative algebra R , a non-commutative resolution of Y in a sense close to that of M. Van den Bergh. We also prove some applications,such as: two resolutions are derived-equivalent; every resolution X admits a”resolution of the diagonal”; the cohomology groups of the fibers of the map X →Y are spanned by fundamental classes of algebraic cycles.