Source author record

Colin Ingalls

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.RA math.RT math.AC math.GR math.NT math.CO math.QA

Catalog footprint

Research overview

18works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Definite orthogonal modular forms: Computations, Excursions and Discoveries

We consider spaces of modular forms attached to definite orthogonal groups of low even rank and nontrivial level, equipped with Hecke operators defined by Kneser neighbours. After reviewing algorithms to compute with these spaces, we investigate endoscopy using theta series and a theorem of Rallis. Along the way, we exhibit many examples and pose several conjectures. As a first application, we express counts of Kneser neighbours in terms of coefficients of classical or Siegel modular forms, complementing work of Chenevier-Lannes. As a second application, we prove new instances of Eisenstein congruences of Ramanujan and Kurokawa-Mizumoto type.

preprint2022arXiv

Matrix Factorizations of the discriminant of $S_n$

Consider the symmetric group $S_n$ acting as a reflection group on the polynomial ring $k[x_1, \ldots, x_n]$ , where $k$ is a field such that Char $(k)$ does not divide $n!$ . We use Higher Specht polynomials to construct matrix factorizations of the discriminant of this group action: these matrix factorizations are indexed by partitions of $n$ and respect the decomposition of the coinvariant algebra into isotypical components. The maximal Cohen-Macaulay modules associated to these matrix factorizations give rise to a noncommutative resolution of the discriminant and they correspond to the nontrivial irreducible representations of $S_n$ . All our constructions are implemented in Macaulay2 and we provide several examples. We also discuss extensions of these results to Young subgroups of $S_n$ .

preprint2020arXiv

$\mathcal{A}\mathcal{V}$ modules of finite type on affine space

We study the category of modules admitting compatible actions of the Lie algebra $\mathcal{V}$ of vector fields on an affine space and the algebra $\mathcal{A}$ of polynomial functions. We show that modules in this category which are finitely generated over $\mathcal{A}$ , are free. We also show that this pair of compatible actions is equivalent to commuting actions of the algebra of differential operators and the Lie algebra of vector fields vanishing at the origin. This allows us to construct explicit realizations of such modules as gauge modules.

preprint2020arXiv

A McKay correspondence for reflection groups

We construct a noncommutative desingularization of the discriminant of a finite reflection group $G$ as a quotient of the skew group ring $A=S*G$ . If $G$ is generated by order two reflections, then this quotient identifies with the endomorphism ring of the reflection arrangement $\mathcal{A}(G)$ viewed as a module over the coordinate ring $S^G/(Δ)$ of the discriminant of $G$ . This yields, in particular, a correspondence between the nontrivial irreducible representations of $G$ to certain maximal Cohen--Macaulay modules over the coordinate ring $S^G/(Δ)$ . These maximal Cohen--Macaulay modules are precisely the nonisomorphic direct summands of the coordinate ring of the reflection arrangement $\mathcal{A} (G)$ viewed as a module over $S^G/(Δ)$ . We identify some of the corresponding matrix factorizations, namely the so-called logarithmic (co-)residues of the discriminant.

preprint2020arXiv

Crepant resolutions of double covers: On the Cynk-Hulek criterion for crepant resolutions of double cover

A collection $S = \{D_1,\ldots, D_n\}$ of divisors in a smooth variety $X$ is an {\em arrangement} if intersections of all subsets of $S$ are smooth. We show that a double cover of $X$ ramified on an arrangement has a crepant resolution under additional hypotheses. Namely, we assume that all intersection components that change the canonical divisor when blown up satisfy are {\em splayed}, a property of the tangent spaces of the components first studied by Faber. This strengthens a result of Cynk and Hulek, which requires a stronger hypothesis on the intersection components. Further, we study the singular subscheme of the union of the divisors in $S$ and prove that it has a primary decomposition where the primary components are supported on exactly the subvarieties which are blown up in the course of constructing the crepant resolution of the double cover.

preprint2020arXiv

Low dimensional orders of finite representation type

