We show that the Hilbert scheme, that parameterizes all ideals with the same Hilbert function over a Clements–Lindström ring W, is connected. More precisely, we prove that every graded ideal is connected by a sequence of deformations to the lex-plus-powers ideal with the same Hilbert function. This is an analogue of Hartshorne’s theorem that Grothendieck’s Hilbert scheme is connected. We also prove a conjecture by Gasharov, Hibi, and Peeva that the lex ideal attains maximal Betti numbers among all graded ideals in W with a fixed Hilbert function.

A famous theorem of D. Orlov describes the derived bounded category of coherent sheaves on projective hypersurfaces in terms of an algebraic construction called graded matrix factorizations. In this article, I implement a proposal of E. Segal to prove Orlov’s theorem in the Calabi–Yau setting using a globalization of the category of graded matrix factorizations (graded D-branes). Let X⊂ℙ be a projective hypersurface. Segal has already established an equivalence between Orlov’s category of graded matrix factorizations and the category of graded D-branes on the canonical bundle Kℙ to ℙ. To complete the picture, I give an equivalence between the homotopy category of graded D-branes on Kℙ and Dbcoh(X). This can be achieved directly, as well as by deforming Kℙ to the normal bundle of X⊂Kℙ and invoking a global version of Knörrer periodicity. We also discuss an equivalence between graded D-branes on a general smooth quasiprojective variety and on the formal neighborhood of the singular locus of the zero fiber of the potential.

For an abelian surface A over a number field k, we study the limiting distribution of the normalized Euler factors of the L-function of A. This distribution is expected to correspond to taking characteristic polynomials of a uniform random matrix in some closed subgroup of USp(4); this Sato–Tate group may be obtained from the Galois action on any Tate module of A. We show that the Sato–Tate group is limited to a particular list of 55 groups up to conjugacy. We then classify A according to the Galois module structure on the ℝ-algebra generated by endomorphisms of (the Galois type), and establish a matching with the classification of Sato–Tate groups; this shows that there are at most 52 groups up to conjugacy which occur as Sato–Tate groups for suitable A and k, of which 34 can occur for k=ℚ. Finally, we present examples of Jacobians of hyperelliptic curves exhibiting each Galois type (over ℚ whenever possible), and observe numerical agreement with the expected Sato–Tate distribution by comparing moment statistics.

The tempered fundamental group of a p-adic variety classifies analytic étale covers that become topological covers for Berkovich topology after pullback by some finite étale cover. This paper constructs cospecialization homomorphisms between the (p′) versions of the tempered fundamental group of the fibers of a smooth morphism with polystable reduction. We study the question for families of curves in another paper. To construct them, we will start by describing the pro-(p′) tempered fundamental group of a smooth and proper variety with polystable reduction in terms of the reduction endowed with its log structure, thus defining tempered fundamental groups for log polystable varieties.

We describe an efficient algorithm for the computation of separable isogenies between abelian varieties represented in the coordinate system given by algebraic theta functions. Let A be an abelian variety of dimension g defined over a field of odd characteristic. Our algorithm comprises two principal steps. First, given a theta null point for A and a subgroup K isotropic for the Weil pairing, we explain how to compute the theta null point corresponding to the quotient abelian variety A/K. Then, from the knowledge of a theta null point of A/K, we present an algorithm to obtain a rational expression for an isogeny from A to A/K. The algorithm that results from combining these two steps can be viewed as a higher-dimensional analog of the well-known algorithm of Vélu for computing isogenies between elliptic curves. In the case where K is isomorphic to (ℤ/ℓℤ)g for ℓ∈ℕ*, the overall time complexity of this algorithm is equivalent to O(log ℓ) additions in A and a constant number of ℓth root extractions in the base field of A. In order to improve the efficiency of our algorithms, we introduce a compressed representation that allows us to encode a point of level 4ℓ of a g-dimensional abelian variety using only g(g+1)/2⋅4g coordinates. We also give formulas for computing the Weil and commutator pairings given input points in theta coordinates.

We compute the quiver of any finite monoid that has a basic algebra over an algebraically closed field of characteristic zero. More generally, we reduce the computation of the quiver over a splitting field of a class of monoids that we term rectangular monoids (in the semigroup theory literature the class is known as DO) to representation-theoretic computations for group algebras of maximal subgroups. Hence in good characteristic for the maximal subgroups, this gives an essentially complete computation. Since groups are examples of rectangular monoids, we cannot hope to do better than this. For the subclass of ℛ-trivial monoids, we also provide a semigroup-theoretic description of the projective indecomposable modules and compute the Cartan matrix.

Let be a classical Lie superalgebra and let ℱ be the category of finite-dimensional -supermodules which are completely reducible over the reductive Lie algebra . In [B. D. Boe, J. R. Kujawa and D. K. Nakano, Complexity and module varieties for classical Lie superalgebras, Int. Math. Res. Not. IMRN (2011), 696–724], we demonstrated that for any module M in ℱ the rate of growth of the minimal projective resolution (i.e. the complexity of M) is bounded by the dimension of . In this paper we compute the complexity of the simple modules and the Kac modules for the Lie superalgebra . In both cases we show that the complexity is related to the atypicality of the block containing the module.

We introduce and study a category of representations of the Borel algebra associated with a quantum loop algebra of non-twisted type. We construct fundamental representations for this category as a limit of the Kirillov–Reshetikhin modules over the quantum loop algebra and establish explicit formulas for their characters. We prove that general simple modules in this category are classified by n-tuples of rational functions in one variable which are regular and non-zero at the origin but may have a zero or a pole at infinity.

The primary aim of this paper is to (provide tools to) compute Galois groups of classical irregular q-difference equations. We are particularly interested in quantizations of certain differential equations that arise frequently in the mathematical and physical literature, namely confluent generalized q-hypergeometric equations and q-Kloosterman equations.

In the present paper we introduce and study the twisted γ-filtration on K0(Gs), where Gs is a split simple linear algebraic group over a field k of characteristic prime to the order of the center of Gs. We apply this filtration to construct nontrivial torsion elements in γ-rings of twisted flag varieties.