Showing 1–50 of 77 results for author: Schechtman, V

Bruhat operads

Authors: Gleb Koshevoy, Vadim Schechtman

Abstract: We describe some planar operads build from the higher Bruhat orders. We describe some planar operads build from the higher Bruhat orders. △ Less

Submitted 5 June, 2025; v1 submitted 28 May, 2025; originally announced May 2025.

Comments: 18 pages, 2 figures

The Langlands formula and perverse sheaves

Authors: Mikhail Kapranov, Vadim Schechtman, Olivier Schiffmann, Jiangfan Yuan

Abstract: For a complex reductive Lie algebra $\mathfrak{g}$ with Cartan subalgebra $\mathfrak{h}$ and Weyl group $W$ we consider the category $\text{Perv}(W \backslash \mathfrak{h})$ of perverse sheaves on $W \backslash \mathfrak{h}$ smooth w.r.t. the natural stratification. We construct a category $\boldsymbol{\mathcal{C}}$ such that $\text{Perv}(W\backslash \mathfrak{h})$ is identified with the category… ▽ More For a complex reductive Lie algebra $\mathfrak{g}$ with Cartan subalgebra $\mathfrak{h}$ and Weyl group $W$ we consider the category $\text{Perv}(W \backslash \mathfrak{h})$ of perverse sheaves on $W \backslash \mathfrak{h}$ smooth w.r.t. the natural stratification. We construct a category $\boldsymbol{\mathcal{C}}$ such that $\text{Perv}(W\backslash \mathfrak{h})$ is identified with the category of functors from $\boldsymbol{\mathcal{C}}$ to vector spaces. Objects of $\boldsymbol{\mathcal{C}}$ are labelled by standard parabolic subalgebras in $\mathfrak{g}$. It has morphisms analogous to the operations of parabolic induction (Eisenstein series) and restriction (constant term) of automorphic forms. In particular, the Langlands formula for the constant term of an Eisenstein series has a counterpart in the form of an identity in $\boldsymbol{\mathcal{C}}$. We define $\boldsymbol{\mathcal{C}}$ as the category of $W$-invariants (in an appropriate sense) in the category $Q$ describing perverse sheaves on $\mathfrak{h}$ smooth w.r.t. the root arrangement. This matches, in an interesting way, the definition of $W \backslash \mathfrak{h}$ itself as the spectrum of the algebra of $W$-invariants. △ Less

Submitted 2 December, 2024; originally announced December 2024.

Comments: 48 pages, color figures

Homotopy chiral algebras

Authors: Fyodor Malikov, Vadim Schechtman

Abstract: We define a notion of a homotopy chiral algebra (HCA), which means a chiral algebra up to higher homotopies, and prove that the Cech complex of a sheaf of chiral algebras admits a structure of a HCA. We define a notion of a homotopy chiral algebra (HCA), which means a chiral algebra up to higher homotopies, and prove that the Cech complex of a sheaf of chiral algebras admits a structure of a HCA. △ Less

Submitted 26 August, 2024; originally announced August 2024.

Comments: 21 pages

MSC Class: 18M60

Chiral Cartan calculus

Authors: Fyodor Malikov, Vadim Schechtman, Boris Tsygan

Abstract: We study the Gauss-Manin connection on the chiral de Rham complex. We study the Gauss-Manin connection on the chiral de Rham complex. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Comments: 34 pages

MSC Class: 14D06

N-spherical functors and categorification of Euler's continuants

Authors: Tobias Dyckerhoff, Mikhail Kapranov, Vadim Schechtman

Abstract: Euler's continuants are universal polynomials expressing the numerator and denominator of a finite continued fraction whose entries are independent variables. We introduce their categorical lifts which are natural complexes (more precisely, coherently commutative cubes) of functors involving compositions of a given functor and its adjoints of various orders, with the differentials built out of uni… ▽ More Euler's continuants are universal polynomials expressing the numerator and denominator of a finite continued fraction whose entries are independent variables. We introduce their categorical lifts which are natural complexes (more precisely, coherently commutative cubes) of functors involving compositions of a given functor and its adjoints of various orders, with the differentials built out of units and counits of the adjunctions. In the stable infinity-categorical context these complexes/cubes can be assigned totalizations which are new functors serving as higher analogs of the spherical twist and cotwist. We define N-spherical functors by vanishing of the twist and cotwist of order N-1 in which case those of order N-2 are equivalences. The usual concept of a spherical functor corresponds to N=4. We characterize N-periodic semi-orthogonal decompositions of triangulated (stable infinity-) categories in terms of N-sphericity of their gluing functors. The procedure of forming iterated orthogonals turns out to be analogous to the procedure of forming a continued fraction. △ Less

Submitted 23 June, 2023; originally announced June 2023.

Comments: 53 pages, 3 figures

De Rham - Witt KZ equations

Authors: Vadim Schechtman, Alexander Varchenko

Abstract: We propose a de Rham - Witt version of the derived Knizhnik-Zamolodchikov equations, and of their hypergeometric realizations. We also propose de Rham - Witt versions of some classical theorems related to arbitrary hyperplane arrangements. We propose a de Rham - Witt version of the derived Knizhnik-Zamolodchikov equations, and of their hypergeometric realizations. We also propose de Rham - Witt versions of some classical theorems related to arbitrary hyperplane arrangements. △ Less

