Showing 1–50 of 76 results for author: Ueda, K

Homological mirror symmetry for Rabinowitz Fukaya categories of Milnor fibers of Brieskorn-Pham singularities

Authors: Yanki Lekili, Kazushi Ueda

Abstract: We discuss homological mirror symmetry for Rabinowitz Fukaya categories of Milnor fibers of invertible polynomials, and prove it for Brieskorn-Pham polynomials which are not of Calabi-Yau type. This allows a calculation of the Rabinowitz Floer homology of the Milnor fiber as the Hochschild homology of the dg category of equivariant matrix factorizations. We discuss homological mirror symmetry for Rabinowitz Fukaya categories of Milnor fibers of invertible polynomials, and prove it for Brieskorn-Pham polynomials which are not of Calabi-Yau type. This allows a calculation of the Rabinowitz Floer homology of the Milnor fiber as the Hochschild homology of the dg category of equivariant matrix factorizations. △ Less

Submitted 22 June, 2024; originally announced June 2024.

Comments: 19 pages

Compact moduli of marked noncommutative cubic surfaces

Authors: Tarig Abdelgadir, Shinnosuke Okawa, Kazushi Ueda

Abstract: We introduce a compact moduli scheme of marked noncommutative cubic surfaces as the GIT moduli scheme of relations of a quiver associated with a full strong exceptional collection on a cubic surface. It is a toric variety containing the configuration space of six points on a plane in general position as a locally closed subvariety, and birationally parametrizes a class of AS-regular $\mathbb{Z}$-a… ▽ More We introduce a compact moduli scheme of marked noncommutative cubic surfaces as the GIT moduli scheme of relations of a quiver associated with a full strong exceptional collection on a cubic surface. It is a toric variety containing the configuration space of six points on a plane in general position as a locally closed subvariety, and birationally parametrizes a class of AS-regular $\mathbb{Z}$-algebras. △ Less

Submitted 29 March, 2024; originally announced April 2024.

Comments: 29 pages

Moduli of K3 surfaces of degree 2 with four rational double points of type $D_4$

Authors: Kazushi Ueda

Abstract: We show that the Satake-Baily-Borel compactification of the moduli space of lattice polarized K3 surfaces parametrizing K3 surfaces of degree 2 with four rational double points of type $D_4$ is the projective 3-space. We also show that the corresponding graded ring of automorphic forms is generated by four elements of weight 2 and one element of weight 11 with one relation of weight 22. We show that the Satake-Baily-Borel compactification of the moduli space of lattice polarized K3 surfaces parametrizing K3 surfaces of degree 2 with four rational double points of type $D_4$ is the projective 3-space. We also show that the corresponding graded ring of automorphic forms is generated by four elements of weight 2 and one element of weight 11 with one relation of weight 22. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Comments: 11 pages

Degenerations of orbifold curves as noncommutative varieties

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

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

Submitted 26 January, 2024; originally announced January 2024.

Comments: 18 pages

A compact moduli of orbifold projective curves

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

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

Submitted 26 January, 2024; originally announced January 2024.

Comments: 11 pages

Error Distribution for One-Dimensional Stochastic Differential Equation Driven By Fractional Brownian Motion

Authors: Kento Ueda

Abstract: We can define the error distribution as the limiting distribution of the error between the solution $Y$ of a given stochastic differential equation (SDE) and its numerical approximation $\hat{Y}^{(m)}$, weighted by the convergence rate between the two. A goal when studying the error distribution is to provide a way of determination for error distributions for any SDE and numerical scheme that conv… ▽ More We can define the error distribution as the limiting distribution of the error between the solution $Y$ of a given stochastic differential equation (SDE) and its numerical approximation $\hat{Y}^{(m)}$, weighted by the convergence rate between the two. A goal when studying the error distribution is to provide a way of determination for error distributions for any SDE and numerical scheme that converge to the exact solution. By dividing the error into a main term and a remainder term in a particular way, the author shows that the remainder term can be negligible compared to the main term under certain suitable conditions. Under these conditions, deriving the error distribution reduces to deriving the limiting distribution of the main term. Even if the dimension is one, there are unsolved problems about the asymptotic behavior of the error when the SDE has a drift term and $0<H\leq 1/3$, but our result in the one-dimensional case can be adapted to any Hurst exponent. The main idea of the proof is to define a stochastic process $Y^{m, ρ}$ with the parameter $ρ$ interpolating between $Y$ and $\hat{Y}^{(m)}$ and to estimate the asymptotic expansion for it. Using this estimate, we determine the error distribution of the ($k$)-Milstein scheme and of the Crank-Nicholson scheme in unsolved cases. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Comments: 55 pages

MSC Class: 65C30

Arbitrarily weak head-on collision can induce annihilation -- The role of hidden instabilities

Authors: Yasumasa Nishiura, Takashi Teramoto, Kei-Ichi Ueda

Abstract: In this paper, we focus on annihilation dynamics for the head-on collision of traveling patterns. A representative and well-known example of annihilation is the one observed for 1-dimensional traveling pulses of the FitzHugh-Nagumo equations. In this paper, we present a new and completely different type of annihilation arising in a class of three-component reaction diffusion system. It is even cou… ▽ More In this paper, we focus on annihilation dynamics for the head-on collision of traveling patterns. A representative and well-known example of annihilation is the one observed for 1-dimensional traveling pulses of the FitzHugh-Nagumo equations. In this paper, we present a new and completely different type of annihilation arising in a class of three-component reaction diffusion system. It is even counterintuitive in the sense that the two traveling spots or pulses come together very slowly but do not merge, kee** some separation, and then they start to repel each other for a certain time. Finally, up and down oscillatory instability emerges and grows enough for patterns to become extinct eventually (see Figs. 1-3). There is a kind of hidden instability embedded in the traveling patterns, which causes the above annihilation dynamics. The hidden instability here turns out to be a codimension 2 singularity consisting of drift and Hopf (DH) instabilities, and there is a parameter regime emanating from the codimension 2 point in which a new type of annihilation is observed. The above scenario can be proved analytically up to the onset of annihilation by reducing it to a finite-dimensional system. Transition from preservation to annihilation is also discussed in this framework. △ Less

