Showing 1–13 of 13 results for author: Ionov, A

On a t-exactness property of the Harish-Chandra transform

Authors: Roman Gonin, Andrei Ionov, Kostiantyn Tolmachov

Abstract: Using hyperbolic localization, we identify the nearby cycles along the Vinberg degeneration with the composition of Radon and Harish-Chandra functors, both considered for the category of character sheaves. This provides a new, simple proof of the exactness of this composition, extending previously known results to arbitrary monodromy and more general sheaf-theoretic set-ups. Using hyperbolic localization, we identify the nearby cycles along the Vinberg degeneration with the composition of Radon and Harish-Chandra functors, both considered for the category of character sheaves. This provides a new, simple proof of the exactness of this composition, extending previously known results to arbitrary monodromy and more general sheaf-theoretic set-ups. △ Less

Submitted 9 December, 2024; originally announced December 2024.

Fourier transform on the locus of cyclic spectral curves in the Hitchin base

Authors: Andrei Ionov

Abstract: We compute the Fourier transform of some of the summands of the push-forward of the constant sheaf under the Hitchin map for $\mathrm{SL}_n$ restricted to the locus of cyclic spectral curves inside the Hitchin base (for $\mathrm{SL}_2$ all spectral curves are cyclic) and give an estimate on the support of the Fourier transforms of the other summands. We compute the Fourier transform of some of the summands of the push-forward of the constant sheaf under the Hitchin map for $\mathrm{SL}_n$ restricted to the locus of cyclic spectral curves inside the Hitchin base (for $\mathrm{SL}_2$ all spectral curves are cyclic) and give an estimate on the support of the Fourier transforms of the other summands. △ Less

Submitted 24 April, 2024; v1 submitted 21 April, 2024; originally announced April 2024.

Hodge diamonds of the Landau--Ginzburg orbifolds

Authors: Alexey Basalaev, Andrei Ionov

Abstract: Consider the pairs $(f,G)$ with $f = f(x_1,\dots,x_N)$ being a polynomial defining a quasihomogeneous singularity and $G$ being a subgroup of ${\rm SL}(N,\mathbb{C})$, preserving $f$. In particular, $G$ is not necessary abelian. Assume further that $G$ contains the grading operator $j_f$ and $f$ satisfies the Calabi-Yau condition. We prove that the nonvanishing bigraded pieces of the B-model state… ▽ More Consider the pairs $(f,G)$ with $f = f(x_1,\dots,x_N)$ being a polynomial defining a quasihomogeneous singularity and $G$ being a subgroup of ${\rm SL}(N,\mathbb{C})$, preserving $f$. In particular, $G$ is not necessary abelian. Assume further that $G$ contains the grading operator $j_f$ and $f$ satisfies the Calabi-Yau condition. We prove that the nonvanishing bigraded pieces of the B-model state space of $(f,G)$ form a diamond. We identify its topmost, bottommost, leftmost and rightmost entries as one-dimensional and show that this diamond enjoys the essential horizontal and vertical isomorphisms. △ Less

Submitted 25 March, 2024; v1 submitted 3 July, 2023; originally announced July 2023.

Journal ref: SIGMA 20 (2024), 024, 25 pages

Equivariant derived category of a reductive group as a categorical center

Authors: Roman Bezrukavnikov, Andrei Ionov, Kostiantyn Tolmachov, Yakov Varshavsky

Abstract: We prove that the adjoint equivariant derived category of a reductive group $G$ is equivalent to the appropriately defined monoidal center of the torus-equivariant version of the Hecke category. We use this to give new proofs, independent of sheaf-theoretic set up, of the fact that the Drinfeld center of the abelian Hecke category is equivalent to the abelian category of unipotent character sheave… ▽ More We prove that the adjoint equivariant derived category of a reductive group $G$ is equivalent to the appropriately defined monoidal center of the torus-equivariant version of the Hecke category. We use this to give new proofs, independent of sheaf-theoretic set up, of the fact that the Drinfeld center of the abelian Hecke category is equivalent to the abelian category of unipotent character sheaves; and of a characterization of strongly-central sheaves on the torus. △ Less

Submitted 12 June, 2024; v1 submitted 4 May, 2023; originally announced May 2023.

Tilting sheaves for real groups and Koszul duality

Authors: Andrei Ionov, Zhiwei Yun

