Showing 1–50 of 83 results for author: Holm, T

Equivariant cohomological rigidity for four-dimensional Hamiltonian $\mathbf{S^1}$-manifolds

Authors: Tara S. Holm, Liat Kessler, Susan Tolman

Abstract: For manifolds equipped with group actions, we have the following natural question: To what extent does the equivariant cohomology determine the equivariant diffeotype? We resolve this question for Hamiltonian circle actions on compact, connected symplectic four-manifolds. They are equivariantly diffeomorphic if and only if their equivariant cohomology rings are isomorphic as algebras over the equi… ▽ More For manifolds equipped with group actions, we have the following natural question: To what extent does the equivariant cohomology determine the equivariant diffeotype? We resolve this question for Hamiltonian circle actions on compact, connected symplectic four-manifolds. They are equivariantly diffeomorphic if and only if their equivariant cohomology rings are isomorphic as algebras over the equivariant cohomology of a point. In fact, we prove a stronger claim: each isomorphism between their equivariant cohomology rings is induced by an equivariant diffeomorphism. △ Less

Submitted 18 December, 2024; originally announced December 2024.

Comments: 23 pages, 6 figures

MSC Class: 53D35 (55N91; 53D20; 57S15)

Non-commutative friezes and their determinants, the non-commutative Laurent phenomenon for weak friezes, and frieze gluing

Authors: Michael Cuntz, Thorsten Holm, Peter Jorgensen

Abstract: This paper studies a non-commutative generalisation of Coxeter friezes due to Berenstein and Retakh. It generalises several earlier results to this situation: A formula for frieze determinants, a $T$-path formula expressing the Laurent phenomenon, and results on gluing friezes together. One of our tools is a non-commutative version of the weak friezes introduced by Canakci and Jorgensen. This paper studies a non-commutative generalisation of Coxeter friezes due to Berenstein and Retakh. It generalises several earlier results to this situation: A formula for frieze determinants, a $T$-path formula expressing the Laurent phenomenon, and results on gluing friezes together. One of our tools is a non-commutative version of the weak friezes introduced by Canakci and Jorgensen. △ Less

Submitted 4 November, 2024; v1 submitted 17 October, 2024; originally announced October 2024.

Comments: Updated references. 26 pages and 16 figures

MSC Class: 05E99; 13F60; 51M20

Noncommutative frieze patterns with coefficients

Authors: Michael Cuntz, Thorsten Holm, Peter Jorgensen

Abstract: Based on Berenstein and Retakh's notion of noncommutative polygons we introduce and study noncommutative frieze patterns. We generalize several notions and fundamental properties from the classic (commutative) frieze patterns to noncommutative frieze patterns, e.g. propagation formulae and $μ$-matrices, quiddity cycles and reduction formulae, and we show that local noncommutative exchange relation… ▽ More Based on Berenstein and Retakh's notion of noncommutative polygons we introduce and study noncommutative frieze patterns. We generalize several notions and fundamental properties from the classic (commutative) frieze patterns to noncommutative frieze patterns, e.g. propagation formulae and $μ$-matrices, quiddity cycles and reduction formulae, and we show that local noncommutative exchange relations and local triangle relations imply all noncommutative exchange relations and triangle relations. Throughout, we allow coefficients, so we obtain generalizations of results from our earlier paper on frieze patterns with coefficients from the commutative to the noncommutative setting. △ Less

Submitted 4 April, 2024; v1 submitted 14 March, 2024; originally announced March 2024.

Comments: 18 pages. v2: reference added to a paper by Bergeron and Reutenauer

MSC Class: 05E99; 13F60; 51M20

Frieze patterns over algebraic numbers

Authors: Michael Cuntz, Thorsten Holm, Carlo Pagano

Abstract: Conway and Coxeter have shown that frieze patterns over positive rational integers are in bijection with triangulations of polygons. An investigation of frieze patterns over other subsets of the complex numbers has recently been initiated by Jorgensen and the first two authors. In this paper we first show that a ring of algebraic numbers has finitely many units if and only if it is an order in a q… ▽ More Conway and Coxeter have shown that frieze patterns over positive rational integers are in bijection with triangulations of polygons. An investigation of frieze patterns over other subsets of the complex numbers has recently been initiated by Jorgensen and the first two authors. In this paper we first show that a ring of algebraic numbers has finitely many units if and only if it is an order in a quadratic number field $\mathbb{Q}(\sqrt{d})$ where $d<0$. We conclude that these are exactly the rings of algebraic numbers over which there are finitely many non-zero frieze patterns for any given height. We then show that apart from the cases $d\in \{-1,-2,-3,-7,-11\}$ all non-zero frieze patterns over the rings of integers $\mathcal{O}_d$ for $d<0$ have only integral entries and hence are known as (twisted) Conway-Coxeter frieze patterns. △ Less

Submitted 5 July, 2023; v1 submitted 21 June, 2023; originally announced June 2023.

Comments: New author added. Main result Theorem 1.1 strengthened by proving a number theoretic result previously stated as a conjecture

MSC Class: 05E99; 11R04; 11R11; 13F60

Weak friezes and frieze pattern determinants

Authors: Thorsten Holm, Peter Jorgensen

Abstract: Frieze patterns have been introduced by Coxeter in the 1970's and have recently attracted renewed interest due to their close connection with Fomin-Zelevinsky's cluster algebras. Frieze patterns can be interpreted as assignments of values to the diagonals of a triangulated polygon satisfying certain conditions for crossing diagonals (Ptolemy relations). Weak friezes, as introduced by Canakci and J… ▽ More Frieze patterns have been introduced by Coxeter in the 1970's and have recently attracted renewed interest due to their close connection with Fomin-Zelevinsky's cluster algebras. Frieze patterns can be interpreted as assignments of values to the diagonals of a triangulated polygon satisfying certain conditions for crossing diagonals (Ptolemy relations). Weak friezes, as introduced by Canakci and Jorgensen, are generalizing this concept by allowing to glue dissected polygons so that the Ptolemy relations only have to be satisfied for crossings involving one of the gluing diagonals. To any frieze pattern one can associate a symmetric matrix using a triangular fundamental domain of the frieze pattern in the upper and lower half of the matrix and putting zeroes on the diagonal. Broline, Crowe and Isaacs have found a formula for the determinants of these matrices and their work has later been generalized in various directions by other authors. These frieze pattern determinants are the main focus of our paper. As our main result we show that this determinant behaves well with respect to gluing weak friezes: the determinant is the product of the determinants for the pieces glued, up to a scalar factor coming from the gluing diagonal. Then we give several applications of this result, showing that formulas from the literature, obtained by Broline-Crowe-Isaacs, Baur-Marsh, Bessenrodt-Holm-Jorgensen and Maldonado can all be obtained as consequences of our result. △ Less

Submitted 22 December, 2022; originally announced December 2022.

MSC Class: 05B45; 05E99; 13F60; 15A15; 51M20; 52B45

Four-periodic infinite staircases for four-dimensional polydisks

Authors: Caden Farley, Tara Holm, Nicki Magill, Jemma Schroder, Morgan Weiler, Zichen Wang, Elizaveta Zabelina

Abstract: The ellipsoid embedding function of a symplectic four-manifold measures the amount by which its symplectic form must be scaled in order for it to admit an embedding of an ellipsoid of varying eccentricity. This function generalizes the Gromov width and ball packing numbers. In the one continuous family of symplectic four-manifolds that has been analyzed, one-point blowups of the complex projective… ▽ More The ellipsoid embedding function of a symplectic four-manifold measures the amount by which its symplectic form must be scaled in order for it to admit an embedding of an ellipsoid of varying eccentricity. This function generalizes the Gromov width and ball packing numbers. In the one continuous family of symplectic four-manifolds that has been analyzed, one-point blowups of the complex projective plane, there is an open dense set of symplectic forms whose ellipsoid embedding functions are completely described by finitely many obstructions, while there is simultaneously a Cantor set of symplectic forms for which an infinite number of obstructions are needed. In the latter case, we say that the embedding function has an infinite staircase. In this paper we identify a new infinite staircase when the target is a four-dimensional polydisk, extending a countable family identified by Usher in 2019. Our work computes the function on infinitely many intervals and thereby indicates a method of proof for a conjecture of Usher. △ Less

Submitted 28 August, 2023; v1 submitted 26 October, 2022; originally announced October 2022.

Comments: 55 pages, 16 figures. v2: abstract shortened and slightly edited, expository sections S2.2, S4.1, and S4.4 edited for clarity, acknowledgements and bibliography edited. v3: several changes throughout the paper, specifically Conjecture 1.2.1. To appear in Involve

MSC Class: 53D05; 53D35; 11A55; 53D42; 53-04

Journal ref: Involve 18 (2025) 25-78

