Showing 1–37 of 37 results for author: Chan, D

Segal K-theory factors through Waldhausen categories

Authors: Maxine E. Calle, David Chan

Abstract: We show that Segal's K-theory of symmetric monoidal categorizes can be factored through Waldhausen categories. In particular, given a symmetric monoidal category $C$, we produce a Waldhausen category $Γ(C)$ whose K-theory is weakly equivalent to the Segal K-theory of $C$. As a consequence, we show that every connective spectrum may be obtained via Waldhausen K-theory. We show that Segal's K-theory of symmetric monoidal categorizes can be factored through Waldhausen categories. In particular, given a symmetric monoidal category $C$, we produce a Waldhausen category $Γ(C)$ whose K-theory is weakly equivalent to the Segal K-theory of $C$. As a consequence, we show that every connective spectrum may be obtained via Waldhausen K-theory. △ Less

Submitted 16 June, 2025; originally announced June 2025.

Comments: 14 pages, comments welcome!

MSC Class: 19D23 (primary); 18F25; 55P42

The spectrum of the Burnside Tambara functor

Authors: Maxine Elena Calle, David Chan, David Mehrle, J. D. Quigley, Ben Spitz, Danika Van Niel

Abstract: We compute the spectrum of prime ideals in the Burnside Tambara functor over an arbitrary finite group. We compute the spectrum of prime ideals in the Burnside Tambara functor over an arbitrary finite group. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Comments: 22 pages, comments welcome!

MSC Class: 19A22 (Primary); 55P91; 13A15

Trace methods for equivariant algebraic K-theory

Authors: David Chan, Teena Gerhardt, Inbar Klang

Abstract: In the past decades, one of the most fruitful approaches to the study of algebraic $K$-theory has been trace methods, which construct and study trace maps from algebraic $K$-theory to topological Hochschild homology and related invariants. In recent years, theories of equivariant algebraic $K$-theory have emerged, but thus far few tools are available for the study and computation of these theories… ▽ More In the past decades, one of the most fruitful approaches to the study of algebraic $K$-theory has been trace methods, which construct and study trace maps from algebraic $K$-theory to topological Hochschild homology and related invariants. In recent years, theories of equivariant algebraic $K$-theory have emerged, but thus far few tools are available for the study and computation of these theories. In this paper, we lay the foundations for a trace methods approach to equivariant algebraic $K$-theory. For $G$ a finite group, we construct a Dennis trace map from equivariant algebraic $K$-theory to a $G$-equivariant version of topological Hochschild homology; for $G$ the trivial group this recovers the ordinary Dennis trace map. We show that upon taking fixed points, this recovers the trace map of Adamyk--Gerhardt--Hess--Klang--Kong, and gives a trace map from the fixed points of coarse equivariant $A$-theory to the free loop space. We also establish important properties of equivariant topological Hochschild homology, such as Morita invariance, and explain why it can be considered as a multiplicative norm. △ Less

Submitted 16 May, 2025; originally announced May 2025.

Comments: 48 pages, comments welcome!

MSC Class: 55P91; 19D55; 16E40

On the Tambara Affine Line

Authors: David Chan, David Mehrle, J. D. Quigley, Ben Spitz, Danika Van Niel

Abstract: Tambara functors are the analogue of commutative rings in equivariant algebra. Nakaoka defined ideals in Tambara functors, leading to the definition of the Nakaoka spectrum of prime ideals in a Tambara functor. In this work, we continue the study of the Nakoaka spectra of Tambara functors. We describe, in terms of the Zariski spectra of ordinary commutative rings, the Nakaoka spectra of many Tamba… ▽ More Tambara functors are the analogue of commutative rings in equivariant algebra. Nakaoka defined ideals in Tambara functors, leading to the definition of the Nakaoka spectrum of prime ideals in a Tambara functor. In this work, we continue the study of the Nakoaka spectra of Tambara functors. We describe, in terms of the Zariski spectra of ordinary commutative rings, the Nakaoka spectra of many Tambara functors. In particular: we identify the Nakaoka spectrum of the fixed point Tambara functor of any $G$-ring with the GIT quotient of its classical Zariski spectrum; we describe the Nakaoka spectrum of the complex representation ring Tambara functor over a cyclic group of prime order $p$; we describe the affine line (the Nakaoka spectra of free Tambara functors on one generator) over a cyclic group of prime order $p$ in terms of the Zariski spectra of $\mathbb{Z}[x]$, $\mathbb{Z}[x,y]$, and the ring of cyclic polynomials $\mathbb{Z}[x_0,\ldots,x_{p-1}]^{C_p}$. To obtain these results, we introduce a "ghost construction" which produces an integral extension of any $C_p$-Tambara functor, the Nakaoka spectrum of which is describable. To relate the Nakaoka spectrum of a Tambara functor to that of its ghost, we prove several new results in equivariant commutative algebra, including a weak form of the Hilbert basis theorem, going up, lying over, and levelwise radicality of prime ideals in Tambara functors. These results also allow us to compute the Krull dimensions of many Tambara functors. △ Less

