## Seminar information archive

Seminar information archive ～02/06｜Today's seminar 02/07 | Future seminars 02/08～

### 2022/07/07

#### Information Mathematics Seminar

16:50-18:35 Room #123 (Graduate School of Math. Sci. Bldg.)

Design and control of quantum computers XIII (Japanese)

**Yasunari Suzuki**(NTT)Design and control of quantum computers XIII (Japanese)

[ Abstract ]

How to use quantum computer II

How to use quantum computer II

### 2022/07/06

#### Tokyo-Nagoya Algebra Seminar

10:30-12:00 Online

Please see the reference URL for details on the online seminar.

Cyclic polytopes and higher Auslander--Reiten theory 3 (English)

https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html

Please see the reference URL for details on the online seminar.

**Nicholas Williams**(The University of Tokyo)Cyclic polytopes and higher Auslander--Reiten theory 3 (English)

[ Abstract ]

This continues part 2. In the third talk, we consider the relationship between the objects from the first two talks. We explain how triangulations of even-dimensional cyclic polytopes may be interpreted in terms of tilting modules, cluster-tilting objects, or d-silting complexes. We then proceed in the d-silting framework, and show how the higher Stasheff--Tamari orders may be interpreted algebraically for even dimensions. We explain how this allows one to interpret odd-dimensional triangulations algebraically, namely, as equivalence classes of d-maximal green sequences. We briefly digress to consider the issue of equivalence of maximal green sequences itself. We then show how one can interpret the higher Stasheff--Tamari orders on equivalence classes of d-maximal green sequences. We finish by drawing out some consequences of this algebraic interpretation of the higher Stasheff--Tamari orders.

[ Reference URL ]This continues part 2. In the third talk, we consider the relationship between the objects from the first two talks. We explain how triangulations of even-dimensional cyclic polytopes may be interpreted in terms of tilting modules, cluster-tilting objects, or d-silting complexes. We then proceed in the d-silting framework, and show how the higher Stasheff--Tamari orders may be interpreted algebraically for even dimensions. We explain how this allows one to interpret odd-dimensional triangulations algebraically, namely, as equivalence classes of d-maximal green sequences. We briefly digress to consider the issue of equivalence of maximal green sequences itself. We then show how one can interpret the higher Stasheff--Tamari orders on equivalence classes of d-maximal green sequences. We finish by drawing out some consequences of this algebraic interpretation of the higher Stasheff--Tamari orders.

https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html

#### Number Theory Seminar

17:00-18:00 Hybrid

The characteristic cycles of non-confluent $\ell$-adic GKZ hypergeometric sheaves (ENGLISH)

**Peijiang Liu**(University of Tokyo)The characteristic cycles of non-confluent $\ell$-adic GKZ hypergeometric sheaves (ENGLISH)

[ Abstract ]

$\ell$-adic GKZ hypergeometric sheaves are defined to be étale analogues of GKZ hypergeometric $\mathcal{D}$-modules. We introduce an algorithm of computing the characteristic cycles of certain type of $\ell$-adic GKZ hypergeometric sheaves. We compute the irreducible components by a push-forward formula for characteristic cycles of étale sheaves, and compute the multiplicities by considering a comparison theorem between the characteristic cycles of non-confluent $\ell$-adic GKZ hypergeometric sheaves and those of non-confluent GKZ hypergeometric $\mathcal{D}$-modules. We also explain the limitation of our algorithm by an example.

$\ell$-adic GKZ hypergeometric sheaves are defined to be étale analogues of GKZ hypergeometric $\mathcal{D}$-modules. We introduce an algorithm of computing the characteristic cycles of certain type of $\ell$-adic GKZ hypergeometric sheaves. We compute the irreducible components by a push-forward formula for characteristic cycles of étale sheaves, and compute the multiplicities by considering a comparison theorem between the characteristic cycles of non-confluent $\ell$-adic GKZ hypergeometric sheaves and those of non-confluent GKZ hypergeometric $\mathcal{D}$-modules. We also explain the limitation of our algorithm by an example.

### 2022/07/05

#### Operator Algebra Seminars

16:45-18:15 Room #128 (Graduate School of Math. Sci. Bldg.)

Frobenius algebras associated with the $\alpha$-induction for twisted modules of conformal nets

[ Reference URL ]

