Showing 1–37 of 37 results for author: Day, B

Algebraically Skew Embeddings of Curves

Authors: Andy B. Day

Abstract: Given a smooth complex variety $X$, an algebraically skew embedding of $X$ is an embedding of $X$ into a complex projective space $\mathbb{P}^N$ such that for any two points $x,y\in X$, their embedded tangent spaces in $\mathbb{P}^N$ do not intersect. In this work, we establish an upper bound and a lower bound of the minimal dimension $N$ such that there exists an algebraically skew embedding into… ▽ More Given a smooth complex variety $X$, an algebraically skew embedding of $X$ is an embedding of $X$ into a complex projective space $\mathbb{P}^N$ such that for any two points $x,y\in X$, their embedded tangent spaces in $\mathbb{P}^N$ do not intersect. In this work, we establish an upper bound and a lower bound of the minimal dimension $N$ such that there exists an algebraically skew embedding into $\mathbb{P}^N$ in terms of the dimension of the given smooth variety $X$. Then we further classify the algebraic curves in terms of their minimal skew embedding dimensions, and apply the same technique to other one-parameter family of lines. △ Less

Submitted 4 May, 2025; v1 submitted 29 January, 2025; originally announced January 2025.

Comments: 33 pages. Edited the definition for generic scrolls. Comments are welcome

Quotients of the braid group that are extensions of the symmetric group

Authors: Matthew B. Day, Trevor Nakamura

Abstract: We consider normal subgroups $N$ of the braid group $B_n$ such that the quotient $B_n/N$ is an extension of the symmetric group by an abelian group. We show that, if $n\geq 4$, then there are exactly 8 commensurability classes of such subgroups. We define a Specht subgroup to be a subgroup of this form that is maximal in its commensurability class. We give descriptions of the Specht subgroups in t… ▽ More We consider normal subgroups $N$ of the braid group $B_n$ such that the quotient $B_n/N$ is an extension of the symmetric group by an abelian group. We show that, if $n\geq 4$, then there are exactly 8 commensurability classes of such subgroups. We define a Specht subgroup to be a subgroup of this form that is maximal in its commensurability class. We give descriptions of the Specht subgroups in terms of winding numbers and in terms of infinite generating sets. The quotient of the pure braid group by a Specht subgroup is a module over the symmetric group. We show that the modules arising this way are closely related to Specht modules for the partitions $(n-1,1)$ and $(n-2,2)$, working over the integers. We compute the second cohomology of the symmetric group with coefficients in both of these Specht modules, working over an arbitrary commutative ring. Finally, we determine which of the extensions of the symmetric group arising from Specht subgroups are split extensions. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: 44 pages

MSC Class: 20F36 (Primary) 20J36; 20C30 (Secondary)

A 3-skeleton for a classifying space for the symmetric group

Authors: Matthew B. Day, Trevor Nakamura

Abstract: We construct a 3-dimensional cell complex that is the 3-skeleton for an Eilenberg--MacLane classifying space for the symmetric group $\mathfrak{S}_n$. Our complex starts with the presentation for $\mathfrak{S}_n$ with $n-1$ adjacent transpositions with squaring, commuting, and braid relations, and adds seven classes of 3-cells that fill in certain 2-spheres bounded by these relations. We use a rew… ▽ More We construct a 3-dimensional cell complex that is the 3-skeleton for an Eilenberg--MacLane classifying space for the symmetric group $\mathfrak{S}_n$. Our complex starts with the presentation for $\mathfrak{S}_n$ with $n-1$ adjacent transpositions with squaring, commuting, and braid relations, and adds seven classes of 3-cells that fill in certain 2-spheres bounded by these relations. We use a rewriting system and a combinatorial method of K. Brown to prove the correctness of our construction. Our main application is a computation of the second cohomology of $\mathfrak{S}_n$ in certain twisted coefficient modules; we use this computation in a companion paper to study splitting of extensions related to braid groups. As another application, we give a concrete description of the third homology of $\mathfrak{S}_n$ with untwisted coefficients in $\mathbb{Z}$. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: 58 pages, 4 figures

MSC Class: 20B30 (Primary) 20F05; 20J06 (Secondary)

Calculating the virtual cohomological dimension of the automorphism group of a RAAG

Authors: Matthew B. Day, Andrew W. Sale, Richard D. Wade