Submitted 30 May, 2025; v1 submitted 30 October, 2024; originally announced October 2024.

Comments: 46 pages. Comments welcome! v2: Improved exposition in section 3.2; updated remark 7.8 v3: Improved introduction and tightened the exposition elsewhere. Shortened paper

MSC Class: 55P91; 19A22; 13A50; 13B21

Zeta functions of orders on surfaces

Authors: Daniel Chan, Sean B. Lynch

Abstract: In this manuscript, we give effective methods for computing the zeta function of maximal orders on surfaces. In this manuscript, we give effective methods for computing the zeta function of maximal orders on surfaces. △ Less

Submitted 22 October, 2024; originally announced October 2024.

Comments: 23 pages

MSC Class: 11R54

The Galois-equivariant $K$-theory of finite fields

Authors: David Chan, Chase Vogeli

Abstract: We compute the $RO(G)$-graded equivariant algebraic $K$-groups of a finite field with an action by its Galois group $G$. Specifically, we show these $K$-groups split as the sum of an explicitly computable term and the well-studied $RO(G)$-graded coefficient groups of the equivariant Eilenberg--MacLane spectrum $H\underline{\mathbb Z}$. Our comparison between the equivariant $K$-theory spectrum and… ▽ More We compute the $RO(G)$-graded equivariant algebraic $K$-groups of a finite field with an action by its Galois group $G$. Specifically, we show these $K$-groups split as the sum of an explicitly computable term and the well-studied $RO(G)$-graded coefficient groups of the equivariant Eilenberg--MacLane spectrum $H\underline{\mathbb Z}$. Our comparison between the equivariant $K$-theory spectrum and $H\underline{\mathbb Z}$ further shows they share the same Tate spectra and geometric fixed point spectra. In the case where $G$ has prime order, we provide an explicit presentation of the equivariant $K$-groups. △ Less

Submitted 6 November, 2024; v1 submitted 27 June, 2024; originally announced June 2024.

Comments: Fixed typos and added section on multiplicative structure. Comments welcome!

MSC Class: 19D50 (Primary); 19L47; 55P91; 55Q91 (Secondary)

Oscillations in neuronal activity: a neuron-centered spatiotemporal model of the Unfolded Protein Response in prion diseases

Authors: Elliot M. Miller, Tat Chung D. Chan, Carlos Montes-Matamoros, Omar Sharif, Laurent Pujo-Menjouet, Michael R. Lindstrom

