Sun 30 Jul 2006
arXiv
Wed 28 Jun 2006
Wed 21 Jun 2006
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).
Tue 6 Jun 2006
Deformations via Simplicial Deformation Complexes.
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.
Tue 16 May 2006
Higher and derived stacks: a global overview.
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.
Tue 16 May 2006
On deformations of flag manifolds with b_2=1.
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.
Mon 15 May 2006
Deformations of local systems and Eisenstein series.
Let be a (smooth and complete) curve and a reductive group. In [BG]we introduced the object that we called “geometric Eisenstein series”. This isa perverse sheaf (or rather a complex of such) on the modulistack of principal -bundles on , which is attached to a localsystem on with respect to the torus , Langlands dual to theCartan subgroup . In loc. cit. we showed thatcorresponds to the -local system induced from , 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 that corresponds to theuniversal deformation of as a local system with respect to the Borelsubgroup ?
We prove, following a conjecture of Drinfeld, that the resulting perversesheaf if the classical, i.e., non-compactified Eisenstein series.
Thu 11 May 2006
Algebraic Geometry over Lie Algebras.
This is a survey paper on Alegbraic Geometry over Lie Algebras
Thu 4 May 2006
Let be an {\em arbitrary} field of characteristic and be the ring of differential operators on a polynomial algebra in variables. A long anticipated {\em analogue of the inequality of Bernstein} isproved for the ring . 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} -modules. In contrast to the characteristic zerocase where the Geland-Kirillov dimension of a nonzero finitely generated -module can be {\em any natural} number from the interval ,in the prime characteristic, the
(new) dimension can be \underline{{\em any real}} number from theinterval .
Tue 2 May 2006
Quasi-Holonomic Modules in Positive Characteristic.
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.
Sun 30 Apr 2006
Non-commutative Henselian Rings.
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.
Sun 9 Apr 2006
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.
Thu 6 Apr 2006
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.
Tue 4 Apr 2006
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.
Mon 3 Apr 2006
Rigid Complexes via DG Algebras.
Amnon Yekutieli, James J. Zhang
Let be a commutative ring, a commutative -algebra and a complex of -modules. We begin by constructing the square , which is also a complex of -modules. The squaring operation is a quadratic functor, and its construction requires differential graded (DG) algebras. If there exists an isomorphism then the pair is called a rigid complex over relative to (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 along a finite (resp. essentially smooth) ring homomorphism .
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.
Mon 3 Apr 2006
D-Bundles and Integrable Hierarchies.
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.
Mon 3 Apr 2006
Noncommutative Images of Commutative Spectra.
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.
Mon 3 Apr 2006
Commutator Hopf subalgebras and irreducible representations.
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.
Mon 3 Apr 2006
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.
Sun 2 Apr 2006
The relative Riemann-Roch theorem from Hochschild homology.
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 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.
Sun 2 Apr 2006
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.
Mon 20 Mar 2006
Generalized Matric Massey Products for Graded Modules.
The theory of generalized matric Massey products has been applied for sometime to -modules , a -algebra. The main application is to computethe local formal moduli , isomorphic to the local ring of the moduliof -modules. This theory is also generalized to -modules, a - scheme. In these notes we consider the definition ofgeneralized Massey products and the relation algebra in any obstructionsituation (a differential graded -algebra with certain properties), andprove that this theory applies to the case of graded -modules, a graded-algebra, 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 -modules. This also gives a sufficient condition for thecorresponding point in the moduli of -modules to besingular. The computations are straight forward, algorithmic, and an example onthe postulation Hilbert scheme is given.
Thu 16 Mar 2006
PBW-deformation theory and regular central extensions.
Thomas Cassidy (Bucknell University), Brad Shelton (University of Oregon)
A deformation , of a graded -algebra is said to be of PBW type if is . It has been shown for Koszul and -Koszul algebras that thedeformation is PBW if and only if the relations of 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 -algebra, using the notion ofcentral extensions of algebras and a homological constant attached to whichwe call the {\it complexity} of .
Wed 15 Mar 2006
Hall algebras and the Quantum Frobenius.
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.
Wed 15 Mar 2006
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.
Tue 14 Mar 2006
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.
Tue 14 Mar 2006
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.
Tue 14 Mar 2006
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.
Tue 14 Mar 2006
A construction of a quotient tensor category.
Let be a surjective homomorphism of transitive groupoid schemesand let denote the kernel of . The exact sequence of groupoid schemes induces a sequence of functors between the categoriesof finite representations of these groupoid schemes . We show that the category is a quotient category of by 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 for some groupoid scheme), where we show under certain assumption the uniqueness of the quotienttensor category.
Tue 14 Mar 2006
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.
Mon 13 Mar 2006
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.
Sun 12 Mar 2006
Skew Derivations and Deformations of a Family of Group Crossed Products.
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.
Sun 12 Mar 2006
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.
Sun 12 Mar 2006
Derived equivalences by quantization.
We assume given a smooth symplectic (in the algebraic sense) resolution of an affine algebraic variety , and we prove that, possibly after replacing with an etale neighborhood of a point, the derived category of coherentsheaves on is equivalent to the dervied category of finitely generated leftmodules over a non-commutative algebra , a non-commutative resolution of 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 admits a”resolution of the diagonal”; the cohomology groups of the fibers of the map are spanned by fundamental classes of algebraic cycles.