Abstract: We describe an algorithm to find the virtual cohomological dimension of the automorphism group of a right-angled Artin group. The algorithm works in the relative setting; in particular it also applies to untwisted automorphism groups and basis-conjugating automorphism groups. The main new tool is the construction of free abelian subgroups of certain Fouxe-Rabinovitch groups of rank equal to their… ▽ More We describe an algorithm to find the virtual cohomological dimension of the automorphism group of a right-angled Artin group. The algorithm works in the relative setting; in particular it also applies to untwisted automorphism groups and basis-conjugating automorphism groups. The main new tool is the construction of free abelian subgroups of certain Fouxe-Rabinovitch groups of rank equal to their virtual cohomological dimension, generalizing a result of Meucci in the setting of free groups. △ Less

Submitted 7 September, 2020; v1 submitted 6 September, 2019; originally announced September 2019.

Comments: 15 pages, 2 figures. Revised background on RORGs, small changes elsewhere. Accepted to appear in Bulletin of the LMS

MSC Class: 20F65

Relative automorphism groups of right-angled Artin groups

Authors: Matthew B. Day, Richard D. Wade

Abstract: We study the outer automorphism group of a right-angled Artin group $A_Γ$ with finite defining graph $Γ$. We construct a subnormal series for $Out(A_Γ)$ such that each consecutive quotient is either finite, free-abelian, $GL(n,\mathbb{Z})$, or a Fouxe-Rabinovitch group. The last two types act respectively on a symmetric space or a deformation space of trees, so that there is a geometric way of stu… ▽ More We study the outer automorphism group of a right-angled Artin group $A_Γ$ with finite defining graph $Γ$. We construct a subnormal series for $Out(A_Γ)$ such that each consecutive quotient is either finite, free-abelian, $GL(n,\mathbb{Z})$, or a Fouxe-Rabinovitch group. The last two types act respectively on a symmetric space or a deformation space of trees, so that there is a geometric way of studying each piece. As a consequence we prove that the group $Out(A_Γ)$ is type VF (it has a finite index subgroup with a finite classifying space). The main technical work is a study of relative outer automorphism groups of RAAGs and their restriction homomorphisms, refining work of Charney, Crisp, and Vogtmann. We show that the images and kernels of restriction homomorphisms are always simpler examples of relative outer automorphism groups of RAAGs. We also give generators for relative automorphism groups of RAAGs, in the style of Laurence's theorem. △ Less

Submitted 18 March, 2019; v1 submitted 5 December, 2017; originally announced December 2017.

Comments: 42 pages, 6 figures. Final arXiv version. Accepted for publication by the Journal of Topology

MSC Class: 20E36; 20F36

Subspace arrangements, BNS invariants, and pure symmetric outer automorphisms of right-angled Artin groups

Authors: Matthew B. Day, Richard D. Wade

Abstract: We introduce a homology theory for subspace arrangements, and use it to extract a new system of numerical invariants from the Bieri-Neumann-Strebel invariant of a group. We use these to characterize when the set of basis conjugating outer automorphisms (a.k.a. the pure symmetric outer automorphism group) of a right-angled Artin group is itself a right-angled Artin group. We introduce a homology theory for subspace arrangements, and use it to extract a new system of numerical invariants from the Bieri-Neumann-Strebel invariant of a group. We use these to characterize when the set of basis conjugating outer automorphisms (a.k.a. the pure symmetric outer automorphism group) of a right-angled Artin group is itself a right-angled Artin group. △ Less

Submitted 28 June, 2016; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 26 pages. Minor revisions. To appear in GGD

MSC Class: 20E36; 20F36 (Primary); 20J05 (Secondary)

A Birman exact sequence for the Torelli subgroup of Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: We develop an analogue of the Birman exact sequence for the Torelli subgroup of Aut(F_n). This builds on earlier work of the authors who studied an analogue of the Birman exact sequence for the entire group Aut(F_n). These results play an important role in the authors' recent work on the second homology group of the Torelli group. We develop an analogue of the Birman exact sequence for the Torelli subgroup of Aut(F_n). This builds on earlier work of the authors who studied an analogue of the Birman exact sequence for the entire group Aut(F_n). These results play an important role in the authors' recent work on the second homology group of the Torelli group. △ Less

Submitted 20 April, 2016; v1 submitted 31 July, 2015; originally announced July 2015.

Comments: 31 pages, minor revision; to appear in Int. J. Algebr. Comput

Journal ref: Internat. J. Algebra Comput. 26 (2016), no. 3, 585-617