https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm

**Mizuki Oikawa**(Univ. Tokyo)Frobenius algebras associated with the $\alpha$-induction for twisted modules of conformal nets

[ Reference URL ]

https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm

#### Tuesday Seminar on Topology

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Non-existence of Lyapunov exponents for homoclinic bifurcations of surface diffeomorphisms (JAPANESE)

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

Pre-registration required. See our seminar webpage.

**Yushi Nakano**(Tokai University)Non-existence of Lyapunov exponents for homoclinic bifurcations of surface diffeomorphisms (JAPANESE)

[ Abstract ]

Lyapunov exponent is widely used in natural science including mathematics, such as a tool to find chaotic signal or a foundation of non-uniformly hyperbolic systems theory. However, its existence (outside of the supports of invariant probability measures) is seldom discussed. In this talk, I consider the problem of whether the Lyapunov irregular set, i.e. the set of points at which Lyapunov exponent fails to exist, has positive Lebesgue measure. I will show that surface diffeomorphisms with a robust homoclinic tangency given by Colli and Vargas, as well as other several known nonhyperbolic dynamics, has the Lyapunov irregular set of positive Lebesgue measure. This is a joint work with S. Kiriki, X. Li and T. Soma.

[ Reference URL ]Lyapunov exponent is widely used in natural science including mathematics, such as a tool to find chaotic signal or a foundation of non-uniformly hyperbolic systems theory. However, its existence (outside of the supports of invariant probability measures) is seldom discussed. In this talk, I consider the problem of whether the Lyapunov irregular set, i.e. the set of points at which Lyapunov exponent fails to exist, has positive Lebesgue measure. I will show that surface diffeomorphisms with a robust homoclinic tangency given by Colli and Vargas, as well as other several known nonhyperbolic dynamics, has the Lyapunov irregular set of positive Lebesgue measure. This is a joint work with S. Kiriki, X. Li and T. Soma.

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

### 2022/07/04

#### Seminar on Geometric Complex Analysis

10:30-12:00 Online

Bloch's principle for holomorphic maps into subvarieties of semi-abelian varieties (Japanese)

https://forms.gle/hYT2hVhDE3q1wDSh6

**Katsutoshi Yamanoi**(Osaka University)Bloch's principle for holomorphic maps into subvarieties of semi-abelian varieties (Japanese)

[ Abstract ]

We discuss a generalization of the logarithmic Bloch-Ochiai theorem about entire curves in subvarieties of semi-abelian varieties, in terms of sequences of holomorphic maps from the unit disc.

This generalization implies, among other things, that subvarieties of log general type in semi-abelian varieties are pseudo-Kobayashi hyperbolic.

As another application, we discuss an improvement of a classical theorem due to Cartan in 1920's about the system of nowhere vanishing holomorphic functions on the unit disc satisfying Borel's identity.

[ Reference URL ]We discuss a generalization of the logarithmic Bloch-Ochiai theorem about entire curves in subvarieties of semi-abelian varieties, in terms of sequences of holomorphic maps from the unit disc.

This generalization implies, among other things, that subvarieties of log general type in semi-abelian varieties are pseudo-Kobayashi hyperbolic.

As another application, we discuss an improvement of a classical theorem due to Cartan in 1920's about the system of nowhere vanishing holomorphic functions on the unit disc satisfying Borel's identity.

https://forms.gle/hYT2hVhDE3q1wDSh6

### 2022/06/30

#### Information Mathematics Seminar

16:50-18:35 Room #123 (Graduate School of Math. Sci. Bldg.)

Design and control of quantum computersXII (Japanese)

**Yasunari Suzuki**(NTT)Design and control of quantum computersXII (Japanese)

[ Abstract ]

How to use quantum computer I

How to use quantum computer I

#### Applied Analysis

16:00-17:00 Online

A brief introduction to a class of new phase field models (English)

https://forms.gle/esc7Y6KGASwbFro97

**Xingzhi Bian**(Shanghai University)A brief introduction to a class of new phase field models (English)

[ Abstract ]

Existence of weak solutions for a type of new phase field models, which are the system consisting of a degenerate parabolic equation of order parameter coupled to a linear elasticity sub-system. The models are applied to describe the phase transitions in elastically deformable solids.