Infinite staircases for Hirzebruch surfaces

Authors: Maria Bertozzi, Tara S. Holm, Emily Maw, Dusa McDuff, Grace T. Mwakyoma, Ana Rita Pires, Morgan Weiler

Abstract: We consider the embedding capacity functions $c_{H_b}(z)$ for symplectic embeddings of ellipsoids of eccentricity $z$ into the family of nontrivial rational Hirzebruch surfaces $H_b$ with symplectic form parametrized by $b\in [0,1)$. This function was known to have an infinite staircase in the monotone cases ($b= 0$ and $ b= 1/3$). It is also known that for each $b$ there is at most one value of… ▽ More We consider the embedding capacity functions $c_{H_b}(z)$ for symplectic embeddings of ellipsoids of eccentricity $z$ into the family of nontrivial rational Hirzebruch surfaces $H_b$ with symplectic form parametrized by $b\in [0,1)$. This function was known to have an infinite staircase in the monotone cases ($b= 0$ and $ b= 1/3$). It is also known that for each $b$ there is at most one value of $z$ that can be the accumulation point of such a staircase. In this manuscript, we identify three sequences of open, disjoint, blocked $b$-intervals, consisting of $b$-parameters where the embedding capacity function for $H_b$ does not contain an infinite staircase. There is one sequence in each of the intervals $(0,1/5)$, $(1/5,1/3)$, and $(1/3,1)$. We then establish six sequences of associated infinite staircases, one occurring at each endpoint of the blocked $b$-intervals. The staircase numerics are variants of those in the Fibonacci staircase for the projective plane (the case $b=0$). We also show that there is no staircase at the point $b=1/5$, even though this value is not blocked. The focus of this paper is to develop techniques, both graphical and numeric, that allow identification of potential staircases, and then to understand the obstructions well enough to prove that the purported staircases really do have the required properties. A subsequent paper will explore in more depth the set of $b$ that admit infinite staircases. △ Less

Submitted 19 April, 2021; v1 submitted 16 October, 2020; originally announced October 2020.

Comments: 90 pages, 12 figures. Version 2 has several typos fixed and numbering changed to match style in to-be-published version

MSC Class: Primary: 53D05. Secondary: 53D35; 11A55; 53D42; 53-04

Design of Gallium Nitride Resonant Cavity Light Emitting Diodes on Si Substrates

Authors: Michael A. Mastro, Joshua D. Caldwell, Ron T. Holm, Rich L. Henry, Charles R. Eddy Jr

Abstract: A GaN resonant cavity light emitting diode was built on a GaN-AlN distributed Bragg reflector grown on a silicon substrate. The electroluminescence output increased by 2.5 times for a GaN diode coupled to a properly designed resonant cavity. Theoretical calculations showed that this enhancement could increase up to four times for transmission through a sem-transparent metal contact design, up to e… ▽ More A GaN resonant cavity light emitting diode was built on a GaN-AlN distributed Bragg reflector grown on a silicon substrate. The electroluminescence output increased by 2.5 times for a GaN diode coupled to a properly designed resonant cavity. Theoretical calculations showed that this enhancement could increase up to four times for transmission through a sem-transparent metal contact design, up to eight times for a flip-chip design △ Less

Submitted 2 September, 2020; originally announced September 2020.

Journal ref: Advanced Materials 20(1):115 - 118 (2008)

High-reflectance III-nitride distributed Bragg reflectors grown on Si substrates

Authors: M. A. Mastro, R. T. Holm, N. D. Bassim, C. R. Eddy Jr., D. K. Gaskill, R. L. Henry, M. E. Twigg

Abstract: Distributed Bragg reflectors (DBRs) composed of an AlN/AlGaN superlattice were grown of Si (111) substrates. The first high-reflectance III-nitride DBR on Si was achieved by growing the DBR directly on the Si substrate to enhance the overall reflectance due to the high index of refraction contrast at the Si/AlN interface. For a 9x DBR, the measured peak reflectance of 96.8% actually exceeded the t… ▽ More Distributed Bragg reflectors (DBRs) composed of an AlN/AlGaN superlattice were grown of Si (111) substrates. The first high-reflectance III-nitride DBR on Si was achieved by growing the DBR directly on the Si substrate to enhance the overall reflectance due to the high index of refraction contrast at the Si/AlN interface. For a 9x DBR, the measured peak reflectance of 96.8% actually exceeded the theoretical value of 96.1%. The AlN/AlGaN superlattice served the added purpose of compensating the large tensile strain developed during the growth of a crack-free 500 nm GaN / 7x DBR / Si structure. This achievement opens the possibility to manufacture high-quality III-nitride optoelectronic devices without optical absorption in the opaque Si substrate. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Journal ref: Applied Physics Letters 87(24):241103 - 241103-3, 2005

Metalorganic chemical-vapor deposition of high-reflectance III-nitride distributed Bragg reflectors on Si substrates

Authors: M. A. Mastro, R. T. Holm, N. D. Bassim, D. K. Gaskill, J. C. Culbertson, M. Fatemi, C. R. Eddy Jr., R. L. Henry, M. E. Twigg

Abstract: High-reflectance group III-nitride distributed Bragg reflectors (DBRs) were deposited by MOCVD on Si (111) substrates. A reflectance greater than 96% was demonstrated for the first time for an AlN/GaN DBR with a stop-band centered in the blue-green range of the visible spectrum. Crack-free GaN cap layers were grown on the DBR structures to demonstrate the opportunity to build III-nitride optoelect… ▽ More High-reflectance group III-nitride distributed Bragg reflectors (DBRs) were deposited by MOCVD on Si (111) substrates. A reflectance greater than 96% was demonstrated for the first time for an AlN/GaN DBR with a stop-band centered in the blue-green range of the visible spectrum. Crack-free GaN cap layers were grown on the DBR structures to demonstrate the opportunity to build III-nitride optoelectronic devices in this material. The DBR structure was under significant strain due to growth on a mismatched substrate although the GaN cap layer was shown to be strain free. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Journal ref: Journal of Vacuum Science & Technology A Vacuum Surfaces and Films 24(4), 2006

Wurtzite III-nitride distributed Bragg reflectors on Si (100) substrates

Authors: M. A. Mastro, R. T. Holm, N. D. Bassim, C. R. Eddy, Jr., R. L. Henry, M. E. Twigg, A. Rosenberg

Abstract: Distributed Bragg reflectors (DBRs) composed of an AlN/GaN superlattice were demonstrated for the first time on Si (100) substrates. Single-crystal wurtzite superlattice structures were achieved on this cubic substrate by employing offcut Si (100) wafers with the surface normal pointing 4° towards the [110] direction. This misorientation introduced an additional epitaxial constraint that prevented… ▽ More Distributed Bragg reflectors (DBRs) composed of an AlN/GaN superlattice were demonstrated for the first time on Si (100) substrates. Single-crystal wurtzite superlattice structures were achieved on this cubic substrate by employing offcut Si (100) wafers with the surface normal pointing 4° towards the [110] direction. This misorientation introduced an additional epitaxial constraint that prevented the growth of a two-domain GaN surface as well as cubic GaN inclusions. A crack-free 600 nm GaN cap / 5x AlN / GaN DBR structure on Si (100) was demonstrated. This accomplishment of a wurtzite III-nitride DBRs on Si (100) opens the possibility to integrate novel optical and optoelectronic devices with established Si microelectronics technology. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Journal ref: Japanese Journal of Applied Physics 45(29-32), 2006

Zinc Sulphide Overlayer Two-Dimensional Photonic Crystal for Enhanced Extraction of Light from a Micro Cavity Light-Emitting Diode

Authors: Michael A. Mastro, Chul Soo Kim, Mijin Kim, Josh Caldwell, Ron T. Holm, Igor Vurgaftman, Jihyun Kim, Charles R. Eddy Jr., Jerry R. Meyer

Abstract: A two-dimensional (2D) ZnS photonic crystal was deposited on the surface of a one-dimensional (1D) III-nitride micro cavity light-emitting diode (LED), to intermix the light extraction features of both structures (1D+2D). The deposition of an ideal micro-cavity optical thickness of lambda/2 is impractical for III-nitride LEDs, and in realistic multi-mode devices a large fraction of the light is lo… ▽ More A two-dimensional (2D) ZnS photonic crystal was deposited on the surface of a one-dimensional (1D) III-nitride micro cavity light-emitting diode (LED), to intermix the light extraction features of both structures (1D+2D). The deposition of an ideal micro-cavity optical thickness of lambda/2 is impractical for III-nitride LEDs, and in realistic multi-mode devices a large fraction of the light is lost to internal refraction as guided light. Therefore, a 2D photonic crystal on the surface of the LED was used to diffract and thus redirect this guided light out of the semiconductor over several hundred microns. Additionally, the employment of a post-epitaxy ZnS 2D photonic crystal avoided the typical etching into the GaN:Mg contact layer, a procedure which can cause damage to the near surface. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Journal ref: Japanese Journal of Applied Physics 47(10):7827-7830, September 2008