On the second homology group of the Torelli subgroup of Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: Let IA_n be the Torelli subgroup of Aut(F_n). We give an explicit finite set of generators for H_2(IA_n) as a GL_n(Z)-module. Corollaries include a version of surjective representation stability for H_2(IA_n), the vanishing of the GL_n(Z)-coinvariants of H_2(IA_n), and the vanishing of the second rational homology group of the level l congruence subgroup of Aut(F_n). Our generating set is derived… ▽ More Let IA_n be the Torelli subgroup of Aut(F_n). We give an explicit finite set of generators for H_2(IA_n) as a GL_n(Z)-module. Corollaries include a version of surjective representation stability for H_2(IA_n), the vanishing of the GL_n(Z)-coinvariants of H_2(IA_n), and the vanishing of the second rational homology group of the level l congruence subgroup of Aut(F_n). Our generating set is derived from a new group presentation for IA_n which is infinite but which has a simple recursive form. △ Less

Submitted 27 December, 2016; v1 submitted 26 August, 2014; originally announced August 2014.

Comments: 39 pages; minor revision; to appear in Geom. Topol

Journal ref: Geom. Topol. 21 (2017) 2851-2896

Full-featured peak reduction in right-angled Artin groups

Authors: Matthew B. Day

Abstract: We prove a new version of the classical peak-reduction theorem for automorphisms of free groups in the setting of right-angled Artin groups. We use this peak-reduction theorem to prove two important corollaries about the action of the automorphism group of a right-angled Artin group $A_Γ$ on the set of $k$-tuples of conjugacy classes from $A_Γ$: orbit membership is decidable, and stabilizers are f… ▽ More We prove a new version of the classical peak-reduction theorem for automorphisms of free groups in the setting of right-angled Artin groups. We use this peak-reduction theorem to prove two important corollaries about the action of the automorphism group of a right-angled Artin group $A_Γ$ on the set of $k$-tuples of conjugacy classes from $A_Γ$: orbit membership is decidable, and stabilizers are finitely presentable. Further, we explain procedures for checking orbit membership and building presentations of stabilizers. This improves on a previous result of the author's. We overcome a technical difficulty from the previous work by considering infinite generating sets for the automorphism groups. The method also involves a variation on the Hermite normal form for matrices. △ Less

Submitted 19 November, 2013; v1 submitted 31 October, 2012; originally announced November 2012.

Comments: 72 pages, 1 figure. Updated to incorporate referee comments

MSC Class: 20F36; 20F28

Journal ref: Algebr. Geom. Topol. 14 (2014) 1677-1743

A Birman exact sequence for Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: The Birman exact sequence describes the effect on the mapping class group of a surface with boundary of gluing discs to the boundary components. We construct an analogous exact sequence for the automorphism group of a free group. For the mapping class group, the kernel of the Birman exact sequence is a surface braid group. We prove that in the context of the automorphism group of a free group, the… ▽ More The Birman exact sequence describes the effect on the mapping class group of a surface with boundary of gluing discs to the boundary components. We construct an analogous exact sequence for the automorphism group of a free group. For the mapping class group, the kernel of the Birman exact sequence is a surface braid group. We prove that in the context of the automorphism group of a free group, the natural kernel is finitely generated. However, it is not finitely presentable; indeed, we prove that its second rational homology group has infinite rank by constructing an explicit infinite collection of linearly independent abelian cycles. We also determine the abelianization of our kernel and build a simple infinite presentation for it. The key to many of our proofs are several new generalizations of the Johnson homomorphisms. △ Less

Submitted 30 April, 2012; v1 submitted 13 April, 2011; originally announced April 2011.

Comments: 37 pages, serious revision. To appear in Adv. Math

Journal ref: Adv. Math. 231 (2012), 243-275

Finiteness of outer automorphism groups of random right-angled Artin groups

Authors: Matthew B. Day

Abstract: We consider the outer automorphism group Out(A_Gamma) of the right-angled Artin group A_Gamma of a random graph Gamma on n vertices in the Erdos--Renyi model. We show that the functions (log(n)+log(log(n)))/n and 1-(log(n)+log(log(n)))/n bound the range of edge probability functions for which Out(A_Gamma) is finite: if the probability of an edge in Gamma is strictly between these functions as n gr… ▽ More We consider the outer automorphism group Out(A_Gamma) of the right-angled Artin group A_Gamma of a random graph Gamma on n vertices in the Erdos--Renyi model. We show that the functions (log(n)+log(log(n)))/n and 1-(log(n)+log(log(n)))/n bound the range of edge probability functions for which Out(A_Gamma) is finite: if the probability of an edge in Gamma is strictly between these functions as n grows, then asymptotically Out(A_Gamma) is almost surely finite, and if the edge probability is strictly outside of both of these functions, then asymptotically Out(A_Gamma) is almost surely infinite. This sharpens results of Ruth Charney and Michael Farber from their preprint "Random groups arising as graph products", arXiv:1006.3378v1. △ Less