Submitted 10 June, 2023; originally announced June 2023.

Comments: 38 pages, 14 figures

MSC Class: 35B36; 35B57; 37L10; 92E20

Free energy model of emotional valence in dual-process perceptions

Authors: Hideyoshi Yanagisawa, Xiaoxiang Wu, Kazutaka Ueda, Takeo Kato

Abstract: An appropriate level of arousal induces positive emotions, and a high arousal potential may provoke negative emotions. To explain the effect of arousal on emotional valence, we propose a novel mathematical framework of arousal potential variations in the dual process of human cognition: automatic and controlled. A suitable mathematical formulation to explain the emotions in the dual process is sti… ▽ More An appropriate level of arousal induces positive emotions, and a high arousal potential may provoke negative emotions. To explain the effect of arousal on emotional valence, we propose a novel mathematical framework of arousal potential variations in the dual process of human cognition: automatic and controlled. A suitable mathematical formulation to explain the emotions in the dual process is still absent. Our model associates free energy with arousal potential and its variations to explain emotional valence. Decreasing and increasing free energy consequently induce positive and negative emotions, respectively. We formalize a transition from the automatic to the controlled process in the dual process as a change of Bayesian prior. Further, we model emotional valence using free energy increase (FI) when one tries changing one's Bayesian prior and its reduction (FR) when one succeeds in recognizing the same stimuli with a changed prior and define three emotions: "interest," "confusion," and "boredom" using the variations. The results of our mathematical analysis comparing various Gaussian model parameters reveals the following: 1) prediction error (PR) increases FR (representing "interest") when the first prior variance is greater than the second prior variance, 2) PR decreases FR when the first prior variance is less than the second prior variance, and 3) the distance between priors' means always increases FR. We also discuss the association of the outcomes with emotions in the controlled process. The proposed mathematical model provides a general framework for predicting and controlling emotional valence in the dual process that varies with viewpoint and stimuli, as well as for understanding the contradictions in the effects of arousal on the valence. △ Less

Submitted 21 October, 2022; v1 submitted 18 October, 2022; originally announced October 2022.

Journal ref: Neural Networks, 2023

On homological mirror symmetry for the complement of a smooth ample divisor in a K3 surface

Authors: Yanki Lekili, Kazushi Ueda

Abstract: We introduce a conjecture on homological mirror symmetry relating the symplectic topology of the complement of a smooth ample divisor in a K3 surface to algebraic geometry of type III degenerations, and prove it when the degree of the divisor is either 2 or 4. We introduce a conjecture on homological mirror symmetry relating the symplectic topology of the complement of a smooth ample divisor in a K3 surface to algebraic geometry of type III degenerations, and prove it when the degree of the divisor is either 2 or 4. △ Less

Submitted 11 November, 2021; originally announced November 2021.

Comments: 5 pages, 9 figures

The ring of modular forms for the even unimodular lattice of signature (2,18)

Authors: Atsuhira Nagano, Kazushi Ueda

Abstract: We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,18) is obtained from the invariant ring of $\mathrm{Sym}(\mathrm{Sym}^8(V) \oplus \mathrm{Sym}^{12}(V))$ with respect to the action of $\mathrm{SL}(V)$ by adding a Borcherds product of weight 132 with one relation of weight 264, where $V$ is a 2-dimensional $\mathbb{C}$-vector space. The proof is… ▽ More We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,18) is obtained from the invariant ring of $\mathrm{Sym}(\mathrm{Sym}^8(V) \oplus \mathrm{Sym}^{12}(V))$ with respect to the action of $\mathrm{SL}(V)$ by adding a Borcherds product of weight 132 with one relation of weight 264, where $V$ is a 2-dimensional $\mathbb{C}$-vector space. The proof is based on the study of the moduli space of elliptic K3 surfaces with a section. △ Less

Submitted 18 February, 2021; originally announced February 2021.

Comments: 5 pages. arXiv admin note: substantial text overlap with arXiv:2005.00231

Time-periodic measures, random periodic orbits, and the linear response for dissipative non-autonomous stochastic differential equations

Authors: Michal Branicki, Kenneth Uda