[ Reference URL ]Existence of weak solutions for a type of new phase field models, which are the system consisting of a degenerate parabolic equation of order parameter coupled to a linear elasticity sub-system. The models are applied to describe the phase transitions in elastically deformable solids.

https://forms.gle/esc7Y6KGASwbFro97

### 2022/06/29

#### Tokyo-Nagoya Algebra Seminar

10:30-12:00 Online

Please see the reference URL for details on the online seminar.

Cyclic polytopes and higher Auslander--Reiten theory 2 (English)

https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html

Please see the reference URL for details on the online seminar.

**Nicholas Williams**(The University of Tokyo)Cyclic polytopes and higher Auslander--Reiten theory 2 (English)

[ Abstract ]

This continues part 1. In the second talk, we focus on higher Auslander--Reiten theory. We survey the basic setting of this theory, starting with d-cluster-tilting subcategories of module categories. We then move on to d-cluster-tilting subcategories of derived categories in the case of d-representation-finite d-hereditary algebras. We explain how one can construct (d + 2)-angulated cluster categories for such algebras, generalising classical cluster categories. We finally consider the d-almost positive category, which is the higher generalisation of the category of two-term complexes. Throughout, we illustrate the results using the higher Auslander algebras of type A, and explain how the different categories can be interpreted combinatorially for these algebras.

[ Reference URL ]This continues part 1. In the second talk, we focus on higher Auslander--Reiten theory. We survey the basic setting of this theory, starting with d-cluster-tilting subcategories of module categories. We then move on to d-cluster-tilting subcategories of derived categories in the case of d-representation-finite d-hereditary algebras. We explain how one can construct (d + 2)-angulated cluster categories for such algebras, generalising classical cluster categories. We finally consider the d-almost positive category, which is the higher generalisation of the category of two-term complexes. Throughout, we illustrate the results using the higher Auslander algebras of type A, and explain how the different categories can be interpreted combinatorially for these algebras.

https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html

### 2022/06/28

#### Tuesday Seminar of Analysis

16:00-17:30 Room #126 (Graduate School of Math. Sci. Bldg.)

Mourre inequality for non-local Schödinger operators (Japanese)

https://forms.gle/sBSeNH9AYFNypNBk9

**ISHIDA Atsuhide**(Tokyo University of Science)Mourre inequality for non-local Schödinger operators (Japanese)

[ Abstract ]

We consider the Mourre inequality for the following self-adjoint operator $H=\Psi(-\Delta/2)+V$ acting on $L^2(\mathbb{R}^d)$, where $\Psi: [0,\infty)\rightarrow\mathbb{R}$ is an increasing function, $\Delta$ is Laplacian and $V: \mathbb{R}^d\rightarrow\mathbb{R}$ is an interaction potential. Mourre inequality immediately yields the discreteness and finite multiplicity of the eigenvalues. Moreover, Mourre inequality has the application to the absence of the singular continuous spectrum by combining the limiting absorption principle and, in addition, Mourre inequality is also used for proof of the minimal velocity estimate that plays an important role in the scattering theory. In this talk, we report that Mourre inequality holds under the general $\Psi$ and $V$ by choosing the conjugate operator $A=(p\cdot x+x\cdot p)/2$ with $p=-\sqrt{-1}\nabla$, and that the discreteness and finite multiplicity of the eigenvalues hold. This talk is a joint work with J. Lőrinczi (Hungarian Academy of Sciences) and I. Sasaki (Shinshu University).

[ Reference URL ]We consider the Mourre inequality for the following self-adjoint operator $H=\Psi(-\Delta/2)+V$ acting on $L^2(\mathbb{R}^d)$, where $\Psi: [0,\infty)\rightarrow\mathbb{R}$ is an increasing function, $\Delta$ is Laplacian and $V: \mathbb{R}^d\rightarrow\mathbb{R}$ is an interaction potential. Mourre inequality immediately yields the discreteness and finite multiplicity of the eigenvalues. Moreover, Mourre inequality has the application to the absence of the singular continuous spectrum by combining the limiting absorption principle and, in addition, Mourre inequality is also used for proof of the minimal velocity estimate that plays an important role in the scattering theory. In this talk, we report that Mourre inequality holds under the general $\Psi$ and $V$ by choosing the conjugate operator $A=(p\cdot x+x\cdot p)/2$ with $p=-\sqrt{-1}\nabla$, and that the discreteness and finite multiplicity of the eigenvalues hold. This talk is a joint work with J. Lőrinczi (Hungarian Academy of Sciences) and I. Sasaki (Shinshu University).