Submitted 14 June, 2011; v1 submitted 2 March, 2011; originally announced March 2011.

Comments: 29 pages. Mostly rewritten, results tightened, statements corrected, gaps filled

MSC Class: 20F05; 20F28; 05C80

Journal ref: Algebr. Geom. Topol. 12 (2012) 1553-1583

The complex of partial bases for F_n and finite generation of the Torelli subgroup of Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: We study the complex of partial bases of a free group, which is an analogue for $\Aut(F_n)$ of the curve complex for the mapping class group. We prove that it is connected and simply connected, and we also prove that its quotient by the Torelli subgroup of $\Aut(F_n)$ is highly connected. Using these results, we give a new, topological proof of a theorem of Magnus that asserts that the Torelli sub… ▽ More We study the complex of partial bases of a free group, which is an analogue for $\Aut(F_n)$ of the curve complex for the mapping class group. We prove that it is connected and simply connected, and we also prove that its quotient by the Torelli subgroup of $\Aut(F_n)$ is highly connected. Using these results, we give a new, topological proof of a theorem of Magnus that asserts that the Torelli subgroup of $\Aut(F_n)$ is finitely generated. △ Less

Submitted 14 October, 2013; v1 submitted 8 December, 2010; originally announced December 2010.

Comments: 16 pages, small revisions; to appear in Geom. Dedicata

Journal ref: Geom. Dedicata 164 (2013), 139-153

A Hall-Fusion Bialgebra

Authors: Brian Day

Abstract: We describe what might be called the "Hall-fusion" bialgebra constructed from a promonoidal double, and mention the corresponding face version for probicategories. We describe what might be called the "Hall-fusion" bialgebra constructed from a promonoidal double, and mention the corresponding face version for probicategories. △ Less

Submitted 15 September, 2010; originally announced September 2010.

MSC Class: 18-02

Enriched Herds And Finite Quantum Groupoids

Authors: Thomas Booker, Brian J. Day

Abstract: We describe a finite quantum groupoid associated to any finite Vect_k enriched herd. We describe a finite quantum groupoid associated to any finite Vect_k enriched herd. △ Less

Submitted 15 May, 2010; originally announced May 2010.

MSC Class: 18-02

On endomorphism algebras of functors with non-compact domain

Authors: Brian Day

Abstract: As a development of [2] and [3], we construct a "VN-bialgebra" in Vect_k for each k-linear split-semigroupal functor from a suitable monoidal category C to Vect_k. The main aim here is to avoid the customary compactness assumptions on generators of the domain category C (cf. [3]). Please note that the VN-bialgebras in Vect_k defined here are not necessarily von Neumann regular as k-algebras in the… ▽ More As a development of [2] and [3], we construct a "VN-bialgebra" in Vect_k for each k-linear split-semigroupal functor from a suitable monoidal category C to Vect_k. The main aim here is to avoid the customary compactness assumptions on generators of the domain category C (cf. [3]). Please note that the VN-bialgebras in Vect_k defined here are not necessarily von Neumann regular as k-algebras in the usual sense, the prefix "VN-" coming from the Set-based case of von Neumann regular semigroups. △ Less

Submitted 15 August, 2011; v1 submitted 25 April, 2010; originally announced April 2010.

MSC Class: 18-02

Middle-Four Maps and Net Categories

Authors: Brian Day

Abstract: We briefly relate the existence of a middle-four interchange map in a category with two monoidal structures, to the standard Cockett and Seely notion of a weakly distributive category. We briefly relate the existence of a middle-four interchange map in a category with two monoidal structures, to the standard Cockett and Seely notion of a weakly distributive category. △ Less

Submitted 27 November, 2009; originally announced November 2009.

On solvable subgroups of automorphism groups of right-angled Artin groups

Authors: Matthew B. Day