Abstract: We consider a class of dissipative stochastic differential equations (SDE's) with time-periodic coefficients in finite dimension, and the response of time-asymptotic probability measures induced by such SDE's to sufficiently regular, small perturbations of the underlying dynamics. Understanding such a response provides a systematic way to study changes of statistical observables in response to per… ▽ More We consider a class of dissipative stochastic differential equations (SDE's) with time-periodic coefficients in finite dimension, and the response of time-asymptotic probability measures induced by such SDE's to sufficiently regular, small perturbations of the underlying dynamics. Understanding such a response provides a systematic way to study changes of statistical observables in response to perturbations, and it is often very useful for sensitivity analysis, uncertainty quantification, and for improving probabilistic predictions of nonlinear dynamical systems, especially in high dimensions. Here, we are concerned with the linear response to small perturbations in the case when the time-asymptotic probability measures are time-periodic. First, we establish sufficient conditions for the existence of stable random time-periodic orbits generated by the underlying SDE. Ergodicity of time-periodic probability measures supported on these random periodic orbits is subsequently discussed. Then, we derive the so-called fluctuation-dissipation relations which allow to describe the linear response of statistical observables to small perturbations away from the time-periodic ergodic regime in a manner which only exploits the unperturbed dynamics. The results are formulated in an abstract setting but they apply to problems ranging from aspects of climate modelling, to molecular dynamics, to the study of approximation capacity of neural~networks and robustness of their estimates. △ Less

Submitted 31 December, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Journal ref: Res. Math. Sci., 8(42), 2021

AS-regular algebras from acyclic spherical helices

Authors: Shinnosuke Okawa, Kazushi Ueda

Abstract: We discuss a construction of AS-regular algebras from acyclic spherical helices, generalizing works of Bondal and Polishchuk [BP93] and Van den Bergh [VdB11]. We discuss a construction of AS-regular algebras from acyclic spherical helices, generalizing works of Bondal and Polishchuk [BP93] and Van den Bergh [VdB11]. △ Less

Submitted 15 July, 2020; originally announced July 2020.

Comments: 5 pages

The ring of modular forms of $\mathrm{O}(2,4;\mathbb{Z})$ with characters

Authors: Atsuhira Nagano, Kazushi Ueda

Abstract: We show that the ring of modular forms with characters for $\mathrm{O}(2,4;\mathbb{Z})$ is generated by forms of weights 4, 4, 6, 8, 10, 10, 12, and 30 with three relations of weights 8, 20, and 60. The proof is based on the study of a moduli space of K3 surfaces. We show that the ring of modular forms with characters for $\mathrm{O}(2,4;\mathbb{Z})$ is generated by forms of weights 4, 4, 6, 8, 10, 10, 12, and 30 with three relations of weights 8, 20, and 60. The proof is based on the study of a moduli space of K3 surfaces. △ Less

Submitted 14 November, 2020; v1 submitted 1 May, 2020; originally announced May 2020.

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

Homological mirror symmetry for Milnor fibers of simple singularities

Authors: Yanki Lekili, Kazushi Ueda

Abstract: We prove homological mirror symmetry for Milnor fibers of simple singularities in dimensions greater than one, which are among the log Fano cases of Conjecture 1.5 in arXiv:1806.04345. The proof is based on a relation between matrix factorizations and Calabi--Yau completions. As an application, we give an explicit computation of the Hochschild cohomology group of the derived $n$-preprojective alge… ▽ More We prove homological mirror symmetry for Milnor fibers of simple singularities in dimensions greater than one, which are among the log Fano cases of Conjecture 1.5 in arXiv:1806.04345. The proof is based on a relation between matrix factorizations and Calabi--Yau completions. As an application, we give an explicit computation of the Hochschild cohomology group of the derived $n$-preprojective algebra of a Dynkin quiver for any $n \geq 1$, and the symplectic cohomology group of the Milnor fiber of any simple singularity in any dimension greater than one. △ Less

Submitted 9 February, 2021; v1 submitted 15 April, 2020; originally announced April 2020.

Comments: 23 pages, revised following the suggestions of the referees

Lagrangian uncertainty quantification and information inequalities for stochastic flows

Authors: Michal Branicki, Kenneth Uda

Abstract: We develop a systematic information-theoretic framework for quantification and mitigation of error in probabilistic Lagrangian (i.e., path-based) predictions which are obtained from dynamical systems generated by uncertain (Eulerian) vector fields. This work is motivated by the desire to improve Lagrangian predictions in complex dynamical systems based either on analytically simplified or data-dri… ▽ More We develop a systematic information-theoretic framework for quantification and mitigation of error in probabilistic Lagrangian (i.e., path-based) predictions which are obtained from dynamical systems generated by uncertain (Eulerian) vector fields. This work is motivated by the desire to improve Lagrangian predictions in complex dynamical systems based either on analytically simplified or data-driven models. We derive a hierarchy of general information bounds on uncertainty in estimates of statistical observables $\mathbb{E}^ν[f]$, evaluated on trajectories of the approximating dynamical system, relative to the "true'' observables $\mathbb{E}^μ[f]$ in terms of certain $\varphi$-divergences, $\mathcal{D}_\varphi(μ\|ν)$, which quantify discrepancies between probability measures $μ$ associated with the original dynamics and their approximations $ν$. We then derive two distinct bounds on $\mathcal{D}_\varphi(μ\|ν)$ itself in terms of the Eulerian fields. This new framework provides a rigorous way for quantifying and mitigating uncertainty in Lagrangian predictions due to Eulerian model error. △ Less

Submitted 29 December, 2021; v1 submitted 21 May, 2019; originally announced May 2019.

Journal ref: SIAM/ASA J. Uncertain. Quant., 9(3):1242-1313, 2021

Moduli of noncommutative Hirzebruch surfaces

Authors: Izuru Mori, Shinnosuke Okawa, Kazushi Ueda

Abstract: We introduce three non-compact moduli stacks parametrizing noncommutative deformations of Hirzebruch surfaces; the first is the moduli stack of locally free sheaf bimodules of rank 2, which appears in the definition of noncommutative $\mathbb{P}^1$-bundle in the sense of Van den Bergh arXiv:math/0102005, the second is the moduli stack of relations of a quiver in the sense of arXiv:1411.7770, and t… ▽ More We introduce three non-compact moduli stacks parametrizing noncommutative deformations of Hirzebruch surfaces; the first is the moduli stack of locally free sheaf bimodules of rank 2, which appears in the definition of noncommutative $\mathbb{P}^1$-bundle in the sense of Van den Bergh arXiv:math/0102005, the second is the moduli stack of relations of a quiver in the sense of arXiv:1411.7770, and the third is the moduli stack of quadruples consisting of an elliptic curve and three line bundles on it. The main result of this paper shows that they are naturally birational to each other. We also give an Orlov-type semiorthogonal decomposition for noncommutative $\mathbb{P}^1$-bundles, an explicit classification of locally free sheaf bimodules of rank 2, and a noncommutative generalization of the (special) McKay correspondence as a derived equivalence for the cyclic group $\left\langle \frac{1}{d}(1,1) \right\rangle$. △ Less

Submitted 15 March, 2019; originally announced March 2019.

Comments: 34 pages

Dimer models and group actions

Authors: Akira Ishii, Álvaro Nolla de Celis, Kazushi Ueda

Abstract: We construct a consistent dimer model having the same symmetry as its characteristic polygon. This produces examples of non-commutative crepant resolutions of non-toric non-quotient Gorenstein singularities in dimension 3. We construct a consistent dimer model having the same symmetry as its characteristic polygon. This produces examples of non-commutative crepant resolutions of non-toric non-quotient Gorenstein singularities in dimension 3. △ Less

Submitted 27 November, 2023; v1 submitted 5 March, 2019; originally announced March 2019.

Comments: Final version. To appear in Math. Z

Averaging principle for stochastic differential equations in the random periodic regime

Authors: Kenneth Uda

Abstract: We present the validity of stochastic averaging principle for non-autonomous slow-fast stochastic differential equations (SDEs) whose fast motions admit random periodic solutions. Our investigation is motivated by some problems arising from multi-scale stochastic dynamical systems, where configurations are time dependent due to nonlinearity of the underlying vector fields and the onset of time dep… ▽ More We present the validity of stochastic averaging principle for non-autonomous slow-fast stochastic differential equations (SDEs) whose fast motions admit random periodic solutions. Our investigation is motivated by some problems arising from multi-scale stochastic dynamical systems, where configurations are time dependent due to nonlinearity of the underlying vector fields and the onset of time dependent random invariant sets. Averaging principle with respect to uniform ergodicity of the fast motion is no longer available in this scenario. Lyapunov second method together with synchronous coupling and strong Feller property of Markovian flows of SDEs are used to prove the ergodicity of time periodic measures of the fast motion on certain minimal Poincare section and consequently identify the averaging limit. △ Less

Submitted 8 December, 2018; originally announced December 2018.

Random periodic solutions and ergodicity for stochastic differential equations

Authors: Kenneth Uda, Huaizhong Zhao

Abstract: In this paper, we establish some sufficient conditions for the existence of stable random periodic solutions of stochastic differential equations and ergodicity in the random periodic regime. The techniques involve the existence of Lyapunov type function, using two-point generator of the stochastic flow map, strong Feller argument and weak convergence. In this paper, we establish some sufficient conditions for the existence of stable random periodic solutions of stochastic differential equations and ergodicity in the random periodic regime. The techniques involve the existence of Lyapunov type function, using two-point generator of the stochastic flow map, strong Feller argument and weak convergence. △ Less

Submitted 13 November, 2018; originally announced November 2018.

Measures of path-based nonlinear expansion rates and Lagrangian uncertainty in stochastic flows

Authors: Michal Branicki, Kenneth Uda

Abstract: We develop a probabilistic characterisation of trajectorial expansion rates in non-autonomous stochastic dynamical systems that can be defined over a finite time interval and used for the subsequent uncertainty quantification in Lagrangian (trajectory-based) predictions. These expansion rates are quantified via certain divergences (pre-metrics) between probability measures induced by the laws of t… ▽ More We develop a probabilistic characterisation of trajectorial expansion rates in non-autonomous stochastic dynamical systems that can be defined over a finite time interval and used for the subsequent uncertainty quantification in Lagrangian (trajectory-based) predictions. These expansion rates are quantified via certain divergences (pre-metrics) between probability measures induced by the laws of the stochastic flow associated with the underlying dynamics. We construct scalar fields of finite-time divergence/expansion rates, show their existence and space-time continuity for general stochastic flows. Combining these divergence rate fields with our 'information inequalities' derived in allows for quantification and mitigation of the uncertainty in path-based observables estimated from simplified models in a way that is amenable to algorithmic implementations, and it can be utilised in information-geometric analysis of statistical estimation and inference, as well as in a data-driven machine/deep learning of coarse-grained models. We also derive a link between the divergence rates and finite-time Lyapunov exponents for probability measures and for path-based observables. △ Less

Submitted 23 December, 2021; v1 submitted 17 October, 2018; originally announced October 2018.

Homological mirror symmetry for Milnor fibers via moduli of $A_\infty$-structures

Authors: Yanki Lekili, Kazushi Ueda

Abstract: We show that the base spaces of the semiuniversal unfoldings of some weighted homogeneous singularities can be identified with moduli spaces of $A_\infty$-structures on the trivial extension algebras of the endomorphism algebras of the tilting objects. The same algebras also appear in the Fukaya categories of their mirrors. Based on these identifications, we discuss applications to homological mir… ▽ More We show that the base spaces of the semiuniversal unfoldings of some weighted homogeneous singularities can be identified with moduli spaces of $A_\infty$-structures on the trivial extension algebras of the endomorphism algebras of the tilting objects. The same algebras also appear in the Fukaya categories of their mirrors. Based on these identifications, we discuss applications to homological mirror symmetry for Milnor fibers, and give a proof of homological mirror symmetry for an $n$-dimensional affine hypersurface of degree $n + 2$ and the double cover of the $n$-dimensional affine space branched along a degree $2n + 2$ hypersurface. Along the way, we also give a proof of a conjecture of Seidel from math/0206155 which may be of independent interest. △ Less

Submitted 18 March, 2022; v1 submitted 12 June, 2018; originally announced June 2018.

Comments: 49 pages. Accepted for publication by the Journal of Topology

Reconstruction of general elliptic K3 surfaces from their Gromov-Hausdorff limits

Authors: Kenji Hashimoto, Kazushi Ueda

Abstract: We show that a general elliptic K3 surface with a section is determined uniquely by its discriminant, which is a configuration of 24 points on the projective line. It follows that a general elliptic K3 surface with a section can be reconstructed from its Gromov-Hausdorff limit as the volume of the fiber goes to zero. We show that a general elliptic K3 surface with a section is determined uniquely by its discriminant, which is a configuration of 24 points on the projective line. It follows that a general elliptic K3 surface with a section can be reconstructed from its Gromov-Hausdorff limit as the volume of the fiber goes to zero. △ Less

Submitted 24 October, 2019; v1 submitted 4 May, 2018; originally announced May 2018.

Comments: 7 pages; v2: Revised reflecting comments of the referees and remarks by Remke Kloosterman

Potential functions on Grassmannians of planes and cluster transformations

Authors: Yuichi Nohara, Kazushi Ueda

Abstract: With a triangulation of a planar polygon with $n$ sides, one can associate an integrable system on the Grassmannian of 2-planes in an $n$-space. In this paper, we show that the potential functions of Lagrangian torus fibers of the integrable systems associated with different triangulations glue together by cluster transformations. We also prove that the cluster transformations coincide with the wa… ▽ More With a triangulation of a planar polygon with $n$ sides, one can associate an integrable system on the Grassmannian of 2-planes in an $n$-space. In this paper, we show that the potential functions of Lagrangian torus fibers of the integrable systems associated with different triangulations glue together by cluster transformations. We also prove that the cluster transformations coincide with the wall-crossing formula in Lagrangian intersection Floer theory. △ Less

Submitted 3 February, 2019; v1 submitted 13 November, 2017; originally announced November 2017.

Comments: 47 pages. v2: revised following referee's comments

Projective reconstruction in algebraic vision

Authors: Atsushi Ito, Makoto Miura, Kazushi Ueda

Abstract: We discuss the geometry of rational maps from a projective space of an arbitrary dimension to the product of projective spaces of lower dimensions induced by linear projections. In particular, we give an algebro-geometric variant of the projective reconstruction theorem by Hartley and Schaffalitzky [HS09]. We discuss the geometry of rational maps from a projective space of an arbitrary dimension to the product of projective spaces of lower dimensions induced by linear projections. In particular, we give an algebro-geometric variant of the projective reconstruction theorem by Hartley and Schaffalitzky [HS09]. △ Less

Submitted 11 November, 2019; v1 submitted 17 October, 2017; originally announced October 2017.

Comments: 15 pages

Journal ref: Can. Math. Bull. 63 (2020) 592-609

Derived equivalence and Grothendieck ring of varieties: the case of K3 surfaces of degree 12 and abelian varieties

Authors: Atsushi Ito, Makoto Miura, Shinnosuke Okawa, Kazushi Ueda

Abstract: In this paper, we discuss the problem of whether the difference $[X]-[Y]$ of the classes of a Fourier--Mukai pair $(X, Y)$ of smooth projective varieties in the Grothendieck ring of varieties is annihilated by some power of the class $\mathbb{L} = [ \mathbb{A}^1 ]$ of the affine line. We give an affirmative answer for Fourier--Mukai pairs of very general K3 surfaces of degree 12. On the other hand… ▽ More In this paper, we discuss the problem of whether the difference $[X]-[Y]$ of the classes of a Fourier--Mukai pair $(X, Y)$ of smooth projective varieties in the Grothendieck ring of varieties is annihilated by some power of the class $\mathbb{L} = [ \mathbb{A}^1 ]$ of the affine line. We give an affirmative answer for Fourier--Mukai pairs of very general K3 surfaces of degree 12. On the other hand, we prove that in each dimension greater than one, there exists an abelian variety such that the difference with its dual is not annihilated by any power of $\mathbb{L}$, thereby giving a negative answer to the problem. We also discuss variations of the problem. △ Less

Submitted 14 October, 2019; v1 submitted 26 December, 2016; originally announced December 2016.

Comments: 23 pages; v4: Added Section 7, Note, and references. Several changes here and there

$G_2$-Grassmannians and derived equivalences

Authors: Kazushi Ueda

Abstract: We prove the derived equivalence of a pair of non-compact Calabi-Yau 7-folds, which are the total spaces of certain rank 2 bundles on $G_2$-Grassmannians. The proof follows that of the derived equivalence of Calabi-Yau 3-folds in $G_2$-Grassmannians by Kuznetsov closely. We prove the derived equivalence of a pair of non-compact Calabi-Yau 7-folds, which are the total spaces of certain rank 2 bundles on $G_2$-Grassmannians. The proof follows that of the derived equivalence of Calabi-Yau 3-folds in $G_2$-Grassmannians by Kuznetsov closely. △ Less

Submitted 15 January, 2017; v1 submitted 26 December, 2016; originally announced December 2016.

Comments: 8 pages. v2: updated references

Residue mirror symmetry for Grassmannians

Authors: Bumsig Kim, Jeongseok Oh, Kazushi Ueda, Yutaka Yoshida

Abstract: Motivated by recent works on localizations in A-twisted gauged linear sigma models, we discuss a generalization of toric residue mirror symmetry to complete intersections in Grassmannians. Motivated by recent works on localizations in A-twisted gauged linear sigma models, we discuss a generalization of toric residue mirror symmetry to complete intersections in Grassmannians. △ Less

Submitted 25 December, 2019; v1 submitted 28 July, 2016; originally announced July 2016.

Comments: 41 pages. v3: revised following the suggestions of the referees

The class of the affine line is a zero divisor in the Grothendieck ring: via $G_2$-Grassmannians

Authors: Atsushi Ito, Makoto Miura, Shinnosuke Okawa, Kazushi Ueda

Abstract: Motivated by [Bor] and [Mar], we show the equality $\left([X] - [Y]\right) \cdot [\mathbb{A}^1] = 0$ in the Grothendieck ring of varieties, where $(X, Y)$ is a pair of Calabi-Yau 3-folds cut out from the pair of Grassmannians of type $G_2$. Motivated by [Bor] and [Mar], we show the equality $\left([X] - [Y]\right) \cdot [\mathbb{A}^1] = 0$ in the Grothendieck ring of varieties, where $(X, Y)$ is a pair of Calabi-Yau 3-folds cut out from the pair of Grassmannians of type $G_2$. △ Less

Submitted 28 June, 2016; v1 submitted 14 June, 2016; originally announced June 2016.

Comments: 5 pages, reference added, minor changes

Calabi--Yau complete intersections in exceptional Grassmannians

Authors: Atsushi Ito, Makoto Miura, Shinnosuke Okawa, Kazushi Ueda

Abstract: We classify completely reducible equivariant vector bundles on Grassmannians of exceptional Lie groups which give Calabi--Yau 3-folds as complete intersections. In particular, we find a new family of Calabi--Yau 3-folds in an $E_6$-Grassmannian. We classify completely reducible equivariant vector bundles on Grassmannians of exceptional Lie groups which give Calabi--Yau 3-folds as complete intersections. In particular, we find a new family of Calabi--Yau 3-folds in an $E_6$-Grassmannian. △ Less

Submitted 20 February, 2024; v1 submitted 13 June, 2016; originally announced June 2016.

Comments: 10 pages, minor revision

Lagrangian sections on mirrors of toric Calabi-Yau 3-folds

Authors: Kwokwai Chan, Daniel Pomerleano, Kazushi Ueda

Abstract: We construct Lagrangian sections of a Lagrangian torus fibration on a 3-dimensional conic bundle, which are SYZ dual to holomorphic line bundles over the mirror toric Calabi-Yau 3-fold. We then demonstrate a ring isomorphism between the wrapped Floer cohomology of the zero-section and the regular functions on the mirror toric Calabi-Yau 3-fold. Furthermore, we show that in the case when the Calabi… ▽ More We construct Lagrangian sections of a Lagrangian torus fibration on a 3-dimensional conic bundle, which are SYZ dual to holomorphic line bundles over the mirror toric Calabi-Yau 3-fold. We then demonstrate a ring isomorphism between the wrapped Floer cohomology of the zero-section and the regular functions on the mirror toric Calabi-Yau 3-fold. Furthermore, we show that in the case when the Calabi-Yau 3-fold is affine space, the zero section generates the wrapped Fukaya category of the mirror conic bundle. This allows us to complete the proof of one direction of homological mirror symmetry for toric Calabi-Yau orbifold quotients of the form $\mathbb{C}^3/\Check{G}$. We finish by describing some elementary applications of our computations to symplectic topology. △ Less

Submitted 16 August, 2016; v1 submitted 23 February, 2016; originally announced February 2016.

Comments: 62 pages. v2: corrected errors in various formulas; added the proof of homological mirror symmetry for C^3/G and some applications to Lagrangian embeddings

Existence of random invariant periodic curves via random semiuniform ergodic theorem

Authors: Kenneth Uda

Abstract: We employ an extension of ergodic theory to the random setting to investigate the existence of random periodic solutions of random dynamical systems. Given that a random dynamical system has a dissipative structure, we proved that a random invariant compact set can be expressed as a union of finite of number of random periodic curves. The idea in this paper is closely related to the work recently… ▽ More We employ an extension of ergodic theory to the random setting to investigate the existence of random periodic solutions of random dynamical systems. Given that a random dynamical system has a dissipative structure, we proved that a random invariant compact set can be expressed as a union of finite of number of random periodic curves. The idea in this paper is closely related to the work recently considered by Zhao and Zheng [46]. △ Less

Submitted 30 April, 2015; originally announced April 2015.

On a certain generalization of triangle singularities

Authors: Kenji Hashimoto, Hwayoung Lee, Kazushi Ueda

Abstract: Triangle singularities are Fuchsian singularities associated with von Dyck groups, which are index two subgroups of Schwarz triangle groups. Hypersurface triangle singularities are classified by Dolgachev, and give 14 exceptional unimodal singularities classified by Arnold. We introduce a generalization of triangle singularities to higher dimensions, show that there are only finitely many hypersur… ▽ More Triangle singularities are Fuchsian singularities associated with von Dyck groups, which are index two subgroups of Schwarz triangle groups. Hypersurface triangle singularities are classified by Dolgachev, and give 14 exceptional unimodal singularities classified by Arnold. We introduce a generalization of triangle singularities to higher dimensions, show that there are only finitely many hypersurface singularities of this type in each dimension, and give a complete list in dimension 3. △ Less

Submitted 28 January, 2015; originally announced January 2015.

Comments: 17 pages

MSC Class: 14J17; 13A02

Compact moduli of noncommutative projective planes

Authors: Tarig Abdelgadir, Shinnosuke Okawa, Kazushi Ueda

Abstract: We introduce the notion of the moduli stack of relations of a quiver. When the quiver with relations is derived-equivalent to an algebraic variety, the corresponding compact moduli scheme can be viewed as a compact moduli of noncommutative deformations of the variety. We study the case of noncommutative projective planes in detail, and discuss its relation with geometry of elliptic curves with lev… ▽ More We introduce the notion of the moduli stack of relations of a quiver. When the quiver with relations is derived-equivalent to an algebraic variety, the corresponding compact moduli scheme can be viewed as a compact moduli of noncommutative deformations of the variety. We study the case of noncommutative projective planes in detail, and discuss its relation with geometry of elliptic curves with level 3 structures. △ Less

Submitted 28 November, 2014; originally announced November 2014.

Comments: 28 pages, 3 figures

Weighted projective lines as fine moduli spaces of quiver representations

Authors: Tarig Abdelgadir, Kazushi Ueda

Abstract: We describe weighted projective lines in the sense of Geigle and Lenzing by a moduli problem on the canonical algebra of Ringel. We then go on to study generators of the derived categories of coherent sheaves on the total spaces of their canonical bundles, and show that they are rarely tilting. We also give a moduli construction for these total spaces for weighted projective lines with three orbif… ▽ More We describe weighted projective lines in the sense of Geigle and Lenzing by a moduli problem on the canonical algebra of Ringel. We then go on to study generators of the derived categories of coherent sheaves on the total spaces of their canonical bundles, and show that they are rarely tilting. We also give a moduli construction for these total spaces for weighted projective lines with three orbifold points. △ Less

Submitted 24 September, 2014; originally announced September 2014.

Comments: 14 pages. To appear in Communications in Algebra

Floer cohomologies of non-torus fibers of the Gelfand-Cetlin system

Authors: Yuichi Nohara, Kazushi Ueda

Abstract: The Gelfand-Cetlin system has non-torus Lagrangian fibers on some of the boundary strata of the moment polytope. We compute Floer cohomologies of such non-torus Lagrangian fibers in the cases of the 3-dimensional full flag manifold and the Grassmannian of 2-planes in a 4-space. The Gelfand-Cetlin system has non-torus Lagrangian fibers on some of the boundary strata of the moment polytope. We compute Floer cohomologies of such non-torus Lagrangian fibers in the cases of the 3-dimensional full flag manifold and the Grassmannian of 2-planes in a 4-space. △ Less

Submitted 14 September, 2014; originally announced September 2014.

Comments: 30 pages, 2 figures

Mirror symmetry and K3 surfaces

Authors: Kazushi Ueda

Abstract: We review some of the interplay between mirror symmetry and K3 surfaces. We review some of the interplay between mirror symmetry and K3 surfaces. △ Less

Submitted 10 August, 2014; v1 submitted 6 July, 2014; originally announced July 2014.

Comments: 37 pages, 3 figures; v2: references added

The ring of modular forms for the even unimodular lattice of signature (2,10)

Authors: Kenji Hashimoto, Kazushi Ueda

Abstract: We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,10) is generated by forms of weights 4, 10, 12, 16, 18, 22, 24, 28, 30, 36, 42, and 252 with one relation of weight 504. The proof is based on the comparison of the orbifold quotient of the symmetric domain with the root stack of the coarse moduli space. We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,10) is generated by forms of weights 4, 10, 12, 16, 18, 22, 24, 28, 30, 36, 42, and 252 with one relation of weight 504. The proof is based on the comparison of the orbifold quotient of the symmetric domain with the root stack of the coarse moduli space. △ Less