Simple Circuit Equivalents for the Constant Phase Element

Authors: Sverre Holm, Thomas Holm, Ørjan Grøttem Martinsen

Abstract: The constant phase element (CPE) with a frequency-independent negative phase between current and voltage is used extensively in e.g. the bioimpedance and electrochemistry fields. Its physical meaning is only partially understood. Here we show that the responses of both the common capacitive CPE as well as the inductive CPE are exactly the same as those of simple RL and RC circuits where the induct… ▽ More The constant phase element (CPE) with a frequency-independent negative phase between current and voltage is used extensively in e.g. the bioimpedance and electrochemistry fields. Its physical meaning is only partially understood. Here we show that the responses of both the common capacitive CPE as well as the inductive CPE are exactly the same as those of simple RL and RC circuits where the inductor's or capacitor's value increases linearly with time. The resulting step and impulse responses are found and verified by simulation with the Micro-Cap simulation program. The realization with time-varying components correlates with known time-varying properties in applications. △ Less

Submitted 11 July, 2020; originally announced July 2020.

Comments: 14 pages, 4 figures

Journal ref: PLOS ONE, March 26, 2021

Virtual mutations of weighted surface algebras

Authors: Thorsten Holm, Andrzej Skowroński, Adam Skowyrski

Abstract: The finite-dimensional symmetric algebras over an algebraically closed field, based on surface triangulations, motivated by the theory of cluster algebras, have been extensively investigated and applied. In particular, the weighted surface algebras and their deformations were introduced and studied in [16]-[20], and it was shown that all these algebras, except few singular cases, are symmetric tam… ▽ More The finite-dimensional symmetric algebras over an algebraically closed field, based on surface triangulations, motivated by the theory of cluster algebras, have been extensively investigated and applied. In particular, the weighted surface algebras and their deformations were introduced and studied in [16]-[20], and it was shown that all these algebras, except few singular cases, are symmetric tame periodic algebras of period $4$. In this article, using the general form of a weighted surface algebra from [19], we introduce and study so called virtual mutations of weighted surface algebras, which constitute a new large class of symmetric tame periodic algebras of period $4$. We prove that all these algebras are derived equivalent but not isomorphic to weighted surface algebras. We associate such algebras to any triangulated surface, first taking blow-ups of a family of edges to $2$-triangle discs, and then virtual mutations of their weighted surface algebras. The results of this paper form an essential step towards a classification of all tame symmetric periodic algebras. △ Less

Submitted 26 August, 2020; v1 submitted 23 June, 2020; originally announced June 2020.

MSC Class: 16D50; 16E30; 16G60; 18E30

On infinite staircases in toric symplectic four-manifolds

Authors: Dan Cristofaro-Gardiner, Tara S. Holm, Alessia Mandini, Ana Rita Pires

Abstract: An influential result of McDuff and Schlenk asserts that the function that encodes when a four-dimensional symplectic ellipsoid can be embedded into a four-dimensional ball has a remarkable structure: the function has infinitely many corners, determined by the odd-index Fibonacci numbers, that fit together to form an infinite staircase. This work has recently led to considerable interest in unde… ▽ More An influential result of McDuff and Schlenk asserts that the function that encodes when a four-dimensional symplectic ellipsoid can be embedded into a four-dimensional ball has a remarkable structure: the function has infinitely many corners, determined by the odd-index Fibonacci numbers, that fit together to form an infinite staircase. This work has recently led to considerable interest in understanding when the ellipsoid embedding function for other symplectic 4-manifolds is partly described by an infinite staircase. We provide a general framework for analyzing this question for a large family of targets, called finite type convex toric domains, which we prove generalizes the class of closed toric symplectic 4-manifolds. When the target is of finite type, we prove that any infinite staircase must have a unique accumulation point a_0, given as the solution to an explicit quadratic equation. Moreover, we prove that the embedding function at a_0 must be equal to the classical volume lower bound. In particular, our result gives an obstruction to the existence of infinite staircases that we show is powerful. In the special case of rational convex toric domains, we can say more. We conjecture a complete answer to the question of existence of infinite staircases, in terms of six families that are distinguished by the fact that their moment polygon is reflexive. We then provide a uniform proof of the existence of infinite staircases for our six families, using two tools. For the first, we use recursive families of almost toric fibrations to find symplectic embeddings. For the second tool, we find recursive families of convex lattice paths that provide obstructions to embeddings. We conclude by reducing our conjecture that these are the only infinite staircases among rational convex toric domains to a question in number theory related to a classic work of Hardy and Littlewood. △ Less

Submitted 7 August, 2024; v1 submitted 27 April, 2020; originally announced April 2020.

Comments: 69 pages, 25 figures, Mathematica code attached. Version 4 is the accepted version that will appear in the Journal of Differential Geometry

MSC Class: 53D05; 53D20; 52C05; and 57R58

Journal ref: Journal of Differential Geometry, Vol. 129, Issue 2 (2025), pp. 335-413

Subpolygons in Conway-Coxeter frieze patterns

Authors: Michael Cuntz, Thorsten Holm

Abstract: Friezes with coefficients are maps assigning numbers to the edges and diagonals of a regular polygon such that all Ptolemy relations for crossing diagonals are satisfied. Among these, the classic Conway-Coxeter friezes are the ones where all values are natural numbers and all edges have value 1. Every subpolygon of a Conway-Coxeter frieze yields a frieze with coefficients over the natural numbers.… ▽ More Friezes with coefficients are maps assigning numbers to the edges and diagonals of a regular polygon such that all Ptolemy relations for crossing diagonals are satisfied. Among these, the classic Conway-Coxeter friezes are the ones where all values are natural numbers and all edges have value 1. Every subpolygon of a Conway-Coxeter frieze yields a frieze with coefficients over the natural numbers. In this paper we give a complete arithmetic criterion for which friezes with coefficients appear as subpolygons of Conway-Coxeter friezes. This generalizes a result of our earlier paper with Peter Jorgensen from triangles to subpolygons of arbitrary size. △ Less

Submitted 31 March, 2020; originally announced March 2020.

Comments: 14 pages, 12 figures

MSC Class: 05E15; 05E99; 13F60; 51M20

Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data

Authors: Tara Holm, Liat Kessler

Abstract: For Hamiltonian circle actions on compact, connected, four-dimensional manifolds, we give a generators and relations description for the even part of the equivariant cohomology, as an algebra over the equivariant cohomology of a point. This description depends on combinatorial data encoded in the decorated graph of the manifold. We then give an explicit combinatorial description of all weak algebr… ▽ More For Hamiltonian circle actions on compact, connected, four-dimensional manifolds, we give a generators and relations description for the even part of the equivariant cohomology, as an algebra over the equivariant cohomology of a point. This description depends on combinatorial data encoded in the decorated graph of the manifold. We then give an explicit combinatorial description of all weak algebra isomorphisms. We use this description to prove that the even parts of the equivariant cohomology algebras are weakly isomorphic and the odd groups have the same ranks if and only if the labeled graphs obtained from the decorated graphs by forgetting the height and area labels are isomorphic. As a consequence, we give an example of an isomorphism of equivariant cohomology algebras that cannot be induced by an equivariant diffeomorphism of manifolds preserving a compatible almost complex structure. We also provide a soft proof that there are finitely many maximal Hamiltonian circle actions on a fixed compact, connected, four-dimensional symplectic manifold. △ Less

Submitted 20 September, 2024; v1 submitted 11 December, 2019; originally announced December 2019.

Comments: 95 pages, 18 figures. The main change in v3 is the inclusion of the "orientation preserving/reversing" property of an algebra isomorphism. Using these terms, we have corrected and clarified statements and proofs in Sections 6 and 7. There are myriad editorial changes throughout

MSC Class: 53D35 (55N91; 53D20; 57S15; 57S25)

Frieze patterns with coefficients

Authors: Michael Cuntz, Thorsten Holm, Peter Jorgensen

Abstract: Frieze patterns, as introduced by Coxeter in the 1970's, are closely related to cluster algebras without coefficients. A suitable generalization of frieze patterns, linked to cluster algebras with coefficients, has only briefly appeared in an unpublished manuscript by Propp. In this paper we study these frieze patterns with coefficients systematically and prove various fundamental results, general… ▽ More Frieze patterns, as introduced by Coxeter in the 1970's, are closely related to cluster algebras without coefficients. A suitable generalization of frieze patterns, linked to cluster algebras with coefficients, has only briefly appeared in an unpublished manuscript by Propp. In this paper we study these frieze patterns with coefficients systematically and prove various fundamental results, generalizing classic results for frieze patterns. As a consequence we see how frieze patterns with coefficients can be obtained from classic frieze patterns by cutting out subpolygons from the triangulated polygons associated to classic Conway-Coxeter frieze patterns. We address the question of which frieze patterns with coefficients can be obtained in this way and solve this problem completely for triangles. Finally, we prove a finiteness result for frieze patterns with coefficients by showing that for a given boundary sequence there are only finitely many (non-zero) frieze patterns with coefficients with entries in a discrete subset of the complex numbers. △ Less