Abstract: For any right-angled Artin group, we show that its outer automorphism group contains either a finite-index nilpotent subgroup or a nonabelian free subgroup. This is a weak Tits alternative theorem. We find a criterion on the defining graph that determines which case holds. We also consider some examples of solvable subgroups, including one that is not virtually nilpotent and is embedded in a non… ▽ More For any right-angled Artin group, we show that its outer automorphism group contains either a finite-index nilpotent subgroup or a nonabelian free subgroup. This is a weak Tits alternative theorem. We find a criterion on the defining graph that determines which case holds. We also consider some examples of solvable subgroups, including one that is not virtually nilpotent and is embedded in a non-obvious way. △ Less

Submitted 25 October, 2009; originally announced October 2009.

Comments: 11 pages

MSC Class: 20F36; 20F28

Extensions of Johnson's and Morita's homomorphisms that map to finitely generated abelian groups

Authors: Matthew B. Day

Abstract: We extend each higher Johnson homomorphism to a crossed homomorphism from the automorphism group of a finite-rank free group to a finite-rank abelian group. We also extend each Morita homomorphism to a crossed homomorphism from the mapping class group of once-bounded surface to a finite-rank abelian group. This improves on the author's previous results [Algebr. Geom. Topol. 7 (2007):1297-1326].… ▽ More We extend each higher Johnson homomorphism to a crossed homomorphism from the automorphism group of a finite-rank free group to a finite-rank abelian group. We also extend each Morita homomorphism to a crossed homomorphism from the mapping class group of once-bounded surface to a finite-rank abelian group. This improves on the author's previous results [Algebr. Geom. Topol. 7 (2007):1297-1326]. To prove the first result, we express the higher Johnson homomorphisms as coboundary maps in group cohomology. Our methods involve the topology of nilpotent homogeneous spaces and lattices in nilpotent Lie algebras. In particular, we develop a notion of the "polynomial straightening" of a singular homology chain in a nilpotent homogeneous space. △ Less

Submitted 25 October, 2009; originally announced October 2009.

Comments: 34 pages

MSC Class: 57N05; 20F28; 57R17

Journal ref: J. Topol. Anal., 05, 57 (2013)

On The Existence Of Category Bicompletions

Authors: Brian J. Day

Abstract: A completeness conjecture is advanced concerning the free small-colimit completion P(A) of a (possibly large) category A. The conjecture is based on the existence of a small generating-cogenerating set of objects in A. We sketch how the validity of the result would lead to the existence of an Isbell-Lambek bicompletion C(A) of such an A, without a "change-of-universe" procedure being necessary t… ▽ More A completeness conjecture is advanced concerning the free small-colimit completion P(A) of a (possibly large) category A. The conjecture is based on the existence of a small generating-cogenerating set of objects in A. We sketch how the validity of the result would lead to the existence of an Isbell-Lambek bicompletion C(A) of such an A, without a "change-of-universe" procedure being necessary to describe or discuss the bicompletion. △ Less

Submitted 28 September, 2009; originally announced September 2009.

MSC Class: 18-02

Note On Endomorphism Algebras Of Separable Monoidal Functors

Authors: Brian J. Day, Craig A. Pastro

Abstract: We recall the Tannaka construction for certain types of split monoidal functor into Vect_{k}, and remove the compactness restriction on the domain. We recall the Tannaka construction for certain types of split monoidal functor into Vect_{k}, and remove the compactness restriction on the domain. △ Less

Submitted 19 July, 2009; originally announced July 2009.

MSC Class: 18-02

When is Existential Quantification Conservative?

Authors: Brian Day

Abstract: We describe a sufficient condition for the process of left Kan extension to be a conservative functor. This is useful in the study of graphic Fourier transforms and quantum categories and groupoids. We describe a sufficient condition for the process of left Kan extension to be a conservative functor. This is useful in the study of graphic Fourier transforms and quantum categories and groupoids. △ Less

Submitted 24 June, 2009; originally announced June 2009.

MSC Class: 18D10

Note On Analytic Functors As Fourier Transforms

Authors: Brian J. Day

Abstract: Several notions of "analytic" functor introduced recently in the literature fit into the graphic fourier transform context presented in [D]. Several notions of "analytic" functor introduced recently in the literature fit into the graphic fourier transform context presented in [D]. △ Less

Submitted 25 April, 2010; v1 submitted 17 June, 2009; originally announced June 2009.

MSC Class: 18-02

Note on the Fusion Map

Authors: Brian Day