Submitted 20 March, 2020; v1 submitted 2 June, 2014; originally announced June 2014.

Comments: 10 pages; v2: References added. Corrections and clarifications here and there

Goldman systems and bending systems

Authors: Yuichi Nohara, Kazushi Ueda

Abstract: We show that the moduli space of parabolic bundles on the projective line and the polygon space are isomorphic, both as complex manifolds and symplectic manifolds equipped with structures of completely integrable systems, if the stability parameters are small. We show that the moduli space of parabolic bundles on the projective line and the polygon space are isomorphic, both as complex manifolds and symplectic manifolds equipped with structures of completely integrable systems, if the stability parameters are small. △ Less

Submitted 17 April, 2015; v1 submitted 5 May, 2014; originally announced May 2014.

Comments: 37 pages, 2 figures; v3: added a reference

Journal ref: Can. J. Math.-J. Can. Math. 67 (2015) 1109-1143

Modular surfaces associated with toric K3 hypersurfaces

Authors: Kenji Hashimoto, Atsuhira Nagano, Kazushi Ueda

Abstract: We give detailed descriptions of the period maps of two 2-parameter families of anti-canonical hypersurfaces in toric 3-folds. One of them is related to a Hilbert modular surface, and the other is related to the product of modular curves. We give detailed descriptions of the period maps of two 2-parameter families of anti-canonical hypersurfaces in toric 3-folds. One of them is related to a Hilbert modular surface, and the other is related to the product of modular curves. △ Less