Submitted 5 September, 2019; originally announced September 2019.

Comments: 22 pages

MSC Class: 05E15; 05E99; 13F60; 51M20

Journal ref: Forum of Mathematics, Sigma 8 (2020) e17

Mayer-Vietoris sequences and equivariant K-theory rings of toric varieties

Authors: Tara S. Holm, Gareth Williams

Abstract: We apply a Mayer-Vietoris sequence argument to identify the Atiyah-Segal equivariant complex K-theory rings of certain toric varieties with rings of integral piecewise Laurent polynomials on the associated fans. We provide necessary and sufficient conditions for this identification to hold for toric varieties of complex dimension 2, including smooth and singular cases. We prove that it always hold… ▽ More We apply a Mayer-Vietoris sequence argument to identify the Atiyah-Segal equivariant complex K-theory rings of certain toric varieties with rings of integral piecewise Laurent polynomials on the associated fans. We provide necessary and sufficient conditions for this identification to hold for toric varieties of complex dimension 2, including smooth and singular cases. We prove that it always holds for smooth toric varieties, regardless of whether or not the fan is polytopal or complete. Finally, we introduce the notion of fans with "distant singular cones," and prove that the identification holds for them. The identification has already been made by Hararda, Holm, Ray and Williams in the case of divisive weighted projective spaces, in addition to enlarging the class of toric varieties for which the identification holds, this work provides an example in which the identification fails. We make every effort to ensure that our work is rich in examples. △ Less

Submitted 1 August, 2018; v1 submitted 31 January, 2018; originally announced February 2018.

Comments: 22 pages, 3 figures, two appendices. For v2, we have added additional reference and further details about connections to existing work in this area. For v3, we have added yet more details to the introduction, including key examples; we have also made additional minor corrections and improvements

MSC Class: 19L47 (Primary); 55N15; 55N91; 14M25; 57R18 (Secondary)

Cluster tilting subcategories and torsion pairs in Igusa--Todorov cluster categories of Dynkin type $A_{ \infty }$

Authors: Sira Gratz, Thorsten Holm, Peter Jorgensen

Abstract: We give a combinatorial classification of cluster tilting subcategories and torsion pairs in Igusa--Todorov cluster categories of Dynkin type $A_{ \infty }$. We give a combinatorial classification of cluster tilting subcategories and torsion pairs in Igusa--Todorov cluster categories of Dynkin type $A_{ \infty }$. △ Less

Submitted 13 June, 2018; v1 submitted 20 November, 2017; originally announced November 2017.

Comments: This is the final accepted version, which will appear in Mathematische Zeitschrift. 25 pages

MSC Class: 13F60; 18E30

Frieze patterns over integers and other subsets of the complex numbers

Authors: Michael Cuntz, Thorsten Holm

Abstract: We study (tame) frieze patterns over subsets of the complex numbers, with particular emphasis on the corresponding quiddity cycles. We provide new general transformations for quiddity cycles of frieze patterns. As one application, we present a combinatorial model for obtaining the quiddity cycles of all tame frieze patterns over the integers (with zero entries allowed), generalising the classic Co… ▽ More We study (tame) frieze patterns over subsets of the complex numbers, with particular emphasis on the corresponding quiddity cycles. We provide new general transformations for quiddity cycles of frieze patterns. As one application, we present a combinatorial model for obtaining the quiddity cycles of all tame frieze patterns over the integers (with zero entries allowed), generalising the classic Conway-Coxeter theory. This model is thus also a model for the set of specializations of cluster algebras of Dynkin type $A$ in which all cluster variables are integers. Moreover, we address the question of whether for a given height there are only finitely many non-zero frieze patterns over a given subset $R$ of the complex numbers. Under certain conditions on $R$, we show upper bounds for the absolute values of entries in the quiddity cycles. As a consequence, we obtain that if $R$ is a discrete subset of the complex numbers then for every height there are only finitely many non-zero frieze patterns over $R$. Using this, we disprove a conjecture of Fontaine, by showing that for a complex $d$-th root of unity $ζ_d$ there are only finitely many non-zero frieze patterns for a given height over $R=\mathbb{Z}[ζ_d]$ if and only if $d\in \{1,2,3,4,6\}$. △ Less

Submitted 13 December, 2018; v1 submitted 10 November, 2017; originally announced November 2017.

Comments: Minor improvements throughout. 26 pages. Final version, to appear in Journal of Combinatorial Algebra

MSC Class: 05E15; 05E99; 13F60; 51M20

A $p$-angulated generalisation of Conway and Coxeter's theorem on frieze patterns

Authors: Thorsten Holm, Peter Jorgensen

Abstract: Coxeter defined the notion of frieze pattern, and Conway and Coxeter proved that triangulations of polygons are in bijection with integral frieze patterns. We show a $p$-angulated generalisation involving non-integral frieze patterns. We also show that polygon dissections give rise to even more general non-integral frieze patterns. Coxeter defined the notion of frieze pattern, and Conway and Coxeter proved that triangulations of polygons are in bijection with integral frieze patterns. We show a $p$-angulated generalisation involving non-integral frieze patterns. We also show that polygon dissections give rise to even more general non-integral frieze patterns. △ Less

Submitted 25 January, 2018; v1 submitted 28 September, 2017; originally announced September 2017.

Comments: This is the final accepted version. It was accepted for publication by the International Mathematics Research Notices on 23/1-2018. 14 pages

MSC Class: 05B45; 05E15; 05E99; 51M20

Transforming Post-Secondary Education in Mathematics

Authors: Tara S. Holm

Abstract: In this manuscript, I introduce and describe the work of mathematicians and mathematics educators in the group Transforming Post-Secondary Education in Mathematics (TPSE Math or TPSE, pronounced "tipsy", for short). TPSE aims to coordinate and drive constructive change in education in the mathematical sciences at two-year colleges, four-year colleges, and universities across the nation. It seeks t… ▽ More In this manuscript, I introduce and describe the work of mathematicians and mathematics educators in the group Transforming Post-Secondary Education in Mathematics (TPSE Math or TPSE, pronounced "tipsy", for short). TPSE aims to coordinate and drive constructive change in education in the mathematical sciences at two-year colleges, four-year colleges, and universities across the nation. It seeks to build on the successes of the entire mathematical sciences community. This manuscript reviews the events that led to the founding of TPSE Math and articulates its vision and mission. In its first phase with national events, TPSE found broad consensus with the mathematical sciences community on the challenges facing the community. Learning from educational transformations experiences in other scientific fields, and with the support of the Mathematical Advisory Group of 34 mathematical sciences department chairs and leaders, TPSE moves into a second phase focused on action. This is a snapshot in time, and TPSE's ongoing activities will continue to be documented and disseminated. The piece concludes with a reflection of the impact that my involvement in this work has had on my career. △ Less

Submitted 12 August, 2016; originally announced August 2016.

Comments: 17 pages

MSC Class: 97B40; 97B10; 97A30

All $SL_2$-tilings come from infinite triangulations

Authors: Christine Bessenrodt, Thorsten Holm, Peter Jorgensen

Abstract: An $SL_2$-tiling is a bi-infinite matrix of positive integers such that each adjacent 2 by 2 submatrix has determinant 1. Such tilings are infinite analogues of Conway-Coxeter friezes, and they have strong links to cluster algebras, combinatorics, mathematical physics, and representation theory. We show that, by means of so-called Conway-Coxeter counting, every $SL_2$-tiling arises from a triang… ▽ More An $SL_2$-tiling is a bi-infinite matrix of positive integers such that each adjacent 2 by 2 submatrix has determinant 1. Such tilings are infinite analogues of Conway-Coxeter friezes, and they have strong links to cluster algebras, combinatorics, mathematical physics, and representation theory. We show that, by means of so-called Conway-Coxeter counting, every $SL_2$-tiling arises from a triangulation of the disc with two, three or four accumulation points. This improves earlier results which only discovered $SL_2$-tilings with infinitely many entries equal to 1. Indeed, our methods show that there are large classes of tilings with only finitely many entries equal to 1, including a class of tilings with no 1's at all. In the latter case, we show that the minimal entry of a tiling is unique. △ Less

Submitted 24 May, 2017; v1 submitted 30 March, 2016; originally announced March 2016.

