Researcher profile

Mitya Boyarchenko

Mitya Boyarchenko contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
4topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2013arXiv

Character sheaves on unipotent groups in positive characteristic: foundations

In this article we formulate and prove the main theorems of the theory of character sheaves on unipotent groups over an algebraically closed field of characteristic p>0. In particular, we show that every admissible pair for such a group G gives rise to an L-packet of character sheaves on G, and that, conversely, every L-packet of character sheaves on G arises from a (non-unique) admissible pair. In the appendices we discuss two abstract category theory patterns related to the study of character sheaves. The first appendix sketches a theory of duality for monoidal categories, which generalizes the notion of a rigid monoidal category and is close in spirit to the Grothendieck-Verdier duality theory. In the second one we use a topological field theory approach to define the canonical braided monoidal structure and twist on the equivariant derived category of constructible sheaves on an algebraic group; moreover, we show that this category carries an action of the surface operad. The third appendix proves that the "naive" definition of the equivariant constructible derived category with respect to a unipotent algebraic group is equivalent to the "correct" one.

preprint2013arXiv

Geometric realization of special cases of local Langlands and Jacquet-Langlands correspondences

Let F be a non-Archimedean local field and let E be an unramified extension of F of degree n>1. To each sufficiently generic multiplicative character of E (the details are explained in the body of the paper) one can associate an irreducible n-dimensional representation of the Weil group W_F of F, which corresponds to an irreducible supercuspidal representation π of GL_n(F) via the local Langlands correspondence. In turn, via the Jacquet-Langlands correspondence, π corresponds to an irreducible representation ρ of the multiplicative group of the central division algebra over F with invariant 1/n. In this note we give a new geometric construction of the representations π and ρ, which is simpler than the existing algebraic approaches (in particular, the use of the Weil representation over finite fields is eliminated).

preprint2013arXiv

Maximal varieties and the local Langlands correspondence for GL(n)

The cohomology of the Lubin-Tate tower is known to realize the local Langlands correspondence for GL(n) over a nonarchimedean local field. In this article we make progress towards a purely local proof of this fact. To wit, we find a family of open affinoid subsets of Lubin-Tate space at infinite level, whose cohomology realizes the local Langlands correspondence for a broad class of supercuspidals (those whose Weil parameters are induced from an unramified degree n extension). A key role is played by a certain variety X, defined over a finite field, which is "maximal" in the sense that the number of rational points of X is the largest possible among varieties with the same Betti numbers as X. The variety X is derived from a certain unipotent algebraic group, in an analogous manner as Deligne-Lusztig varieties are derived from reductive algebraic groups.

preprint2012arXiv

A duality formalism in the spirit of Grothendieck and Verdier

We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples include the derived category of constructible sheaves on a scheme (with respect to tensor product) as well as the derived and equivariant derived categories of constructible sheaves on an algebraic group (with respect to convolution). We show that the notions of pivotal category and ribbon category, which are well known in the setting of rigid monoidal categories, as well as certain standard results associated with these notions, have natural analogues in the world of Grothendieck-Verdier categories.

preprint2012arXiv

Character sheaves on unipotent groups in characteristic p>0

These are slides for a talk given by the authors at the conference "Current developments and directions in the Langlands program" held in honor of Robert Langlands at the Northwestern University in May of 2008. The slides can be used as a short introduction to the theory of characters and character sheaves for unipotent groups in positive characteristic, developed by the authors in a series of articles written between 2006 and 2011. We give an overview of the main results of this theory along with a bit of motivation.

preprint2012arXiv

Deligne-Lusztig constructions for unipotent and p-adic groups

In 1979 Lusztig proposed a conjectural construction of supercuspidal representations of reductive p-adic groups, which is similar to the well known construction of Deligne and Lusztig in the setting of finite reductive groups. We present a general method for explicitly calculating the representations arising from Lusztig's construction and illustrate it with several examples. The techniques we develop also provide background for the author's joint work with Weinstein on a purely local and explicit proof of the local Langlands correspondence.

preprint2011arXiv

Character sheaves and characters of unipotent groups over finite fields

Let G_0 be a connected unipotent algebraic group over a finite field F_q, and let G be the unipotent group over an algebraic closure F of F_q obtained from G_0 by extension of scalars. If M is a Frobenius-invariant character sheaf on G, we show that M comes from an irreducible perverse sheaf M_0 on G_0, which is pure of weight 0. As M ranges over all Frobenius-invariant character sheaves on G, the functions defined by the corresponding perverse sheaves M_0 form a basis of the space of conjugation-invariant functions on the finite group G_0(F_q), which is orthonormal with respect to the standard unnormalized Hermitian inner product. The matrix relating this basis to the basis formed by irreducible characters of G_0(F_q) is block-diagonal, with blocks corresponding to the L-packets (of characters, or, equivalently, of character sheaves). We also formulate and prove a suitable generalization of this result to the case where G_0 is a possibly disconnected unipotent group over F_q. (In general, Frobenius-invariant character sheaves on G are related to the irreducible characters of the groups of F_q-points of all pure inner forms of G_0.)

preprint2010arXiv

A motivated introduction to character sheaves and the orbit method for unipotent groups in positive characteristic

This article is based on lectures given by the authors in 2005 and 2006. Our first goal is to present an introduction to the orbit method with an emphasis on the character theory of finite nilpotent groups. The second goal (motivated by a recent work of G. Lusztig) is to explain several nontrivial aspects of character theory for finite groups of the form $G(F_{q^n})$, where $G$ is a unipotent algebraic group over a finite field $F_q$. In particular, we introduce the notion of a character sheaf for a unipotent group, and provide a toy model for the representation-theoretic notion of an L-packet.

preprint2010arXiv

Characters of unipotent groups over finite fields

Let G be a connected unipotent group over a finite field F_q with q elements. In this article we propose a definition of L-packets of complex irreducible representations of the finite group G(F_q) and give an explicit description of L-packets in terms of the so-called "admissible pairs" for G. We then apply our results to show that if the centralizer of every geometric point of G is connected, then the dimension of every complex irreducible representation of G(F_q) is a power of q, confirming a conjecture of V. Drinfeld. This paper is the first in a series of three papers exploring the relationship between representations of a group of the form G(F_q) (where G is a unipotent algebraic group over F_q), the geometry of G, and the theory of character sheaves.

preprint2010arXiv

Representations of unipotent groups over local fields and Gutkin's conjecture

Let F be a finite field or a local field of any characteristic. If A is a finite dimensional associative nilpotent algebra over F, the set 1+A of all formal expressions of the form 1+x, where x ranges over the elements of A, is a locally compact group with the topology induced by the standard one on F and the multiplication given by (1+x)(1+y)=1+(x+y+xy). We prove a result conjectured by Eugene Gutkin in 1973: every unitary irreducible representation of 1+A can be obtained by unitary induction from a 1-dimensional unitary character of a subgroup of the form 1+B, where B is an F-subalgebra of A. In the case where F is local and nonarchimedean we also establish an analogous result for smooth irreducible representations of 1+A over the field of complex numbers and show that every such representation is admissible and carries an invariant Hermitian inner product.