Abstract: We note an inversion property of the fusion map associated to many semibialgebras. We note an inversion property of the fusion map associated to many semibialgebras. △ Less

Submitted 3 April, 2011; v1 submitted 12 February, 2009; originally announced February 2009.

Comments: 4 pages

MSC Class: 18D10

A *-Autonomous Category of Banach Spaces--Correction

Authors: Brian Day

Abstract: We describe a $\C$-linear additive *-autonomous category of Banach spaces. Please note that a correction has been appended to the original version 1 which is maintained here for reference. Also, a proposed example of a *-autonomous category of topological $\C$-linear spaces has been added to version 2. We describe a $\C$-linear additive *-autonomous category of Banach spaces. Please note that a correction has been appended to the original version 1 which is maintained here for reference. Also, a proposed example of a *-autonomous category of topological $\C$-linear spaces has been added to version 2. △ Less

Submitted 24 June, 2009; v1 submitted 28 January, 2009; originally announced January 2009.

Comments: 4 pages

MSC Class: 18D10

Extended flux maps on surfaces and the contracted Johnson homomorphism

Authors: Matthew B. Day

Abstract: On a closed symplectic surface Sigma of genus two or more, we give a new construction of an extended flux map (a crossed homomorphism from the symplectomorphism group Symp(Sigma) to the cohomology group H^1(Sigma;R) that extends the flux homomorphism). This construction uses the topology of the Jacobian of the surface and a correction factor related to the Johnson homomorphism. For surfaces of g… ▽ More On a closed symplectic surface Sigma of genus two or more, we give a new construction of an extended flux map (a crossed homomorphism from the symplectomorphism group Symp(Sigma) to the cohomology group H^1(Sigma;R) that extends the flux homomorphism). This construction uses the topology of the Jacobian of the surface and a correction factor related to the Johnson homomorphism. For surfaces of genus three or more, we give another new construction of an extended flux map using hyperbolic geometry. △ Less

Submitted 3 September, 2009; v1 submitted 12 August, 2008; originally announced August 2008.

Comments: 45 pages, 5 figures; major rewrite, some arguments reworked, a theorem statement corrected

MSC Class: 57N05 (Primary) 57R17 (Secondary)

Symplectic structures on right-angled Artin groups: between the mapping class group and the symplectic group

Authors: Matthew B. Day

Abstract: We define a family of groups that include the mapping class group of a genus g surface with one boundary component and the integral symplectic group Sp(2g,Z). We then prove that these groups are finitely generated. These groups, which we call mapping class groups over graphs, are indexed over labeled simplicial graphs with 2g vertices. The mapping class group over the graph Gamma is defined to b… ▽ More We define a family of groups that include the mapping class group of a genus g surface with one boundary component and the integral symplectic group Sp(2g,Z). We then prove that these groups are finitely generated. These groups, which we call mapping class groups over graphs, are indexed over labeled simplicial graphs with 2g vertices. The mapping class group over the graph Gamma is defined to be a subgroup of the automorphism group of the right-angled Artin group A_Gamma of Gamma. We also prove that the kernel of the map Aut A_Gamma to Aut H_1(A_Gamma) is finitely generated, generalizing a theorem of Magnus. △ Less

Submitted 30 July, 2008; originally announced July 2008.

Comments: 45 pages

MSC Class: 20F36; 20F28

Journal ref: Geom. Topol. 13 (2009) 857-899

Peak reduction and finite presentations for automorphism groups of right-angled Artin groups

Authors: Matthew B. Day