Abstract: For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a fully faithful embedding of the category of tilting sheaves to a real analog of the category of Soergel bimodules, establishing real group analogs of Soergel's Stru… ▽ More For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a fully faithful embedding of the category of tilting sheaves to a real analog of the category of Soergel bimodules, establishing real group analogs of Soergel's Structure Theorem and Endomorphism Theorem. We apply these results to give a purely geometric proof of the theorem of Bezrukavnikov and Vilonen which proves Soergel's conjecture for quasi-split groups. △ Less

Submitted 8 June, 2023; v1 submitted 13 January, 2023; originally announced January 2023.

McKay correspondence and orbifold equivalence

Authors: Andrei Ionov

Abstract: We prove that a pair of singularities related by a transformation arising from the McKay correspondence are orbifold equivalent. From this we deduce a new proof of a McKay type equivalence for the matrix factorization categories. We prove that a pair of singularities related by a transformation arising from the McKay correspondence are orbifold equivalent. From this we deduce a new proof of a McKay type equivalence for the matrix factorization categories. △ Less

Submitted 20 November, 2023; v1 submitted 24 February, 2022; originally announced February 2022.

Journal ref: Journal of Pure and Applied Algebra Volume 227, Issue 5, May 2023, 107297

Mirror map for Fermat polynomial with non-abelian group of symmetries

Authors: Alexey Basalaev, Andrey Ionov

Abstract: We study Landau-Ginzburg orbifolds $(f,G)$ with $f=x_1^n+\ldots+x_N^n$ and $G=S\ltimes G^d$, where $S\subseteq S_N$ and $G^d$ is either the maximal group of scalar symmetries of $f$ or the intersection of the maximal diagonal symmetries of $f$ with $\mathrm{SL}_N(\mathbb{C})$. We construct a mirror map between the corresponding phase spaces and prove that it is an isomorphism restricted to a certa… ▽ More We study Landau-Ginzburg orbifolds $(f,G)$ with $f=x_1^n+\ldots+x_N^n$ and $G=S\ltimes G^d$, where $S\subseteq S_N$ and $G^d$ is either the maximal group of scalar symmetries of $f$ or the intersection of the maximal diagonal symmetries of $f$ with $\mathrm{SL}_N(\mathbb{C})$. We construct a mirror map between the corresponding phase spaces and prove that it is an isomorphism restricted to a certain subspace of the phase space when $n=N$ is a prime number. When $S$ satisfies the condition PC of Ebeling and Gusein-Zade this subspace coincides with the full space. We also show that two phase spaces are isomorphic for $n=N=5$. △ Less

Submitted 6 May, 2021; v1 submitted 31 March, 2021; originally announced March 2021.

Comments: typos fixed, journal version

Hochschild cohomology of Fermat type polynomials with non-abelian symmetries

Authors: Alexey Basalaev, Andrei Ionov

Abstract: For a polynomial $f = x_1^n + \dots + x_N^n$ let $G_f$ be the non--abelian maximal group of symmetries of $f$. This is a group generated by all $g \in \mathrm{GL}(N,\mathbb{C})$, rescaling and permuting the variables, so that $f(\mathbf{x}) = f(g \cdot \mathbf{x})$. For any $G \subseteq G_f$ we compute explicitly Hochschild cohomology of the category of $G$--equivarint matrix factorizations of… ▽ More For a polynomial $f = x_1^n + \dots + x_N^n$ let $G_f$ be the non--abelian maximal group of symmetries of $f$. This is a group generated by all $g \in \mathrm{GL}(N,\mathbb{C})$, rescaling and permuting the variables, so that $f(\mathbf{x}) = f(g \cdot \mathbf{x})$. For any $G \subseteq G_f$ we compute explicitly Hochschild cohomology of the category of $G$--equivarint matrix factorizations of $f$. We introduce the pairing on it showing that it is a Frobenius algebra. △ Less

Submitted 21 July, 2021; v1 submitted 11 November, 2020; originally announced November 2020.

Filtrations on block subalgebras of reduced universal enveloping algebras

Authors: Andrei Ionov, Dylan Pentland