Submitted 7 December, 2022; originally announced December 2022.

Comments: 20 pages

MSC Class: 81T40; 14F30

Chiral Janus complexes

Authors: Fyodor Malikov, Vadim Schechtman

Abstract: We propose chiral analogues of some infinite complexes appearing in the description of the coherent derived categories for projective spaces. We propose chiral analogues of some infinite complexes appearing in the description of the coherent derived categories for projective spaces. △ Less

Submitted 6 October, 2022; originally announced October 2022.

MSC Class: 14D21; 17B69

PROBs and perverse sheaves II. Ran spaces and 0-cycles with coefficients

Authors: Mikhail Kapranov, Vadim Schechtman

Abstract: We consider the space Z(C,L) of 0-cycles on the complex line C with coefficients in a commutative monoid L subject to certain conditions. Such spaces include the symmetric products (for L=Z_+) and the Ran space (for L=T={ True, False} being the Boolean algebra of truth values). We describe the appropriately defined category of perverse sheaves on Z(C,L) in terms of the braided category (PROB) gene… ▽ More We consider the space Z(C,L) of 0-cycles on the complex line C with coefficients in a commutative monoid L subject to certain conditions. Such spaces include the symmetric products (for L=Z_+) and the Ran space (for L=T={ True, False} being the Boolean algebra of truth values). We describe the appropriately defined category of perverse sheaves on Z(C,L) in terms of the braided category (PROB) generated by the components of the universal $L$-graded bialgebra. We give another description in terms of so-called Janus sheaves which are objects of mixed functoriality (data covariant in one direction and contravariant in the other) on a category formed by certain matrices with entries in L. The matrices in question are analogs of contingency tables familiar in statistics. △ Less

Submitted 6 September, 2022; originally announced September 2022.

Comments: 52 pages, 1 figure

MSC Class: 32S60

Kostka numbers and Fourier duality

Authors: Michael Finkelberg, Alexander Postnikov, Vadim Schechtman

Abstract: We relate the Fourier transform of perverse sheaves smooth along the coordinate hyperplane configuration in a complex vector space to the Deligne-Lusztig duality of unipotent representations of a general linear group over a finite field. A similar relation is established for arbitrary finite Coxeter groups. We relate the Fourier transform of perverse sheaves smooth along the coordinate hyperplane configuration in a complex vector space to the Deligne-Lusztig duality of unipotent representations of a general linear group over a finite field. A similar relation is established for arbitrary finite Coxeter groups. △ Less

Submitted 1 June, 2022; originally announced June 2022.

Comments: 30 pages

MSC Class: 20F55; 52C35

Spherical adjunctions of stable $\infty$-categories and the relative S-construction

Authors: Tobias Dyckerhoff, Mikhail Kapranov, Vadim Schechtman, Yan Soibelman

Abstract: We develop the theory of semi-orthogonal decompositions and spherical functors in the framework of stable $\infty$-categories. Building on this, we study the relative Waldhausen S-construction $S_\bullet(F)$ of a spherical functor $F$ and equip it with a natural paracyclic structure (``rotational symmetry''). This fulfills a part of the general program to provide a rigorous account of perverse sch… ▽ More We develop the theory of semi-orthogonal decompositions and spherical functors in the framework of stable $\infty$-categories. Building on this, we study the relative Waldhausen S-construction $S_\bullet(F)$ of a spherical functor $F$ and equip it with a natural paracyclic structure (``rotational symmetry''). This fulfills a part of the general program to provide a rigorous account of perverse schobers which are (thus far conjectural) categorifications of perverse sheaves. Namely, in terms of our previous identification of perverse sheaves on Riemann surfaces with Milnor sheaves, the relative $S$-construction with its paracyclic symmetry amounts to a categorification of the stalks of a Milnor sheaf at a singularity of the corresponding perverse sheaf. The action of the paracyclic rotation is a categorical analog of the monodromy on the vanishing cycles of a perverse sheaf. Having this local categorification in mind, we may view the S-construction of a spherical functor as defining a schober locally at a singularity. Each component $S_n(F)$ can be interpreted as a partially wrapped Fukaya category of the disk with coefficients in the schober and with $n+1$ stops at the boundary. △ Less

Submitted 5 June, 2021; originally announced June 2021.

Comments: 63 pages, comments welcome

Moment map and matrix integrals

Authors: Vadim Schechtman

Abstract: We discuss the geometry behind some integrals related to structure constants of the Liouville conformal field theory. We discuss the geometry behind some integrals related to structure constants of the Liouville conformal field theory. △ Less

Submitted 22 April, 2021; originally announced April 2021.

Comments: 10 pages

MSC Class: 37J39; 11S40

PROBs and perverse sheaves I. Symmetric products

Authors: Mikhail Kapranov, Vadim Schechtman