Abstract: We generalize the peak-reduction algorithm (Whitehead's theorem) for free groups to a theorem about a general right-angled Artin group A_Gamma. As an application, we find a finite presentation for the automorphism group Aut A_Gamma that generalizes McCool's presentation for the automorphism group of a finite rank free group. We also give consider a stronger generalization of peak-reduction, givi… ▽ More We generalize the peak-reduction algorithm (Whitehead's theorem) for free groups to a theorem about a general right-angled Artin group A_Gamma. As an application, we find a finite presentation for the automorphism group Aut A_Gamma that generalizes McCool's presentation for the automorphism group of a finite rank free group. We also give consider a stronger generalization of peak-reduction, giving a counterexample and proving a special case. △ Less

Submitted 30 July, 2008; originally announced July 2008.

Comments: 41 pages

MSC Class: 20F36; 20F28

Journal ref: Geom. Topol. 13 (2009) 817-855

Note on Frobenius monoidal functors

Authors: Brian Day, Craig Pastro

Abstract: It is well known that strong monoidal functors preserve duals. In this short note we show that a slightly weaker version of functor, which we call "Frobenius monoidal", is sufficient. It is well known that strong monoidal functors preserve duals. In this short note we show that a slightly weaker version of functor, which we call "Frobenius monoidal", is sufficient. △ Less

Submitted 18 April, 2008; v1 submitted 26 January, 2008; originally announced January 2008.

Comments: 8 pages; added new material

Journal ref: New York Journal of Mathematics 14 (2008) 733-742

On endomorphism algebras of separable monoidal functors

Authors: Brian Day, Craig Pastro

Abstract: We show that the (co)endomorphism algebra of a sufficiently separable "fibre" functor into Vect_k, for k a field of characteristic 0, has the structure of what we call a "unital" von Neumann core in Vect_k. For Vect_k, this particular notion of algebra is weaker than that of a Hopf algebra, although the corresponding concept in Set is again that of a group. We show that the (co)endomorphism algebra of a sufficiently separable "fibre" functor into Vect_k, for k a field of characteristic 0, has the structure of what we call a "unital" von Neumann core in Vect_k. For Vect_k, this particular notion of algebra is weaker than that of a Hopf algebra, although the corresponding concept in Set is again that of a group. △ Less

Submitted 11 December, 2007; originally announced December 2007.

Comments: 17 pages

Journal ref: Theory and Applications of Categories 22 (2009) 77-96

Biclosed bicategories: localisation of convolution

Authors: Brian J. Day

Abstract: We give a summary (without proofs) of the main results in the author's thesis entitled ``Construction of biclosed categories'' (University of New South Wales, Australia, 1970). This summary is reprinted directly from Report 81-0030 of the School of Mathematics and Physics, Macquarie University, April 1981. In particular, it gives sufficient conditions for existence of an extension of a (pro)mono… ▽ More We give a summary (without proofs) of the main results in the author's thesis entitled ``Construction of biclosed categories'' (University of New South Wales, Australia, 1970). This summary is reprinted directly from Report 81-0030 of the School of Mathematics and Physics, Macquarie University, April 1981. In particular, it gives sufficient conditions for existence of an extension of a (pro)monoidal category structure along a given dense functor to a cocomplete category. The two basic procedures used in the proof turn out to be special cases of the final result, the two respective dense functors then being the Yoneda embedding followed by a localisation. The final result has a standard universal property based on left Kan extension of (pro)monoidal functors along the given dense functor, however this property is not stated explicitly here. △ Less

Submitted 23 May, 2007; originally announced May 2007.

Comments: 4 pages

Association schemes, classical RCFT's, and centres of monoidal functor categories

Authors: Brian Day

Abstract: Here we describe three straightforward examples of what was called a graphic Fourier transformation in [4]. At least two of these examples may be viewed simply as monoidal comonads on suitable monoidal closed functor categories, but the third example, which involves "centres" of monoidal closed functor categories, is generally not comonadic. For the first two examples (i.e., association schemes an… ▽ More Here we describe three straightforward examples of what was called a graphic Fourier transformation in [4]. At least two of these examples may be viewed simply as monoidal comonads on suitable monoidal closed functor categories, but the third example, which involves "centres" of monoidal closed functor categories, is generally not comonadic. For the first two examples (i.e., association schemes and RCFT's), a more elaborate "probicategory" set-up was envisaged in an earlier version of this note, but many readers missed the main point so it is simplified (hopefully) below. △ Less

Submitted 12 August, 2011; v1 submitted 7 February, 2007; originally announced February 2007.

Comments: 9 pages; slight change of title; some corrections and additions

Extending Johnson's and Morita's homomorphisms to the mapping class group

Authors: Matthew B. Day

Abstract: We extend certain homomorphisms defined on the higher Torelli subgroups of the mapping class group to crossed homomorphisms defined on the entire mapping class group. In particular, for every $k\geq 2$, we construct a crossed homomorphism $ε_k$ which extends Morita's homomorphism $\tilde τ_k$ to the entire mapping class group. From this crossed homomorphism we also obtain a crossed homomorphism… ▽ More We extend certain homomorphisms defined on the higher Torelli subgroups of the mapping class group to crossed homomorphisms defined on the entire mapping class group. In particular, for every $k\geq 2$, we construct a crossed homomorphism $ε_k$ which extends Morita's homomorphism $\tilde τ_k$ to the entire mapping class group. From this crossed homomorphism we also obtain a crossed homomorphism extending the $k$th Johnson homomorphism $τ_k$ to the mapping class group. D. Johnson and S. Morita obtained their respective homomorphisms by considering the action of the mapping class group on the nilpotent truncations of the surface group; our approach is to mimic Morita's construction topologically by using nilmanifolds associated to these truncations. This allows us to take the ranges of these crossed homomorphisms to be certain finite-dimensional real vector spaces associated to these nilmanifolds. △ Less

Submitted 1 October, 2007; v1 submitted 5 February, 2007; originally announced February 2007.

Comments: 32 pages; cleaned up and minor corrections to proofs; updated to agree with version published by Alg. & Geom. Top at: http://msp.warwick.ac.uk/agt/2007/07/p050.xhtml

MSC Class: 57N05 (Primary); 57T15 (Secondary)

Journal ref: Algebr. Geom. Topol. 7 (2007) 1297-1326

Monoidal functor categories and graphic Fourier transforms

Authors: Brian J. Day

Abstract: This article represents a preliminary attempt to link Kan extensions, and some of their further developments, to Fourier theory and quantum algebra through *-autonomous monoidal categories and related structures. This article represents a preliminary attempt to link Kan extensions, and some of their further developments, to Fourier theory and quantum algebra through *-autonomous monoidal categories and related structures. △ Less

Submitted 17 December, 2006; originally announced December 2006.

Comments: 20 pages

Limits of small functors

Authors: Brian J. Day, Stephen Lack

Abstract: For a small category K enriched over a suitable monoidal category V, the free completion of K under colimits is the presheaf category [K*,V]. If K is large, its free completion under colimits is the V-category PK of small presheaves on K, where a presheaf is small if it is a left Kan extension of some presheaf with small domain. We study the existence of limits and of monoidal closed structures… ▽ More For a small category K enriched over a suitable monoidal category V, the free completion of K under colimits is the presheaf category [K*,V]. If K is large, its free completion under colimits is the V-category PK of small presheaves on K, where a presheaf is small if it is a left Kan extension of some presheaf with small domain. We study the existence of limits and of monoidal closed structures on PK. △ Less

Submitted 13 October, 2006; originally announced October 2006.

Comments: 17 pages

MSC Class: 18D20; 18A30; 18A40

Journal ref: Journal of Pure and Applied Algebra, 210(3):651-683, 2007

Compact convolution

Authors: Brian J. Day

Abstract: We state a Yoneda-type lemma which leads to various functor categories being compact closed. We state a Yoneda-type lemma which leads to various functor categories being compact closed. △ Less

Submitted 17 May, 2006; originally announced May 2006.

Comments: 4 pages

MSC Class: 18A25; 18D15; 18D20

*-Autonomous categories in quantum theory

Authors: Brian Day

Abstract: *-Autonomous categories were initially defined by M. Barr to describe a type of duality carried by many monoidal closed categories. Later they were generalised by the current author to include *-autonomous promonoidal categories. Together, these structures under "convolution" product give a clear indication of the usefulness of *-autonomy in quantum mathematics and related areas. *-Autonomous categories were initially defined by M. Barr to describe a type of duality carried by many monoidal closed categories. Later they were generalised by the current author to include *-autonomous promonoidal categories. Together, these structures under "convolution" product give a clear indication of the usefulness of *-autonomy in quantum mathematics and related areas. △ Less

Submitted 26 November, 2011; v1 submitted 1 May, 2006; originally announced May 2006.

Comments: 6 pages

MSC Class: 18A25; 18D10; 18D20

Quantum categories, star autonomy, and quantum groupoids

Authors: Brian Day, Ross Street

Abstract: A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. We define the term "quantum category". The definition of antipode for a bialgebroid is less resolved in the literature. Our suggestion is that the kind of dualization occurring in Barr's star-autonomous categories is more suitable than auto… ▽ More A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. We define the term "quantum category". The definition of antipode for a bialgebroid is less resolved in the literature. Our suggestion is that the kind of dualization occurring in Barr's star-autonomous categories is more suitable than autonomy (= compactness = rigidity). This leads to our definition of quantum groupoid intended as a "Hopf algebra with several objects". △ Less

Submitted 3 April, 2003; v1 submitted 19 January, 2003; originally announced January 2003.

Comments: 41 pages, PDF file based on MacWrite document This revised version corrects some duality mistakes in the last three sections