https://forms.gle/sBSeNH9AYFNypNBk9

#### Lie Groups and Representation Theory

17:00-18:00 Room #online (Graduate School of Math. Sci. Bldg.)

Computation of weighted Bergman inner products on bounded symmetric domains and Plancherel-type formulas for $(Sp(2r,\mathbb{R}),Sp(r,\mathbb{R})\times Sp(r,\mathbb{R}))$ (Japanese)

**Ryosuke Nakahama**(Kyushu University)Computation of weighted Bergman inner products on bounded symmetric domains and Plancherel-type formulas for $(Sp(2r,\mathbb{R}),Sp(r,\mathbb{R})\times Sp(r,\mathbb{R}))$ (Japanese)

[ Abstract ]

Let $(G,G_1)=(G,(G^\sigma)_0)$ be a symmetric pair of holomorphic type, and we consider a pair of Hermitian symmetric spaces $D_1=G_1/K_1\subset D=G/K$, realized as bounded symmetric domains in complex vector spaces $\mathfrak{p}^+_1:=(\mathfrak{p}^+)^\sigma\subset\mathfrak{p}^+$ respectively. Then the universal covering group $\widetilde{G}$ of $G$ acts unitarily on the weighted Bergman space $\mathcal{H}_\lambda(D)\subset\mathcal{O}(D)=\mathcal{O}_\lambda(D)$ on $D$ for sufficiently large $\lambda$. Its restriction to the subgroup $\widetilde{G}_1$ decomposes discretely and multiplicity-freely, and its branching law is given explicitly by Hua--Kostant--Schmid--Kobayashi's formula in terms of the $\widetilde{K}_1$-decomposition of the space $\mathcal{P}(\mathfrak{p}^+_2)$ of polynomials on $\mathfrak{p}^+_2:=(\mathfrak{p}^+)^{-\sigma}\subset\mathfrak{p}^+$. Our goal is to understand the decomposition of the restriction $\mathcal{H}_\lambda(D)|_{\widetilde{G}_1}$ by studying the weighted Bergman inner product on each $\widetilde{K}_1$-type in $\mathcal{P}(\mathfrak{p}^+_2)\subset\mathcal{H}_\lambda(D)$.

Today we mainly deal with the symmetric pair $(G,G_1)=(Sp(2r,\mathbb{R}),Sp(r,\mathbb{R})\times Sp(r,\mathbb{R}))$.

Let $(G,G_1)=(G,(G^\sigma)_0)$ be a symmetric pair of holomorphic type, and we consider a pair of Hermitian symmetric spaces $D_1=G_1/K_1\subset D=G/K$, realized as bounded symmetric domains in complex vector spaces $\mathfrak{p}^+_1:=(\mathfrak{p}^+)^\sigma\subset\mathfrak{p}^+$ respectively. Then the universal covering group $\widetilde{G}$ of $G$ acts unitarily on the weighted Bergman space $\mathcal{H}_\lambda(D)\subset\mathcal{O}(D)=\mathcal{O}_\lambda(D)$ on $D$ for sufficiently large $\lambda$. Its restriction to the subgroup $\widetilde{G}_1$ decomposes discretely and multiplicity-freely, and its branching law is given explicitly by Hua--Kostant--Schmid--Kobayashi's formula in terms of the $\widetilde{K}_1$-decomposition of the space $\mathcal{P}(\mathfrak{p}^+_2)$ of polynomials on $\mathfrak{p}^+_2:=(\mathfrak{p}^+)^{-\sigma}\subset\mathfrak{p}^+$. Our goal is to understand the decomposition of the restriction $\mathcal{H}_\lambda(D)|_{\widetilde{G}_1}$ by studying the weighted Bergman inner product on each $\widetilde{K}_1$-type in $\mathcal{P}(\mathfrak{p}^+_2)\subset\mathcal{H}_\lambda(D)$.

Today we mainly deal with the symmetric pair $(G,G_1)=(Sp(2r,\mathbb{R}),Sp(r,\mathbb{R})\times Sp(r,\mathbb{R}))$.