In this paper, we study noncommutative surface singularities arising from orders. The singularities we study are mild in the sense that they have finite representation type or, equivalently, are log terminal in the sense of the Mori minimal model program for orders [CI05]. These were classified independently by Artin (in terms of ramification data) and Reiten-Van den Bergh (in terms of their AR-quivers). The first main goal of this paper is to connect these two classifications, by going through the finite subgroups $G \subset \mathrm{GL}_2$ , explicitly computing $H^2(G,k^*)$ , and then matching these up with Artin's list of ramification data and Reiten-Van den Bergh's AR-quivers. This provides a semi-independent proof of their classifications and extends the study of canonical orders in [CHI09] to the case of log terminal orders. A secondary goal of this paper is to study noncommutative analogues of plane curves which arise as follows. Let $B = k_ζ [[ x,y ]]$ be the skew power series ring where $ζ$ is a root of unity, or more generally a terminal order over a complete local ring. We consider rings of the form $A = B/(f)$ where $f \in Z(B)$ which we interpret to be the ring of functions on a noncommutative plane curve. We classify those noncommutative plane curves which are of finite representation type and compute their AR-quivers.

preprint2020arXiv

Quotient graphs and amalgam presentations for unitary groups over cyclotomic rings

Suppose $4|n$ , $n\geq 8$ , $F=F_n=\mathbb{Q}(ζ_n+\barζ_n)$ , and there is one prime $\mathfrak{p}=\mathfrak{p}_n$ above $2$ in $F_n$ . We study amalgam presentations for $\operatorname{PU_{2}}(\mathbb{Z}[ζ_n, 1/2])$ and $\operatorname{PSU_{2}}(\mathbb{Z}[ζ_n, 1/2])$ with the Clifford-cyclotomic group in quantum computing as a subgroup. These amalgams arise from an action of these groups on the Bruhat-Tits tree $Δ=Δ_{\mathfrak{p}}$ for $\operatorname{SL_{2}}(F_\mathfrak{p})$ constructed via the Hamilton quaternions. We explicitly compute the finite quotient graphs and the resulting amalgams for $8\leq n\leq 48$ , $n\neq 44$ , as well as for $\operatorname{PU_{2}}(\mathbb{Z}[ζ_{60}, 1/2])$ .

preprint2019arXiv

Period-index bounds for arithmetic threefolds

The standard period-index conjecture for the Brauer group of a field of transcendence degree 2 over a $p$ -adic field predicts that the index divides the cube of the period. Using Gabber's theory of prime-to- $\ell$ alterations and the deformation theory of twisted sheaves, we prove that the index divides the fourth power of the period for every Brauer class whose period is prime to $6p$ , giving the first uniform period-index bounds over such fields.

preprint2015arXiv

Computing global dimension of endomorphism rings via ladders

This paper deals with computing the global dimension of endomorphism rings of maximal Cohen--Macaulay (=MCM) modules over commutative rings. Several examples are computed. In particular, we determine the global spectra, that is, the sets of all possible finite global dimensions of endomorphism rings of MCM-modules, of the curve singularities of type $A_n$ for all $n$ , $D_n$ for $n \leq 13$ and $E_{6,7,8}$ and compute the global dimensions of Leuschke's normalization chains for all ADE curves, as announced in [Dao-Faber-Ingalls]. Moreover, we determine the centre of an endomorphism ring of a MCM-module over any curve singularity of finite MCM-type. In general, we describe a method for the computation of the global dimension of an endomorphism ring $\mathrm{End}_R M$ , where $R$ is a Henselian local ring, using $\mathrm{add}(M)$ -approximations. When $M\neq 0$ is a MCM-module over $R$ and $R$ is Henselian local of Krull dimension $\leq 2$ with a canonical module and of finite MCM-type, we use Auslander--Reiten theory and Iyama's ladder method to explicitly construct these approximations.

preprint2015arXiv

Homological dimensions for co-rank one idempotent subalgebras