Submitted 23 March, 2014; originally announced March 2014.

Comments: 25 pages, 15 figures

A note on bimodal singularities and mirror symmetry

Authors: Makiko Mase, Kazushi Ueda

Abstract: We discuss the relation between transposition mirror symmetry of Berlund and Hübsch for bimodal singularities and polar duality of Batyrev for associated toric K3 hypersurfaces. We also show that homological mirror symmetry for singularities implies the geometric construction of Coxeter-Dynkin diagrams of bimodal singularities by Ebeling and Ploog. We discuss the relation between transposition mirror symmetry of Berlund and Hübsch for bimodal singularities and polar duality of Batyrev for associated toric K3 hypersurfaces. We also show that homological mirror symmetry for singularities implies the geometric construction of Coxeter-Dynkin diagrams of bimodal singularities by Ebeling and Ploog. △ Less

Submitted 18 March, 2014; originally announced March 2014.

Comments: 24 pages

Noncommutative quadric surfaces and noncommutative conifolds

Authors: Shinnosuke Okawa, Kazushi Ueda

Abstract: We introduce a compact moduli of noncommutative quadrics, and show that it is the weighted projective space of weight (2,4,4,6). We also introduce a compact moduli of potentials for the conifold quiver, and show that it is the weighted projective space of weight (1,2,3,4). There is a natural morphism from the latter to the former, which is finite of degree 4. We introduce a compact moduli of noncommutative quadrics, and show that it is the weighted projective space of weight (2,4,4,6). We also introduce a compact moduli of potentials for the conifold quiver, and show that it is the weighted projective space of weight (1,2,3,4). There is a natural morphism from the latter to the former, which is finite of degree 4. △ Less