Abstract: Many neurodegenerative diseases (NDs) are characterized by the slow spatial spread of toxic protein species in the brain. The toxic proteins can induce neuronal stress, triggering the Unfolded Protein Response (UPR), which slows or stops protein translation and can indirectly reduce the toxic load. However, the UPR may also trigger processes leading to apoptotic cell death and the UPR is implicate… ▽ More Many neurodegenerative diseases (NDs) are characterized by the slow spatial spread of toxic protein species in the brain. The toxic proteins can induce neuronal stress, triggering the Unfolded Protein Response (UPR), which slows or stops protein translation and can indirectly reduce the toxic load. However, the UPR may also trigger processes leading to apoptotic cell death and the UPR is implicated in the progression of several NDs. In this paper, we develop a novel mathematical model to describe the spatiotemporal dynamics of the UPR mechanism for prion diseases. Our model is centered around a single neuron, with representative proteins P (healthy) and S (toxic) interacting with heterodimer dynamics (S interacts with P to form two S's). The model takes the form of a coupled system of nonlinear reaction-diffusion equations with a delayed, nonlinear flux for P (delay from the UPR). Through the delay, we find parameter regimes that exhibit oscillations in the P- and S-protein levels. We find that oscillations are more pronounced when the S-clearance rate and S-diffusivity are small in comparison to the P-clearance rate and P-diffusivity, respectively. The oscillations become more pronounced as delays in initiating the UPR increase. We also consider quasi-realistic clinical parameters to understand how possible drug therapies can alter the course of a prion disease. We find that decreasing the production of P, decreasing the recruitment rate, increasing the diffusivity of S, increasing the UPR S-threshold, and increasing the S clearance rate appear to be the most powerful modifications to reduce the mean UPR intensity and potentially moderate the disease progression. △ Less

Submitted 26 May, 2024; originally announced May 2024.

Comments: 35 pages, 11 tables, 13 figures

Degenerations of orbifold curves as noncommutative varieties

Authors: Tarig Abdelgadir, Daniel Chan, Shinnosuke Okawa, Kazushi Ueda

Abstract: Boundary points on the moduli space of pointed curves corresponding to collisions of marked points have modular interpretations as degenerate curves. In this paper, we study degenerations of orbifold projective curves corresponding to collisions of stacky points from the point of view of noncommutative algebraic geometry. Boundary points on the moduli space of pointed curves corresponding to collisions of marked points have modular interpretations as degenerate curves. In this paper, we study degenerations of orbifold projective curves corresponding to collisions of stacky points from the point of view of noncommutative algebraic geometry. △ Less

Submitted 9 May, 2025; v1 submitted 26 January, 2024; originally announced January 2024.

Comments: 18 pages. v2: revised following the suggestions of the referee

A compact moduli of orbifold projective curves

Authors: Tarig Abdelgadir, Daniel Chan, Shinnosuke Okawa, Kazushi Ueda

Abstract: We introduce the notion of stable orbifold projective curves, and show that the moduli stack of stable orbifold projective curves is isomorphic to the moduli stack of weighted pointed stable curves in the sense of Hassett with respect to the weights determined by the automorphism groups of the stacky points. We introduce the notion of stable orbifold projective curves, and show that the moduli stack of stable orbifold projective curves is isomorphic to the moduli stack of weighted pointed stable curves in the sense of Hassett with respect to the weights determined by the automorphism groups of the stacky points. △ Less

Submitted 26 January, 2024; originally announced January 2024.

Comments: 11 pages

Equivariant algebraic $K$-theory of symmetric monoidal Mackey functors

Authors: Maxine Calle, David Chan, Maximilien Péroux

Abstract: We provide a unifying approach to different constructions of the algebraic $K$-theory of equivariant symmetric monoidal categories. A consequence of our work is that every connective genuine $G$-spectrum is equivalent to the equivariant algebraic $K$-theory of categorical Mackey functors of Bohmann-Osorno. We provide a unifying approach to different constructions of the algebraic $K$-theory of equivariant symmetric monoidal categories. A consequence of our work is that every connective genuine $G$-spectrum is equivalent to the equivariant algebraic $K$-theory of categorical Mackey functors of Bohmann-Osorno. △ Less

Submitted 11 May, 2025; v1 submitted 7 December, 2023; originally announced December 2023.

Comments: 32 pages. Added an appendix that shows a covariant version of the Guillou-May theorem. Comments still welcome!

MSC Class: 55P91 (Primary) 19D23; 18N60; 18N10; 55P42; 18F25 (Secondary)

A linearization map for genuine equivariant algebraic $K$-theory

Authors: Maxine Calle, David Chan, Andres Mejia

Abstract: We introduce a version of algebraic $K$-theory for coefficient systems of rings which is valued in genuine $G$-spectra for a finite group $G$. We use this construction to build a genuine $G$-spectrum $K_G(\mathbb{Z}[\underline{π_1(X)}])$ associated to a $G$-space $X$, which provides a home for equivariant versions of classical invariants like the Wall finiteness obstruction and Whitehead torsion.… ▽ More We introduce a version of algebraic $K$-theory for coefficient systems of rings which is valued in genuine $G$-spectra for a finite group $G$. We use this construction to build a genuine $G$-spectrum $K_G(\mathbb{Z}[\underline{π_1(X)}])$ associated to a $G$-space $X$, which provides a home for equivariant versions of classical invariants like the Wall finiteness obstruction and Whitehead torsion. We provide a comparison between our $K$-theory spectrum and the equivariant $A$-theory of Malkiewich--Merling via a genuine equivariant linearization map. △ Less

Submitted 19 September, 2024; v1 submitted 14 September, 2023; originally announced September 2023.

Comments: Small changes and corrections. Rewrote introduction and rearranged sections to improve exposition. Added discussion of linearization for non-connected spaces and equivariant Whitehead torsion. Comments welcome!

MSC Class: 55P91 (Primary) 19D10; 19L47 (Secondary)

The effect of host population heterogeneity on epidemic outbreaks

Authors: Martin Bootsma, Danny Chan, Odo Diekmann, Hisashi Inaba

Abstract: In the first part of this paper, we review old and new results about the influence of host population heterogeneity on (various characteristics of) epidemic outbreaks. In the second part we highlight a modelling issue that so far has received little attention: how do contact patterns, and hence transmission opportunities, depend on the size and the composition of the host population? Without any c… ▽ More In the first part of this paper, we review old and new results about the influence of host population heterogeneity on (various characteristics of) epidemic outbreaks. In the second part we highlight a modelling issue that so far has received little attention: how do contact patterns, and hence transmission opportunities, depend on the size and the composition of the host population? Without any claim on completeness, we offer a range of potential (quasi-mechanistic) submodels. The overall aim of the paper is to describe the state-of-the-art and to catalyse new work. △ Less

Submitted 16 January, 2024; v1 submitted 12 August, 2023; originally announced August 2023.

Comments: 36 pages, 5 figures

Equivariant Trees and Partition Complexes

Authors: Julia E. Bergner, Peter Bonventre, Maxine E. Calle, David Chan, Maru Sarazola

Abstract: We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and $G$-trees are $G$-homotopy equivalent, generalizing existing results for the non-equivariant setting. Along the way, we develop equivariant versions of Quillen's The… ▽ More We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and $G$-trees are $G$-homotopy equivalent, generalizing existing results for the non-equivariant setting. Along the way, we develop equivariant versions of Quillen's Theorems A and B, which are of independent interest. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Comments: 36 pages. Comments welcome!

MSC Class: 55P91; 05A18; 20E08; 05E18

Noncommutative linear systems and noncommutative elliptic curves

Authors: Daniel Chan, Adam Nyman

Abstract: In this paper we introduce a noncommutative analogue of the notion of linear system, which we call a helix $\underline{\mathcal{L}} := (\mathcal{L}_{i})_{i \in \mathbb{Z}}$ in an abelian category ${\sf C}$ over a quadratic $\mathbb{Z}$-indexed algebra $A$. We show that, under natural hypotheses, a helix induces a morphism of noncommutative spaces from… ▽ More In this paper we introduce a noncommutative analogue of the notion of linear system, which we call a helix $\underline{\mathcal{L}} := (\mathcal{L}_{i})_{i \in \mathbb{Z}}$ in an abelian category ${\sf C}$ over a quadratic $\mathbb{Z}$-indexed algebra $A$. We show that, under natural hypotheses, a helix induces a morphism of noncommutative spaces from ${\sf Proj }\operatorname{End}(\underline{\mathcal{L}})$ to ${\sf Proj }A$. We construct examples of helices of vector bundles on elliptic curves generalizing the elliptic helices of line bundles constructed by Bondal-Polishchuk, where $A$ is the quadratic part of $B:= \operatorname{End}(\underline{\mathcal{L}})$. In this case, we identify $B$ as the quotient of the Koszul algebra $A$ by a normal family of regular elements of degree 3, and show that ${\sf Proj }B$ is a noncommutative elliptic curve in the sense of Polishchuk. One interprets this as embedding the noncommutative elliptic curve as a cubic divisor in some noncommutative projective plane, hence generalizing some well-known results of Artin-Tate-Van den Bergh. △ Less

Submitted 22 November, 2022; originally announced November 2022.

Comments: 37 pages

MSC Class: 14A22

Terminal orders on arithmetic surfaces

Authors: Daniel Chan, Colin Ingalls

Abstract: The local structure of terminal Brauer classes on arithmetic surfaces were classified in [CI21] generalising the classification on geometric surfaces carried out in [CI05]. Part of the interest in these classifications is that it enables the minimal model program to be applied to the noncommutative setting of orders on surfaces. In this paper, we give etale local structure theorems for terminal or… ▽ More The local structure of terminal Brauer classes on arithmetic surfaces were classified in [CI21] generalising the classification on geometric surfaces carried out in [CI05]. Part of the interest in these classifications is that it enables the minimal model program to be applied to the noncommutative setting of orders on surfaces. In this paper, we give etale local structure theorems for terminal orders on arithemtic surfaces, at least when the degree is a prime p >5. This generalises the structure theorem given in the geometric case. They can all be explicitly constructed as algebras of matrices over symbols. From this description one sees that such terminal orders all have global dimension two, thus generalising the fact that terminal (commutative) surfaces are smooth and hence homologically regular. △ Less

Submitted 10 November, 2022; originally announced November 2022.

MSC Class: 16H10; 16S38

Journal ref: Alg. Number Th. 18 (2024) 2027-2046

Bi-incomplete Tambara functors as $\mathcal{O}$-commutative monoids

Authors: David Chan

Abstract: Tambara functors are an equivariant generalization of rings that appear as the homotopy groups of genuine equivariant commutative ring spectra. In recent work, Blumberg and Hill have studied the corresponding algebraic structures, called bi-incomplete Tambara functors, that arise from ring spectra indexed on incomplete $G$-universes. In this paper, we answer a conjecture of Blumberg and Hill by pr… ▽ More Tambara functors are an equivariant generalization of rings that appear as the homotopy groups of genuine equivariant commutative ring spectra. In recent work, Blumberg and Hill have studied the corresponding algebraic structures, called bi-incomplete Tambara functors, that arise from ring spectra indexed on incomplete $G$-universes. In this paper, we answer a conjecture of Blumberg and Hill by proving a generalization of the Hoyer--Mazur theorem in the bi-incomplete setting. Bi-incomplete Tambara functors are characterized by indexing categories which parameterize incomplete systems of norms and transfers. In the course of our work, we develop several new tools for studying these indexing categories. In particular, we provide an easily checked, combinatorial characterization of when two indexing categories are compatible in the sense of Blumberg and Hill. △ Less

Submitted 10 August, 2022; originally announced August 2022.

Comments: 36 pages

MSC Class: 55P91 (Primary) 55N91; 18M05 (Secondary)

Journal ref: Tunisian J. Math. 6 (2024) 1-47

A versatile stochastic dissemination model

Authors: K. M. D. Chan, M. R. H. Mandjes

Abstract: This paper consider a highly general dissemination model that keeps track of the stochastic evolution of the distribution of wealth over a set of agents. There are two types of events: (i) units of wealth externally arrive, and (ii) units of wealth are redistributed among the agents, while throughout Markov modulation is allowed. We derive a system of coupled differential equations describing the… ▽ More This paper consider a highly general dissemination model that keeps track of the stochastic evolution of the distribution of wealth over a set of agents. There are two types of events: (i) units of wealth externally arrive, and (ii) units of wealth are redistributed among the agents, while throughout Markov modulation is allowed. We derive a system of coupled differential equations describing the joint transient distribution of the agents' wealth values, which translate into linear differential equations when considering the corresponding means and (co-)variances. While our model uses the (economic) terminology of wealth being distributed over agents, we illustrate through a series of examples that it can be used considerably more broadly. Indeed, it also facilitates the analysis of the spread of opinions over a population (thus generalizing existing opinion dynamics models), and the analysis of the dynamics of a file storage system (thus allowing the assessment of the efficacy of storage policies). △ Less

Submitted 11 July, 2022; originally announced July 2022.

Comments: 26 pages, 7 figures

MSC Class: 60Gxx; 92D25; 68M20

The minimal model program for arithmetic surfaces enriched by a Brauer class

Authors: Daniel Chan, Colin Ingalls

Abstract: We examine the noncommutative minimal model program for orders on arithmetic surfaces, or equivalently, arithmetic surfaces enriched by a Brauer class $β$. When $β$ has prime index $p>5$, we show the classical theory extends with analogues of existence of terminal resolutions, Castelnuovo contraction and Zariski factorisation. We also classify $β$-terminal surfaces and Castelnuovo contractions, an… ▽ More We examine the noncommutative minimal model program for orders on arithmetic surfaces, or equivalently, arithmetic surfaces enriched by a Brauer class $β$. When $β$ has prime index $p>5$, we show the classical theory extends with analogues of existence of terminal resolutions, Castelnuovo contraction and Zariski factorisation. We also classify $β$-terminal surfaces and Castelnuovo contractions, and discover new unexpected behaviour. △ Less

Submitted 6 August, 2021; originally announced August 2021.

MSC Class: 14E30; 14G40

Comultiplication in the Serre Spectral Sequence

Authors: David Chan

Abstract: We show the homological Serre spectral sequence with coefficients in a field is a spectral sequence of coalgebras. We also identify the comultiplication on the $E^2$ page of the spectral sequence as being induced by the usual comultiplication in homology. At the end, we provide some example computations highlighting the use the co-Leibniz rule. We show the homological Serre spectral sequence with coefficients in a field is a spectral sequence of coalgebras. We also identify the comultiplication on the $E^2$ page of the spectral sequence as being induced by the usual comultiplication in homology. At the end, we provide some example computations highlighting the use the co-Leibniz rule. △ Less

Submitted 6 July, 2020; originally announced July 2020.

MSC Class: Primary 55T10 Secondary 55N45; 16T15

Morphisms to noncommutative projective lines

Authors: D. Chan, A. Nyman

Abstract: Let $k$ be a field, let ${\sf C}$ be a $k$-linear abelian category, let $\underline{\mathcal{L}}:=\{\mathcal{L}_{i}\}_{i \in \mathbb{Z}}$ be a sequence of objects in ${\sf C}$, and let $B_{\underline{\mathcal{L}}}$ be the associated orbit algebra. We describe sufficient conditions on $\underline{\mathcal{L}}$ such that there is a canonical morphism from the noncommutative space… ▽ More Let $k$ be a field, let ${\sf C}$ be a $k$-linear abelian category, let $\underline{\mathcal{L}}:=\{\mathcal{L}_{i}\}_{i \in \mathbb{Z}}$ be a sequence of objects in ${\sf C}$, and let $B_{\underline{\mathcal{L}}}$ be the associated orbit algebra. We describe sufficient conditions on $\underline{\mathcal{L}}$ such that there is a canonical morphism from the noncommutative space ${\sf Proj }B_{\underline{\mathcal{L}}}$ to a noncommutative projective line in the sense of \cite{abstractp1}, generalizing the usual construction of a map from a scheme $X$ to $\mathbb{P}^{1}$ defined by an invertible sheaf $\mathcal{L}$ generated by two global sections. We then apply our results to construct, for every natural number $d>2$, a degree two cover of Piontkovski's $d$th noncommutative projective line by a noncommutative elliptic curve in the sense of Polishchuk. △ Less

Submitted 29 October, 2020; v1 submitted 5 December, 2019; originally announced December 2019.

Comments: Minor corrections made. Final version, to appear in Proc. Amer. Math. Soc

Tensor stable moduli stacks and refined representations of quivers

Authors: Tarig Abdelgadir, Daniel Chan

Abstract: In this paper, we look at the problem of modular realisations of derived equivalences, and more generally, the problem of recovering a Deligne-Mumford stack $\mathbb{X}$ and a bundle $\mathcal{T}$ on it, via some moduli problem (on $\mathbb{X}$ or $A = \operatorname{End}_{\mathbb{X}} \mathcal{T}$). The key issue is, how does one incorporate some of the monoidal structure of… ▽ More In this paper, we look at the problem of modular realisations of derived equivalences, and more generally, the problem of recovering a Deligne-Mumford stack $\mathbb{X}$ and a bundle $\mathcal{T}$ on it, via some moduli problem (on $\mathbb{X}$ or $A = \operatorname{End}_{\mathbb{X}} \mathcal{T}$). The key issue is, how does one incorporate some of the monoidal structure of $\operatorname{Coh}(\mathbb{X})$ into the moduli problem. To this end, we introduce a new moduli stack, the tensor stable moduli stack which generalises the notion of the Serre-stable moduli stack. We then show how it can be used both for stack recovery and the modular realisation problem for derived equivalences. We also study the moduli of refined representations and how it addresses these problems. Finally, we relate the two approaches when $\mathcal{T}$ is a tilting bundle which is a direct sum of line bundles. △ Less

Submitted 23 January, 2024; v1 submitted 16 July, 2019; originally announced July 2019.

Comments: 27 pages, comments are welcome

Journal ref: Journal of the LMS 108 (2023), 2085-2114

A robust and non-singular formulation of the boundary integral method for the potential problem

Authors: Q. Sun, E. Klaseboer, B. C. Khoo, D. Y. C. Chan

Abstract: A non-singular formulation of the boundary integral method (BIM) is presented for the Laplace equation whereby the well-known singularities that arise from the fundamental solution are eliminated analytically. A key advantage of this approach is that numerical errors that arise due to the proximity of nodes located on osculating boundaries are suppressed. This is particularly relevant in multi-sca… ▽ More A non-singular formulation of the boundary integral method (BIM) is presented for the Laplace equation whereby the well-known singularities that arise from the fundamental solution are eliminated analytically. A key advantage of this approach is that numerical errors that arise due to the proximity of nodes located on osculating boundaries are suppressed. This is particularly relevant in multi-scale problems where high accuracy is required without undue increase in computational cost when the spacing between boundaries become much smaller than their characteristic dimensions. The elimination of the singularities means that standard quadrature can be used to evaluate the surface integrals and this results in about 60% savings in coding effort. The new formulation also affords a numerically robust way to calculate the potential close to the boundaries. Detailed implementations of this approach are illustrated with problems involving osculating boundaries, 2D domains with corners and a wave drag problem in a 3D semi-infinite domain. The explicit formulation of problems with axial symmetry is also given. △ Less

Submitted 7 February, 2019; originally announced February 2019.

Journal ref: Engineering Analysis with Boundary Elements 43 (2014) 117

Low dimensional orders of finite representation type

Authors: Daniel Chan, Colin Ingalls

Abstract: 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-qu… ▽ More 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. △ Less

Submitted 15 June, 2020; v1 submitted 23 May, 2018; originally announced May 2018.

MSC Class: 14E16

A representation theoretic study of noncommutative symmetric algebras

Authors: Daniel Chan, Adam Nyman

Abstract: We study Van den Bergh's noncommutative symmetric algebra $\mathbb{S}^{nc}(M)$ (over division rings) via Minamoto's theory of Fano algebras. In particular, we show $\mathbb{S}^{nc}(M)$ is coherent, and its proj category $\mathbb{P}^{nc}(M)$ is derived equivalent to the corresponding bimodule species. This generalizes the main theorem of \cite{minamoto}, which in turn is a generalization of Beilins… ▽ More We study Van den Bergh's noncommutative symmetric algebra $\mathbb{S}^{nc}(M)$ (over division rings) via Minamoto's theory of Fano algebras. In particular, we show $\mathbb{S}^{nc}(M)$ is coherent, and its proj category $\mathbb{P}^{nc}(M)$ is derived equivalent to the corresponding bimodule species. This generalizes the main theorem of \cite{minamoto}, which in turn is a generalization of Beilinson's derived equivalence. As corollaries, we show that $\mathbb{P}^{nc}(M)$ is hereditary and there is a structure theorem for sheaves on $\mathbb{P}^{nc}(M)$ analogous to that for $\mathbb{P}^1$. △ Less

Submitted 17 July, 2018; v1 submitted 16 October, 2017; originally announced October 2017.

Comments: 12 pages. Minor improvements for clarity. Hypothesis added to Theorem 5.2. Main results unchanged

MSC Class: 14A22; 16S38

The minimal model program for b-log canonical divisors and applications

Authors: Daniel Chan, Kenneth Chan, Louis de Thanhoffer de Völcsey, Colin Ingalls, Kelly Jabbusch, Sándor J Kovács, Rajesh Kulkarni, Boris Lerner, Basil Nanayakkara, Shinnosuke Okawa, Michel Van den Bergh

Abstract: We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work in the setting of the b-log MMP. If we assume that the log MMP terminates, then so does the b- log MMP. Furthermore, the b-log MMP includes both the log MMP and… ▽ More We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work in the setting of the b-log MMP. If we assume that the log MMP terminates, then so does the b- log MMP. Furthermore, the b-log MMP includes both the log MMP and the equivariant MMP as special cases. There are various interesting b-log varieties arising from different objects, including the Brauer pairs, or "non-commutative algebraic varieties which are finite over their centres". The case of toric Brauer pairs is discussed in further detail. △ Less

Submitted 5 July, 2017; v1 submitted 4 July, 2017; originally announced July 2017.

Comments: Fixed spelling mistake in one author's name

MSC Class: 14E30; 14A22

2-hereditary algebras and almost Fano weighted surfaces

Authors: Daniel Chan

Abstract: Tilting bundles $\mathcal{T}$ on a weighted projective line $\mathbb{X}$ have been intensively studied by representation theorists since they give rise to a derived equivalence between $\mathbb{X}$ and the finite dimensional algebra End $\mathcal{T}$. A classical result states that if End $\mathcal{T}$ is hereditary, then $\mathbb{X}$ is Fano and conversely, for every Fano weighted projective line… ▽ More Tilting bundles $\mathcal{T}$ on a weighted projective line $\mathbb{X}$ have been intensively studied by representation theorists since they give rise to a derived equivalence between $\mathbb{X}$ and the finite dimensional algebra End $\mathcal{T}$. A classical result states that if End $\mathcal{T}$ is hereditary, then $\mathbb{X}$ is Fano and conversely, for every Fano weighted projective line, there exists a tilting bundle $\mathcal{T}$ with End $\mathcal{T}$ hereditary. In this paper, we examine the question of when a weighted projective surface has a tilting bundle whose endomorphism ring is 2-hereditary in the sense of Herschend-Iyama-Oppermann. It is natural to conjecture that they are the almost Fano weighted surfaces, weighted only on rational curves, and we give evidence to support this. △ Less

Submitted 20 April, 2016; originally announced April 2016.

MSC Class: 16G10; 14J45

Species and non-commutative P^1's over non-algebraic bimodules

Authors: D. Chan, A. Nyman

Abstract: We study non-commutative projective lines over not necessarily algebraic bimodules. In particular, we give a complete description of their categories of coherent sheaves and show they are derived equivalent to certain bimodule species. This allows us to classify modules over these species and thus generalize, and give a geometric interpretation for, results of C. Ringel. We study non-commutative projective lines over not necessarily algebraic bimodules. In particular, we give a complete description of their categories of coherent sheaves and show they are derived equivalent to certain bimodule species. This allows us to classify modules over these species and thus generalize, and give a geometric interpretation for, results of C. Ringel. △ Less

Submitted 15 October, 2015; originally announced October 2015.

Comments: 30 pages

MSC Class: 16G20

Moduli stacks of Serre stable representations in tilting theory

Authors: Daniel Chan, Boris Lerner

Abstract: We introduce a new moduli stack, called the Serre stable moduli stack, which corresponds to studying families of point objects in an abelian category with a Serre functor. This allows us in particular, to re-interpret the classical derived equivalence between most concealed-canonical algebras and weighted projective lines by showing they are induced by the universal sheaf on the Serre stable modul… ▽ More We introduce a new moduli stack, called the Serre stable moduli stack, which corresponds to studying families of point objects in an abelian category with a Serre functor. This allows us in particular, to re-interpret the classical derived equivalence between most concealed-canonical algebras and weighted projective lines by showing they are induced by the universal sheaf on the Serre stable moduli stack. We explain why the method works by showing that the Serre stable moduli stack is the tautological moduli problem that allows one to recover certain nice stacks such as weighted projective lines from their moduli of sheaves. As a result, this new stack should be of interest in both representation theory and algebraic geometry. △ Less

Submitted 23 July, 2015; originally announced July 2015.

MSC Class: 14D23; 16G20

Rational curves and ruled orders on surfaces

Authors: Daniel Chan, Kenneth Chan

Abstract: We study ruled orders. These arise naturally in the Mori program for orders on projective surfaces and morally speaking are orders on a ruled surface ramified on a bisection and possibly some fibres. We describe fibres of a ruled order and show they are in some sense rational. We also determine the Hilbert scheme of rational curves and hence the corresponding non-commutative Mori contraction. This… ▽ More We study ruled orders. These arise naturally in the Mori program for orders on projective surfaces and morally speaking are orders on a ruled surface ramified on a bisection and possibly some fibres. We describe fibres of a ruled order and show they are in some sense rational. We also determine the Hilbert scheme of rational curves and hence the corresponding non-commutative Mori contraction. This gives strong evidence that ruled orders are examples of the non-commutative ruled surfaces introduced by Van den Bergh. △ Less

Submitted 29 June, 2011; originally announced June 2011.

MSC Class: 16H99; 14J99

Conic bundles and Clifford algebras

Authors: Daniel Chan, Colin Ingalls

Abstract: 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… ▽ More 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. △ Less

Submitted 9 January, 2011; originally announced January 2011.

MSC Class: 14E30; 16H99

Twisted rings and moduli stacks of "fat" point modules in non-commutative projective geometry

Authors: Daniel Chan

Abstract: The Hilbert scheme of point modules was introduced by Artin-Tate-Van den Bergh to study non-commutative graded algebras. The key tool is the construction of a map from the algebra to a twisted ring on this Hilbert scheme. In this paper, we study moduli stacks of more general "fat" point modules, and show that there is a similar map to a twisted ring associated to the stack. This is used to provide… ▽ More The Hilbert scheme of point modules was introduced by Artin-Tate-Van den Bergh to study non-commutative graded algebras. The key tool is the construction of a map from the algebra to a twisted ring on this Hilbert scheme. In this paper, we study moduli stacks of more general "fat" point modules, and show that there is a similar map to a twisted ring associated to the stack. This is used to provide a sufficient criterion for a non-commutative projective surface to be birationally PI. It is hoped that such a criterion will be useful in understanding Mike Artin's conjecture on the birational classification of non-commutative surfaces. △ Less

Submitted 15 December, 2010; v1 submitted 26 October, 2010; originally announced October 2010.

Comments: Missing proposition in old version has been included

MSC Class: 14A22; 14D20

Non-commutative Mori contractions and $\PP^1$-bundles

Authors: Daniel Chan, Adam Nyman

Abstract: We give a method for constructing maps from a non-commutative scheme to a commutative projective curve. With the aid of Artin-Zhang's abstract Hilbert schemes, this is used to construct analogues of the extremal contraction of a $K$-negative curve with self-intersection zero on a smooth projective surface. This result will hopefully be useful in studying Artin's conjecture on the birational clas… ▽ More We give a method for constructing maps from a non-commutative scheme to a commutative projective curve. With the aid of Artin-Zhang's abstract Hilbert schemes, this is used to construct analogues of the extremal contraction of a $K$-negative curve with self-intersection zero on a smooth projective surface. This result will hopefully be useful in studying Artin's conjecture on the birational classification of non-commutative surfaces. As a non-trivial example of the theory developed, we look at non-commutative ruled surfaces and, more generally, at non-commutative $\PP^1$-bundles. We show in particular, that non-commutative $\PP^1$-bundles are smooth, have well-behaved Hilbert schemes and we compute its Serre functor. We then show that non-commutative ruled surfaces give examples of the aforementioned non-commutative Mori contractions. △ Less

Submitted 10 April, 2009; originally announced April 2009.

Comments: 49 pages

MSC Class: 14A22; 16S38

Moduli of bundles on exotic del Pezzo orders

Authors: Daniel Chan, Rajesh Kulkarni

Abstract: Maximal orders of rank 4 on the projective plane, ramified on a smooth plane quartic are examples of exotic del Pezzo orders. We compute the possible Chern classes for line bundles on such orders and show the moduli space of line bundles with minimal second Chern class is either a point or a smooth genus two curve. Maximal orders of rank 4 on the projective plane, ramified on a smooth plane quartic are examples of exotic del Pezzo orders. We compute the possible Chern classes for line bundles on such orders and show the moduli space of line bundles with minimal second Chern class is either a point or a smooth genus two curve. △ Less

Submitted 30 September, 2008; originally announced October 2008.

MSC Class: 14D20; 14J60; 16H05

Hilbert schemes for quantum planes are projective

Authors: Daniel Chan

Abstract: We show that Hilbert schemes for quantum planes are projective. We show that Hilbert schemes for quantum planes are projective. △ Less

Submitted 19 September, 2008; originally announced September 2008.

MSC Class: 16D70; 14D20

McKay correspondence for canonical orders

Authors: Daniel Chan

Abstract: Canonical orders, introduced in the minimal model program for orders, are simultaneous generalisations of Kleinian singularities and their associated skew group rings. In this paper, we construct minimal resolutions of canonical orders via non-commutative cyclic covers and skew group rings. This allows us to exhibit a derived equivalence between minimal resolutions of canonical orders and the sk… ▽ More Canonical orders, introduced in the minimal model program for orders, are simultaneous generalisations of Kleinian singularities and their associated skew group rings. In this paper, we construct minimal resolutions of canonical orders via non-commutative cyclic covers and skew group rings. This allows us to exhibit a derived equivalence between minimal resolutions of canonical orders and the skew group ring form of the canonical order in all but one case. The Fourier-Mukai transform used to construct this equivalence allows us to make explicit, the numerical version of the McKay correspondence for canonical orders which, relates the exceptional curves of the minimal resolution to the indecomposable reflexive modules of the canonical order. △ Less

Submitted 24 July, 2007; originally announced July 2007.

Numerically Calabi-Yau orders on surfaces

Authors: Daniel Chan, Rajesh Kulkarni

Abstract: This is part of an ongoing program to classify maximal orders on surfaces via their ramification data. Del Pezzo and ruled orders have already been classified. In this paper, we classify numerically Calabi-Yau orders which are the noncommutative analogues of surfaces of Kodaira dimension zero. This is part of an ongoing program to classify maximal orders on surfaces via their ramification data. Del Pezzo and ruled orders have already been classified. In this paper, we classify numerically Calabi-Yau orders which are the noncommutative analogues of surfaces of Kodaira dimension zero. △ Less

Submitted 24 February, 2004; originally announced February 2004.

Canonical singularities of orders over surfaces

Authors: Daniel Chan, Paul Hacking, Colin Ingalls

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

Submitted 24 July, 2007; v1 submitted 29 January, 2004; originally announced January 2004.

Comments: This contains major revisions, primarily to help introduce the reader to the minimal model program for orders on surfaces