### 2022/06/24

#### Colloquium

15:30-16:30 Hybrid

If you do not belong to Graduate School of Mathematical Sciences, the University of Tokyo, please take part online [Reference URL].

Unitary representations of real reductive Lie groups and the method of coadjoint orbits (JAPANESE)

https://u-tokyo-ac-jp.zoom.us/meeting/register/tZIldu-vqD8tHtE0Vyl29MXHFfzp2NcC0MzR

If you do not belong to Graduate School of Mathematical Sciences, the University of Tokyo, please take part online [Reference URL].

**Yoshiki Oshima**(Graduate School of Mathematical Sciences, the University of Tokyo)Unitary representations of real reductive Lie groups and the method of coadjoint orbits (JAPANESE)

[ Abstract ]

The orbit method aims to study unitary representations of Lie groups by relating them to coadjoint actions. It is known that for unipotent groups there exists a one-to-one correspondence between the unitary representations and the coadjoint orbits. For reductive groups it has been observed that one is a good approximation of the other. In this talk, we would like to discuss some results on induction and restriction for reductive Lie groups from the viewpoint of orbit method.

[ Reference URL ]The orbit method aims to study unitary representations of Lie groups by relating them to coadjoint actions. It is known that for unipotent groups there exists a one-to-one correspondence between the unitary representations and the coadjoint orbits. For reductive groups it has been observed that one is a good approximation of the other. In this talk, we would like to discuss some results on induction and restriction for reductive Lie groups from the viewpoint of orbit method.

https://u-tokyo-ac-jp.zoom.us/meeting/register/tZIldu-vqD8tHtE0Vyl29MXHFfzp2NcC0MzR

### 2022/06/23

#### Information Mathematics Seminar

16:50-18:35 Room #123 (Graduate School of Math. Sci. Bldg.)

Design and control of quantum computersXI (Japanese)

**Yasunari Suzuki**(NTT)Design and control of quantum computersXI (Japanese)

[ Abstract ]

On the error-correcting code of quantum computer.

On the error-correcting code of quantum computer.

### 2022/06/22

#### Number Theory Seminar

17:00-18:00 Hybrid

Parity of conjugate self-dual representations of inner forms of $\mathrm{GL}_n$ over $p$-adic fields (JAPANESE)

**Yugo Takanashi**(University of Tokyo)Parity of conjugate self-dual representations of inner forms of $\mathrm{GL}_n$ over $p$-adic fields (JAPANESE)

[ Abstract ]

There are two parametrizations of discrete series representations of $\mathrm{GL}_n$ over $p$-adic fields. One is the local Langlands correspondence, and the other is the local Jacquet-Langlands correspondence. The composite of these two maps the discrete series representations of an inner form of $\mathrm{GL}_n$ to Galois representations called discrete L-parameters. On the other hand, we can define the parity for each self-dual representation depending on whether the representation is orthogonal or symplectic. The composite preserves the notion of self-duality, and it transforms the parity in a nontrivial manner. Prasad and Ramakrishnan computed the transformation law, and Mieda proved its conjugate self-dual analog under some conditions on groups and representations. We will talk about the proof of the general case of this analog. We use the globalization method, as in the proof of Prasad and Ramakrishnan.

There are two parametrizations of discrete series representations of $\mathrm{GL}_n$ over $p$-adic fields. One is the local Langlands correspondence, and the other is the local Jacquet-Langlands correspondence. The composite of these two maps the discrete series representations of an inner form of $\mathrm{GL}_n$ to Galois representations called discrete L-parameters. On the other hand, we can define the parity for each self-dual representation depending on whether the representation is orthogonal or symplectic. The composite preserves the notion of self-duality, and it transforms the parity in a nontrivial manner. Prasad and Ramakrishnan computed the transformation law, and Mieda proved its conjugate self-dual analog under some conditions on groups and representations. We will talk about the proof of the general case of this analog. We use the globalization method, as in the proof of Prasad and Ramakrishnan.

#### Tokyo-Nagoya Algebra Seminar

17:00-18:30 Online

Please see the reference URL for details on the online seminar.

Update on singular equivalences between commutative rings (English)

https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html

Please see the reference URL for details on the online seminar.

**Martin Kalck**(Freiburg University)Update on singular equivalences between commutative rings (English)

[ Abstract ]

