-
The familial nature of enrichment over virtual double categories
Authors:
Soichiro Fujii,
Stephen Lack
Abstract:
Originally enriched categories were defined over a monoidal category, but it was gradually realized that important examples can only be included when one enriches over more general structures such as bicategories and virtual double categories. We show that, as well as allowing more examples, working over virtual double categories also gives better formal properties. We study the 2-functor sending…
▽ More
Originally enriched categories were defined over a monoidal category, but it was gradually realized that important examples can only be included when one enriches over more general structures such as bicategories and virtual double categories. We show that, as well as allowing more examples, working over virtual double categories also gives better formal properties. We study the 2-functor sending a virtual double category to the 2-category of categories enriched over it. We show that this is a parametric right 2-adjoint, and in fact is familial. We also show how a ``families construction'' for virtual double categories can be used to give a formal construction of the 2-category of categories enriched over a virtual double category.
△ Less
Submitted 7 July, 2025;
originally announced July 2025.
-
On automorphisms of some semidirect product groups and ranks of Iwasawa modules
Authors:
Satoshi Fujii
Abstract:
Let $p$ be an odd prime number and $k$ an imaginary quadratic field in which $p$ does not split. Based on their heuristic, Kundu and Washington posed a question which asks whether $λ$- and $μ$-invariant of the anti-cyclotomic ${\Bbb Z}_p$-extension $k_{\infty}^a$ of $k$ are always trivial. Also, if $k_{\infty}^a/k$ is totally ramified, for $n\geq 1$, they showed that the $p$-part of the ideal clas…
▽ More
Let $p$ be an odd prime number and $k$ an imaginary quadratic field in which $p$ does not split. Based on their heuristic, Kundu and Washington posed a question which asks whether $λ$- and $μ$-invariant of the anti-cyclotomic ${\Bbb Z}_p$-extension $k_{\infty}^a$ of $k$ are always trivial. Also, if $k_{\infty}^a/k$ is totally ramified, for $n\geq 1$, they showed that the $p$-part of the ideal class group of the $n$th layer of the anti-cyclotomic ${\Bbb Z}_p$-extension of $k$ is not cyclic. In this article, inspired by their paper, we study anti-cyclotomic like ${\Bbb Z}_p$-extensions, extending both the above question and Kundu-Washington's result. We show that the values of $λ$ of certain anti-cyclotomic like ${\Bbb Z}_p$-extensions are always even. We also show the $p$-part of the ideal class groups of certain anti-cyclotomic like ${\Bbb Z}_p$-extensions of CM-fields are always not cyclic.
△ Less
Submitted 4 May, 2025; v1 submitted 19 April, 2025;
originally announced April 2025.
-
Homotopy types of Hom complexes of graph homomorphisms whose codomains are square-free
Authors:
Soichiro Fujii,
Kei Kimura,
Yuta Nozaki
Abstract:
Given finite simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex having the graph homomorphisms $G\to H$ as the vertices. We determine the homotopy type of each connected component of $\mathrm{Hom}(G,H)$ when $H$ is square-free, meaning that it does not contain the $4$-cycle graph $C_4$ as a subgraph. Specifically, for a connected $G$ and a square-free $H$, we sh…
▽ More
Given finite simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex having the graph homomorphisms $G\to H$ as the vertices. We determine the homotopy type of each connected component of $\mathrm{Hom}(G,H)$ when $H$ is square-free, meaning that it does not contain the $4$-cycle graph $C_4$ as a subgraph. Specifically, for a connected $G$ and a square-free $H$, we show that each connected component of $\mathrm{Hom}(G,H)$ is homotopy equivalent to a wedge sum of circles. We further show that, given any graph homomorphism $f\colon G\to H$ to a square-free $H$, one can determine the homotopy type of the connected component of $\mathrm{Hom}(G,H)$ containing $f$ algorithmically.
△ Less
Submitted 25 December, 2024;
originally announced December 2024.
-
Homotopy types of Hom complexes of graph homomorphisms whose codomains are cycles
Authors:
Soichiro Fujii,
Yuni Iwamasa,
Kei Kimura,
Yuta Nozaki,
Akira Suzuki
Abstract:
For simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex whose vertices are the graph homomorphisms $G\to H$ and whose edges connect the pairs of homomorphisms which differ in a single vertex of $G$. Hom complexes play an important role in an algebro-topological approach to the graph coloring problem. It is known that $\mathrm{Hom}(G,H)$ is homotopy equivalent to…
▽ More
For simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex whose vertices are the graph homomorphisms $G\to H$ and whose edges connect the pairs of homomorphisms which differ in a single vertex of $G$. Hom complexes play an important role in an algebro-topological approach to the graph coloring problem. It is known that $\mathrm{Hom}(G,H)$ is homotopy equivalent to a disjoint union of points and circles when both $G$ and $H$ are cycles. We generalize this known result by showing that the same holds whenever $G$ is connected and $H$ is a cycle. To this end, we explicitly construct the universal cover of each connected component of $\mathrm{Hom}(G,H)$ and prove that it is contractible. Additionally, we provide a simple criterion to determine whether the connected component containing a given homomorphism is homotopy equivalent to a point or circle.
△ Less
Submitted 8 June, 2025; v1 submitted 8 August, 2024;
originally announced August 2024.
-
$ω$-weak equivalences between weak $ω$-categories
Authors:
Soichiro Fujii,
Keisuke Hoshino,
Yuki Maehara
Abstract:
We study $ω$-weak equivalences between weak $ω$-categories in the sense of Batanin-Leinster. Our $ω$-weak equivalences are strict $ω$-functors satisfying essential surjectivity in every dimension, and when restricted to those between strict $ω$-categories, they coincide with the weak equivalences in the model category of strict $ω$-categories defined by Lafont, Métayer, and Worytkiewicz. We show t…
▽ More
We study $ω$-weak equivalences between weak $ω$-categories in the sense of Batanin-Leinster. Our $ω$-weak equivalences are strict $ω$-functors satisfying essential surjectivity in every dimension, and when restricted to those between strict $ω$-categories, they coincide with the weak equivalences in the model category of strict $ω$-categories defined by Lafont, Métayer, and Worytkiewicz. We show that the class of $ω$-weak equivalences has the 2-out-of-3 property. We also consider a generalisation of $ω$-weak equivalences, defined as weak $ω$-functors (in the sense of Garner) satisfying essential surjectivity, and show that this class also has the 2-out-of-3 property.
△ Less
Submitted 2 June, 2025; v1 submitted 19 June, 2024;
originally announced June 2024.
-
On capitulations and pseudo-null submodules in certain ${\Bbb Z}_p^d$-extensions
Authors:
Satoshi Fujii
Abstract:
Let $p$ be a prime number. By a result of Ozaki, the capitulations of ideals in ${\Bbb Z}_p$-extensions and the finite submodules of Iwasawa modules are closely related. In this article, we discuss this relationship in ${\Bbb Z}_p^d$-extensions.
Let $p$ be a prime number. By a result of Ozaki, the capitulations of ideals in ${\Bbb Z}_p$-extensions and the finite submodules of Iwasawa modules are closely related. In this article, we discuss this relationship in ${\Bbb Z}_p^d$-extensions.
△ Less
Submitted 6 June, 2024; v1 submitted 6 June, 2024;
originally announced June 2024.
-
Ordered semirings and subadditive morphisms
Authors:
Soichiro Fujii
Abstract:
An ordered semiring is a commutative semiring equipped with a compatible preorder. Ordered semirings generalise both distributive lattices and commutative rings, and provide a convenient framework to unify certain aspects of lattice theory and ring theory. The ideals of an ordered semiring $A$ form a commutative integral quantale $\mathrm{Idl}(A)$, and similarly, the radical ideals of $A$ form a (…
▽ More
An ordered semiring is a commutative semiring equipped with a compatible preorder. Ordered semirings generalise both distributive lattices and commutative rings, and provide a convenient framework to unify certain aspects of lattice theory and ring theory. The ideals of an ordered semiring $A$ form a commutative integral quantale $\mathrm{Idl}(A)$, and similarly, the radical ideals of $A$ form a (spatial) frame $\mathrm{Rad}(A)$. We characterise $\mathrm{Idl}$ and $\mathrm{Rad}$ as the left adjoints of the (non-full) inclusion functors from the categories of commutative integral quantales and of frames, respectively, to that of ordered semirings and subadditive morphisms between them. The (sober) topological space $\mathrm{pt}(\mathrm{Rad}(A))$ corresponding to $\mathrm{Rad}(A)$ is homeomorphic to the space $\mathrm{Spec}(A)$ of prime ideals of $A$.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
Weakly invertible cells in a weak $ω$-category
Authors:
Soichiro Fujii,
Keisuke Hoshino,
Yuki Maehara
Abstract:
We study weakly invertible cells in weak $ω$-categories in the sense of Batanin-Leinster, adopting the coinductive definition of weak invertibility. We show that weakly invertible cells in a weak $ω$-category are closed under globular pasting. Using this, we generalise elementary properties of weakly invertible cells known to hold in strict $ω$-categories to weak $ω$-categories, and show that ever…
▽ More
We study weakly invertible cells in weak $ω$-categories in the sense of Batanin-Leinster, adopting the coinductive definition of weak invertibility. We show that weakly invertible cells in a weak $ω$-category are closed under globular pasting. Using this, we generalise elementary properties of weakly invertible cells known to hold in strict $ω$-categories to weak $ω$-categories, and show that every weak $ω$-category has a largest weak $ω$-subgroupoid.
△ Less
Submitted 20 November, 2024; v1 submitted 26 March, 2023;
originally announced March 2023.
-
The oplax limit of an enriched category
Authors:
Soichiro Fujii,
Stephen Lack
Abstract:
We show that 2-categories of the form $\mathscr{B}\mbox{-}\mathbf{Cat}$ are closed under slicing, provided that we allow $\mathscr{B}$ to range over bicategories (rather than, say, monoidal categories). That is, for any $\mathscr{B}$-category $\mathbb{X}$, we define a bicategory $\mathscr{B}/\mathbb{X}$ such that…
▽ More
We show that 2-categories of the form $\mathscr{B}\mbox{-}\mathbf{Cat}$ are closed under slicing, provided that we allow $\mathscr{B}$ to range over bicategories (rather than, say, monoidal categories). That is, for any $\mathscr{B}$-category $\mathbb{X}$, we define a bicategory $\mathscr{B}/\mathbb{X}$ such that $\mathscr{B}\mbox{-}\mathbf{Cat}/\mathbb{X}\cong (\mathscr{B}/\mathbb{X})\mbox{-}\mathbf{Cat}$. The bicategory $\mathscr{B}/\mathbb{X}$ is characterized as the oplax limit of $\mathbb{X}$, regarded as a lax functor from a chaotic category to $\mathscr{B}$, in the 2-category $\mathbf{BICAT}$ of bicategories, lax functors and icons. We prove this conceptually, through limit-preservation properties of the 2-functor $\mathbf{BICAT}\to 2\mbox{-}\mathbf{CAT}$ which maps each bicategory $\mathscr{B}$ to the 2-category $\mathscr{B}\mbox{-}\mathbf{Cat}$. When $\mathscr{B}$ satisfies a mild local completeness condition, we also show that the isomorphism $\mathscr{B}\mbox{-}\mathbf{Cat}/\mathbb{X}\cong (\mathscr{B}/\mathbb{X})\mbox{-}\mathbf{Cat}$ restricts to a correspondence between fibrations in $\mathscr{B}\mbox{-}\mathbf{Cat}$ over $\mathbb{X}$ on the one hand, and $\mathscr{B}/\mathbb{X}$-categories admitting certain powers on the other.
△ Less
Submitted 23 May, 2024; v1 submitted 22 November, 2022;
originally announced November 2022.
-
Classification of conformal solitons in pseudo-Euclidean spaces
Authors:
Burcu Bektaş Demirci,
Shunya Fujii,
Shun Maeta
Abstract:
In this paper, we completely classify conformal solitons on pseudo-Riemannian hypersurfaces in pseudo-Euclidean spaces arisen from the position vector field. In particular, the classification of Yamabe solitons on pseudo-Riemannian hypersurfaces in pseudo-Euclidean spaces arisen from the position vector field can be obtained.
In this paper, we completely classify conformal solitons on pseudo-Riemannian hypersurfaces in pseudo-Euclidean spaces arisen from the position vector field. In particular, the classification of Yamabe solitons on pseudo-Riemannian hypersurfaces in pseudo-Euclidean spaces arisen from the position vector field can be obtained.
△ Less
Submitted 14 January, 2022;
originally announced January 2022.
-
Hom weak $ω$-categories of a weak $ω$-category
Authors:
Thomas Cottrell,
Soichiro Fujii
Abstract:
Classical definitions of weak higher-dimensional categories are given inductively; for example, a bicategory has a set of objects and hom categories, and a tricategory has a set of objects and hom bicategories. However, more recent definitions of weak $n$-categories for all natural numbers $n$, or of weak $ω$-categories, take more sophisticated approaches, and the nature of the "hom" is often not…
▽ More
Classical definitions of weak higher-dimensional categories are given inductively; for example, a bicategory has a set of objects and hom categories, and a tricategory has a set of objects and hom bicategories. However, more recent definitions of weak $n$-categories for all natural numbers $n$, or of weak $ω$-categories, take more sophisticated approaches, and the nature of the "hom" is often not immediate from the definitions. In this paper, we focus on Leinster's definition of weak $ω$-category based on an earlier definition by Batanin, and construct for each weak $ω$-category $\mathcal{A}$, an underlying (weak $ω$-category)-enriched graph consisting of the same objects and for each pair of objects $x$ and $y$, a hom weak $ω$-category $\mathcal{A}(x,y)$. We also show that our construction is functorial with respect to weak $ω$-functors introduced by Garner.
△ Less
Submitted 31 October, 2021;
originally announced November 2021.
-
Reports on families of imaginary abelian fields with pseudo-null unramified Iwasawa modules
Authors:
Satoshi Fujii
Abstract:
Let $p$ be a prime number. We show that, there exists an infinite family of imaginary abelian fields such that, the Iwasawa module of the maximal multiple ${\Bbb Z}_p$-extension is non trivial and pseudo-null for each field in the family. We also discuss on an application to non-abelian Iwasawa theory in the sense of Ozaki.
Let $p$ be a prime number. We show that, there exists an infinite family of imaginary abelian fields such that, the Iwasawa module of the maximal multiple ${\Bbb Z}_p$-extension is non trivial and pseudo-null for each field in the family. We also discuss on an application to non-abelian Iwasawa theory in the sense of Ozaki.
△ Less
Submitted 23 July, 2021;
originally announced July 2021.
-
Quantaloidal Approach to Constraint Satisfaction
Authors:
Soichiro Fujii,
Yuni Iwamasa,
Kei Kimura
Abstract:
The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and polymorphisms, can be formulated abstractly inside the 2-category PFinSet of finite sets and sets of functions between them. The 2-category PFinSet is a quantaloid, and t…
▽ More
The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and polymorphisms, can be formulated abstractly inside the 2-category PFinSet of finite sets and sets of functions between them. The 2-category PFinSet is a quantaloid, and the formulation relies mainly on structure available in any quantaloid. This observation suggests a formal development of generalisations of the CSP and concomitant notions of polymorphism in a large class of quantaloids. We extract a class of optimisation problems as a special case, and show that their computational complexity can be classified by the associated notion of polymorphism.
△ Less
Submitted 3 November, 2022; v1 submitted 5 July, 2021;
originally announced July 2021.
-
Classification of generalized Yamabe solitons in Euclidean spaces
Authors:
Shunya Fujii,
Shun Maeta
Abstract:
In this paper, we consider generalized Yamabe solitons which include many notions, such as Yamabe solitons, almost Yamabe solitons, h-almost Yamabe solitons, gradient k-Yamabe solitons and conformal gradient solitons. We completely classify the generalized Yamabe solitons on hypersurfaces in Euclidean spaces arisen from the position vector field.
In this paper, we consider generalized Yamabe solitons which include many notions, such as Yamabe solitons, almost Yamabe solitons, h-almost Yamabe solitons, gradient k-Yamabe solitons and conformal gradient solitons. We completely classify the generalized Yamabe solitons on hypersurfaces in Euclidean spaces arisen from the position vector field.
△ Less
Submitted 17 January, 2021; v1 submitted 28 September, 2020;
originally announced September 2020.
-
Completeness and injectivity
Authors:
Soichiro Fujii
Abstract:
We show that for any quantale $\mathcal{Q}$, a $\mathcal{Q}$-category is skeletal and complete if and only if it is injective with respect to fully faithful $\mathcal{Q}$-functors. This is a special case of known theorems due to Hofmann and Stubbe, but we provide a different proof, using the characterisation of the MacNeille completion of a $\mathcal{Q}$-category as its injective envelope. For Law…
▽ More
We show that for any quantale $\mathcal{Q}$, a $\mathcal{Q}$-category is skeletal and complete if and only if it is injective with respect to fully faithful $\mathcal{Q}$-functors. This is a special case of known theorems due to Hofmann and Stubbe, but we provide a different proof, using the characterisation of the MacNeille completion of a $\mathcal{Q}$-category as its injective envelope. For Lawvere metric spaces, our results yield those of Kemajou, Künzi and Otafudu. We point out that their notion of Isbell convexity can be seen as a geometric formulation of categorical completeness for Lawvere metric spaces.
△ Less
Submitted 7 October, 2021; v1 submitted 10 May, 2020;
originally announced May 2020.
-
Introduction to universal algebra and clones
Authors:
Soichiro Fujii
Abstract:
The purpose of this note is to provide a gentle introduction to basic universal algebra and (abstract) clones.
The purpose of this note is to provide a gentle introduction to basic universal algebra and (abstract) clones.
△ Less
Submitted 23 April, 2020;
originally announced April 2020.
-
Enriched categories and tropical mathematics
Authors:
Soichiro Fujii
Abstract:
This is a survey paper on the connection of enriched category theory over a quantale and tropical mathematics. Quantales or complete idempotent semirings, as well as matrices with coefficients in them, are fundamental objects in both fields. We first explain standard category-theoretic constructions on matrices, namely composition, right extension, right lifting and the Isbell hull. Along the way,…
▽ More
This is a survey paper on the connection of enriched category theory over a quantale and tropical mathematics. Quantales or complete idempotent semirings, as well as matrices with coefficients in them, are fundamental objects in both fields. We first explain standard category-theoretic constructions on matrices, namely composition, right extension, right lifting and the Isbell hull. Along the way, we review known reformulations (due to Elliott and Willerton) of tropical polytopes, directed tight spans and the Legendre--Fenchel transform by means of these constructions, illustrating their ubiquity in tropical mathematics and related fields. We then consider complete semimodules over a quantale $\mathcal{Q}$, a tropical analogue of vector spaces over a field, and mention Stubbe's result identifying them with skeletal and complete $\mathcal{Q}$-categories. With the aim to bridge a gap between enriched category theory and tropical mathematics, we assume no knowledge in either field.
△ Less
Submitted 18 May, 2020; v1 submitted 17 September, 2019;
originally announced September 2019.
-
A unified framework for notions of algebraic theory
Authors:
Soichiro Fujii
Abstract:
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of universal algebra, such as theories of symmetric operads, non-symmetric operads, generalised operads, PROPs, PROs, and monads. These variants of universal algebra…
▽ More
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of universal algebra, such as theories of symmetric operads, non-symmetric operads, generalised operads, PROPs, PROs, and monads. These variants of universal algebra are called notions of algebraic theory. In this paper, we develop a unified framework for them. The key observation is that each notion of algebraic theory can be identified with a monoidal category, in such a way that algebraic theories correspond to monoid objects therein. To incorporate semantics, we introduce a categorical structure called metamodel, which formalises a definition of models of algebraic theories. We also define morphisms between notions of algebraic theory, which are a monoidal version of profunctors. Every strong monoidal functor gives rise to an adjoint pair of such morphisms, and provides a uniform method to establish isomorphisms between categories of models in different notions of algebraic theory. A general structure-semantics adjointness result and a double categorical universal property of categories of models are also shown.
△ Less
Submitted 27 November, 2019; v1 submitted 17 April, 2019;
originally announced April 2019.
-
A Categorical Approach to L-Convexity
Authors:
Soichiro Fujii
Abstract:
We investigate an enriched-categorical approach to a field of discrete mathematics. The main result is a duality theorem between a class of enriched categories (called $\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-categories) and that of what we call ($\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-) extended L-convex sets. We introduce extended L-convex sets as variants of certain discr…
▽ More
We investigate an enriched-categorical approach to a field of discrete mathematics. The main result is a duality theorem between a class of enriched categories (called $\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-categories) and that of what we call ($\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-) extended L-convex sets. We introduce extended L-convex sets as variants of certain discrete structures called L-convex sets and L-convex polyhedra, studied in the field of discrete convex analysis. We also introduce homomorphisms between extended L-convex sets. The theorem claims that there is a one to one correspondence (up to isomorphism) between two classes. The thesis also contains an introductory chapter on enriched categories and no categorical knowledge is assumed.
△ Less
Submitted 17 April, 2019;
originally announced April 2019.
-
A 2-Categorical Study of Graded and Indexed Monads
Authors:
Soichiro Fujii
Abstract:
In the study of computational effects, it is important to consider the notion of computational effects with parameters. The need of such a notion arises when, for example, statically estimating the range of effects caused by a program, or studying the ways in which effects with local scopes are derived from effects with only the global scope. Extending the classical observation that computational…
▽ More
In the study of computational effects, it is important to consider the notion of computational effects with parameters. The need of such a notion arises when, for example, statically estimating the range of effects caused by a program, or studying the ways in which effects with local scopes are derived from effects with only the global scope. Extending the classical observation that computational effects can be modeled by monads, these computational effects with parameters are modeled by various mathematical structures including graded monads and indexed monads, which are two different generalizations of ordinary monads. The former has been employed in the semantics of effect systems, whereas the latter in the study of the relationship between the local state monads and the global state monads, each exemplifying the two situations mentioned above. However, despite their importance, the mathematical theory of graded and indexed monads is far less developed than that of ordinary monads.
Here we develop the mathematical theory of graded and indexed monads from a 2-categorical viewpoint. We first introduce four 2-categories and observe that in two of them graded monads are in fact monads in the 2-categorical sense, and similarly indexed monads are monads in the 2-categorical sense in the other two. We then construct explicitly the Eilenberg--Moore and the Kleisli objects of graded monads, and the Eilenberg--Moore objects of indexed monads in the sense of Street in appropriate 2-categories among these four. The corresponding results for graded and indexed comonads also follow.
We expect that the current work will provide a theoretical foundation to a unified study of computational effects with parameters, or dually (using the comonad variants), of computational resources with parameters, arising for example in Bounded Linear Logic.
△ Less
Submitted 17 April, 2019;
originally announced April 2019.
-
Foundations of Algebraic Theories and Higher Dimensional Categories
Authors:
Soichiro Fujii
Abstract:
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of universal algebra, such as symmetric operads, non-symmetric operads, generalised operads, and monads. These variants of universal algebra are called notions of al…
▽ More
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of universal algebra, such as symmetric operads, non-symmetric operads, generalised operads, and monads. These variants of universal algebra are called notions of algebraic theory. In the first part of this thesis, we develop a unified framework for notions of algebraic theory which includes all of the above examples. Our key observation is that each notion of algebraic theory can be identified with a monoidal category, in such a way that theories correspond to monoid objects therein. We introduce a categorical structure called metamodel, which underlies the definition of models of theories. We also consider morphisms between notions of algebraic theory, which are a monoidal version of profunctors. Every strong monoidal functor gives rise to an adjoint pair of such morphisms, and provides a uniform way to establish isomorphisms between categories of models in different notions of algebraic theory. A general structure-semantics adjointness result and a double categorical universal property of categories of models are also shown.
In the second part of this thesis, we shift from the general study of algebraic structures, and focus on a particular algebraic structure: higher dimensional categories. Among several existing definitions of higher dimensional categories, we choose to look at the one proposed by Batanin and later refined by Leinster. We show that the notion of extensive category plays a central role in Batanin and Leinster's definition. Using this, we generalise their definition by allowing enrichment over any locally presentable extensive category.
△ Less
Submitted 17 March, 2019;
originally announced March 2019.
-
Moment maps and Isoparametric hypersurfaces in spheres --- Hermitian cases
Authors:
Shinobu Fujii,
Hiroshi Tamaru
Abstract:
We are studying a relationship between isoparametric hypersurfaces in spheres with four distinct principal curvatures and the moment maps of certain Hamiltonian actions. In this paper, we consider the isoparametric hypersurfaces obtained from the isotropy representations of compact irreducible Hermitian symmetric spaces of rank two. We prove that the Cartan-Münzner polynomials of these hypersurfac…
▽ More
We are studying a relationship between isoparametric hypersurfaces in spheres with four distinct principal curvatures and the moment maps of certain Hamiltonian actions. In this paper, we consider the isoparametric hypersurfaces obtained from the isotropy representations of compact irreducible Hermitian symmetric spaces of rank two. We prove that the Cartan-Münzner polynomials of these hypersurfaces can be written as squared-norms of the moment maps for some Hamiltonian actions. The proof is based on the structure theory of symmetric spaces.
△ Less
Submitted 23 October, 2012;
originally announced October 2012.
-
A Combinatorial Study on Quiver Varieties
Authors:
Shigeyuki Fujii,
Satoshi Minabe
Abstract:
This is an expository paper which has two parts. In the first part, we study quiver varieties of affine $A$-type from a combinatorial point of view. We present a combinatorial method for obtaining a closed formula for the generating function of Poincaré polynomials of quiver varieties in rank 1 cases. Our main tools are cores and quotients of Young diagrams. In the second part, we give a brief sur…
▽ More
This is an expository paper which has two parts. In the first part, we study quiver varieties of affine $A$-type from a combinatorial point of view. We present a combinatorial method for obtaining a closed formula for the generating function of Poincaré polynomials of quiver varieties in rank 1 cases. Our main tools are cores and quotients of Young diagrams. In the second part, we give a brief survey of instanton counting in physics, where quiver varieties appear as moduli spaces of instantons, focusing on its combinatorial aspects.
△ Less
Submitted 6 July, 2017; v1 submitted 21 October, 2005;
originally announced October 2005.