Comments: 47 pages, 29 figures. This is the Final Accepted Version which is to appear in Advances in Mathematics

MSC Class: 05E15; 13F60

Journal ref: Advances in Mathematics 315 (2017), 194-245

The equivariant cohomology of complexity one spaces

Authors: Tara S. Holm, Liat Kessler

Abstract: Complexity one spaces are an important class of examples in symplectic geometry. Karshon and Tolman classify them in terms of combinatorial and topological data. In this paper, we compute the equivariant cohomology for any complexity one space $T^{n-1}$ acting on $M^{2n}$. The key step is to compute the equivariant cohomology for any Hamiltonian $S^1$ action on $M^4$. Complexity one spaces are an important class of examples in symplectic geometry. Karshon and Tolman classify them in terms of combinatorial and topological data. In this paper, we compute the equivariant cohomology for any complexity one space $T^{n-1}$ acting on $M^{2n}$. The key step is to compute the equivariant cohomology for any Hamiltonian $S^1$ action on $M^4$. △ Less

Submitted 9 October, 2019; v1 submitted 31 December, 2015; originally announced December 2015.

Comments: 25 pages, 3 figures, 1 table. Third version incorporates clarifications of how the results differ from those already in the literature

MSC Class: 53D20; 55N91; 57S15

Circle actions on symplectic four-manifolds

Authors: Tara S. Holm, Liat Kessler

Abstract: We complete the classification of Hamiltonian torus and circle actions on symplectic four-dimensional manifolds. Following work of Delzant and Karshon, Hamiltonian circle and 2-torus actions on any fixed simply connected symplectic four-manifold were characterized by Karshon, Kessler and Pinsonnault. What remains is to study the case of Hamiltonian actions on blowups of S^2-bundles over a Riemann… ▽ More We complete the classification of Hamiltonian torus and circle actions on symplectic four-dimensional manifolds. Following work of Delzant and Karshon, Hamiltonian circle and 2-torus actions on any fixed simply connected symplectic four-manifold were characterized by Karshon, Kessler and Pinsonnault. What remains is to study the case of Hamiltonian actions on blowups of S^2-bundles over a Riemann surface of positive genus. These do not admit 2-torus actions. In this paper, we characterize Hamiltonian circle actions on them. We then derive combinatorial results on the existence and counting of these actions. As a by-product, we provide an algorithm that determines the g-reduced form of a blowup form. Our work is a combination of "soft" equivariant and combinatorial techniques, using the momentum map and related data, with "hard" holomorphic techniques, including Gromov-Witten invariants. △ Less

Submitted 12 January, 2017; v1 submitted 21 July, 2015; originally announced July 2015.

Comments: 24 pages, 8 figures; two appendices, one of which is authored by Tair Pnini; in version 3, the definition of blowup form is adjusted

MSC Class: Primary: 53D35; Secondary: 53D20; 53D45; 57R17; 57S15

The fundamental group and Betti numbers of toric origami manifolds

Authors: Tara S. Holm, Ana Rita Pires

Abstract: Toric origami manifolds are characterized by origami templates, which are combinatorial models built by gluing polytopes together along facets. In this paper, we examine the topology of orientable toric oigami manifolds with coorientable folding hypersurface. We determine the fundamental group. In our previous paper [HP], we studied the ordinary and equivariant cohomology rings of simply connected… ▽ More Toric origami manifolds are characterized by origami templates, which are combinatorial models built by gluing polytopes together along facets. In this paper, we examine the topology of orientable toric oigami manifolds with coorientable folding hypersurface. We determine the fundamental group. In our previous paper [HP], we studied the ordinary and equivariant cohomology rings of simply connected toric origami manifolds. We conclude this paper by computing some Betti numbers in the non-simply connected case. △ Less

Submitted 17 July, 2014; originally announced July 2014.

Comments: 21 pages, 4 figures, 1 table. Background in Section 1 draws heavily from the background section of our previous paper arXiv:1211.6435

MSC Class: Primary: 53D20; Secondary: 55N91; 57R91

Journal ref: Algebr. Geom. Topol. 15 (2015) 2393-2425

The Morse-Bott-Kirwan condition is local

Authors: Tara Holm, Yael Karshon

Abstract: Kirwan identified a condition on a smooth function under which the usual techniques of Morse-Bott theory can be applied to this function. We prove that if a function satisfies this condition locally then it also satisfies the condition globally. As an application, we use the local normal form theorem to recover Kirwan's result that the norm-square of a momentum map satisfies Kirwan's condition. Kirwan identified a condition on a smooth function under which the usual techniques of Morse-Bott theory can be applied to this function. We prove that if a function satisfies this condition locally then it also satisfies the condition globally. As an application, we use the local normal form theorem to recover Kirwan's result that the norm-square of a momentum map satisfies Kirwan's condition. △ Less

Submitted 9 November, 2016; v1 submitted 13 July, 2014; originally announced July 2014.

Comments: 25 pages, one figure. v2: corrected some proofs

MSC Class: 53D20 (Primary); 58E05 (Secondary)

Journal ref: Research in the Mathematical Sciences 3 (2016) 3:25

Generalised friezes and a modified Caldero-Chapoton map depending on a rigid object, II

Authors: Thorsten Holm, Peter Jorgensen

Abstract: It is an important aspect of cluster theory that cluster categories are "categorifications" of cluster algebras. This is expressed formally by the (original) Caldero-Chapoton map X which sends certain objects of cluster categories to elements of cluster algebras. Let τc --> b --> c be an Auslander-Reiten triangle. The map X has the salient property that X(τc)X(c) - X(b) = 1. This is part of the… ▽ More It is an important aspect of cluster theory that cluster categories are "categorifications" of cluster algebras. This is expressed formally by the (original) Caldero-Chapoton map X which sends certain objects of cluster categories to elements of cluster algebras. Let τc --> b --> c be an Auslander-Reiten triangle. The map X has the salient property that X(τc)X(c) - X(b) = 1. This is part of the definition of a so-called frieze. The construction of X depends on a cluster tilting object. In a previous paper, we introduced a modified Caldero-Chapoton map ρdepending on a rigid object; these are more general than cluster tilting objects. The map ρsends objects of sufficiently nice triangulated categories to integers and has the key property that ρ(τc)ρ(c) - ρ(b) is 0 or 1. This is part of the definition of what we call a generalised frieze. Here we develop the theory further by constructing a modified Caldero-Chapoton map, still depending on a rigid object, which sends objects of sufficiently nice triangulated categories to elements of a commutative ring A. We derive conditions under which the map is a generalised frieze, and show how the conditions can be satisfied if A is a Laurent polynomial ring over the integers. The new map is a proper generalisation of the maps X and ρ. △ Less

Submitted 21 April, 2015; v1 submitted 18 January, 2014; originally announced January 2014.

Comments: 16 pages; final accepted version to appear in Bulletin des Sciences Mathématiques

MSC Class: 05E10; 13F60; 16G70; 18E30

Journal ref: Bull. Sci. Math. 140 (2016), 112-131

Generalised friezes and a modified Caldero-Chapoton map depending on a rigid object

Authors: Thorsten Holm, Peter Jorgensen

Abstract: The (usual) Caldero-Chapoton map is a map from the set of objects of a category to a Laurent polynomial ring over the integers. In the case of a cluster category, it maps "reachable" indecomposable objects to the corresponding cluster variables in a cluster algebra. This formalises the idea that the cluster category is a "categorification" of the cluster algebra. The definition of the Caldero-Ch… ▽ More The (usual) Caldero-Chapoton map is a map from the set of objects of a category to a Laurent polynomial ring over the integers. In the case of a cluster category, it maps "reachable" indecomposable objects to the corresponding cluster variables in a cluster algebra. This formalises the idea that the cluster category is a "categorification" of the cluster algebra. The definition of the Caldero-Chapoton map requires the category to be 2-Calabi-Yau, and the map depends on a cluster tilting object in the category. We study a modified version of the Caldero-Chapoton map which only requires the category to have a Serre functor, and only depends on a rigid object in the category. It is well-known that the usual Caldero-Chapoton map gives rise to so-called friezes, for instance Conway-Coxeter friezes. We show that the modified Caldero-Chapoton map gives rise to what we call generalised friezes, and that for cluster categories of Dynkin type A, it recovers the generalised friezes introduced by combinatorial means by Bessenrodt and us. △ Less

Submitted 5 June, 2014; v1 submitted 14 October, 2013; originally announced October 2013.

Comments: 18 pages; final accepted version to appear in Nagoya Mathematical Journal

MSC Class: 05E10; 13F60; 16G70; 18E30

Journal ref: Nagoya Math. J. 218 (2015), 101-124

The equivariant $K$-theory and cobordism rings of divisive weighted projective spaces

Authors: Megumi Harada, Tara S. Holm, Nigel Ray, Gareth Williams