Submitted 4 March, 2014; originally announced March 2014.

Comments: 14 pages, 4 figures

Quantum entanglement, Calabi-Yau manifolds, and noncommutative algebraic geometry

Authors: Shinnosuke Okawa, Kazushi Ueda

Abstract: We relate SLOCC equivalence classes of qudit states to moduli spaces of Calabi-Yau manifolds equipped with a collection of line bundles. The cases of 3 qutrits and 4 qubits are also related to noncommutative algebraic geometry. We relate SLOCC equivalence classes of qudit states to moduli spaces of Calabi-Yau manifolds equipped with a collection of line bundles. The cases of 3 qutrits and 4 qubits are also related to noncommutative algebraic geometry. △ Less

Submitted 16 February, 2014; originally announced February 2014.

Comments: 11 pages. Comments welcome!

Invariants of hypergeometric groups for Calabi-Yau complete intersections in weighted projective spaces

Authors: Susumu Tanabe, Kazushi Ueda

Abstract: Let Y be a Calabi-Yau complete intersection in a weighted projective space. We show that the space of quadratic invariants of the hypergeometric group associated with the twisted I-function is one-dimensional, and spanned by the Gram matrix of a split-generator of the derived category of coherent sheaves on Y with respect to the Euler form. Let Y be a Calabi-Yau complete intersection in a weighted projective space. We show that the space of quadratic invariants of the hypergeometric group associated with the twisted I-function is one-dimensional, and spanned by the Gram matrix of a split-generator of the derived category of coherent sheaves on Y with respect to the Euler form. △ Less