We will start with an introduction to singularity categories, which were first studied by Buchweitz and later rediscovered by Orlov. Then we will explain what is known about triangle equivalences between singularity categories of commutative rings, recalling results of Knörrer, D. Yang (based on our joint works on relative singularity categories. This result also follows from work of Kawamata and was generalized in a joint work with Karmazyn) and a new equivalence obtained in arXiv:2103.06584.

In the remainder of the talk, we will focus on the case of Gorenstein isolated singularities and especially hypersurfaces, where we give a complete description of quasi-equivalence classes of dg enhancements of singularity categories, answering a question of Keller & Shinder. This is based on arXiv:2108.03292.

[ Reference URL ]We will start with an introduction to singularity categories, which were first studied by Buchweitz and later rediscovered by Orlov. Then we will explain what is known about triangle equivalences between singularity categories of commutative rings, recalling results of Knörrer, D. Yang (based on our joint works on relative singularity categories. This result also follows from work of Kawamata and was generalized in a joint work with Karmazyn) and a new equivalence obtained in arXiv:2103.06584.

In the remainder of the talk, we will focus on the case of Gorenstein isolated singularities and especially hypersurfaces, where we give a complete description of quasi-equivalence classes of dg enhancements of singularity categories, answering a question of Keller & Shinder. This is based on arXiv:2108.03292.

https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html

### 2022/06/21

#### Tuesday Seminar on Topology

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Cosmetic surgeries on knots in the 3-sphere (JAPANESE)

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

Pre-registration required. See our seminar webpage.

**Kazuhiro Ichihara**(Nihon University)Cosmetic surgeries on knots in the 3-sphere (JAPANESE)

[ Abstract ]

A pair of Dehn surgeries on a knot is called purely (resp. chirally) cosmetic if the obtained manifolds are orientation-preservingly (resp. -reversingly) homeomorphic. It is conjectured that if a knot in the 3-sphere admits purely (resp. chirally) cosmetic surgeries, then the knot is a trivial knot (resp. a torus knot or an amphicheiral knot). In this talk, after giving a brief survey on the studies on these conjectures, I will explain recent progresses on the conjectures. This is based on joint works with Tetsuya Ito (Kyoto University), In Dae Jong (Kindai University), and Toshio Saito (Joetsu University of Education).

[ Reference URL ]A pair of Dehn surgeries on a knot is called purely (resp. chirally) cosmetic if the obtained manifolds are orientation-preservingly (resp. -reversingly) homeomorphic. It is conjectured that if a knot in the 3-sphere admits purely (resp. chirally) cosmetic surgeries, then the knot is a trivial knot (resp. a torus knot or an amphicheiral knot). In this talk, after giving a brief survey on the studies on these conjectures, I will explain recent progresses on the conjectures. This is based on joint works with Tetsuya Ito (Kyoto University), In Dae Jong (Kindai University), and Toshio Saito (Joetsu University of Education).

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

### 2022/06/20

#### Seminar on Geometric Complex Analysis

10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)

Constructions of CR GJMS operators in dimension three (Japanese)

https://forms.gle/hYT2hVhDE3q1wDSh6

**Taiji Marugame**(The University of Electro-Communications)Constructions of CR GJMS operators in dimension three (Japanese)

[ Abstract ]

CR GJMS operators are invariant differential operators on CR manifolds whose leading parts are powers of the sublaplacian. Such operators can be constructed by Fefferman's ambient metric or the Cheng-Yau metric, but the construction is obstructed at a finite order due to the ambiguity of these metrics. Gover-Graham constructed some higher order CR GJMS operators by using tractor calculus and BGG constructions. In particular, they showed that three dimensional CR manifolds admit CR GJMS operators of all orders. In this talk, we give proofs to this fact in two different ways. One is by the use of self-dual Einstein ACH metric and the other is by the Graham-Hirachi inhomogeneous ambient metric adapted to the Fefferman conformal structure. We also state a conjecture on the relationship between these two metrics.