Abstract: We apply results of Harada, Holm and Henriques to prove that the Atiyah-Segal equivariant complex $K$-theory ring of a divisive weighted projective space (which is singular for nontrivial weights) is isomorphic to the ring of integral piecewise Laurent polynomials on the associated fan. Analogues of this description hold for other complex-oriented equivariant cohomology theories, as we confirm in… ▽ More We apply results of Harada, Holm and Henriques to prove that the Atiyah-Segal equivariant complex $K$-theory ring of a divisive weighted projective space (which is singular for nontrivial weights) is isomorphic to the ring of integral piecewise Laurent polynomials on the associated fan. Analogues of this description hold for other complex-oriented equivariant cohomology theories, as we confirm in the case of homotopical complex cobordism, which is the universal example. We also prove that the Borel versions of the equivariant $K$-theory and complex cobordism rings of more general singular toric varieties, namely those whose integral cohomology is concentrated in even dimensions, are isomorphic to rings of appropriate piecewise formal power series. Finally, we confirm the corresponding descriptions for any smooth, compact, projective toric variety, and rewrite them in a face ring context. In many cases our results agree with those of Vezzosi and Vistoli for algebraic $K$-theory, Anderson and Payne for operational $K$-theory, Krishna and Uma for algebraic cobordism, and Gonzalez and Karu for operational cobordism; as we proceed, we summarize the details of these coincidences. △ Less

Submitted 9 February, 2015; v1 submitted 7 June, 2013; originally announced June 2013.

Comments: Accepted for publication in Tohoku Math. J

Generalized frieze pattern determinants and higher angulations of polygons

Authors: Christine Bessenrodt, Thorsten Holm, Peter Jorgensen

Abstract: Frieze patterns (in the sense of Conway and Coxeter) are in close connection to triangulations of polygons. Broline, Crowe and Isaacs have assigned a symmetric matrix to each polygon triangulation and computed the determinant. In this paper we consider d-angulations of polygons and generalize the combinatorial algorithm for computing the entries in the associated symmetric matrices; we compute the… ▽ More Frieze patterns (in the sense of Conway and Coxeter) are in close connection to triangulations of polygons. Broline, Crowe and Isaacs have assigned a symmetric matrix to each polygon triangulation and computed the determinant. In this paper we consider d-angulations of polygons and generalize the combinatorial algorithm for computing the entries in the associated symmetric matrices; we compute their determinants and the Smith normal forms. It turns out that both are independent of the particular d-angulation, the determinant is a power of d-1, and the elementary divisors only take values d-1 and 1. We also show that in the generalized frieze patterns obtained in our setting every adjacent 2x2-determinant is 0 or 1, and we give a combinatorial criterion for when they are 1, which in the case d=3 gives back the Conway-Coxeter condition on frieze patterns. △ Less

Submitted 16 June, 2014; v1 submitted 6 May, 2013; originally announced May 2013.

Comments: 12 pages, final accepted version

MSC Class: 05E99; 13F60; 15A15; 51M20

Journal ref: Journal of Combinatorial Theory, Series A, vol. 123 (2014), pp. 30-42

Ptolemy diagrams and torsion pairs in the cluster categories of Dynkin type D

Authors: Thorsten Holm, Peter Jorgensen, Martin Rubey

Abstract: We give a complete classification of torsion pairs in the cluster category of Dynkin type D_n, via a bijection to new combinatorial objects called Ptolemy diagrams of type D. For the latter we give along the way different combinatorial descriptions. One of these allows us to count the number of torsion pairs in the cluster category of type D_n by providing their generating function explicitly. We give a complete classification of torsion pairs in the cluster category of Dynkin type D_n, via a bijection to new combinatorial objects called Ptolemy diagrams of type D. For the latter we give along the way different combinatorial descriptions. One of these allows us to count the number of torsion pairs in the cluster category of type D_n by providing their generating function explicitly. △ Less

Submitted 7 March, 2013; originally announced March 2013.

Comments: 28 pages, several figures

MSC Class: 05A15; 05E15; 13F60; 16G10; 16G70; 18E30

SL_2-tilings and triangulations of the strip

Authors: Thorsten Holm, Peter Jorgensen

Abstract: SL_2-tilings were introduced by Assem, Reutenauer, and Smith in connection with frieses and their applications to cluster algebras. An SL_2-tiling is a bi-infinite matrix of positive integers such that each adjacent 2 x 2-submatrix has determinant 1. We construct a large class of new SL_2-tilings which contains the previously known ones. More precisely, we show that there is a bijection betwee… ▽ More SL_2-tilings were introduced by Assem, Reutenauer, and Smith in connection with frieses and their applications to cluster algebras. An SL_2-tiling is a bi-infinite matrix of positive integers such that each adjacent 2 x 2-submatrix has determinant 1. We construct a large class of new SL_2-tilings which contains the previously known ones. More precisely, we show that there is a bijection between our class of SL_2-tilings and certain combinatorial objects, namely triangulations of the strip. △ Less

Submitted 11 January, 2013; originally announced January 2013.

Comments: 25 pages

MSC Class: 05E15; 13F60

Journal ref: J. Combin. Theory Ser. A 120 (2013), 1817-1834

The topology of toric origami manifolds

Authors: Tara Holm, Ana Rita Pires

Abstract: A folded symplectic form on a manifold is a closed 2-form with the mildest possible degeneracy along a hypersurface. A special class of folded symplectic manifolds are the origami symplectic manifolds, studied by Cannas da Silva, Guillemin and Pires, who classified toric origami manifolds by combinatorial origami templates. In this paper, we examine the topology of toric origami manifolds that hav… ▽ More A folded symplectic form on a manifold is a closed 2-form with the mildest possible degeneracy along a hypersurface. A special class of folded symplectic manifolds are the origami symplectic manifolds, studied by Cannas da Silva, Guillemin and Pires, who classified toric origami manifolds by combinatorial origami templates. In this paper, we examine the topology of toric origami manifolds that have acyclic origami template and co-orientable folding hypersurface. We prove that the cohomology is concentrated in even degrees, and that the equivariant cohomology satisfies the GKM description. Finally we show that toric origami manifolds with co-orientable folding hypersurface provide a class of examples of Masuda and Panov's torus manifolds. △ Less

Submitted 14 November, 2013; v1 submitted 27 November, 2012; originally announced November 2012.

Comments: 20 pages, 7 figures. Minor changes from previous version, typos fixed, bibliography updated

MSC Class: 53D20 (Primary) 55N91; 57R91 (Secondary)

Journal ref: Mathematical Research Letters, 20, 5, 2013, 885-906

Torsion pairs in cluster tubes

Authors: Thorsten Holm, Peter Jorgensen, Martin Rubey

Abstract: We give a complete classification of torsion pairs in the cluster categories associated to tubes of finite rank. The classification is in terms of combinatorial objects called Ptolemy diagrams which already appeared in our earlier work on torsion pairs in cluster categories of Dynkin type A. As a consequence of our classification we establish closed formulae enumerating the torsion pairs in cluste… ▽ More We give a complete classification of torsion pairs in the cluster categories associated to tubes of finite rank. The classification is in terms of combinatorial objects called Ptolemy diagrams which already appeared in our earlier work on torsion pairs in cluster categories of Dynkin type A. As a consequence of our classification we establish closed formulae enumerating the torsion pairs in cluster tubes, and obtain that the torsion pairs in cluster tubes exhibit a cyclic sieving phenomenon. △ Less

Submitted 13 July, 2012; originally announced July 2012.

Comments: 19 pages

MSC Class: 16G70; 05E15; 13F60; 18E30

Journal ref: Journal of Algebraic Combinatorics 39 (2014), 587-605

Cluster tilting vs. weak cluster tilting in Dynkin type A infinity

Authors: Thorsten Holm, Peter Jorgensen

Abstract: This paper shows a new phenomenon in higher cluster tilting theory. For each positive integer d, we exhibit a triangulated category C with the following properties. On the one hand, the d-cluster tilting subcategories of C have very simple mutation behaviour: Each indecomposable object has exactly d mutations. On the other hand, the weakly d-cluster tilting subcategories of C which lack functori… ▽ More This paper shows a new phenomenon in higher cluster tilting theory. For each positive integer d, we exhibit a triangulated category C with the following properties. On the one hand, the d-cluster tilting subcategories of C have very simple mutation behaviour: Each indecomposable object has exactly d mutations. On the other hand, the weakly d-cluster tilting subcategories of C which lack functorial finiteness can have much more complicated mutation behaviour: For each 0 <= \ell <= d-1, we show a weakly d-cluster tilting subcategory T_{\ell} which has an indecomposable object with precisely \ell mutations. The category C is the algebraic triangulated category generated by a (d+1)-spherical object and can be thought of as a higher cluster category of Dynkin type A infinity. △ Less