Abstract: Algebraic structures involving both multiplications and comultiplications (such as, e.g., bialgebras or Hopf algebras) can be encoded using PROPs (categories with PROducts and Permutations) of Adams and MacLane. To encode such structures on objects of a braided monoidal category, we need PROBs (braided analogs of PROPs). Colored PROBs correspond to multi-sorted structures. In particular, we have… ▽ More Algebraic structures involving both multiplications and comultiplications (such as, e.g., bialgebras or Hopf algebras) can be encoded using PROPs (categories with PROducts and Permutations) of Adams and MacLane. To encode such structures on objects of a braided monoidal category, we need PROBs (braided analogs of PROPs). Colored PROBs correspond to multi-sorted structures. In particular, we have a colored PROB B governing non-negatively graded bialgebras in braided categories. As a category, B splits into blocks B_n according to the grading. We relate B_n with the category P_n of perverse sheaves on the n-th symmetric product of the complex line, smooth with respect to the natural stratification by multiplicities. More precisely, we show that P_n is equivalent to the category of functors from B_n to vector spaces. This gives a natural quiver description of P_n. △ Less

Submitted 26 February, 2021; originally announced February 2021.

Comments: 31 pages, 3 figures

Moufang loops and toric surfaces

Authors: Vadim Schechtman

Abstract: The toric surfaces for octonions and related objects are discussed. The toric surfaces for octonions and related objects are discussed. △ Less

Submitted 26 February, 2021; v1 submitted 25 February, 2021; originally announced February 2021.

Comments: 12 pages

MSC Class: 20N05; 14M25

Lorentz groups of cyclotomic extensions

Authors: Vadim Schechtman

Abstract: In this (mostly historical) note we show how a unified Kummer-Artin-Schreier sequence from [W], [SOS] may be recovered from the relativistic velocity addition law. In this (mostly historical) note we show how a unified Kummer-Artin-Schreier sequence from [W], [SOS] may be recovered from the relativistic velocity addition law. △ Less

Submitted 25 May, 2021; v1 submitted 24 December, 2020; originally announced December 2020.

Comments: 10 pages; a discussion of q-deformations related to [MRT] is added

MSC Class: 22E43; 11A15

Derived KZ equations

Authors: Vadim Schechtman, Alexander Varchenko

Abstract: In this paper we strengthen the results of [SV] by presenting their derived version. Namely, we define a "derived Knizhnik - Zamolodchikov connection"\ and identify it with a "derived Gauss - Manin connection". In this paper we strengthen the results of [SV] by presenting their derived version. Namely, we define a "derived Knizhnik - Zamolodchikov connection"\ and identify it with a "derived Gauss - Manin connection". △ Less

Submitted 27 December, 2020; v1 submitted 4 December, 2020; originally announced December 2020.

Comments: 30 pages

MSC Class: 81T40; 14D21

Witt ring localized

Authors: Vadim Schechtman

Abstract: The rings of $p$-typical Witt vectors are interpreted as spaces of vanishing cycles for some perverse sheaves over a disc. This allows to "localize"\ an isomorphism emerging in Drinfeld's theory of prismatization [Dr], Prop. 3.5.1, namely to express it as "an integral"\ of a standard exact triangle on the disc. The rings of $p$-typical Witt vectors are interpreted as spaces of vanishing cycles for some perverse sheaves over a disc. This allows to "localize"\ an isomorphism emerging in Drinfeld's theory of prismatization [Dr], Prop. 3.5.1, namely to express it as "an integral"\ of a standard exact triangle on the disc. △ Less

Submitted 29 October, 2020; originally announced October 2020.

Comments: 8 pages

MSC Class: 32S30; 13F35

With Wronskian through the Looking Glass

Authors: Vassily Gorbounov, Vadim Schechtman

Abstract: In the work of Mukhin and Varchenko from 2002 there was introduced a Wronskian map from the variety of full flags in a finite dimensional vector space into a product of projective spaces. We establish a precise relationship between this map and the Plücker map. This allows us to recover the result of Varchenko and Wright saying that the polynomials appearing in the image of the Wronsky map are the… ▽ More In the work of Mukhin and Varchenko from 2002 there was introduced a Wronskian map from the variety of full flags in a finite dimensional vector space into a product of projective spaces. We establish a precise relationship between this map and the Plücker map. This allows us to recover the result of Varchenko and Wright saying that the polynomials appearing in the image of the Wronsky map are the initial values of the tau-functions for the Kadomtsev-Petviashvili hierarchy. △ Less

Submitted 2 January, 2021; v1 submitted 8 July, 2020; originally announced July 2020.

MSC Class: 37K10; 82B23

Journal ref: SIGMA 17 (2021), 001, 26 pages

Parabolic induction and perverse sheaves on h/W

Authors: Mikhail Kapranov, Vadim Schechtman

Abstract: For a complex reductive Lie group G with Lie algebra g, Cartan subalgebra h and Weyl group W, we describe the category of perverse sheaves on h/W smooth w.r.t the natural stratification. The answer is given in terms of mixed Bruhat sheaves, which are certain mixed sheaf-cosheaf data on cells of a natural cell decomposition of h/W. Using the parabolic Bruhat decomposition, we relate mixed Bruhat sh… ▽ More For a complex reductive Lie group G with Lie algebra g, Cartan subalgebra h and Weyl group W, we describe the category of perverse sheaves on h/W smooth w.r.t the natural stratification. The answer is given in terms of mixed Bruhat sheaves, which are certain mixed sheaf-cosheaf data on cells of a natural cell decomposition of h/W. Using the parabolic Bruhat decomposition, we relate mixed Bruhat sheaves with the properties of various procedures of parabolic induction and restriction that connect different Levi subgroups in G. △ Less