Abstract: We study the interaction between the block decompositions of reduced universal enveloping algebras in positive characteristic, the PBW filtration, and the nilpotent cone. We provide two natural versions of the PBW filtration on the block subalgebra $A_λ$ of the restricted universal enveloping algebra $\mathcal{U}_χ(\mathfrak{g})$ and show these are dual to each other. We also consider a shifted PB… ▽ More We study the interaction between the block decompositions of reduced universal enveloping algebras in positive characteristic, the PBW filtration, and the nilpotent cone. We provide two natural versions of the PBW filtration on the block subalgebra $A_λ$ of the restricted universal enveloping algebra $\mathcal{U}_χ(\mathfrak{g})$ and show these are dual to each other. We also consider a shifted PBW filtration for which we relate the associated graded algebra to the algebra of functions on the Frobenius neighbourhood of $0$ in the nilpotent cone and the coinvariants algebra corresponding to $λ$. In the case of $\mathfrak{g}=\mathfrak{sl}_2(k)$ in characteristic $p>2$ we determine the associated graded algebras of these filtrations on block subalgebras of $\mathcal{U}_0(\mathfrak{sl}_2)$. We also apply this to determine the structure of the adjoint representation of $\mathcal{U}_0(\mathfrak{sl}_2)$. △ Less

Submitted 12 March, 2021; v1 submitted 16 September, 2020; originally announced September 2020.

Primitive forms for Gepner singularities

Authors: Andrei Ionov

Abstract: We provide a construction of Saito primitive forms for Gepner singularity by studying the relation between Saito primitive forms for Gepner singularities and primitive forms for singularities of the form $F_{k,n}=\sum_{i=1}^n x_i^k$ invariant under the natural $S_n$-action. We provide a construction of Saito primitive forms for Gepner singularity by studying the relation between Saito primitive forms for Gepner singularities and primitive forms for singularities of the form $F_{k,n}=\sum_{i=1}^n x_i^k$ invariant under the natural $S_n$-action. △ Less

Submitted 16 March, 2019; v1 submitted 12 November, 2016; originally announced November 2016.

Kostka-Shoji polynomials and Lusztig's convolution diagram

Authors: Michael Finkelberg, Andrei Ionov

Abstract: We propose an $r$-variable version of Kostka-Shoji polynomials $K^-_{λμ}$ for $r$-multipartitions $λ,μ$. Our version has positive integral coefficients and encodes the graded multiplicities in the space of global sections of a line bundle over Lusztig's iterated convolution diagram for the cyclic quiver $\tilde{A}_{r-1}$. We propose an $r$-variable version of Kostka-Shoji polynomials $K^-_{λμ}$ for $r$-multipartitions $λ,μ$. Our version has positive integral coefficients and encodes the graded multiplicities in the space of global sections of a line bundle over Lusztig's iterated convolution diagram for the cyclic quiver $\tilde{A}_{r-1}$. △ Less

Submitted 8 November, 2017; v1 submitted 19 May, 2016; originally announced May 2016.

Comments: v3: references updated

Intersection cohomology of the Uhlenbeck compactification of the Calogero-Moser space

Authors: Michael Finkelberg, Victor Ginzburg, Andrei Ionov, Alexander Kuznetsov

Abstract: We study the natural Gieseker and Uhlenbeck compactifications of the rational Calogero-Moser phase space. The Gieseker compactification is smooth and provides a small resolution of the Uhlenbeck compactification. This allows computing the IC stalks of the Uhlenbeck compactification. We study the natural Gieseker and Uhlenbeck compactifications of the rational Calogero-Moser phase space. The Gieseker compactification is smooth and provides a small resolution of the Uhlenbeck compactification. This allows computing the IC stalks of the Uhlenbeck compactification. △ Less

Submitted 28 May, 2020; v1 submitted 17 June, 2015; originally announced June 2015.

Comments: 38 pages. v2: Remark 1.3.3 added. v3: The final version published in Selecta Mathematica

Journal ref: Selecta Math., vol. 22 (2016), no. 4, pp 2491-2534

Supersymmetric Semisimple Cardy-Frobenius Algebras

Authors: A. Ionov

Abstract: Cardy-Frobenius algebra is the algebraic structure on the space of states in open-closed topological field theory. We prove that every semisimple super Cardy-Frobenius algebras is the direct sum of the super Cardy-Frobenius algebras of three simple types. We also apply our results to singularity theory via Landau-Ginzburg models and matrix factorizations. Cardy-Frobenius algebra is the algebraic structure on the space of states in open-closed topological field theory. We prove that every semisimple super Cardy-Frobenius algebras is the direct sum of the super Cardy-Frobenius algebras of three simple types. We also apply our results to singularity theory via Landau-Ginzburg models and matrix factorizations. △ Less

Submitted 29 April, 2015; originally announced April 2015.