Let $k$ be an algebraically closed field and $A$ be a (left and right) Noetherian associative $k$ -algebra. Assume further that $A$ is either positively graded or semiperfect (this includes the class of finite dimensional $k$ -algebras, and $k$ -algebras that are finitely generated modules over a Noetherian central Henselian ring). Let $e$ be a primitive idempotent of $A$ , which we assume is of degree $0$ if $A$ is positively graded. We consider the idempotent subalgebra $Γ= (1-e)A(1-e)$ and $S_e$ the simple right $A$ -module $S_e = eA/e{\rm rad}A$ , where ${\rm rad}A$ is the Jacobson radical of $A$ , or the graded Jacobson radical of $A$ if $A$ is positively graded. In this paper, we relate the homological dimensions of $A$ and $Γ$ , using the homological properties of $S_e$ . First, if $S_e$ has no self-extensions of any degree, then the global dimension of $A$ is finite if and only if that of $Γ$ is. On the other hand, if the global dimensions of both $A$ and $Γ$ are finite, then $S_e$ cannot have self-extensions of degree greater than one, provided $A/{\rm rad}A$ is finite dimensional.

preprint2015arXiv

Semi-stable subcategories for Euclidean quivers

In this paper, we study the semi-stable subcategories of the category of representations of a Euclidean quiver, and the possible intersections of these subcategories. Contrary to the Dynkin case, we find out that the intersection of semi-stable subcategories may not be semi-stable. However, only a finite number of exceptions occur, and we give a description of these subcategories. Moreover, one can attach a simplicial fan in $\mathbb{Q}^n$ to any acyclic quiver $Q$ , and this simplicial fan allows one to completely determine the canonical presentation of any element in $\mathbb{Z}^n$ . This fan has a nice description in the Dynkin and Euclidean cases: it is described using an arrangement of convex codimension-one subsets of $\mathbb{Q}^n$ , each such subset being indexed by a real Schur root or a set of quasi-simple objects. This fan also characterizes when two different stability conditions give rise to the same semi-stable subcategory.

preprint2014arXiv

An Explicit Derived Equivalence of Azumaya Algebras on K3 Surfaces via Koszul Duality

We consider moduli spaces of Azumaya algebras on K3 surfaces and construct an example. In some cases we show a derived equivalence which corresponds to a derived equivalence between twisted sheaves. We prove if $A$ and $A'$ are Morita equivalent Azumaya algebras of degree $r$ then $2r$ divides $c_2(A) - c_2(A')$ . In particular this implies that if $A$ is an Azumaya algebra on a K3 surface and $c_2(A)$ is within $2r$ of its minimal bound then the moduli stack of Azumaya algebras with the same underlying gerbe, if non empty, is a proper algebraic space.

preprint2014arXiv

Embeddings of quotient division algebras of rings of differential operators

Let $k$ be an algebraically closed field of characteristic zero, let $X$ and $Y$ be smooth irreducible algebraic curves over $k$ , and let $D(X)$ and $D(Y)$ denote respectively the quotient division rings of the ring of differential operators of $X$ and $Y$ . We show that if there is a $k$ -algebra embedding of $D(X)$ into $D(Y)$ then the genus of $X$ must be less than or equal to the genus of $Y$ , answering a question of the first-named author and Smoktunowicz.

preprint2014arXiv

Noncommutative (crepant) desingularizations and the global spectrum of commutative rings

In this paper we study endomorphism rings of finite global dimension over not necessarily normal commutative rings. These objects have recently attracted attention as noncommutative (crepant) resolutions, or NC(C)Rs, of singularities. We propose a notion of a NCCR over any commutative ring that appears weaker but subsumes all previous notions. Our results yield strong necessary and sufficient conditions for the existence of such objects in many cases of interest. We also give new examples of NCRs of curve singularities, regular local rings and normal crossing singularities. Moreover, we introduce and study the global spectrum of a ring $R$ , that is, the set of all possible finite global dimensions of endomorphism rings of MCM $R$ -modules. Finally, we use a variety of methods to compute global dimension for many endomorphism rings.

preprint2011arXiv

Conic bundles and Clifford algebras

We discuss natural connections between three objects: quadratic forms with values in line bundles, conic bundles and quaternion orders. We use the even Clifford algebra, and the Brauer-Severi Variety, and other constructions to give natural bijections between these objects under appropriate hypothesis. We then restrict to a surface base and we express the second Chern class of the order in terms $K^3$ and other invariants of the corresponding conic bundle. We find the conic bundles corresponding to minimal del Pezzo quaterion orders and we discuss problems concerning their moduli.