Submitted 10 December, 2021; v1 submitted 7 June, 2020; originally announced June 2020.

Comments: 46 pages, 2 figures

Positive Populations

Authors: Vadim Schechtman, Alexander Varchenko

Abstract: A positive structure on the varieties of critical points of master functions for KZ equations is introduced. It comes as a combination of the ideas from classical works by G.Lusztig and a previous work by E.Mukhin and the second named author. A positive structure on the varieties of critical points of master functions for KZ equations is introduced. It comes as a combination of the ideas from classical works by G.Lusztig and a previous work by E.Mukhin and the second named author. △ Less

Submitted 26 December, 2019; originally announced December 2019.

Comments: Latex, 32 pages

Perverse sheaves over real hyperplane arrangements II

Authors: Mikhail Kapranov, Vadim Schechtman

Abstract: Let H be an arrangement of hyperplanes in R^n and Perv(C^n,H) be the category of perverse sheaves on C^n smooth with respect to the stratification given by complexified flats of H. We give a description of Perv(C^n,H) in terms of "matrix diagrams", i.e., diagrams formed by vector spaces E_{AB} labelled by pairs A,B of real faces of H (of all dimensions) or, equivalently, by the cells iA+B of a nat… ▽ More Let H be an arrangement of hyperplanes in R^n and Perv(C^n,H) be the category of perverse sheaves on C^n smooth with respect to the stratification given by complexified flats of H. We give a description of Perv(C^n,H) in terms of "matrix diagrams", i.e., diagrams formed by vector spaces E_{AB} labelled by pairs A,B of real faces of H (of all dimensions) or, equivalently, by the cells iA+B of a natural cell decomposition of C^n. A matrix diagram is formally similar to a datum describing a constructible (non-perverse) sheaf but with the direction of one half of the arrows reversed. △ Less

Submitted 3 October, 2019; originally announced October 2019.

Comments: 27 pages, 1 figure

Contingency Tables with Variable Margins (with an Appendix by Pavel Etingof)

Authors: Mikhail Kapranov, Vadim Schechtman

Abstract: Motivated by applications to perverse sheaves, we study combinatorics of two cell decompositions of the symmetric product of the complex line, refining the complex stratification by multiplicities. Contingency matrices, appearing in classical statistics, parametrize the cells of one such decomposition, which has the property of being quasi-regular. The other, more economical, decomposition, goes b… ▽ More Motivated by applications to perverse sheaves, we study combinatorics of two cell decompositions of the symmetric product of the complex line, refining the complex stratification by multiplicities. Contingency matrices, appearing in classical statistics, parametrize the cells of one such decomposition, which has the property of being quasi-regular. The other, more economical, decomposition, goes back to the work of Fox-Neuwirth and Fuchs on the cohomology of braid groups. We give a criterion for a sheaf constructible with respect to the ''contingency decomposition'' to be constructible with respect to the complex stratification. We also study a polyhedral ball which we call the stochastihedron and whose boundary is dual to the two-sided Coxeter complex (for the root system $A_n$) introduced by T.K. Petersen. The Appendix by P. Etingof studies enumerative aspects of contingency matrices. In particular, it is proved that the ''meta-matrix'' formed by the numbers of contingency matrices of various sizes, is totally positive. △ Less

Submitted 7 July, 2020; v1 submitted 21 September, 2019; originally announced September 2019.

Journal ref: SIGMA 16 (2020), 062, 22 pages

Shuffle algebras and perverse sheaves

Authors: Mikhail Kapranov, Vadim Schechtman

Abstract: We relate shuffle algebras, as defined by Nichols, Feigin-Odesskii and Rosso, to perverse sheaves on symmetric products of the complex line (i.e., on the spaces of monic polynomials stratified by multiplicities of roots). More precisely, we construct an equivalence between: (i) Braided Hopf algebras of a certain type. (ii) Factorizable collections of perverse sheaves on all the symmetric produ… ▽ More We relate shuffle algebras, as defined by Nichols, Feigin-Odesskii and Rosso, to perverse sheaves on symmetric products of the complex line (i.e., on the spaces of monic polynomials stratified by multiplicities of roots). More precisely, we construct an equivalence between: (i) Braided Hopf algebras of a certain type. (ii) Factorizable collections of perverse sheaves on all the symmetric products. Under this eqiuvalence, the Nichols algebra associated to an object V corresponds to the collection of the intersection cohomology extensions of the local systems on the open configuration spaces associated to the tensor powers of V. Our approach is based on using real skeleta of complex configuration spaces. △ Less

Submitted 11 January, 2020; v1 submitted 19 April, 2019; originally announced April 2019.

Comments: 71 pages, 9 figures

Perverse schobers and birational geometry

Authors: Alexey Bondal, Mikhail Kapranov, Vadim Schechtman

