### ?

## Hypercommutative operad as a homotopy quotient of BV

arxiv.org.
math.
Cornell University
,
2012.
No. 1206.3749.

In press

We give an explicit formula for a quasi-isomorphism between the operads Hycomm (the homology of the moduli space of stable genus 0 curves) and BV/Δ (the homotopy quotient of Batalin-Vilkovisky operad by the BV-operator). In other words we derive an equivalence of Hycomm-algebras and BV-algebras enhanced with a homotopy that trivializes the BV-operator. These formulas are given in terms of the Givental graphs, and are proved in two different ways. One proof uses the Givental group action, and the other proof goes through a chain of explicit formulas on resolutions of Hycomm and BV. The second approach gives, in particular, a homological explanation of the Givental group action on Hycomm-algebras.

Braverman A., Michael Finkelberg, Nakajima H., Instanton moduli spaces and W-algebras / Cornell University. Series math "arxiv.org". 2014.

We describe the (equivariant) intersection cohomology of certain moduli spaces ("framed Uhlenbeck spaces") together with some structures on them (such as e.g.\ the Poincar\'e pairing) in terms of representation theory of some vertex operator algebras ("W-algebras"). ...

Added: January 30, 2015

A. Levin, Olshanetsky M., Zotov A., Classification of Isomonodromy Problems on Elliptic Curves / Cornell University. Series math "arxiv.org". 2013.

We consider the isomonodromy problems for flat $G$-bundles over punctured
elliptic curves $\Sigma_\tau$ with regular singularities of connections at
marked points. The bundles are classified by their characteristic classes.
These classes are elements of the second cohomology group
$H^2(\Sigma_\tau,{\mathcal Z}(G))$, where ${\mathcal Z}(G)$ is the center of
$G$. For any complex simple Lie group $G$ and arbitrary class we define ...

Added: December 27, 2013

Michael Finkelberg, Schechtman V., Microlocal approach to Lusztig's symmetries / Cornell University. Series math "arxiv.org". 2014.

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

Added: January 30, 2015

A. Levin, Olshanetsky M., Zotov A., Journal of High Energy Physics 2014 Vol. 2014 No. 7:12 P. 1-39

We describe classical top-like integrable systems arising from the quantum exchange relations and corresponding Sklyanin algebras. The Lax operator is expressed in terms of the quantum non-dynamical R-matrix even at the classical level, where the Planck constant plays the role of the relativistic deformation parameter in the sense of Ruijsenaars and Schneider (RS). The integrable ...

Added: January 23, 2015

Levin A., Olshanetsky M., Zotov A., Relativistic Classical Integrable Tops and Quantum R-matrices / Cornell University. Series math "arxiv.org". 2014.

e describe classical top-like integrable systems arising from the quantum
exchange relations and corresponding Sklyanin algebras. The Lax operator is
expressed in terms of the quantum non-dynamical $R$-matrix even at the
classical level, where the Planck constant plays the role of the relativistic
deformation parameter in the sense of Ruijsenaars and Schneider (RS). The
integrable systems (relativistic tops) are described ...

Added: January 23, 2015

Brav C. I., Thomas H., Mathematische Annalen 2011 Vol. 351 No. 4 P. 1005-1017

We establish faithfulness of braid group actions generated by twists along an ADE configuration of 22-spherical objects in a derived category. Our major tool is the Garside structure on braid groups of type ADE. This faithfulness result provides the missing ingredient in Bridgeland's description of a space of stability conditions associated to a Kleinian singularity. ...

Added: September 29, 2014

Braverman A., Michael Finkelberg, Twisted zastava and q-Whittaker functions / Cornell University. Series math "arxiv.org". 2014.

In this note, we extend the results of arxiv:1111.2266 and arxiv:1203.1583 to the non simply laced case. To this end we introduce and study the twisted zastava spaces. ...

Added: February 5, 2015

Cruz Morales J. A., Galkin S., Upper Bounds for Mutations of Potentials / Cornell University. Series math "arxiv.org". 2013. No. 1301.4541.

In this note we provide a new, algebraic proof of the excessive Laurent phenomenon for mutations of potentials (in the sense of [Galkin S., Usnich A., Preprint IPMU 10-0100, 2010]) by introducing to this theory the analogue of the upper bounds from [Berenstein A., Fomin S., Zelevinsky A., Duke Math. J. 126 (2005), 1-52]. ...

Added: May 27, 2013

Covolo T., Ovsienko V., Poncin N., Journal of Geometry and Physics 2012 Vol. 62 P. 2294-2319

We define the notions of trace, determinant and, more generally, Berezinian of matrices over a (Z_2)^n graded commutative associative algebra. The applications include a new approach to the classical theory of matrices with coefficients in a Clifford algebra, in particular of quaternionic matrices. In a special case, we recover the classical Dieudonn\'e determinant of quaternionic ...

Added: September 28, 2015

A. Levin, Olshanetsky M., Zotov A., Baxter-Belavin R-matrices as non-abelian generalization of elliptic functions / Cornell University. Series math "arxiv.org". 2015.

It was shown in our previous paper that quantum ${\rm gl}_N$ $R$-matrices
satisfy noncommutative analogues of the Fay identities in ${\rm gl}_N^{\otimes
3}$. In this paper we extend the list of $R$-matrix valued elliptic function
identities. We propose counterparts of the Fay identities in ${\rm
gl}_N^{\otimes 2}$, the symmetry between the Planck constant and the spectral
parameter, quasi-periodicities with respect ...

Added: February 3, 2015

Braverman A., Dobrovolska G., Michael Finkelberg, Gaiotto-Witten superpotential and Whittaker D-modules on monopoles / Cornell University. Series math "arxiv.org". 2014.

Let G be an almost simple simply connected group over complex numbers. For a positive element α of the coroot lattice of G let Z^α denote the space of based maps from the projective line to the flag variety of G of degree α. This space is known to be isomorphic to the space of ...

Added: February 3, 2015

Khoroshkin S. M., Shapiro A., Journal of Geometry and Physics 2010 Vol. 60 No. 11 P. 1833-1851

In this article, we give an explicit formula for the universal weight function of the quantum twisted affine algebra Uq(A(2)2 ). The calculations use the technique of projecting products of Drinfeld currents onto the intersection of Borel subalgebras of different types. ...

Added: September 26, 2012

Michael Finkelberg, Leonid Rybnikov, Quantization of Drinfeld Zastava in type C / Cornell University. Series math "arxiv.org". 2013.

Drinfeld zastava is a certain closure of the moduli space of maps from the projective line to the Kashiwara flag scheme of an affine Lie algebra g^. In case g is the symplectic Lie algebra spN, we introduce an affine, reduced, irreducible, normal quiver variety Z which maps to the zastava space isomorphically in characteristic ...

Added: December 27, 2013

Kharlamov V., Viktor Kulikov, On numerically pluricanonical cyclic coverings / Cornell University. Series math "arxiv.org". 2013.

In this article, we investigate some properties of cyclic coverings of complex surfaces of general type branched along smooth curves that are numerically equivalent to a multiple of the canonical class. The main results concern coverings of surfaces of general type with p_g=0 and Miyaoka--Yau surfaces; in particular, they provide new examples of multicomponent moduli ...

Added: December 27, 2013

Lev Soukhanov, On the phenomena of constant curvature in the diffusion-orthogonal polynomials / Cornell University. Series math "arxiv.org". 2014.

We consider the systems of diffusion-orthogonal polynomials, defined in the
work [1] of D. Bakry, S. Orevkov and M. Zani and (particularly) explain why
these systems with boundary of maximal possible degree should always come from
the group, generated by reflections. Our proof works for the dimensions $2$ (on
which this phenomena was discovered) and $3$, and fails in ...

Added: September 19, 2014

Marshall I., International Mathematics Research Notices 2015 Vol. 18 P. 8925-8958

A Poisson structure is defined on the space {\mathcal {W}} of twisted polygons in {\mathbb {R}}^{\nu }. Poisson reductions with respect to two Poisson group actions on {\mathcal {W}} are described. The \nu =2 and \nu =3 cases are discussed in detail. Amongst the Poisson structures arising in examples are to be found the lattice ...

Added: November 28, 2014

Positselski L., Contraherent cosheaves / Cornell University. Series math "arxiv.org". 2014. No. 1209.2995.

Contraherent cosheaves are globalizations of cotorsion (or similar) modules over commutative rings obtained by gluing together over a scheme. The category of contraherent cosheaves over a scheme is a Quillen exact category with exact functors of infinite product. Over a quasi-compact semi-separated scheme or a Noetherian scheme of finite Krull dimension (in a different version ...

Added: February 6, 2013

Lee K., Shabalin T., Exceptional collections on some fake quadrics / Cornell University. Series math "arxiv.org". 2014.

We construct exceptional collections of maximal length on four families of
surfaces of general type with $p_g=q=0$ which are isogenous to a product of
curves. From these constructions we obtain new examples of quasiphantom
categories as their orthogonal complements. ...

Added: October 17, 2014

Galkin S., Shinder E., Exceptional collections of line bundles on the Beauville surface / Cornell University. Series math "arxiv.org". 2012. No. 1210.3339.

We construct quasi-phantom admissible subcategories in the derived category of coherent sheaves on the Beauville surface S. These quasi-phantoms subcategories appear as right orthogonals to subcategories generated by exceptional collections of maximal possible length 4 on S. We prove that there are exactly 6 exceptional collections consisting of line bundles (up to a twist) and these collections ...

Added: September 14, 2013

Efimov A., Homotopy finiteness of some DG categories from algebraic geometry / Cornell University. Series math "arxiv.org". 2013.

In this paper, we show that bounded derived categories of coherent sheaves (considered as DG categories) on separated schemes of finite type over a field of characteristic zero are homotopically finitely presented. This confirms a conjecture of Kontsevich. The proof uses categorical resolution of singularities of Kuznetsov and Lunts, which is based on the ordinary ...

Added: October 31, 2013

Bezrukavnikov R., Finkelberg M. V., Wreath Macdonald polynomials and categorical McKay correspondence (with Appendices by Ivan Losev, Vadim Vologodsky) / Cornell University. Series math "arxiv.org". 2012. No. 1208.3696.

Mark Haiman has reduced Macdonald positivity conjecture to a statement about geometry of the Hilbert scheme of points on the plane, and formulated a generalization of the conjectures where the symmetric group is replaced by the wreath product $S_n\ltimes (Z/r Z)^n$. He has proven the original conjecture by establishing the geometric statement about the Hilbert ...

Added: February 6, 2013

Rybakov S., On classification of groups of points on abelian varieties over finite fields / Cornell University. Series math "arxiv.org". 2014.

A k-isogeny class of abelian varieties over a finite field k is uniquely determined by the Weil polynomial f of any variety from this class. When we consider classification problems concerning abelian varieties inside an isogeny class, the classification can be given in terms of the corresponding Weil polynomial. In this paper we improve our ...

Added: January 21, 2014

Fonarev A., Moscow Mathematical Journal 2016 Vol. 16 No. 4 P. 711-726

We classify irreducible equivariant Ulrich vector bundles on isotropic Grassmannians. ...

Added: November 7, 2017

Khoroshkin A., Willwacher T., Živković M., Differentials on graph complexes / Cornell University. Series math "arxiv.org". 2014. No. 1411.2369.

We study the cohomology of complexes of ordinary (non-decorated) graphs, introduced by M. Kontsevich. We construct spectral sequences converging to zero whose first page contains the graph cohomology. In particular, these series may be used to show the existence of an infinite series of previously unknown and provably non-trivial cohomology classes, and put constraints on ...

Added: December 9, 2014