[ Reference URL ]CR GJMS operators are invariant differential operators on CR manifolds whose leading parts are powers of the sublaplacian. Such operators can be constructed by Fefferman's ambient metric or the Cheng-Yau metric, but the construction is obstructed at a finite order due to the ambiguity of these metrics. Gover-Graham constructed some higher order CR GJMS operators by using tractor calculus and BGG constructions. In particular, they showed that three dimensional CR manifolds admit CR GJMS operators of all orders. In this talk, we give proofs to this fact in two different ways. One is by the use of self-dual Einstein ACH metric and the other is by the Graham-Hirachi inhomogeneous ambient metric adapted to the Fefferman conformal structure. We also state a conjecture on the relationship between these two metrics.

https://forms.gle/hYT2hVhDE3q1wDSh6

#### Number Theory Seminar

15:00-16:00 Hybrid

p-adic weight-monodromy conjecture for complete intersections (Japanese)

**Hiroki Kato**(Paris-Saclay University)p-adic weight-monodromy conjecture for complete intersections (Japanese)

### 2022/06/16

#### Information Mathematics Seminar

16:50-18:35 Room #123 (Graduate School of Math. Sci. Bldg.)

Design and control of quantum computers X (Japanese)

**Yasunari Suzuki**(NTT)Design and control of quantum computers X (Japanese)

[ Abstract ]

Error-correcting of quantum computer

Error-correcting of quantum computer

### 2022/06/15

#### Number Theory Seminar

17:00-18:00 Hybrid

Steinberg symbols and reciprocity sheaves (JAPANESE)

**Junnosuke Koizumi**(University of Tokyo)Steinberg symbols and reciprocity sheaves (JAPANESE)

[ Abstract ]

The norm residue symbol and the differential symbol are known to satisfy the common relation $(a,1-a)=0$ which is called the Steinberg relation. Hu-Kriz showed that the Steinberg relation can be understood as a relation between certain morphisms in the stable motivic homotopy category. On the other hand, there is also an “additive variant” of the Steinberg relation, namely $(a,a)+(1-a,1-a)=0$, for which the classical motivic theory is no longer applicable. In this talk we will explain how the theory of reciprocity sheaves due to Kahn-Saito-Yamazaki can be utilized to generalize the theory of Hu-Kriz to include the additive Steinberg relation.

The norm residue symbol and the differential symbol are known to satisfy the common relation $(a,1-a)=0$ which is called the Steinberg relation. Hu-Kriz showed that the Steinberg relation can be understood as a relation between certain morphisms in the stable motivic homotopy category. On the other hand, there is also an “additive variant” of the Steinberg relation, namely $(a,a)+(1-a,1-a)=0$, for which the classical motivic theory is no longer applicable. In this talk we will explain how the theory of reciprocity sheaves due to Kahn-Saito-Yamazaki can be utilized to generalize the theory of Hu-Kriz to include the additive Steinberg relation.

#### Seminar on Mathematics for various disciplines

10:30-11:30 Room # Zoomによるオンライン開催 (Graduate School of Math. Sci. Bldg.)

This seminar is held on Wednesday.

Voxel-based fluid-structure interaction methods (日本語)

[ Reference URL ]

https://u-tokyo-ac-jp.zoom.us/j/82678271212?pwd=S05lczNlK2ZHM1BwMk5RRnhQTjcrdz09

This seminar is held on Wednesday.

**Kazuyasu Sugiyama**(Graduate School of Engineering Science, Osaka University)Voxel-based fluid-structure interaction methods (日本語)

[ Reference URL ]

https://u-tokyo-ac-jp.zoom.us/j/82678271212?pwd=S05lczNlK2ZHM1BwMk5RRnhQTjcrdz09

#### Tokyo-Nagoya Algebra Seminar

10:30-12:00 Online

Please see the reference URL for details on the online seminar.

Cyclic polytopes and higher Auslander--Reiten theory 1 (English)

https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html

Please see the reference URL for details on the online seminar.

**Nicholas Williams**(The University of Tokyo)Cyclic polytopes and higher Auslander--Reiten theory 1 (English)

[ Abstract ]

In this series of three talks, we expand upon the previous talk given at the seminar and study the relationship between cyclic polytopes and higher Auslander--Reiten theory in more detail.

http://www.math.nagoya-u.ac.jp/~aaron.chan/TNA/2021/Williams-Cyclic_polytopes_and_higher_AR.pdf