Abstract: Perverse schobers are conjectural categorical analogs of perverse sheaves. We show that such structures appear naturally in Homological Minimal Model Program which studies the effect of birational transformations such as flops, on the coherent derived categories. More precisely, the flop data are analogous to hyperbolic stalks of a perverse sheaf. In the first part of the paper we study schober-… ▽ More Perverse schobers are conjectural categorical analogs of perverse sheaves. We show that such structures appear naturally in Homological Minimal Model Program which studies the effect of birational transformations such as flops, on the coherent derived categories. More precisely, the flop data are analogous to hyperbolic stalks of a perverse sheaf. In the first part of the paper we study schober-type diagrams of categories corresponding to flops of relative dimension 1, in particular we determine the categorical analogs of the (compactly supported) cohomology with coefficients in such schobers. In the second part we consider the example of a "web of flops" provided by the Grothendieck resolution associated to a reductive Lie algebra g and study the corresponding schober-type diagram. For g=sl(3) we relate this diagram to the classical space of complete triangles studied by Schubert, Semple and others. △ Less

Submitted 25 January, 2018; originally announced January 2018.

Comments: 79 pages, 6 figures

Fourier transform on hyperplane arrangements

Authors: Michael Finkelberg, Mikhail Kapranov, Vadim Schechtman

Abstract: We consider the category of perverse sheaves on a complex vector space smooth with respect to a stratification given by an arrangement of hyperplanes with real equations. As shown in an earlier wotk of two of the authors, this category can be described in terms of certain diagrams of vector spaces labelled by all the faces of the real arrangement (we call such diagrams hyperbolic sheaves). In this… ▽ More We consider the category of perverse sheaves on a complex vector space smooth with respect to a stratification given by an arrangement of hyperplanes with real equations. As shown in an earlier wotk of two of the authors, this category can be described in terms of certain diagrams of vector spaces labelled by all the faces of the real arrangement (we call such diagrams hyperbolic sheaves). In this paper we calculate, in these terms, several fundamental operations of sheaf theory such as forming the space of vanishing cycles, specialization and the Fourier-Sato transform. △ Less

Submitted 25 June, 2022; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: The final published version

Journal ref: "Representation Theory and Algebraic Geometry'', Trends in Mathematics, Birkhäuser (2022), 87--131

Solutions of KZ differential equations modulo $p$

Authors: Vadim Schechtman, Alexander Varchenko

Abstract: We construct polynomial solutions of the KZ differential equations over a finite field $F_p$ as analogs of hypergeometric solutions. We construct polynomial solutions of the KZ differential equations over a finite field $F_p$ as analogs of hypergeometric solutions. △ Less

Submitted 2 January, 2018; v1 submitted 9 July, 2017; originally announced July 2017.

Comments: Latex 24 pages, two references added

Coxeter element and particle masses

Authors: Laura Brillon, Vadim Schechtman

Abstract: Let $\mathfrak{g}$ be a simple Lie algebra of rank $r$ over $\mathbb{C}$, $\mathfrak{h} \subset \mathfrak{g}$ a Cartan subalgebra. We construct a family of $r$ commuting Hermitian operators acting on $\mathfrak{h}$ whose eigenvalues are equal to the coordinates of the eigenvectors of the Cartan matrix of $\mathfrak{g}$. Let $\mathfrak{g}$ be a simple Lie algebra of rank $r$ over $\mathbb{C}$, $\mathfrak{h} \subset \mathfrak{g}$ a Cartan subalgebra. We construct a family of $r$ commuting Hermitian operators acting on $\mathfrak{h}$ whose eigenvalues are equal to the coordinates of the eigenvectors of the Cartan matrix of $\mathfrak{g}$. △ Less

Submitted 13 December, 2016; originally announced December 2016.

Comments: To Joseph Bernstein on his 70th birthday

MSC Class: 17B20; 17B22; 37K10

Journal ref: Selecta Mathematica New Ser. (2016) 22: 2591

Perverse sheaves and graphs on surfaces

Authors: Mikhail Kapranov, Vadim Schechtman

Abstract: We give an explicit combinatorial description of the category Perv(S,N) of perverse sheaves on an oriented surface S (with boundary) with singularities at a given finite set N. The description is given in terms of any spanning graph K in S with the set of vertices N, so the category is defined entirely in terms of a ribbon graph. This description can be seen as an application, in the theory of per… ▽ More We give an explicit combinatorial description of the category Perv(S,N) of perverse sheaves on an oriented surface S (with boundary) with singularities at a given finite set N. The description is given in terms of any spanning graph K in S with the set of vertices N, so the category is defined entirely in terms of a ribbon graph. This description can be seen as an application, in the theory of perverse sheaves, of the idea of localization on a Lagrangian skeleton. △ Less

Submitted 8 January, 2016; originally announced January 2016.

Comments: 19 pages, 1 figure

Rational differential forms on line and singular vectors in Verma modules over $\widehat {sl}_2$

Authors: Vadim Schechtman, Alexander Varchenko

Abstract: We construct a monomorphism of the De Rham complex of scalar multivalued meromorphic forms on the projective line, holomorphic on the complement to a finite set of points, to the chain complex of the Lie algebra of $sl_2$-valued algebraic functions on the same complement with coefficients in a tensor product of contragradient Verma modules over the affine Lie algebra $\hat{sl}_2$. We show that the… ▽ More We construct a monomorphism of the De Rham complex of scalar multivalued meromorphic forms on the projective line, holomorphic on the complement to a finite set of points, to the chain complex of the Lie algebra of $sl_2$-valued algebraic functions on the same complement with coefficients in a tensor product of contragradient Verma modules over the affine Lie algebra $\hat{sl}_2$. We show that the existence of singular vectors in the Verma modules (the Malikov-Feigin-Fuchs singular vectors) is reflected in the new relations between the cohomology classes of logarithmic differential forms. △ Less