Submitted 16 June, 2014; v1 submitted 16 January, 2012; originally announced January 2012.

Comments: 16 pages, final accepted version, to appear in Forum Mathematicum

MSC Class: 13F60; 16G20; 16G70; 18E30

Journal ref: Forum Mathematicum 27 (2015), 1117-1137

Realising higher cluster categories of Dynkin type as stable module categories

Authors: Thorsten Holm, Peter Jorgensen

Abstract: We show that the stable module categories of certain selfinjective algebras of finite representation type having tree class A_n, D_n, E_6, E_7 or E_8 are triangulated equivalent to u-cluster categories of the corresponding Dynkin type. The proof relies on the 'Morita' theorem for u-cluster categories by Keller and Reiten, along with the recent computation of Calabi-Yau dimensions of stable module… ▽ More We show that the stable module categories of certain selfinjective algebras of finite representation type having tree class A_n, D_n, E_6, E_7 or E_8 are triangulated equivalent to u-cluster categories of the corresponding Dynkin type. The proof relies on the 'Morita' theorem for u-cluster categories by Keller and Reiten, along with the recent computation of Calabi-Yau dimensions of stable module categories by Dugas. △ Less

Submitted 2 October, 2011; originally announced October 2011.

Comments: 26 pages. This paper supersedes withdrawn preprints math.RT/0610728 and math.RT/0612451 which based the computation of Calabi-Yau dimensions on an erroneous result. The problem is circumvented here by using a recent paper of Alex Dugas

MSC Class: Primary: 16D50; 18E30; Secondary: 05E99; 13F60; 16G10; 16G60; 16G70

Sparseness of t-structures and negative Calabi-Yau dimension in triangulated categories generated by a spherical object

Authors: Thorsten Holm, Peter Jorgensen, Dong Yang

Abstract: Let k be an algebraically closed field and let T be the k-linear algebraic triangulated category generated by a w-spherical object for an integer w. For certain values of w this category is classical. For instance, if w = 0 then it is the compact derived category of the dual numbers over k. As main results of the paper we show that for w \leq 0, the category T has no non-trivial t-structures, bu… ▽ More Let k be an algebraically closed field and let T be the k-linear algebraic triangulated category generated by a w-spherical object for an integer w. For certain values of w this category is classical. For instance, if w = 0 then it is the compact derived category of the dual numbers over k. As main results of the paper we show that for w \leq 0, the category T has no non-trivial t-structures, but does have one family of non-trivial co-t-structures, whereas for w \geq 1 the opposite statement holds. Moreover, without any claim to originality, we observe that for w \leq -1, the category T is a candidate to have negative Calabi-Yau dimension since Σ^w is the unique power of the suspension functor which is a Serre functor. △ Less

Submitted 10 August, 2011; originally announced August 2011.

Comments: 12 pages

MSC Class: 16E35; 16S90; 18E30; 18E40

Simple Hamiltonian manifolds

Authors: Jean-Claude Hausmann, Tara S. Holm

Abstract: A simple Hamiltonian manifold is a closed connected symplectic manifold equipped with a Hamiltonian action of a torus T with moment map Phi: M-->t^*, such that the fixed set M^T has exactly two connected components, denoted M_0 and M_1. We study the differential and symplectic geometry of simple Hamiltonian manifolds, including a large number of examples. A simple Hamiltonian manifold is a closed connected symplectic manifold equipped with a Hamiltonian action of a torus T with moment map Phi: M-->t^*, such that the fixed set M^T has exactly two connected components, denoted M_0 and M_1. We study the differential and symplectic geometry of simple Hamiltonian manifolds, including a large number of examples. △ Less

Submitted 13 August, 2013; v1 submitted 21 December, 2010; originally announced December 2010.

Comments: 29 pages, 1 figure. Second version has expanded introduction, improved exposition throughout, and minor corrections

MSC Class: 53D20

Towards derived equivalence classification of the cluster-tilted algebras of Dynkin type D

Authors: Janine Bastian, Thorsten Holm, Sefi Ladkani

Abstract: We provide a far reaching derived equivalence classification of the cluster-tilted algebras of Dynkin type D and suggest standard forms for the derived equivalence classes. We believe that the classification is complete, but some subtle questions remain open. We introduce another notion of equivalence called good mutation equivalence which is slightly stronger than derived equivalence but is algor… ▽ More We provide a far reaching derived equivalence classification of the cluster-tilted algebras of Dynkin type D and suggest standard forms for the derived equivalence classes. We believe that the classification is complete, but some subtle questions remain open. We introduce another notion of equivalence called good mutation equivalence which is slightly stronger than derived equivalence but is algorithmically more tractable, and give a complete classification together with standard forms. △ Less

Submitted 24 May, 2013; v1 submitted 21 December, 2010; originally announced December 2010.

Comments: 42 pages; v2: Minor revision. Title and abstract changed, slight changes to the introduction and in the presentation of main results in Section 2

MSC Class: 16G10; 16E35; 18E30; 13F60; 16G60

Journal ref: Journal of Algebra 410 (2014), 277-332

Ptolemy diagrams and torsion pairs in the cluster category of Dynkin type A_n

Authors: Thorsten Holm, Peter Jorgensen, Martin Rubey

Abstract: We give a complete classification of torsion pairs in the cluster category of Dynkin type A_n. Along the way we give a new combinatorial description of Ptolemy diagrams, an infinite version of which was introduced by Ng. This allows us to count the number of torsion pairs in the cluster category of type A_n. We also count torsion pairs up to Auslander-Reiten translation. We give a complete classification of torsion pairs in the cluster category of Dynkin type A_n. Along the way we give a new combinatorial description of Ptolemy diagrams, an infinite version of which was introduced by Ng. This allows us to count the number of torsion pairs in the cluster category of type A_n. We also count torsion pairs up to Auslander-Reiten translation. △ Less

Submitted 14 March, 2011; v1 submitted 6 October, 2010; originally announced October 2010.

Comments: 14 pages; v2: Major simplification of the formula in Theorem B for the number of Ptolemy diagrams; v3: 17 pages; revision following referee's very helpful comments; more details for some arguments added; formula in Prop. 3.5 (formerly 3.4) corrected; final version, to appear in J. Algebraic Combin

MSC Class: 05A15; 05E15; 13F60; 18E30

Deformed preprojective algebras of type L: Kuelshammer spaces and derived equivalences

Authors: Thorsten Holm, Alexander Zimmermann

Abstract: Bialkowski, Erdmann and Skowronski classified those indecomposable self-injective algebras for which the Nakayama shift of every (non-projective) simple module is isomorphic to its third syzygy. It turned out that these are precisely the deformations, in a suitable sense, of preprojective algebras associated to the simply laced ADE Dynkin diagrams and of another graph L_n, which also occurs in the… ▽ More Bialkowski, Erdmann and Skowronski classified those indecomposable self-injective algebras for which the Nakayama shift of every (non-projective) simple module is isomorphic to its third syzygy. It turned out that these are precisely the deformations, in a suitable sense, of preprojective algebras associated to the simply laced ADE Dynkin diagrams and of another graph L_n, which also occurs in the Happel-Preiser-Ringel classification of subadditive but not additive functions. In this paper we study these deformed preprojective algebras of type L via their Kuelshammer spaces, for which we give precise formulae for their dimensions. These are known to be invariants of the derived module category, and even invariants under stable equivalences of Morita type. As main application of our study of Kuelshammer spaces we can distinguish many (but not all) deformations of the preprojective algebra of type L up to stable equivalence of Morita type, and hence also up to derived equivalence. △ Less

Submitted 1 October, 2010; originally announced October 2010.

Comments: 24 pages

MSC Class: 16G60; 16E05; 18E30

Derived equivalence classification of symmetric algebras of polynomial growth

Authors: Thorsten Holm, Andrzej Skowronski

Abstract: We complete the derived equivalence classification of all symmetric algebras of polynomial growth, by solving the subtle problem of distinguishing the standard and nonstandard nondomestic symmetric algebras of polynomial growth up to derived equivalence. We complete the derived equivalence classification of all symmetric algebras of polynomial growth, by solving the subtle problem of distinguishing the standard and nonstandard nondomestic symmetric algebras of polynomial growth up to derived equivalence. △ Less

Submitted 7 September, 2010; originally announced September 2010.

Comments: 11 pages

MSC Class: 16G10; 18E30; 16D50; 16G60

Equivariant cohomology for Hamiltonian torus actions on symplectic orbifolds

Authors: Tara Holm, Tomoo Matsumura