In the first talk, we focus on cyclic polytopes. We survey important properties of cyclic polytopes, such as different ways to construct them, the Upper Bound Theorem, and their Ramsey-theoretic properties. We then move on to triangulations of cyclic polytopes. We give efficient combinatorial descriptions of triangulations of even-dimensional and odd-dimensional cyclic polytopes, which we will use in subsequent talks. We finally define the higher Stasheff--Tamari orders on triangulations of cyclic polytopes. We give important results on the orders, including Rambau's Theorem, and the equality of the two orders.

[ Reference URL ]In this series of three talks, we expand upon the previous talk given at the seminar and study the relationship between cyclic polytopes and higher Auslander--Reiten theory in more detail.

http://www.math.nagoya-u.ac.jp/~aaron.chan/TNA/2021/Williams-Cyclic_polytopes_and_higher_AR.pdf

In the first talk, we focus on cyclic polytopes. We survey important properties of cyclic polytopes, such as different ways to construct them, the Upper Bound Theorem, and their Ramsey-theoretic properties. We then move on to triangulations of cyclic polytopes. We give efficient combinatorial descriptions of triangulations of even-dimensional and odd-dimensional cyclic polytopes, which we will use in subsequent talks. We finally define the higher Stasheff--Tamari orders on triangulations of cyclic polytopes. We give important results on the orders, including Rambau's Theorem, and the equality of the two orders.

https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html

### 2022/06/14

#### Tuesday Seminar on Topology

17:30-18:30 Online

Pre-registration required. See our seminar webpage.

Cartan calculi on the free loop spaces (JAPANESE)

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

Pre-registration required. See our seminar webpage.

**Katsuhiko Kuribayashi**(Shinshu University)Cartan calculi on the free loop spaces (JAPANESE)

[ Abstract ]

A typical example of a Cartan calculus is the Lie algebra representation of vector fields of a manifold on the derivation ring of the de Rham complex. In this talk, a `second stage' of the Cartan calculus is investigated. In a more general setting, the stage is formulated with a Lie algebra representation of the Andre-Quillen cohomology of a commutative differential graded algebra A on the endomorphism ring of the Hochschild homology of A in terms of the homotopy Cartan calculi in the sense of Fiorenza and Kowalzig. Moreover, the Lie algebra representation in the Cartan calculus is interpreted geometrically as a map from the rational homotopy group of the monoid of self-homotopy equivalences on a simply-connected space M to the derivation ring on the loop cohomology of M. An extension of the representation to the string cohomology and its geometric counterpart are also discussed together with the BV exactness which is a new rational homotopy invariant introduced in our work. This talk is based on joint work in progress with T. Naito, S. Wakatsuki and T. Yamaguchi.

[ Reference URL ]A typical example of a Cartan calculus is the Lie algebra representation of vector fields of a manifold on the derivation ring of the de Rham complex. In this talk, a `second stage' of the Cartan calculus is investigated. In a more general setting, the stage is formulated with a Lie algebra representation of the Andre-Quillen cohomology of a commutative differential graded algebra A on the endomorphism ring of the Hochschild homology of A in terms of the homotopy Cartan calculi in the sense of Fiorenza and Kowalzig. Moreover, the Lie algebra representation in the Cartan calculus is interpreted geometrically as a map from the rational homotopy group of the monoid of self-homotopy equivalences on a simply-connected space M to the derivation ring on the loop cohomology of M. An extension of the representation to the string cohomology and its geometric counterpart are also discussed together with the BV exactness which is a new rational homotopy invariant introduced in our work. This talk is based on joint work in progress with T. Naito, S. Wakatsuki and T. Yamaguchi.

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

### 2022/06/09

#### Information Mathematics Seminar

16:50-18:35 Room #123 (Graduate School of Math. Sci. Bldg.)

Design and control of quantum computers IX (Japanese)

**Yasunari Suzuki**(NTT)Design and control of quantum computers IX (Japanese)

[ Abstract ]

On stabilizer codes and toric codes

On stabilizer codes and toric codes

### 2022/06/08

#### Tokyo-Nagoya Algebra Seminar

10:30-12:00 Online

Please see the reference URL for details on the online seminar.

超平面配置の特性準多項式 II (Japanese)

[ Reference URL ]

http://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html

Please see the reference URL for details on the online seminar.

**Masahiko Yoshinaga**(Osaka University)超平面配置の特性準多項式 II (Japanese)

[ Reference URL ]

http://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html

< Previous 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176 Next >