Submitted 20 February, 2017; v1 submitted 29 November, 2015; originally announced November 2015.

Comments: Latex 16 pages, new abstract, proof of Theorem 5.12 extended, misprints corrected

Vanishing cycles and Cartan eigenvectors

Authors: Laura Brillon, Revaz Ramazashvili, Vadim Schechtman, Alexander Varchenko

Abstract: Using the vanishing cycles of simple singularities, we study the eigenvectors of Cartan matrices of finite root systems, and of q-deformations of these matrices. Using the vanishing cycles of simple singularities, we study the eigenvectors of Cartan matrices of finite root systems, and of q-deformations of these matrices. △ Less

Submitted 18 August, 2016; v1 submitted 18 September, 2015; originally announced September 2015.

Comments: 27 pages; a physical section describing an experiment related to the PF vector of E8 is added

MSC Class: 17B22; 32S25

De Rham complex of a Gerstenhaber algebra

Authors: Vadim Schechtman

Abstract: We introduce a notion of the De Rham complex of a Gerstenhaber algebra which produces a notion of a "quasi-BV structure", and allows to classify these structures, generalizing the classical results for polyvector fields. We introduce a notion of the De Rham complex of a Gerstenhaber algebra which produces a notion of a "quasi-BV structure", and allows to classify these structures, generalizing the classical results for polyvector fields. △ Less

Submitted 7 July, 2015; originally announced July 2015.

Comments: 17 pages

MSC Class: 16E40; 16E45

Perverse Schobers

Authors: Mikhail Kapranov, Vadim Schechtman

Abstract: We suggest a possibility for a categorical generalization of the concept of a perverse sheaf, in which vector spaces are replaced by triangulated categories. We call such hypothetical objects perverse Schobers and consider several examples, giving a natural but ad hoc definition in each case. In the simplest case (perverse sheaves on a disk with one possible singular point) we propose, as a catego… ▽ More We suggest a possibility for a categorical generalization of the concept of a perverse sheaf, in which vector spaces are replaced by triangulated categories. We call such hypothetical objects perverse Schobers and consider several examples, giving a natural but ad hoc definition in each case. In the simplest case (perverse sheaves on a disk with one possible singular point) we propose, as a categorical analog, the data of a spherical functor. △ Less

Submitted 17 November, 2015; v1 submitted 11 November, 2014; originally announced November 2014.

Comments: 36 pages, 5 figures

Chiral De Rham complex over locally complete intersections

Authors: Fyodor Malikov, Vadim Schechtman

Abstract: We define a version of a derived chiral De Rham complex over a locally complete intersection, thereby "chiralizing" a result by Illusie and Bhatt. A similar construction attaches to a graded ring a dg vertex algebra, which we prove to be Morita equivalent to a dg algebra of differential operators. For example, the dg vertex algebra associated to a fat point, which also arises in the Landau-Ginzbur… ▽ More We define a version of a derived chiral De Rham complex over a locally complete intersection, thereby "chiralizing" a result by Illusie and Bhatt. A similar construction attaches to a graded ring a dg vertex algebra, which we prove to be Morita equivalent to a dg algebra of differential operators. For example, the dg vertex algebra associated to a fat point, which also arises in the Landau-Ginzburg model, is shown to be derived rational. △ Less

Submitted 2 June, 2014; originally announced June 2014.

Comments: Dedicated to Borya Feigin on his birthday

Perverse sheaves over real hyperplane arrangements

Authors: Mikhail Kapranov, Vadim Schechtman

