Showing 1–50 of 135 results for author: Tanaka, H

Unitalities and map** spaces in $A_\infty$-categories

Authors: Hiro Lee Tanaka

Abstract: We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify various models for internal homs and map** spaces in the infinity-categories of dg-categories and of A-infinity--categories, generalizing results of Toën and… ▽ More We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify various models for internal homs and map** spaces in the infinity-categories of dg-categories and of A-infinity--categories, generalizing results of Toën and Faonte. △ Less

Submitted 7 July, 2024; originally announced July 2024.

Extremal problems for intersecting families of subspaces with a measure

Authors: Hajime Tanaka, Norihide Tokushige

Abstract: We introduce a measure for subspaces of a vector space over a $q$-element field, and propose some extremal problems for intersecting families. These are $q$-analogue of Erdős-Ko-Rado type problems, and we answer some of the basic questions. We introduce a measure for subspaces of a vector space over a $q$-element field, and propose some extremal problems for intersecting families. These are $q$-analogue of Erdős-Ko-Rado type problems, and we answer some of the basic questions. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: 20 pages

MSC Class: 05D05

Quasi-$F^e$-splittings and quasi-$F$-regularity

Authors: Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko

Abstract: We develop the theory of quasi-$F^e$-splittings, quasi-$F$-regularity, and quasi-$+$-regularity. We develop the theory of quasi-$F^e$-splittings, quasi-$F$-regularity, and quasi-$+$-regularity. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 90 pages. arXiv admin note: text overlap with arXiv:2208.08016

Weak quasi-$F$-splitting and del Pezzo varieties

Authors: Tatsuro Kawakami, Hiromu Tanaka

Abstract: We show that smooth del Pezzo varieties in positive characteristic are quasi-$F$-split. To this end, we introduce weak quasi-$F$-splitting and we prove that general ladders of smooth del Pezzo varieties are normal. We show that smooth del Pezzo varieties in positive characteristic are quasi-$F$-split. To this end, we introduce weak quasi-$F$-splitting and we prove that general ladders of smooth del Pezzo varieties are normal. △ Less

Submitted 9 May, 2024; v1 submitted 6 April, 2024; originally announced April 2024.

Comments: 45 pages, v2: new title, typos corrected

MSC Class: 14J45; 13A35

Global $F$-regularity for weak del Pezzo surfaces

Authors: Tatsuro Kawakami, Hiromu Tanaka

Abstract: Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ be a normal projective surface over $k$ with canonical singularities whose anti-canonical divisor is nef and big. We prove that $X$ is globally $F$-regular except for the following cases: (1) $K_X^2=4$ and $p=2$, (2) $K_X^2=3$ and $p \in \{2, 3\}$, (3) $K_X^2=2$ and $p \in \{2, 3\}$, (4) $K_X^2=1$ and $p \in \{2, 3, 5\}$. Fo… ▽ More Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ be a normal projective surface over $k$ with canonical singularities whose anti-canonical divisor is nef and big. We prove that $X$ is globally $F$-regular except for the following cases: (1) $K_X^2=4$ and $p=2$, (2) $K_X^2=3$ and $p \in \{2, 3\}$, (3) $K_X^2=2$ and $p \in \{2, 3\}$, (4) $K_X^2=1$ and $p \in \{2, 3, 5\}$. For each degree $K_X^2$, the assumption of $p$ is optimal. △ Less

Submitted 6 April, 2024; originally announced April 2024.

Comments: 17 pages

MSC Class: 14J45; 13A35

Vanishing theorems for Fano threefolds in positive characteristic

Authors: Tatsuro Kawakami, Hiromu Tanaka

Abstract: We prove that Kodaira vanishing holds for an arbitrary smooth Fano threefold in positive characteristic. To this end, we show that it is quasi-F-split when the Picard number or the Fano index is larger than one. We also establish Akizuki-Nakano vanishing for smooth Fano threefolds when the Picard number or the Fano index is larger than one, and therefore they lift to the ring of Witt vectors. We prove that Kodaira vanishing holds for an arbitrary smooth Fano threefold in positive characteristic. To this end, we show that it is quasi-F-split when the Picard number or the Fano index is larger than one. We also establish Akizuki-Nakano vanishing for smooth Fano threefolds when the Picard number or the Fano index is larger than one, and therefore they lift to the ring of Witt vectors. △ Less

Submitted 6 April, 2024; originally announced April 2024.

Comments: 61 pages

Choquet integrals, Hausdorff content and sparse operators

Authors: Naoya Hatano, Ryota Kawasumi, Hiroki Saito, Hitoshi Tanaka