Submitted 8 September, 2013; v1 submitted 7 May, 2013; originally announced May 2013.

Comments: 23 pages, 2 figures, v2: revised following referee's comments

MSC Class: 32S40; 33C20; 53D37

Lagrangian torus fibrations and homological mirror symmetry for the conifold

Authors: Kwokwai Chan, Daniel Pomerleano, Kazushi Ueda

Abstract: We discuss homological mirror symmetry for the conifold from the point of view of the Strominger-Yau-Zaslow conjecture. We discuss homological mirror symmetry for the conifold from the point of view of the Strominger-Yau-Zaslow conjecture. △ Less

Submitted 7 January, 2016; v1 submitted 4 May, 2013; originally announced May 2013.

Comments: 46 pages, 22 figures, v4: corrected an error in the explicit formula for the uncompleted SYZ mirror $Y_0^{\vee}$ in the published version of this paper; we thank Luis Diogo for discussions which lead us to the discovery of this error

Journal ref: Comm. Math. Phys. 341 (2016), no. 1, 135-178

Dimer models and crepant resolutions

Authors: Akira Ishii, Kazushi Ueda

Abstract: We study variations of tautological bundles on moduli spaces of representations of quivers with relations associated with dimer models under a change of stability parameters. We prove that if the tautological bundle induces a derived equivalence for some stability parameter, then the same holds for any generic stability parameter, and any projective crepant resolution can be obtained as the moduli… ▽ More We study variations of tautological bundles on moduli spaces of representations of quivers with relations associated with dimer models under a change of stability parameters. We prove that if the tautological bundle induces a derived equivalence for some stability parameter, then the same holds for any generic stability parameter, and any projective crepant resolution can be obtained as the moduli space for some stability parameter. This result is used in 0905.0059 to prove the abelian McKay correspondence without using the result of math/9908027. △ Less