Abstract: Let H be an arrangement of real hyperplanes in R^n. The complexification of H defines a natural stratification of C^n. We denote by Perv(C^n, H) the category of perverse sheaves on C^n smooth with respect to this stratification. We give a description of Perv(C^n, H) as the category of representations of an explicit quiver with relations, whose vertices correspond to real faces of H (of all dimensi… ▽ More Let H be an arrangement of real hyperplanes in R^n. The complexification of H defines a natural stratification of C^n. We denote by Perv(C^n, H) the category of perverse sheaves on C^n smooth with respect to this stratification. We give a description of Perv(C^n, H) as the category of representations of an explicit quiver with relations, whose vertices correspond to real faces of H (of all dimensions). The relations are of monomial nature: they identify some pairs of paths in the quiver. They can be formulated in terms of the oriented matroid associated to H. △ Less

Submitted 3 February, 2015; v1 submitted 23 March, 2014; originally announced March 2014.

Comments: 70 pages

Microlocal approach to Lusztig's symmetries

Authors: Michael Finkelberg, Vadim Schechtman

Abstract: We reformulate the De Concini -- Toledano Laredo conjecture about the monodromy of the Casimir connection in terms of a relation between Lusztig's symmetries of quantum group modules and the monodromy in the vanishing cycles of factorizable sheaves. We reformulate the De Concini -- Toledano Laredo conjecture about the monodromy of the Casimir connection in terms of a relation between Lusztig's symmetries of quantum group modules and the monodromy in the vanishing cycles of factorizable sheaves. △ Less

Submitted 25 June, 2022; v1 submitted 23 January, 2014; originally announced January 2014.

Comments: The final published version

Journal ref: "Representation Theory and Algebraic Geometry'', Trends in Mathematics, Birkhäuser (2022), 57--83

BGG resolutions via configuration spaces

Authors: M. Falk, V. Schechtman, A. Varchenko

Abstract: We study the blow-ups of configuration spaces. These spaces have a structure of what we call an Orlik-Solomon manifold; it allows us to compute the intersection cohomology of certain flat connections with logarithmic singularities using some Aomoto type complexes of logarithmic forms. Using this construction we realize geometrically the sl_2 Bernstein - Gelfand - Gelfand resolution as an Aomoto co… ▽ More We study the blow-ups of configuration spaces. These spaces have a structure of what we call an Orlik-Solomon manifold; it allows us to compute the intersection cohomology of certain flat connections with logarithmic singularities using some Aomoto type complexes of logarithmic forms. Using this construction we realize geometrically the sl_2 Bernstein - Gelfand - Gelfand resolution as an Aomoto complex. △ Less

Submitted 30 September, 2013; originally announced September 2013.

Comments: Latex, 19 pages

Invariant triple functionals over $U_q\frak{sl}_2$

Authors: Bui Van Binh, Vadim Schechtman

Abstract: We define a $q$-deformation of Jacquet-Langlands principal series representations of $GL_2(R)$ and prove the uniqueness of an invariant triple functional on them using the method of H.Y.Loke. We define a $q$-deformation of Jacquet-Langlands principal series representations of $GL_2(R)$ and prove the uniqueness of an invariant triple functional on them using the method of H.Y.Loke. △ Less

Submitted 1 July, 2013; v1 submitted 3 May, 2013; originally announced May 2013.

Comments: 14 pages. An orthographical error is fixed

Invariant functionals and Zamolodchikovs' integral

Authors: Bui Van Binh, Vadim Schechtman

Abstract: We calculate a Zamolodchikovs' triple integral by the Bernstein-Reznikov method. We calculate a Zamolodchikovs' triple integral by the Bernstein-Reznikov method. △ Less

Submitted 25 February, 2013; originally announced February 2013.

Comments: 4 pages

Chiral differential operators on abelian varieties

Authors: Fyodor Malikov, Vadim Schechtman

Abstract: The paper consists of two parts. In the first, we describe a way of getting from an algebra of chiral differential operators (cdo) on an abelian variety a cdo on the dual variety. The second is an introduction to the sigma-model on a torus and to the Wess-Zumino-Witten model from the cdo perspective. The paper consists of two parts. In the first, we describe a way of getting from an algebra of chiral differential operators (cdo) on an abelian variety a cdo on the dual variety. The second is an introduction to the sigma-model on a torus and to the Wess-Zumino-Witten model from the cdo perspective. △ Less

Submitted 20 November, 2012; originally announced November 2012.

Comments: The paper is dedicated to Igor Frenkel on his birthday

Remarks on a triple integral

Authors: Bui Van Binh, Vadim Schechtman

Abstract: We discuss real, p-adic and q-deformed versions of an integral related to Liouville field theory and triple $L$-functions. We discuss real, p-adic and q-deformed versions of an integral related to Liouville field theory and triple $L$-functions. △ Less

Submitted 17 December, 2012; v1 submitted 10 April, 2012; originally announced April 2012.

Comments: 18 pages. A small error corrected

MSC Class: 11MXX; 81T40

Pentagramma Mirificum and elliptic functions

Authors: Vadim Schechtman

Abstract: We give an exposition of fragments from Gauss [G] where he discovered, with the help of some work of Jacobi, a remarkable connection between Napier pentagons on the sphere and Poncelet pentagons on the plane. As a corollary we find a parametrization in elliptic functions of the classical dilogarithm five-term relation. We give an exposition of fragments from Gauss [G] where he discovered, with the help of some work of Jacobi, a remarkable connection between Napier pentagons on the sphere and Poncelet pentagons on the plane. As a corollary we find a parametrization in elliptic functions of the classical dilogarithm five-term relation. △ Less

Submitted 18 June, 2011; originally announced June 2011.

Comments: 14 pages

Cohomology of a flag variety as a Bethe algebra

Authors: R. Rimanyi, V. Schechtman, V. Tarasov, A. Varchenko

Abstract: We interpret the GL_n equivariant cohomology of a partial flag variety of flags of length N in \C^n as the Bethe algebra of a suitable gl_N[t] module associated with the tensor power (\C^N)^{\otimes n}. We interpret the GL_n equivariant cohomology of a partial flag variety of flags of length N in \C^n as the Bethe algebra of a suitable gl_N[t] module associated with the tensor power (\C^N)^{\otimes n}. △ Less

Submitted 2 March, 2013; v1 submitted 3 February, 2011; originally announced February 2011.

Comments: Latex, 16 pages, misprints corrected

Formule de Fateev

Authors: Véronique Cohen-Aptel

Abstract: A proof of a formula, discovered by V.Fateev, on some Gamma products connected with root systems is given. A proof of a formula, discovered by V.Fateev, on some Gamma products connected with root systems is given. △ Less

Submitted 23 December, 2010; originally announced December 2010.

Comments: 24 pages

Produits Gamma et vecteurs propres de matrices de Cartan

Authors: V. Cohen-Aptel, V. Schechtman

Abstract: We propose a formula expressing Perron - Frobenius eigenvectors of Cartan matrices in terms of products of values of the Gamma function. We propose a formula expressing Perron - Frobenius eigenvectors of Cartan matrices in terms of products of values of the Gamma function. △ Less

Submitted 5 November, 2012; v1 submitted 28 October, 2010; originally announced October 2010.

Comments: 22 pages. A misprint corrected

Conformal blocks and equivariant cohomology

Authors: R. Rimányi, V. Schechtman, A. Varchenko

Abstract: We show that the conformal blocks constructed in the previous article by the first and the third author may be described as certain integrals in equivariant cohomology. When the bundles of conformal blocks have rank one, this construction may be compared with the old integral formulas of the second and the third author. The proportionality coefficients are some Selberg type integrals which are com… ▽ More We show that the conformal blocks constructed in the previous article by the first and the third author may be described as certain integrals in equivariant cohomology. When the bundles of conformal blocks have rank one, this construction may be compared with the old integral formulas of the second and the third author. The proportionality coefficients are some Selberg type integrals which are computed. Finally, a geometric construction of the tensor products of vector representations of the Lie algebra $\frak{gl}(m)$ is proposed. △ Less

Submitted 19 February, 2011; v1 submitted 19 July, 2010; originally announced July 2010.

Comments: 23 pages

Hilbert series and Berezin-Gelfand duality

Authors: Vadim Schechtman

Abstract: We give an example showing how Jacobi polynomials and their discrete counterparts (Hahn polynomials) appear in the Hilbert series of some homogeneous spaces. We give an example showing how Jacobi polynomials and their discrete counterparts (Hahn polynomials) appear in the Hilbert series of some homogeneous spaces. △ Less

Submitted 13 March, 2010; v1 submitted 31 August, 2009; originally announced August 2009.

Comments: 17 pages; title corrected

Subcanonical coordinate rings are Gorenstein

Authors: V. Hinich, V. Schechtman

Abstract: Using a classical result of Avramov-Golod we strengthen a recent result of Gorodentsev, Khoroshkin and Rudakov on syzygies of highest weight orbit closure. Using a classical result of Avramov-Golod we strengthen a recent result of Gorodentsev, Khoroshkin and Rudakov on syzygies of highest weight orbit closure. △ Less

Submitted 4 March, 2009; originally announced March 2009.

Comments: 6 pages

MSC Class: 13D02; 14B05; 14F05

Homological Algebra and Divergent Series

Authors: Vassily Gorbounov, Vadim Schechtman

Abstract: We study some features of infinite resolutions of Koszul algebras motivated by the developments in the string theory initiated by Berkovits. We study some features of infinite resolutions of Koszul algebras motivated by the developments in the string theory initiated by Berkovits. △ Less

Submitted 24 March, 2009; v1 submitted 21 December, 2007; originally announced December 2007.

MSC Class: 13D02; 14N99

Journal ref: SIGMA 5 (2009), 034, 31 pages

Nombres de Bernoulli et une formule de Ramanujan

Authors: Oleg Ogievetsky, Vadim Schechtman

Abstract: In the first part we establish a connection between the Euler-Maclaurin summation formula and the Rota-Baxter functional equation. In the second part we give a simple proof of a formula, due to Ramanujan, on the summation of certain exponential series. In the first part we establish a connection between the Euler-Maclaurin summation formula and the Rota-Baxter functional equation. In the second part we give a simple proof of a formula, due to Ramanujan, on the summation of certain exponential series. △ Less

Submitted 14 November, 2007; v1 submitted 10 November, 2007; originally announced November 2007.

Comments: 27 pages

MSC Class: 65B15

On the new form of Bethe ansatz equations and separation of variables in the $sl_3$ Gaudin model

Authors: E. Mukhin, V. Schechtman, V. Tarasov, A. Varchenko

Abstract: A new form of Bethe ansatz equations is introduced. A version of a separation of variables for the quantum $sl_3$ Gaudin model is presented. A new form of Bethe ansatz equations is introduced. A version of a separation of variables for the quantum $sl_3$ Gaudin model is presented. △ Less

Submitted 20 October, 2006; v1 submitted 14 September, 2006; originally announced September 2006.

Comments: latex, 29 pages, bibliography is extended

Une intersection de quadriques liée à la suite de Sturm

Authors: O. Ogievetsky, V. Schechtman

Abstract: We introduce an algebra given by quadratic relations in an algebra of polynomials in an infinite number of variables. Using this algebra, we prove some explicit formulas for the Sturm sequence of a polynomial. We introduce an algebra given by quadratic relations in an algebra of polynomials in an infinite number of variables. Using this algebra, we prove some explicit formulas for the Sturm sequence of a polynomial. △ Less

Submitted 14 September, 2006; v1 submitted 12 May, 2006; originally announced May 2006.

Comments: The title is slightly changed and a reference added

MSC Class: 16S37

Journal ref: Algebra, Arithmetic, and Geometry, Progress in Mathematics 270 (Birkhauser 2009) 637-659