Abstract: Let $H^d$, $0<d<n$, be the dyadic Hausdorff content of the $n$-dimensional Euclidean space ${\mathbb R}^n$. It is shown that $H^d$ counts a~Cantor set of the unit cube $[0, 1)^n$ as $\approx 1$, which implies unboundedness of the sparse operator ${\mathcal A}_{\mathcal S}$ on the Choquet space ${\mathcal L}^p(H^d)$, $p>0$. In this paper we verify that the sparse operator… ▽ More Let $H^d$, $0<d<n$, be the dyadic Hausdorff content of the $n$-dimensional Euclidean space ${\mathbb R}^n$. It is shown that $H^d$ counts a~Cantor set of the unit cube $[0, 1)^n$ as $\approx 1$, which implies unboundedness of the sparse operator ${\mathcal A}_{\mathcal S}$ on the Choquet space ${\mathcal L}^p(H^d)$, $p>0$. In this paper we verify that the sparse operator ${\mathcal A}_{\mathcal S}$ maps ${\mathcal L}^p(H^d)$, $1\le p<\infty$, into an associate space of Orlicz-Morrey space ${{\mathcal M}^{p'}_{Φ_0}(H^d)}'$, $Φ_0(t)=t\log(e+t)$. We also give another characterizations of those associate spaces using the tiling ${\mathcal T}$ of ${\mathbb R}^n$. △ Less

Submitted 16 October, 2023; originally announced October 2023.

MSC Class: 42B25

The rectangular fractional integral operators

Authors: Hitoshi Tanaka

Abstract: With rectangular doubling weight, a~generalized Hardy-Littlewood-Sobolev inequality for rectangular fractional integral operators is verified. The result is a~nice application of $M$-linear embedding theorem for dyadic rectangles. With rectangular doubling weight, a~generalized Hardy-Littlewood-Sobolev inequality for rectangular fractional integral operators is verified. The result is a~nice application of $M$-linear embedding theorem for dyadic rectangles. △ Less

Submitted 27 September, 2023; originally announced September 2023.

MSC Class: 42B25

Fano threefolds in positive characteristic IV

Authors: Hiromu Tanaka

Abstract: Based on classification results obtained in the former parts, we classify Fano threefolds of positive characteristic. Based on classification results obtained in the former parts, we classify Fano threefolds of positive characteristic. △ Less

Submitted 15 August, 2023; originally announced August 2023.

Comments: 123 pages

Fano threefolds in positive characteristic III

Authors: Masaya Asai, Hiromu Tanaka

Abstract: We classify primitive Fano threefolds in positive characteristic whose Picard numbers are at least two. We classify primitive Fano threefolds in positive characteristic whose Picard numbers are at least two. △ Less

Submitted 15 August, 2023; originally announced August 2023.

Comments: 80 pages

Fano threefolds in positive characteristic II

Authors: Hiromu Tanaka

Abstract: Let $X$ be a smooth Fano threefold over an algebraically closed field of positive characteristic. Assume that $|-K_X|$ is very ample and each of the index and the Picard number is equal to one. We prove that $3 \leq g \leq 12$ and $g \neq 11$ for the genus $g$ of $X$. Moreover, we show that there exists no smooth curve on $X$ along which the blowup is Fano. Let $X$ be a smooth Fano threefold over an algebraically closed field of positive characteristic. Assume that $|-K_X|$ is very ample and each of the index and the Picard number is equal to one. We prove that $3 \leq g \leq 12$ and $g \neq 11$ for the genus $g$ of $X$. Moreover, we show that there exists no smooth curve on $X$ along which the blowup is Fano. △ Less

Submitted 15 May, 2024; v1 submitted 15 August, 2023; originally announced August 2023.

Comments: 95 pages

Fano threefolds in positive characteristic I

Authors: Hiromu Tanaka

Abstract: Over an algebraically closed field of positive characteristic, we classify smooth Fano threefolds of Picard number one whose anti-canonical linear systems are not very ample. Furthermore, we also prove that an anti-canonically embedded Fano threefold of genus at least five is an intersection of quadrics. Over an algebraically closed field of positive characteristic, we classify smooth Fano threefolds of Picard number one whose anti-canonical linear systems are not very ample. Furthermore, we also prove that an anti-canonically embedded Fano threefold of genus at least five is an intersection of quadrics. △ Less

Submitted 9 January, 2024; v1 submitted 15 August, 2023; originally announced August 2023.

Comments: 64 pages

Discriminant divisors for conic bundles

Authors: Hiromu Tanaka

Abstract: We study some foundational properties on discriminant divisors for generically smooth conic bundles. In particular, we extend the formula $Δ_f \equiv -f_*K_{X/T}^2$ to arbitrary characteristics. We study some foundational properties on discriminant divisors for generically smooth conic bundles. In particular, we extend the formula $Δ_f \equiv -f_*K_{X/T}^2$ to arbitrary characteristics. △ Less

Submitted 12 May, 2024; v1 submitted 15 August, 2023; originally announced August 2023.

Comments: 54 pages

Elliptic sigularities and threefold flops in positive characteristic

Authors: Hiromu Tanaka

Abstract: Let $X$ be a smooth threefold over an algebraically closed field of positive characteristic. We prove that an arbitrary flop of $X$ is smooth. To this end, we study Gorenstein curves of genus one and two-dimensional elliptic singularities defined over imperfect fields. Let $X$ be a smooth threefold over an algebraically closed field of positive characteristic. We prove that an arbitrary flop of $X$ is smooth. To this end, we study Gorenstein curves of genus one and two-dimensional elliptic singularities defined over imperfect fields. △ Less

Submitted 15 August, 2023; originally announced August 2023.

Comments: 50 pages

Choquet integrals, Hausdorff content and fractional operators

Authors: Naoya Hatano, Ryota Kawasumi, Hiroki Saito, Hitoshi Tanaka

Abstract: It is shown that the fractional integral operator $I_α$, $0<α<n$, and the fractional maximal operator $M_α$, $0\leα<n$, are bounded on weak Choquet spaces with respect to Hausdorff content. We also investigate these operators on Choquet-Morrey spaces. These results are extensions of the previous works due to Adams, Orobitg and Verdera, and Tang. The results for the fractional integral operator… ▽ More It is shown that the fractional integral operator $I_α$, $0<α<n$, and the fractional maximal operator $M_α$, $0\leα<n$, are bounded on weak Choquet spaces with respect to Hausdorff content. We also investigate these operators on Choquet-Morrey spaces. These results are extensions of the previous works due to Adams, Orobitg and Verdera, and Tang. The results for the fractional integral operator $I_α$ are essentially new. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Comments: 12 pages

MSC Class: 42B25

Dimension estimates in nonconformal graph directed iterated function systems via asymptotic perturbation

Authors: Haruyoshi Tanaka

Abstract: We consider infinite graph-directed iterated function systems (GIFSs) whose contraction map**s are nonconformal. As our main result, we formulate asymptotic perturbations from conformal GIFSs to nonconformal GIFSs, and give the asymptotic behaviour of the Hausdorff dimension of the limit set of the perturbed system. We also investigate perturbed self-affine sets as special cases. We consider infinite graph-directed iterated function systems (GIFSs) whose contraction map**s are nonconformal. As our main result, we formulate asymptotic perturbations from conformal GIFSs to nonconformal GIFSs, and give the asymptotic behaviour of the Hausdorff dimension of the limit set of the perturbed system. We also investigate perturbed self-affine sets as special cases. △ Less

Submitted 20 July, 2023; originally announced July 2023.

Comments: 19 pages

MSC Class: 34E05; 37D35; 47A55

Spaces over BO are thickened manifolds

Authors: Hiro Lee Tanaka

Abstract: Consider the topologically enriched category of compact smooth manifolds (possibly with corners), with morphisms given by codimension zero smooth embeddings. Now formally identify any object X with its thickening X x [-1,1]. We prove that the resulting infinity-category of thickened smooth manifolds is equivalent to the infinity-category of finite spaces over BO. (This is one formalization of the… ▽ More Consider the topologically enriched category of compact smooth manifolds (possibly with corners), with morphisms given by codimension zero smooth embeddings. Now formally identify any object X with its thickening X x [-1,1]. We prove that the resulting infinity-category of thickened smooth manifolds is equivalent to the infinity-category of finite spaces over BO. (This is one formalization of the philosophy that embedding questions become homotopy-theoretic upon passage to higher dimensions.) The central tool is a geometric construction of pushouts in this infinity-category, carried out with an eye toward proving analogous results in exact symplectic geometry. Notably, the proof never invokes smooth approximation nor any h-principle. △ Less

Submitted 25 December, 2023; v1 submitted 18 July, 2023; originally announced July 2023.

Comments: Fixed minor typos and streamlined the proof to make no use of smooth approximation. 27 pages

Quasi-F-splittings in birational geometry II

Authors: Tatsuro Kawakami, Teppei Takamatsu, Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko, Shou Yoshikawa

Abstract: Over an algebraically closed field of characteristic $p>41$, we prove that three-dimensional $\mathbb Q$-factorial affine klt varieties are quasi-$F$-split. Furthermore, we show that the bound on the characteristic is optimal. Over an algebraically closed field of characteristic $p>41$, we prove that three-dimensional $\mathbb Q$-factorial affine klt varieties are quasi-$F$-split. Furthermore, we show that the bound on the characteristic is optimal. △ Less

Submitted 20 April, 2024; v1 submitted 26 February, 2023; originally announced February 2023.

Comments: 81 pages, typos in Notation 6.1 corrected, final version, to appear in Proceedings of the London Mathematical Society

MSC Class: 14E30; 13A35

Transcendency of the determinant of the Riemann operator: on higher $K$-groups

Authors: Nobushige Kurokawa, Hidekazu Tanaka

Abstract: In previous papers we investigated basic properties of the determinant $G_{K}(s)$ of the Riemann operator: ${\mathcal R}$ acting on $\bigoplus_{n>1} K_{n}(A)_{\mathbb{C}}$, where $A$ is the integer ring of an algebraic number field $K$. The function $G_{K}(s)$ is defined as the regularized determinant \[ G_{K}(s) = {\rm det} ((s I-\mathcal{R}) | \bigoplus_{n>1} K_{n}(A)_{\mathbb{C}} ) \] with… ▽ More In previous papers we investigated basic properties of the determinant $G_{K}(s)$ of the Riemann operator: ${\mathcal R}$ acting on $\bigoplus_{n>1} K_{n}(A)_{\mathbb{C}}$, where $A$ is the integer ring of an algebraic number field $K$. The function $G_{K}(s)$ is defined as the regularized determinant \[ G_{K}(s) = {\rm det} ((s I-\mathcal{R}) | \bigoplus_{n>1} K_{n}(A)_{\mathbb{C}} ) \] with $\mathcal{R} | K_{n}(A)_{\mathbb{C}} = \frac{1-n}{2}$. We showed that $G_{K}(s)^{-1}$ is essentially the so called gamma factors of Dedekind zeta function of $K$. In this paper we study the transcendency of $G_{K}(s)$ for some rational numbers $s$. The result depends on types of $K$. For example, we show that $G_{K}(\frac{1}{3})$ is a transcendental number if $K$ is a totally imaginary and $G_{K}(\frac{1}{2})$ is a transcendental number otherwise. △ Less

Submitted 11 October, 2022; v1 submitted 10 October, 2022; originally announced October 2022.

Comments: 10 pages

Determinants of Riemann operators on Quillen's higher $K$-groups: periodicity

Authors: Nobushige Kurokawa, Hidekazu Tanaka

Abstract: In a previous paper [KT] we introduced determinant of the Riemann operator on Quillen's higher $K$-groups of the integer ring of an algebraic number field $K$. We showed that the determinant expresses essentially the inverse of the so called gamma factor of Dedekind zeta function of $K$. Here we study the periodicity of determinant. This comes from the famous "periodicity" of higher $K$ groups.… ▽ More In a previous paper [KT] we introduced determinant of the Riemann operator on Quillen's higher $K$-groups of the integer ring of an algebraic number field $K$. We showed that the determinant expresses essentially the inverse of the so called gamma factor of Dedekind zeta function of $K$. Here we study the periodicity of determinant. This comes from the famous "periodicity" of higher $K$ groups. This periodicity is analogous to Euler's periodicity of gamma function $Γ(x+1)=xΓ(x)$. We investigate the "reflection formula" corresponding to Euler's reflection formula $Γ(x)Γ(1-x)=\fracπ{\sin(πx)}$ also. △ Less

Submitted 2 October, 2022; v1 submitted 28 September, 2022; originally announced September 2022.

Comments: 6 pages

Riemann operators on higher $K$-groups

Authors: Nobushige Kurokawa, Hidekazu Tanaka

Abstract: We introduce Riemann operators acting on Quillen's higher $K$--groups $K_{n}(A)$ for the integer ring $A$ of an algebraic number field $K$. Especially we prove that gamma factors of Dedekind zeta function of $K$ are obtained as regularized determinants of Riemann operators. We introduce Riemann operators acting on Quillen's higher $K$--groups $K_{n}(A)$ for the integer ring $A$ of an algebraic number field $K$. Especially we prove that gamma factors of Dedekind zeta function of $K$ are obtained as regularized determinants of Riemann operators. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Comments: 7 pages

Variations on theorems of Mertens

Authors: Nobushige Kurokawa, Hidekazu Tanaka

Abstract: We present variations on theorems of Mertens as special cases of Density Hypothesis. Moreover, we study a Serre's estimate concerning Lang-Weil estimate. We present variations on theorems of Mertens as special cases of Density Hypothesis. Moreover, we study a Serre's estimate concerning Lang-Weil estimate. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Comments: 12 pages

Characterizing graphs with fully positive semidefinite $Q$-matrices

Authors: Hajime Tanaka

Abstract: For $q\in\mathbb{R}$, the $Q$-matrix $Q=Q_q$ of a connected simple graph $G=(V,E)$ is $Q_q=(q^{\partial(x,y)})_{x,y\in V}$, where $\partial$ denotes the path-length distance. Describing the set $π(G)$ consisting of those $q\in \mathbb{R}$ for which $Q_q$ is positive semidefinite is fundamental in asymptotic spectral analysis of graphs from the viewpoint of quantum probability theory. Assume that… ▽ More For $q\in\mathbb{R}$, the $Q$-matrix $Q=Q_q$ of a connected simple graph $G=(V,E)$ is $Q_q=(q^{\partial(x,y)})_{x,y\in V}$, where $\partial$ denotes the path-length distance. Describing the set $π(G)$ consisting of those $q\in \mathbb{R}$ for which $Q_q$ is positive semidefinite is fundamental in asymptotic spectral analysis of graphs from the viewpoint of quantum probability theory. Assume that $G$ has at least two vertices. Then $π(G)$ is easily seen to be a nonempty closed subset of the interval $[-1,1]$. In this note, we show that $π(G)=[-1,1]$ if and only if $G$ is isometrically embeddable into a hypercube (infinite-dimensional if $G$ is infinite) if and only if $G$ is bipartite and does not possess certain five-vertex configurations, an example of which is an induced $K_{2,3}$. △ Less

Submitted 20 April, 2023; v1 submitted 23 August, 2022; originally announced August 2022.

Comments: 6 pages

MSC Class: 05C50; 05C12; 43A35

Journal ref: Linear Algebra Appl. 671 (2023) 59-66

Kawamata-Viehweg vanishing for toric varieties

Authors: Hiromu Tanaka

Abstract: Given a boundary divisor $B$ on a projective toric variety $X$ such that $(X, B)$ is klt, we establish the Kawamata-Viehweg vanishing theorem for $(X, B)$. Given a boundary divisor $B$ on a projective toric variety $X$ such that $(X, B)$ is klt, we establish the Kawamata-Viehweg vanishing theorem for $(X, B)$. △ Less

Submitted 25 September, 2023; v1 submitted 20 August, 2022; originally announced August 2022.

Comments: 21 pages

Quasi-F-splittings in birational geometry

Authors: Tatsuro Kawakami, Teppei Takamatsu, Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko, Shou Yoshikawa

Abstract: We develop the theory of quasi-$F$-splittings in the context of birational geometry. Amongst other things, we obtain results on liftability of sections and establish a criterion for whether a scheme is quasi-$F$-split employing the higher Cartier operator. As one of the applications of our theory, we prove that three-dimensional klt singularities in large characteristic are quasi-$F$-split, and so… ▽ More We develop the theory of quasi-$F$-splittings in the context of birational geometry. Amongst other things, we obtain results on liftability of sections and establish a criterion for whether a scheme is quasi-$F$-split employing the higher Cartier operator. As one of the applications of our theory, we prove that three-dimensional klt singularities in large characteristic are quasi-$F$-split, and so, in particular, they lift modulo $p^2$. △ Less

Submitted 16 August, 2022; originally announced August 2022.

Comments: 81 pages

MSC Class: 14E30; 13A35

Contraction images of toric varieties

Authors: Hiromu Tanaka

Abstract: Let $f:X \to Y$ be a proper morphism of normal varieties with $f_*\mathcal{O}_X = \mathcal{O}_Y$. If $X$ is toric, then $Y$ is toric and $f$ is a toric morphism for some toric structures on $X$ and $Y$. Let $f:X \to Y$ be a proper morphism of normal varieties with $f_*\mathcal{O}_X = \mathcal{O}_Y$. If $X$ is toric, then $Y$ is toric and $f$ is a toric morphism for some toric structures on $X$ and $Y$. △ Less

Submitted 25 September, 2023; v1 submitted 2 August, 2022; originally announced August 2022.

Comments: This preprint has been withdrawn by the author, because the main theorem is included another preprint by the author: arXiv:2208.09680

Bertini theorems admitting base changes

Authors: Hiromu Tanaka

Abstract: Given a base point free linear system on an algebraic variety, many classes of singularities are stable under taking suitable members after enlarging the base field. We establish analogous results when the base ring is an excellent ring. Given a base point free linear system on an algebraic variety, many classes of singularities are stable under taking suitable members after enlarging the base field. We establish analogous results when the base ring is an excellent ring. △ Less

Submitted 9 August, 2023; v1 submitted 30 July, 2022; originally announced August 2022.

Comments: 53 pages, v2:minor revisions, v3:minor revisions

Quasi-compactness of transfer operators for topological Markov shifts with holes

Authors: Haruyoshi Tanaka

Abstract: We consider transfer operators for topological Markov shift (TMS) with countable states and with holes which are $2$-cylinders. As main results, if the closed system of the shift has finitely irreducible transition matrix and the potential is a weaker Lipschitz continuous and summable, then we obtain a version of Ruelle-Perron-Frobenius Theorem and quasi-compactness of the associated Ruelle transf… ▽ More We consider transfer operators for topological Markov shift (TMS) with countable states and with holes which are $2$-cylinders. As main results, if the closed system of the shift has finitely irreducible transition matrix and the potential is a weaker Lipschitz continuous and summable, then we obtain a version of Ruelle-Perron-Frobenius Theorem and quasi-compactness of the associated Ruelle transfer operator. The escape rate of the open system is also calculated. In corollary, it turns out that the Ruelle operator of summable potential on topologically transitive TMS has a spectral gap property. As other example, we apply the main results to the transfer operators associated to graph iterated function systems. △ Less

Submitted 27 March, 2024; v1 submitted 17 July, 2022; originally announced July 2022.

Comments: To appear in Discrete and Continuous Dynamical Systems

MSC Class: 37C30; 37B10; 37D35; 47A55

General asymptotic perturbation theory in transfer operators

Authors: Haruyoshi Tanaka

Abstract: We study higher-order asymptotic expansions of eigenvalues in perturbed transfer operators, of the corresponding eigenfunctions and of the corresponding eigenvectors of the dual operators. In our main result, we give explicit expressions of these coefficients and these remainders under mild conditions of linear operators and of (there is even no norm) linear spaces. Moreover we investigate suffici… ▽ More We study higher-order asymptotic expansions of eigenvalues in perturbed transfer operators, of the corresponding eigenfunctions and of the corresponding eigenvectors of the dual operators. In our main result, we give explicit expressions of these coefficients and these remainders under mild conditions of linear operators and of (there is even no norm) linear spaces. Moreover we investigate sufficient conditions for convergence of the remainders under weak conditions in the sense that the eigenvalue of perturbed operators does not have a uniform spectrum gap. As our main application, we apply our result to the asymptotic behaviour of Gibbs measures associated with the Hausdorff dimension of the limit set of the so-called graph directed Markov systems. Moreover, we demonstrate the asymptotic behaviours of Ruelle transfer operators without a uniform spectral gap. In another example, we mention that the conditions of our main results are satisfied under the conditions of abstract asymptotic theory given by Gouëzel and Liverani and under mild conditions. △ Less

Submitted 25 May, 2022; originally announced May 2022.

MSC Class: 47A55 (Primary) 37D35 (Secondary)

The real equiangular tight frames obtained from rank $3$ graphs

Authors: Eiichi Bannai, Etsuko Bannai, Chin-Yen Lee, Hajime Tanaka, Wei-Hsuan Yu

Abstract: We present all nontrivial real equiangular tight frames $\{\varphi_m\}_{m=1}^M$ in $\mathbb{R}^N$ obtained as spherical embeddings of primitive rank $3$ graphs on $M$ vertices, and those such that one of their associated $M$ strongly regular graphs on $M-1$ vertices is a primitive rank $3$ graph. We present all nontrivial real equiangular tight frames $\{\varphi_m\}_{m=1}^M$ in $\mathbb{R}^N$ obtained as spherical embeddings of primitive rank $3$ graphs on $M$ vertices, and those such that one of their associated $M$ strongly regular graphs on $M-1$ vertices is a primitive rank $3$ graph. △ Less

Submitted 7 April, 2024; v1 submitted 20 February, 2022; originally announced February 2022.

Comments: 11 pages

MSC Class: 42C15; 20B15; 05E30; 05C50

Tower-Complete Problems in Contraction-Free Substructural Logics

Authors: Hiromi Tanaka

Abstract: We investigate the non-elementary computational complexity of a family of substructural logics without contraction. With the aid of the technique pioneered by Lazić and Schmitz (2015), we show that the deducibility problem for full Lambek calculus with exchange and weakening ($\mathbf{FL}_{\mathbf{ew}}$) is not in Elementary (i.e., the class of decision problems that can be decided in time bounded… ▽ More We investigate the non-elementary computational complexity of a family of substructural logics without contraction. With the aid of the technique pioneered by Lazić and Schmitz (2015), we show that the deducibility problem for full Lambek calculus with exchange and weakening ($\mathbf{FL}_{\mathbf{ew}}$) is not in Elementary (i.e., the class of decision problems that can be decided in time bounded by an elementary recursive function), but is in PR (i.e., the class of decision problems that can be decided in time bounded by a primitive recursive function). More precisely, we show that this problem is complete for Tower, which is a non-elementary complexity class forming a part of the fast-growing complexity hierarchy introduced by Schmitz (2016). The same complexity result holds even for deducibility in BCK-logic, i.e., the implicational fragment of $\mathbf{FL}_{\mathbf{ew}}$. We furthermore show the Tower-completeness of the provability problem for elementary affine logic, which was proved to be decidable by Dal Lago and Martini (2004). △ Less

Submitted 20 November, 2022; v1 submitted 7 January, 2022; originally announced January 2022.

Comments: The full version of the paper accepted to CSL 2023

Spatial Search on Johnson Graphs by Discrete-Time Quantum Walk

Authors: Hajime Tanaka, Mohamed Sabri, Renato Portugal

Abstract: The spatial search problem aims to find a marked vertex of a finite graph using a dynamic with two constraints: (1) The walker has no compass and (2) the walker can check whether a vertex is marked only after reaching it. This problem is a generalization of unsorted database search and has many applications to algorithms. Classical algorithms that solve the spatial search problem are based on rand… ▽ More The spatial search problem aims to find a marked vertex of a finite graph using a dynamic with two constraints: (1) The walker has no compass and (2) the walker can check whether a vertex is marked only after reaching it. This problem is a generalization of unsorted database search and has many applications to algorithms. Classical algorithms that solve the spatial search problem are based on random walks and the computational complexity is determined by the hitting time. On the other hand, quantum algorithms are based on quantum walks and the computational complexity is determined not only by the number of steps to reach a marked vertex, but also by the success probability, since we need to perform a measurement at the end of the algorithm to determine the walker's position. In this work, we address the spatial search problem on Johnson graphs using the coined quantum walk model. Since Johnson graphs are vertex- and distance-transitive, we have found an invariant subspace of the Hilbert space, which aids in the calculation of the computational complexity. We have shown that, for every fixed diameter, the asymptotic success probability is $1/2$ after taking $π\sqrt N/(2\sqrt 2)$ steps, where $N$ is the number of vertices of the Johnson graph. △ Less

Submitted 7 December, 2021; originally announced December 2021.

Comments: 15 pages

Journal ref: Journal of Physics A: Mathematical and Theoretical, Vol.55, 255304, 2022

A duality of scaffolds for translation association schemes

Authors: Xiaoye Liang, Ying-Ying Tan, Hajime Tanaka, Tao Wang

Abstract: Scaffolds are certain tensors arising in the study of association schemes, and have been (implicitly) understood diagrammatically as digraphs with distinguished "root" nodes and with matrix edge weights, often taken from Bose-Mesner algebras. In this paper, we first present a slight modification of Martin's conjecture (2021) concerning a duality of scaffolds whose digraphs are embedded in a closed… ▽ More Scaffolds are certain tensors arising in the study of association schemes, and have been (implicitly) understood diagrammatically as digraphs with distinguished "root" nodes and with matrix edge weights, often taken from Bose-Mesner algebras. In this paper, we first present a slight modification of Martin's conjecture (2021) concerning a duality of scaffolds whose digraphs are embedded in a closed disk in the plane with root nodes all lying on the boundary circle, and then show that this modified conjecture holds true if we restrict ourselves to the class of translation association schemes, i.e., those association schemes that admit abelian regular automorphism groups. △ Less

Submitted 16 December, 2021; v1 submitted 29 October, 2021; originally announced October 2021.

Comments: 13 pages

MSC Class: 05E30; 15A69; 05C20; 05C10

Journal ref: Linear Algebra Appl. 638 (2022) 110-124

The infinity-category of stabilized Liouville sectors

Authors: Oleg Lazarev, Zachary Sylvan, Hiro Lee Tanaka

Abstract: We prove the surprising fact that the infinity-category of stabilized Liouville sectors is a localization of an ordinary category of stabilized Liouville sectors and strict sectorial embeddings. From the perspective of homotopy theory, this result continues a trend of realizing geometrically meaningful map** spaces through the categorically formal process of localizing. From the symplectic viewp… ▽ More We prove the surprising fact that the infinity-category of stabilized Liouville sectors is a localization of an ordinary category of stabilized Liouville sectors and strict sectorial embeddings. From the perspective of homotopy theory, this result continues a trend of realizing geometrically meaningful map** spaces through the categorically formal process of localizing. From the symplectic viewpoint, these results allow us to reduce highly non-trivial coherence results to much simpler verifications. For example, we prove that the wrapped Fukaya category is coherently functorial on stabilized Liouville sectors: Not only does a wrapped category receive a coherent action from stabilized automorphism spaces of a Liouville sector, spaces of sectorial embeddings map to spaces of functors between wrapped categories in a way respecting composition actions. As a consequence, we observe that wrapped Floer theory for sectors works in families. As we will explain, our methods immediately establish such coherence results for most known sectorial invariants, including Lagrangian cobordisms. As another application, we show that this infinity-category admits a symmetric monoidal structure, given by direct product of underlying sectors. The existence of this structure relies on a computation--familiar from the foundations of factorization homology--that localizations detect certain isotopies of smooth manifolds. Moreover, we characterize the symmetric monoidal structure using a universal property, again producing a simple-as-possible criterion for verifying whether invariants are both continuously and multiplicatively coherent in a compatible way. △ Less

Submitted 27 October, 2022; v1 submitted 22 October, 2021; originally announced October 2021.

Comments: (1) Added discussion in Section 2.1 to explicate the definition of sector. (2) Corrected the definition of trivial inclusion to match Ganatra-Pardon-Shende's work. (3) Added Section 3.4 for more background on marked simplicial sets. (4) Added Sections 5.3 and 5.4. (5) Corrected Section 10. (6) Added Section 12, proving one can localize along various morphisms to yield the same infinity-category

Localization and flexibilization in symplectic geometry

Authors: Oleg Lazarev, Zachary Sylvan, Hiro Lee Tanaka

Abstract: We introduce the critical Weinstein category -- the result of stabilizing the category of Weinstein sectors and inverting subcritical morphisms -- and for every finite collection $P$ of prime numbers, construct a $P$-flexibilization endofunctor. Our main result is that $P$-flexibilization is a localization of the critical Weinstein category, allowing us to characterize the essential image of the e… ▽ More We introduce the critical Weinstein category -- the result of stabilizing the category of Weinstein sectors and inverting subcritical morphisms -- and for every finite collection $P$ of prime numbers, construct a $P$-flexibilization endofunctor. Our main result is that $P$-flexibilization is a localization of the critical Weinstein category, allowing us to characterize the essential image of the endofunctor by a universal property. This localization has the effect of replacing every Weinstein sector with one in which $P$ is invertible in the wrapped Fukaya category and hence we view it as a symplectic analogue of topological localization. We prove that this construction generalizes the flexibilization operation introduced by Cieliebak-Eliashberg and Murphy and is a variant of the `homologous recombination' construction of Abouzaid-Seidel. In particular, we give an h-principle-free proof that flexibilization is idempotent and independent of presentation, up to subcriticals and stabilization. Moreover, we show that $P$-flexibilization is symmetric monoidal, and hence gives rise to a new way of constructing commutative algebra objects from symplectic geometry. Our constructions work more generally for any finite collection of regular Lagrangian disks in $T^*D^n$, where the corresponding endofunctor in particular nullifies those disks as objects in the wrapped Fukaya category. △ Less

Submitted 27 October, 2022; v1 submitted 13 September, 2021; originally announced September 2021.

Comments: Restructured introduction to improve exposition, gave greater detail on how to construct Weinstein structures on movies, and streamlined discussion of definitions

Spatial Search on Johnson Graphs by Continuous-Time Quantum Walk

Authors: Hajime Tanaka, Mohamed Sabri, Renato Portugal

Abstract: Spatial search on graphs is one of the most important algorithmic applications of quantum walks. To show that a quantum-walk-based search is more efficient than a random-walk-based search is a difficult problem, which has been addressed in several ways. Usually, graph symmetries aid in the calculation of the algorithm's computational complexity, and Johnson graphs are an interesting class regardin… ▽ More Spatial search on graphs is one of the most important algorithmic applications of quantum walks. To show that a quantum-walk-based search is more efficient than a random-walk-based search is a difficult problem, which has been addressed in several ways. Usually, graph symmetries aid in the calculation of the algorithm's computational complexity, and Johnson graphs are an interesting class regarding symmetries because they are regular, Hamilton-connected, vertex- and distance-transitive. In this work, we show that spatial search on Johnson graphs by continuous-time quantum walk achieves the Grover lower bound $π\sqrt{N}/2$ with success probability $1$ asymptotically for every fixed diameter, where $N$ is the number of vertices. The proof is mathematically rigorous and can be used for other graph classes. △ Less

Submitted 4 August, 2021; originally announced August 2021.

Comments: 12 pages

Journal ref: Quantum Inf Process 21, 74 (2022)

Scaling Limits for the Gibbs States on Distance-Regular Graphs with Classical Parameters

Authors: Masoumeh Koohestani, Nobuaki Obata, Hajime Tanaka

Abstract: We determine the possible scaling limits in the quantum central limit theorem with respect to the Gibbs state, for a growing distance-regular graph that has so-called classical parameters with base unequal to one. We also describe explicitly the corresponding weak limits of the normalized spectral distribution of the adjacency matrix. We demonstrate our results with the known infinite families of… ▽ More We determine the possible scaling limits in the quantum central limit theorem with respect to the Gibbs state, for a growing distance-regular graph that has so-called classical parameters with base unequal to one. We also describe explicitly the corresponding weak limits of the normalized spectral distribution of the adjacency matrix. We demonstrate our results with the known infinite families of distance-regular graphs having classical parameters and with unbounded diameter. △ Less

Submitted 26 November, 2021; v1 submitted 28 June, 2021; originally announced June 2021.

MSC Class: 46L53; 60F05; 05E30

Journal ref: SIGMA 17 (2021), 104, 22 pages

Infinite products of absolute zeta functions

Authors: Nobushige Kurokawa, Hidekazu Tanaka

Abstract: We study some infinite products of absolute zeta functions. Especially, we consider the convergence and the rationality of them. We study some infinite products of absolute zeta functions. Especially, we consider the convergence and the rationality of them. △ Less

Submitted 17 June, 2021; v1 submitted 8 June, 2021; originally announced June 2021.

Asymptotic solution of Bowen equation for perturbed potentials on shift spaces with countable states

Authors: Haruyoshi Tanaka

Abstract: We study the asymptotic solution of the equation of the pressure function $s\mapsto P(s\varphi(ε,\cdot)+ψ(ε,\cdot))$ for perturbed potentials $\varphi(ε,\cdot)$ and $ψ(ε,\cdot)$ defined on the shift space with countable state space. In our main result, we give a sufficient condition for the solution $s=s(ε)$ of $P(s\varphi(ε,\cdot)+ψ(ε,\cdot))=0$ to have the $n$-order asymptotic expansion for the… ▽ More We study the asymptotic solution of the equation of the pressure function $s\mapsto P(s\varphi(ε,\cdot)+ψ(ε,\cdot))$ for perturbed potentials $\varphi(ε,\cdot)$ and $ψ(ε,\cdot)$ defined on the shift space with countable state space. In our main result, we give a sufficient condition for the solution $s=s(ε)$ of $P(s\varphi(ε,\cdot)+ψ(ε,\cdot))=0$ to have the $n$-order asymptotic expansion for the small parameter $ε$. In addition, we also obtain the case where the order of the expansion of the solution $s=s(ε)$ is less than the order of the expansion of the perturbed potentials. Our results can be applied to problems concerning asymptotic behaviors of Hausdorff dimensions obtained from Bowen formula: conformal graph directed Markov systems, an infinite graph directed systems with contractive infinitesimal similitudes map**s, and other concrete examples. △ Less

Submitted 11 November, 2020; originally announced November 2020.

Comments: 54 pages

MSC Class: 37F35; 37D35 (Primary) 47A55; 37C45 (Secondary)

The Terwilliger algebra of the twisted Grassmann graph: the thin case

Authors: Hajime Tanaka, Tao Wang

Abstract: The Terwilliger algebra $T(x)$ of a finite connected simple graph $Γ$ with respect to a vertex $x$ is the complex semisimple matrix algebra generated by the adjacency matrix $A$ of $Γ$ and the diagonal matrices $E_i^*(x)=\operatorname{diag}(v_i)$ $(i=0,1,2,\dots)$, where $v_i$ denotes the characteristic vector of the set of vertices at distance $i$ from $x$. The twisted Grassmann graph… ▽ More The Terwilliger algebra $T(x)$ of a finite connected simple graph $Γ$ with respect to a vertex $x$ is the complex semisimple matrix algebra generated by the adjacency matrix $A$ of $Γ$ and the diagonal matrices $E_i^*(x)=\operatorname{diag}(v_i)$ $(i=0,1,2,\dots)$, where $v_i$ denotes the characteristic vector of the set of vertices at distance $i$ from $x$. The twisted Grassmann graph $\tilde{J}_q(2D+1,D)$ discovered by Van Dam and Koolen in 2005 has two orbits of the automorphism group on its vertex set, and it is known that one of the orbits has the property that $T(x)$ is thin whenever $x$ is chosen from it, i.e., every irreducible $T(x)$-module $W$ satisfies $\dim E_i^*(x)W\leqslant 1$ for all $i$. In this paper, we determine all the irreducible $T(x)$-modules of $\tilde{J}_q(2D+1,D)$ for this "thin" case. △ Less

Submitted 20 September, 2020; originally announced September 2020.

Comments: 22 pages

MSC Class: 05E30; 16S50

Journal ref: Electron. J. Combin. 28 (2020) #P4.15

The Euler Product expressions of the absolute tensor products of the Dirichlet $L$-functions

Authors: Hidenori Tanaka

Abstract: In this paper, we calculate the absolute tensor square of the Dirichlet $L$-functions and show that it is expressed as an Euler product over pairs of primes. The method is to construct an equation to link primes to a series which has the factors of the absolute tensor product of the Dirichlet $ L $-functions. This study is a generalization of Akatsuka's theorem on the Riemann zeta function, and gi… ▽ More In this paper, we calculate the absolute tensor square of the Dirichlet $L$-functions and show that it is expressed as an Euler product over pairs of primes. The method is to construct an equation to link primes to a series which has the factors of the absolute tensor product of the Dirichlet $ L $-functions. This study is a generalization of Akatsuka's theorem on the Riemann zeta function, and gives a proof of Kurokawa's prediction proposed in 1992. △ Less

Submitted 11 September, 2020; v1 submitted 18 August, 2020; originally announced August 2020.

Comments: 35 pages

Tight relative $t$-designs on two shells in hypercubes, and Hahn and Hermite polynomials

Authors: Eiichi Bannai, Etsuko Bannai, Hajime Tanaka, Yan Zhu

Abstract: Relative $t$-designs in the $n$-dimensional hypercube $\mathcal{Q}_n$ are equivalent to weighted regular $t$-wise balanced designs, which generalize combinatorial $t$-$(n,k,λ)$ designs by allowing multiple block sizes as well as weights. Partly motivated by the recent study on tight Euclidean $t$-designs on two concentric spheres, in this paper we discuss tight relative $t$-designs in… ▽ More Relative $t$-designs in the $n$-dimensional hypercube $\mathcal{Q}_n$ are equivalent to weighted regular $t$-wise balanced designs, which generalize combinatorial $t$-$(n,k,λ)$ designs by allowing multiple block sizes as well as weights. Partly motivated by the recent study on tight Euclidean $t$-designs on two concentric spheres, in this paper we discuss tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells. We show under a mild condition that such a relative $t$-design induces the structure of a coherent configuration with two fibers. Moreover, from this structure we deduce that a polynomial from the family of the Hahn hypergeometric orthogonal polynomials must have only integral simple zeros. The Terwilliger algebra is the main tool to establish these results. By explicitly evaluating the behavior of the zeros of the Hahn polynomials when they degenerate to the Hermite polynomials under an appropriate limit process, we prove a theorem which gives a partial evidence that the non-trivial tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells are rare for large $t$. △ Less

Submitted 3 June, 2020; originally announced June 2020.

Comments: 37 pages

MSC Class: 05B30; 05E30; 33C45

Journal ref: Ars Math. Contemp. 22 (2022) #P2.01

Smooth constructions of homotopy-coherent actions

Authors: Yong-Geun Oh, Hiro Lee Tanaka

Abstract: We prove that, for nice classes of infinite-dimensional smooth groups G, natural constructions in smooth topology and symplectic topology yield homotopically coherent group actions of G. This yields a bridge between infinite-dimensional smooth groups and homotopy theory. The result relies on two computations: One showing that the diffeological homotopy groups of the Milnor classifying space BG a… ▽ More We prove that, for nice classes of infinite-dimensional smooth groups G, natural constructions in smooth topology and symplectic topology yield homotopically coherent group actions of G. This yields a bridge between infinite-dimensional smooth groups and homotopy theory. The result relies on two computations: One showing that the diffeological homotopy groups of the Milnor classifying space BG are naturally equivalent to the (continuous) homotopy groups, and a second showing that a particular strict category localizes to yield the homotopy type of BG. We then prove a result in symplectic geometry: These methods are applicable to the group of Liouville automorphisms of a Liouville sector. The present work is written with an eye toward [OT19], where our constructions show that higher homotopy groups of symplectic automorphism groups map to Fukaya-categorical invariants, and where we prove a conjecture of Teleman from the 2014 ICM in the Liouville and monotone settings. △ Less

Submitted 3 October, 2020; v1 submitted 12 March, 2020; originally announced March 2020.

Comments: 23 pages. Comments welcome! Portions of this work previously appeared in arXiv:1911.00349v2; that previous work has been split into multiple papers (including this one) to better explicate the ingredients

Journal ref: Algebr. Geom. Topol. 22 (2022) 1177-1216

Infinity-categorical universal properties of quotients and localizations of A-inifnity-categories

Authors: Yong-Geun Oh, Hiro Lee Tanaka

Abstract: We show that certain hands-on A-infinity-categorical constructions satisfy desirable universal properties in the infinity-category of A-infinity categories. For sufficiently cofibrant A-infinity categories, two models for quotients of A-infinity categories (as constructed by Lyubashenko-Manzyuk and Lyubashenko-Ovisienko), and a model for localizations (as used by Ganatra-Pardon-Shende), satisfy th… ▽ More We show that certain hands-on A-infinity-categorical constructions satisfy desirable universal properties in the infinity-category of A-infinity categories. For sufficiently cofibrant A-infinity categories, two models for quotients of A-infinity categories (as constructed by Lyubashenko-Manzyuk and Lyubashenko-Ovisienko), and a model for localizations (as used by Ganatra-Pardon-Shende), satisfy the relevant universal properties. We apply the results here in a companion work to prove a Liouville version of a conjecture of Teleman from the 2014 ICM. △ Less

Submitted 7 July, 2024; v1 submitted 12 March, 2020; originally announced March 2020.

Holomorphic curves and continuation maps in Liouville bundles

Authors: Yong-Geun Oh, Hiro Lee Tanaka

Abstract: We construct an unwrapped Floer theory for bundles of Liouville sectors. In particular, we construct a compatible collection of unwrapped Fukaya categories of fibers of a Liouville bundle, and prove that the two natural constructions of continuation maps in this setting behave compatibly. These constructions are exploited in [OT19] to construct homotopically coherent actions of Lie groups on wrapp… ▽ More We construct an unwrapped Floer theory for bundles of Liouville sectors. In particular, we construct a compatible collection of unwrapped Fukaya categories of fibers of a Liouville bundle, and prove that the two natural constructions of continuation maps in this setting behave compatibly. These constructions are exploited in [OT19] to construct homotopically coherent actions of Lie groups on wrapped Fukaya categories, thereby proving a conjecture from Teleman's 2014 ICM address. △ Less

Submitted 3 October, 2020; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: 44 pages, 4 figures. Comments welcome! Portions of this work previously appeared in arXiv:1911.00349v2; the previous work has been split into multiple papers to better exposit the ingredients

Decision Problems for Propositional Non-associative Linear Logic and Extensions

Authors: Hiromi Tanaka

Abstract: In our previous work, we proposed the logic obtained from full non-associative Lambek calculus by adding a sort of linear-logical modality. We call this logic non-associative non-commutative intuitionistic linear logic ($\mathbf{NACILL}$, for short). In this paper, we establish the decidability and undecidability results for various extensions of $\mathbf{NACILL}$. Regarding the decidability resul… ▽ More In our previous work, we proposed the logic obtained from full non-associative Lambek calculus by adding a sort of linear-logical modality. We call this logic non-associative non-commutative intuitionistic linear logic ($\mathbf{NACILL}$, for short). In this paper, we establish the decidability and undecidability results for various extensions of $\mathbf{NACILL}$. Regarding the decidability results, we show that the deducibility problems for several extensions of $\mathbf{NACILL}$ with the rule of left-weakening are decidable. Regarding the undecidability results, we show that the provability problems for all the extensions of non-associative non-commutative classical linear logic by the rules of contraction and exchange are undecidable. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Continuous and coherent actions on wrapped Fukaya categories

Authors: Yong-Geun Oh, Hiro Lee Tanaka

Abstract: We establish the continuous functoriality of wrapped Fukaya categories with respect to Liouville automorphisms, yielding a way to probe the homotopy type of the automorphism group of a Liouville sector. These methods prove Liouville and monotone cases of a conjecture of Teleman from the 2014 ICM. In the case of a cotangent bundle, we show that the Abouzaid equivalence between the wrapped category… ▽ More We establish the continuous functoriality of wrapped Fukaya categories with respect to Liouville automorphisms, yielding a way to probe the homotopy type of the automorphism group of a Liouville sector. These methods prove Liouville and monotone cases of a conjecture of Teleman from the 2014 ICM. In the case of a cotangent bundle, we show that the Abouzaid equivalence between the wrapped category and the infinity-category of local systems intertwines our action with the action of diffeomorphisms of the zero section. In particular, our methods yield a typically non-trivial map from the rational homotopy groups of Liouville automorphisms to the rational string topology algebra of the zero section. △ Less

Submitted 3 October, 2020; v1 submitted 1 November, 2019; originally announced November 2019.

Comments: 64 pages, 5 figures. Comments welcome!

On p-power freeness in positive characteristic

Authors: Hiromu Tanaka

Abstract: In this note, we study base point freeness up to taking p-power, which we will call p-power freeness. We first establish some criteria for p-power freeness as analogues of criteria for semi-ampleness. We then apply these results to three-dimensional birational geometry. In this note, we study base point freeness up to taking p-power, which we will call p-power freeness. We first establish some criteria for p-power freeness as analogues of criteria for semi-ampleness. We then apply these results to three-dimensional birational geometry. △ Less

Submitted 11 March, 2020; v1 submitted 24 July, 2019; originally announced July 2019.

Comments: 14 pages, v2: minor revisions

Cyclic structures and broken cycles

Authors: Hiro Lee Tanaka

Abstract: We introduce a new way to encode semicyclic structures using a stack of broken cycles. (We also prove an analogue for paracyclic structures.) This was motivated not only by higher algebra but also by Fukaya-categorical considerations. We also openly speculate about some Fukaya-categorical implications. For example, this stack sees moduli of stopped Liouville disks, and hence yields another platf… ▽ More We introduce a new way to encode semicyclic structures using a stack of broken cycles. (We also prove an analogue for paracyclic structures.) This was motivated not only by higher algebra but also by Fukaya-categorical considerations. We also openly speculate about some Fukaya-categorical implications. For example, this stack sees moduli of stopped Liouville disks, and hence yields another platform for gluing together Fukaya categories. We also see that Lagrangian cobordisms with multiple ends may not only serve to detect $K_0$ groups of Fukaya categories, but higher $K$-theory groups as well. Along the way, we include brief expositions of (i) basic techniques in infinity-categories and (ii) the translation between exit path categories and constructible sheaves. These may be of independent interest. △ Less

Submitted 7 July, 2019; originally announced July 2019.

Lectures on Factorization Homology, Infinity-Categories, and Topological Field Theories

Authors: Araminta Amabel, Artem Kalmykov, Lukas Müller, Hiro Lee Tanaka

Abstract: These are notes from an informal mini-course on factorization homology, infinity-categories, and topological field theories. The target audience was imagined to be graduate students who are not homotopy theorists. These are notes from an informal mini-course on factorization homology, infinity-categories, and topological field theories. The target audience was imagined to be graduate students who are not homotopy theorists. △ Less

Submitted 6 October, 2020; v1 submitted 28 June, 2019; originally announced July 2019.

Comments: Preprint of a book of the same title to be published 2021 by SpringerBriefs in Mathematical Physics, reproduced with permission of Springer International Publishing

Journal ref: SpringerBriefs in Mathematical Physics, 2021