Submitted 16 March, 2013; originally announced March 2013.

Comments: 27 pages

Cancellativization of dimer models

Authors: Charlie Beil, Akira Ishii, Kazushi Ueda

Abstract: We show that any dimer model can be made cancellative without changing the characteristic polygon. We show that any dimer model can be made cancellative without changing the characteristic polygon. △ Less

Submitted 23 January, 2013; originally announced January 2013.

Comments: 16 pages, 17 figures

Dual torus fibrations and homological mirror symmetry for A_n-singularities

Authors: Kwokwai Chan, Kazushi Ueda

Abstract: We study homological mirror symmetry for not necessarily compactly supported coherent sheaves on the minimal resolutions of A_n-singularities. An emphasis is put on the relation with the Strominger-Yau-Zaslow conjecture. We study homological mirror symmetry for not necessarily compactly supported coherent sheaves on the minimal resolutions of A_n-singularities. An emphasis is put on the relation with the Strominger-Yau-Zaslow conjecture. △ Less

Submitted 28 May, 2013; v1 submitted 2 October, 2012; originally announced October 2012.

Comments: v3: major revision; 27 pages, 12 figures

Journal ref: Commun. Number Theory Phys. 7 (2013), no. 2, 361-396

Hyperplane sections and stable derived categories

Authors: Kazushi Ueda

Abstract: We discuss the relation between the graded stable derived category of a hypersurface and that of its hyperplane section. The motivation comes from the compatibility between homological mirror symmetry for the Calabi-Yau manifold defined by an invertible polynomial and that for the singularity defined by the same polynomial. We discuss the relation between the graded stable derived category of a hypersurface and that of its hyperplane section. The motivation comes from the compatibility between homological mirror symmetry for the Calabi-Yau manifold defined by an invertible polynomial and that for the singularity defined by the same polynomial. △ Less

Submitted 6 July, 2012; v1 submitted 5 July, 2012; originally announced July 2012.

Comments: 11 pages, v2: removed an error pointed out by Yukinobu Toda

MSC Class: 13D09; 13C14

Toric degenerations of integrable systems on Grassmannians and polygon spaces

Authors: Yuichi Nohara, Kazushi Ueda

Abstract: We introduce a completely integrable system on the Grassmannian of 2-planes in an n-space associated with any triangulation of a polygon with n sides, and compute the potential function for its Lagrangian torus fiber. The moment polytopes of this system for different triangulations are related by an integral piecewise-linear transformation, and the corresponding potential functions are related by… ▽ More We introduce a completely integrable system on the Grassmannian of 2-planes in an n-space associated with any triangulation of a polygon with n sides, and compute the potential function for its Lagrangian torus fiber. The moment polytopes of this system for different triangulations are related by an integral piecewise-linear transformation, and the corresponding potential functions are related by its geometric lift in the sense of Berenstein and Zelevinsky. △ Less

Submitted 4 July, 2019; v1 submitted 21 November, 2011; originally announced November 2011.

Comments: 35 pages, 10 figures; v2: corrected an error pointed out by Harada and Escobar

MSC Class: 53D12; 53D40

Journal ref: Nagoya Math. J. 214 (2014), 125-168

On graded stable derived categories of isolated Gorenstein quotient singularities

Authors: Kazushi Ueda

Abstract: We show the existence of a full exceptional collection in the graded stable derived category of a Gorenstein isolated quotient singularity using a result of Orlov (arXiv:math/0503632). We also show that the equivariant graded stable derived category of a Gorenstein Veronese subring of a polynomial ring with respect to an action of a finite group has a full strong exceptional collection, even if th… ▽ More We show the existence of a full exceptional collection in the graded stable derived category of a Gorenstein isolated quotient singularity using a result of Orlov (arXiv:math/0503632). We also show that the equivariant graded stable derived category of a Gorenstein Veronese subring of a polynomial ring with respect to an action of a finite group has a full strong exceptional collection, even if the corresponding quotient singularity is neither isolated nor Gorenstein. △ Less

Submitted 14 September, 2011; originally announced September 2011.

Comments: 12 pages

MSC Class: 18E30; 16G20