Abstract: In this paper, we study Hamiltonian R-actions on symplectic orbifolds [M/S], where R and S are tori. We prove an injectivity theorem and generalize Tolman-Weitsman's proof of the GKM theorem in this setting. The main example is the symplectic reduction X//S of a Hamiltonian T-manifold X by a subtorus S of T. This includes the class of symplectic toric orbifolds. We define the equivariant Chen-Ruan… ▽ More In this paper, we study Hamiltonian R-actions on symplectic orbifolds [M/S], where R and S are tori. We prove an injectivity theorem and generalize Tolman-Weitsman's proof of the GKM theorem in this setting. The main example is the symplectic reduction X//S of a Hamiltonian T-manifold X by a subtorus S of T. This includes the class of symplectic toric orbifolds. We define the equivariant Chen-Ruan cohomology ring and use the above results to establish a combinatorial method of computing this equivariant Chen-Ruan cohomology in terms of orbifold fixed point data. △ Less

Submitted 12 June, 2012; v1 submitted 19 August, 2010; originally announced August 2010.

Comments: 31 pages

Torsion in the full orbifold K-theory of abelian symplectic quotients

Authors: Rebecca Goldin, Megumi Harada, Tara S. Holm

Abstract: Let (M,ω,Φ) be a Hamiltonian T-space and let H be a closed Lie subtorus of T. Under some technical hypotheses on the moment map Φ, we prove that there is no additive torsion in the integral full orbifold K-theory of the orbifold symplectic quotient [M//H]. Our main technical tool is an extension to the case of moment map level sets the well-known result that components of the moment map of a Hamil… ▽ More Let (M,ω,Φ) be a Hamiltonian T-space and let H be a closed Lie subtorus of T. Under some technical hypotheses on the moment map Φ, we prove that there is no additive torsion in the integral full orbifold K-theory of the orbifold symplectic quotient [M//H]. Our main technical tool is an extension to the case of moment map level sets the well-known result that components of the moment map of a Hamiltonian T-space M are Morse-Bott functions on M. As first applications, we conclude that a large class of symplectic toric orbifolds, as well as certain S^1-quotients of GKM spaces, have integral full orbifold K-theory that is free of additive torsion. Finally, we introduce the notion of semilocally Delzant which allows us to formulate sufficient conditions under which the hypotheses of the main theorem hold. We illustrate our results using low-rank coadjoint orbits of type A and B. △ Less

Submitted 24 April, 2012; v1 submitted 29 July, 2009; originally announced July 2009.

Comments: 17 pages, 5 figures. In this final version, technical hypothesis added to the main theorem. This hypothesis is satisfied in all relevant examples. In previous versions, we falsely asserted that Bruhat cells provide equivariant Darboux charts near a fixed point. We have replaced this assertion with a correct one; the relevant examples are updated. This is a post-publication correction

MSC Class: 53D20; 19L64; 53D45

Journal ref: Geometriae Dedicata. 157, iss. 1 (2012), 187-204

Derived equivalence classification of the cluster-tilted algebras of Dynkin type E

Authors: Janine Bastian, Thorsten Holm, Sefi Ladkani

Abstract: We obtain a complete derived equivalence classification of the cluster-tilted algebras of Dynkin type E. There are 67, 416, 1574 algebras in types E6, E7 and E8 which turn out to fall into 6, 14, 15 derived equivalence classes, respectively. This classification can be achieved computationally and we outline an algorithm which has been implemented to carry out this task. We also make the classifica… ▽ More We obtain a complete derived equivalence classification of the cluster-tilted algebras of Dynkin type E. There are 67, 416, 1574 algebras in types E6, E7 and E8 which turn out to fall into 6, 14, 15 derived equivalence classes, respectively. This classification can be achieved computationally and we outline an algorithm which has been implemented to carry out this task. We also make the classification explicit by giving standard forms for each derived equivalence class as well as complete lists of the algebras contained in each class; as these lists are quite long they are provided as supplementary material to this paper. From a structural point of view the remarkable outcome of our classification is that two cluster-tilted algebras of Dynkin type E are derived equivalent if and only if their Cartan matrices represent equivalent bilinear forms over the integers which in turn happens if and only if the two algebras are connected by a sequence of "good" mutations. This is reminiscent of the derived equivalence classification of cluster-tilted algebras of Dynkin type A, but quite different from the situation in Dynkin type D where a far-reaching classification has been obtained using similar methods as in the present paper but some very subtle questions are still open. △ Less

Submitted 29 November, 2011; v1 submitted 18 June, 2009; originally announced June 2009.

Comments: 19 pages. v4: completely rewritten version, to appear in Algebr. Represent. Theory. v3: Main theorem strengthened by including "good" mutations (cf. also arXiv:1001.4765). Minor editorial changes. v2: Third author added. Major revision. All questions left open in the earlier version by the first two authors are now settled in v2 and the derived equivalence classification is completed. arXiv admin note: some text overlap with arXiv:1012.4661

MSC Class: 16G20; 16E35; 18E30

Journal ref: Algebras and Representation Theory 16 (2013), 527-551

On a triangulated category which behaves like a cluster category of infinite Dynkin type, and the relation to triangulations of the infinity-gon

Authors: Thorsten Holm, Peter Jorgensen

Abstract: This paper investigates a certain 2-Calabi-Yau triangulated category D whose Auslander-Reiten quiver is ZA_{\infty}. We show that the cluster tilting subcategories of D form a so-called cluster structure, and we classify these subcategories in terms of what one may call `triangulations of the infinity-gon'. This is reminiscent of the cluster category C of type A_n which is a 2-Calabi-Yau triangu… ▽ More This paper investigates a certain 2-Calabi-Yau triangulated category D whose Auslander-Reiten quiver is ZA_{\infty}. We show that the cluster tilting subcategories of D form a so-called cluster structure, and we classify these subcategories in terms of what one may call `triangulations of the infinity-gon'. This is reminiscent of the cluster category C of type A_n which is a 2-Calabi-Yau triangulated category whose Auslander-Reiten quiver is a quotient of ZA_n. The cluster tilting subcategories of C form a cluster structure and they are classified in terms of triangulations of the (n+3)-gon. The category D behaves like a `cluster category of type A_{\infty}'. △ Less

Submitted 24 February, 2009; originally announced February 2009.

Comments: 20 pages

MSC Class: 16E45; 16G20; 16G70

The Full Orbifold $K$-theory of Abelian Symplectic Quotients

Authors: Rebecca Goldin, Megumi Harada, Tara S. Holm, Takashi Kimura

Abstract: In their 2007 paper, Jarvis, Kaufmann, and Kimura defined the full orbifold $K$-theory of an orbifold ${\mathfrak X}$, analogous to the Chen-Ruan orbifold cohomology of ${\mathfrak X}$ in that it uses the obstruction bundle as a quantum correction to the multiplicative structure. We give an explicit algorithm for the computation of this orbifold invariant in the case when ${\mathfrak X}$ arises… ▽ More In their 2007 paper, Jarvis, Kaufmann, and Kimura defined the full orbifold $K$-theory of an orbifold ${\mathfrak X}$, analogous to the Chen-Ruan orbifold cohomology of ${\mathfrak X}$ in that it uses the obstruction bundle as a quantum correction to the multiplicative structure. We give an explicit algorithm for the computation of this orbifold invariant in the case when ${\mathfrak X}$ arises as an abelian symplectic quotient. Our methods are integral $K$-theoretic analogues of those used in the orbifold cohomology case by Goldin, Holm, and Knutson in 2005. We rely on the $K$-theoretic Kirwan surjectivity methods developed by Harada and Landweber. As a worked class of examples, we compute the full orbifold $K$-theory of weighted projective spaces that occur as a symplectic quotient of a complex affine space by a circle. Our computations hold over the integers, and in the particular case of weighted projective spaces, we show that the associated invariant is torsion-free. △ Less

Submitted 27 April, 2009; v1 submitted 29 December, 2008; originally announced December 2008.

Comments: 18 pages

MSC Class: 19L47; 53D20

On the relation between cluster and classical tilting

Authors: Thorsten Holm, Peter Jorgensen

Abstract: Let D be a triangulated category with a cluster tilting subcategory U. The quotient category D/U is abelian; suppose that it has finite global dimension. We show that projection from D to D/U sends cluster tilting subcategories of D to support tilting subcategories of D/U, and that, in turn, support tilting subcategories of D/U can be lifted uniquely to maximal 1-orthogonal subcategories of D. Let D be a triangulated category with a cluster tilting subcategory U. The quotient category D/U is abelian; suppose that it has finite global dimension. We show that projection from D to D/U sends cluster tilting subcategories of D to support tilting subcategories of D/U, and that, in turn, support tilting subcategories of D/U can be lifted uniquely to maximal 1-orthogonal subcategories of D. △ Less

Submitted 2 October, 2008; originally announced October 2008.

Comments: 20 pages

MSC Class: 16G70; 18E10; 18E30; 18G99