preprint2010arXiv

Rank Two Sheaves on K3 Surfaces: A Special Construction

Let X be a K3 surface of degree 8 in P^5 with hyperplane section H. We associate to it another K3 surface M which is a double cover of P^2 ramified on a sextic curve C. In the generic case when X is smooth and a complete intersection of three quadrics, there is a natural correspondence between M and the moduli space M' of rank two vector bundles on X with Chern classes c_1=H and c_2=4. We build on previous work of Mukai and others, giving conditions and examples where M' is fine, compact, non-empty; and birational or isomorphic to M. We also present an explicit calculation of the Fourier-Mukai transform when X contains a line and has Picard number two.

preprint2008arXiv

Noncrossing partitions and representations of quivers

We situate the noncrossing partitions associated to a finite Coxeter group within the context of the representation theory of quivers. We describe Reading's bijection between noncrossing partitions and clusters in this context, and show that it extends to the extended Dynkin case. Our setup also yields a new proof that the noncrossing partitions associated to a finite Coxeter group form a lattice. We also prove some new results within the theory of quiver representations. We show that the finitely generated, exact abelian, and extension-closed subcategories of the representations of a quiver $Q$ without oriented cycles are in natural bijection with the cluster-tilting objects in the associated cluster category. We also show these subcategories are exactly the finitely generated categories that can be obtained as the semistable objects with respect to some stability condition.

preprint2007arXiv

Canonical singularities of orders over surfaces

We classify the possible ramification data and etale local structure of orders over surfaces with canonical singularities.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Colin Ingalls

Research overview

Is this your work?

18 publications

Definite orthogonal modular forms: Computations, Excursions and Discoveries

Matrix Factorizations of the discriminant of $S_n$

$\mathcal{A}\mathcal{V}$ modules of finite type on affine space

A McKay correspondence for reflection groups

Crepant resolutions of double covers: On the Cynk-Hulek criterion for crepant resolutions of double cover

Low dimensional orders of finite representation type

Quotient graphs and amalgam presentations for unitary groups over cyclotomic rings

Period-index bounds for arithmetic threefolds

Computing global dimension of endomorphism rings via ladders

Homological dimensions for co-rank one idempotent subalgebras

Semi-stable subcategories for Euclidean quivers

An Explicit Derived Equivalence of Azumaya Algebras on K3 Surfaces via Koszul Duality

Embeddings of quotient division algebras of rings of differential operators

Noncommutative (crepant) desingularizations and the global spectrum of commutative rings

Conic bundles and Clifford algebras

Rank Two Sheaves on K3 Surfaces: A Special Construction

Noncrossing partitions and representations of quivers

Canonical singularities of orders over surfaces

See the researcher in context

Building this map preview

Colin Ingalls

Research overview

Is this your work?

18 publications

Definite orthogonal modular forms: Computations, Excursions and Discoveries

Matrix Factorizations of the discriminant of SnS_nSn​

AV\mathcal{A}\mathcal{V}AV modules of finite type on affine space

A McKay correspondence for reflection groups

Crepant resolutions of double covers: On the Cynk-Hulek criterion for crepant resolutions of double cover

Low dimensional orders of finite representation type

Quotient graphs and amalgam presentations for unitary groups over cyclotomic rings

Period-index bounds for arithmetic threefolds

Computing global dimension of endomorphism rings via ladders

Homological dimensions for co-rank one idempotent subalgebras

Semi-stable subcategories for Euclidean quivers

An Explicit Derived Equivalence of Azumaya Algebras on K3 Surfaces via Koszul Duality

Embeddings of quotient division algebras of rings of differential operators

Noncommutative (crepant) desingularizations and the global spectrum of commutative rings

Conic bundles and Clifford algebras

Rank Two Sheaves on K3 Surfaces: A Special Construction

Noncrossing partitions and representations of quivers

Canonical singularities of orders over surfaces

See the researcher in context

Building this map preview

Matrix Factorizations of the discriminant of $S_n$

$\mathcal{A}\mathcal{V}$ modules of finite type on affine space