tag:blogger.com,1999:blog-14329013Tue, 07 Oct 2014 00:56:04 +0000Travel Diary of Makoto Sakuraihttp://makotosakurai.blogspot.com/noreply@blogger.com (makoto (真))Blogger110125tag:blogger.com,1999:blog-14329013.post-291475398810122752Fri, 26 Sep 2014 20:03:00 +00002014-09-27T08:42:59.179+09:00Weighted Arithmetic-Geometric means and logarithm<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML"></script>This was what I wrote yesterday after the April visit for the University of Chicago. This short article is written as a test of MathJax and the complement of the freshman math lecture at the year 2011. There is an extraction of my 8 page PDF file. \begin{eqnarray} \sum_{k=1}^N w_k a_k & = & w_1 a_1 + w_2 a_2 + \cdots + w_N a_N \nonumber\\ & \ge & a_1^{w_1} a_2^{w_2} \cdots a_N^{w_N} \\ & = & \prod_{k=1}^N a_k^{w_k} \nonumber\\ & := & \prod_{k=1}^N \exp \left[ w_k \ln a_k \right]. \end{eqnarray} The auxiliary conditions of antilogarithm and weight are as follows. \begin{eqnarray} 0 < a_1, a_2, \cdots, a_N \\ \Longleftrightarrow & a_k \in \mathbb{R}_{>0}, \\ 0 < w_1, w_1, \cdots, w_N (< 1)\ s.t.\\ w_1 + w_2 + \cdots + w_N = & \sum_{k=1}^N w_k = 1,\\ The\ equality\ holds\ if\ and\ only\ if & a_1 = a_2 = \cdots = a_N. \end{eqnarray} For the plan to avoid the misuse of ill-definition of general logarithmic function, I will show the inequality without using Jensen's inequality (convex inequality).http://makotosakurai.blogspot.com/2014/09/weighted-arithmetic-geometric-means-and.htmlnoreply@blogger.com (makoto (真))tag:blogger.com,1999:blog-14329013.post-8683779341389676052Mon, 31 Dec 2012 19:28:00 +00002013-10-20T05:05:30.753+09:00Gauss WayJapan has already leaped the end of year 2012, but California is still before the beginning of year 2013.<br /><br />The MSRI (Mathematiical Sciences Research Institute) at <a href="https://maps.google.co.jp/maps?f=q&source=s_q&hl=en&geocode=&q=Gauss+Way+and+MSRI+California&aq=&sll=28.921631,129.550781&sspn=28.862071,36.826172&vpsrc=0&brcurrent=3,0x0:0x0,0&ie=UTF8&hq=Gauss+Way+and+MSRI+California&hnear=&radius=15000&ll=37.950154,-122.189941&spn=0.102334,0.143852&t=m&z=12&iwloc=A&cid=17059224402918504293" target="_blank">the Gauss Way, California</a>, is planning a series of workshops: <a href="http://www.msri.org/web/msri/scientific/programs/show/-/event/Pm145" target="_blank">Noncommutative Algebraic Geometry and Representation Theory</a> including<br /><ul><li>Jan 24, 2013 to Jan 25, 2013 : <a href="http://www.msri.org/web/msri/scientific/workshops/show/-/event/Wm9061" target="_blank">Connections for Women: Noncommutative Algebraic Geometry and Representation Theory</a></li><li>Jan 28, 2013 to Feb 1, 2013 : <a href="http://www.msri.org/web/msri/scientific/workshops/show/-/event/Wm9062" target="_blank">Introductory Workshop: Noncommutative Algebraic Geometry and Representation Theory</a></li></ul>, but I cannot visit California in January 2013 for the following reasons. <br /><br />1. I have to teach my students as the academic calendar of Japan is written.<br />2. I cannot afford to visit California without the financial support of Japan and/or the USA, which is on the verge of serious budget cut (fiscal cliff (財政の崖) or fiscal wall (財政の壁)).<br /><br />About the no.2, I have more things to append. Although European people are still thinking Japanese people are "economic animals," it is not the case. Since the so-called financial bubbles, IT-bubbles, and biotechnology bubbles are gone within this/these 2 decades, Japanese people have been struggling to overcome simultaneous crises in the tax rate, the employment rate, the welfare, and some civilian control of nuclear plants after the aftershocks of Tohoku earthquakes and Tsunami at 14:46, 11-March-2011 (JST).<br /><br />On the contrary, before the Diet (Japanese Parliament or the Lower House) campaign at the December of 2012, I have done some electric annual ballot for the AMS (American Mathematical Society) vice-president, Boards, and Councils. The financial circumstance of AMS is not optimistic; as an AMS member of 8 years, I was asked for signature against the budget cut:<br /><h1><a href="http://www.ams.org/policy/government/advocacy/January2013Sequestration" target="_blank">Tell Congress to Avoid January 2013 Sequestration</a></h1>Although I am not a resident of the U.S.A., I am affiliated with the American Mathematical Society for a long term, including some eminent immigrant mathematicians from the overseas to American universities, but I do not cite individual researchers' names in this post.<br /><br />OK. Let me go back to my personal financial problem. Even though I registered in the <a href="http://www.msri.org/web/msri/scientific/workshops/show/-/event/Wp9062" target="_blank">participants' list</a> of the MSRI, they say they cannot afford to financially support my visit for the travel and living expenses while the vice deputy sent me an encouragement message about attending one or more workshops of the MSRI at the last year. I really interpreted this letter in the literal sense, but the U.S. mathematicians are now planning <a href="http://jointmathematicsmeetings.org/jmm" target="_blank">the January (9-12) 2013's San Diego, CA, Joint Meetings</a> with the SIAM, the MAA(Mathematical Association of America) and so on, which encourage graduate students' NSF grant proposals with a little chance of travel expenses.<br /><br />Needless to say, I am not a graduate student any more, but Japanese policy on the science development is not promising for post-doctoral members or part-time lecturers. Thus I was much interested in the events of January-2013, but neither Japanese researchers nor American institutes let me join in such important meetings since I have not obtained the (three or more) strong recommendation letters from eminent mathematicians in the world-wide. All I can do is write my original preprint from my original motivation, but the number of papers is not large.<br /><br />As Carl Friedrich Gauss -- the prince of mathematics in the 19th century -- said, a genuine mathematician does not always have plenty numbers of recommendation letters; whereas he said "Few, but ripe" for his remarkable achievements in pure mathematics and mathematical physics by himself while writing his diaries.http://makotosakurai.blogspot.com/2013/01/gauss-way.htmlnoreply@blogger.com (makoto (真))tag:blogger.com,1999:blog-14329013.post-5144644126772044880Tue, 09 Oct 2012 01:04:00 +00002013-09-13T15:07:46.687+09:00Higgs HunterLast month, I visited Kyushu University, which lies in one of the southern islands of Japan, for the oral presentation at the Mathematical Society of Japan. Before the presentation at the morning session (at 21-Sep-2012) of algebraic geometry, I submitted my update of Ph.D. thesis with the elimination of some of my typos and obsolete references. I also noticed my change of permanent receivable e-mail address of the University of Tokyo. See <a href="http://arxiv.org/abs/0712.2318">Mixed anomalies of chiral algebras compactified to smooth quasi-projective surfaces</a> and the <a href="http://researchmap.jp/?action=cv_download_main&upload_id=35164">slides</a> uploaded at the <a href="http://researchmap.jp/read0152878/?lang=english">researchmap database</a>. The conference hall was at the "2nd Centre Zone" of the university, which was a little far from the Fukuoka (福岡) airport; we need to connect two railways of subway and local trains, and the transportation of school (semi-shuttle) bus was necessary from the nearby train station to the "Big Orange Station" at the entrance of Ito Campus.<br /><br /><div class="separator" style="clear: both; text-align: center;"><a href="http://3.bp.blogspot.com/-6f5iWsCgGzA/UHNhNrWPBTI/AAAAAAAAAMM/imCIxC3K54c/s1600/IMG_1747.JPG" imageanchor="1" style="clear: right; float: right; margin-bottom: 1em; margin-left: 1em;"><img border="0" height="300" src="http://3.bp.blogspot.com/-6f5iWsCgGzA/UHNhNrWPBTI/AAAAAAAAAMM/imCIxC3K54c/s400/IMG_1747.JPG" width="400" /></a></div>My presentation was about the "Geometric Quantization of Wess-Zumino-Witten model" and not "Geometric Quantization of Chern-Simons theory". In addition, my presentation was a revisit of Spontaneous Symmetry Breaking by Nambu-Goldstone bosons and soliton's micro-local calculus (Dynamical Symmetry Breaking) of co-tangent bundle of beta-gamma conformal field theory without explicitly assuming the motivic integration of Kontsevich-Soibelman or Feynman's oscillator integrals. See the English abstract for the conference at <a href="http://mathsoc.jp/en/meeting/kyushu12sept/summary.html">the MSJ official website</a>. The latter half of my presentation title was on the "virtual localization formula", but it is not the WKB (semi-classical) approximation of pre-quantization and polarization after the Oxford's school of differential geometers. My trial was to formulate the (topologically half-twisted) Super-Conformal Field Theories as an extension of Wess-Zumino-Witten term of level 1, which was claimed by N.Nerasov[2005] but not uploaded to the arXiv unlike proposed.<br /><br />Last but not least, let me mention my travel airline briefly. The Skymark airline, which is a recently hot topic of an LCC (Low-Cost-Carrier) airline agency, was used from 06:20am to 08:15am (Japan's Standard Time) at 20-Sep-2012, from Haneda (羽田) airport in Tokyo to Fukuoka in order to attend the domestic meeting of the Algebra Session.<br /><br /><div class="separator" style="clear: both; text-align: center;"><a href="http://1.bp.blogspot.com/-aVXs9H6EyQ0/UHNmypRhtyI/AAAAAAAAAMg/G1U45LAk9ZQ/s1600/IMG_1745.JPG" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" height="300" src="http://1.bp.blogspot.com/-aVXs9H6EyQ0/UHNmypRhtyI/AAAAAAAAAMg/G1U45LAk9ZQ/s400/IMG_1745.JPG" width="400" /></a></div>However, the returning way back from Fukuoka to Haneda was terribly delayed. I first waited more than half an hour at the Big Orange Station, which made me thirsty and sunburnt. I arrived at the Fukuoka airport one hour before the schedule while I left the conference hall at 14:00. I had to wait for the boarding at the gate 2 since the aircraft of LCC was delayed to arrive for the schedule of departure time 17:55, which was postponed to be after 18:15 and I had patiently awaited since otherwise I would have to wait for the next LCC flight of more than 2 hours later at night.<br /><br /><div class="separator" style="clear: both; text-align: center;"><a href="http://2.bp.blogspot.com/-Qry4HI3W6Ys/UHNpBkbSz8I/AAAAAAAAAMs/LbAfg1p2y60/s1600/IMG_1749.JPG" imageanchor="1" style="clear: right; float: right; margin-bottom: 1em; margin-left: 1em;"><img border="0" height="300" src="http://2.bp.blogspot.com/-Qry4HI3W6Ys/UHNpBkbSz8I/AAAAAAAAAMs/LbAfg1p2y60/s400/IMG_1749.JPG" width="400" /></a></div>Unlike supposed, my oral presentation was not performed regularly because of the irregularly worked projector from my EEEPC901 net-book with Fedora 17, which I used for several times and demonstrated twice within the conference dates. The Algebra Session was tight in schedule, so that I used my OHP backup for the optical camera with the use of my green laser pointer. I hope my above-mentioned slide file will be useful for someone who is interested in the relation between the Higgs mechanism (of physicist's sense) and the chiral algebra (Hamiltonian method on the worldsheet Riemann surface) theory with the base change of target space Kaehler manifolds (Lagrangian method of factorization algebra).<br /><br />The chairperson's question was about my next research plan and I said "I have worked more than 5 years on this topic. From the beginning around the AMS talk of Okounkov, an extension to non-toric cases is a long-standing problem. I also would like to apply the DGA method to quantum invariants." It was because Japanese mathematics is under a serious view from the outside society and Japanese mathematicians have to explain the value to the general public; since Japanese economy faces 20 years of serious decline and the universities are under severe budget cuts.<br /><br />In the good-old-days of Greek geometry, mathematicians can naively and Platonically quote <span class="reference-text"><span class="citation book">"Evidently Euclid did not stress the practical aspects of his subject, for there is a tale told of him that when one of his students asked of what use was the study of geometry, Euclid asked his slave to give the student threepence, "since he must make gain of what he learns.""</span></span><br /><br /><span class="reference-text"><span class="citation book">Nevertheless, nowadays world economics suggests a serious reconsideration of our position of academics in the real-world of general public. So I just started my oral explanation of presentation by saying "If you have to talk to a person in an area other than mathematics, you can appeal algebraic geometry has useful applications (such as blow-ups) to natural science, and not just calculus alone".</span></span><br /><span class="reference-text"><span class="citation book"><br /></span></span><span class="reference-text"><span class="citation book">I hope I can keep my trial on the recovery of academic value in the calculation-based financial society.</span></span>http://makotosakurai.blogspot.com/2012/10/higgs-hunter.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-3718901368957281198Sun, 01 Jan 2012 14:59:00 +00002012-01-02T10:05:30.995+09:00Earth Top and Spin RotationGreetings.<br /><br />Today I prepared some academic documents to submit, so that I did not have time to take a sufficient rest.<br /><br />Indeed, we had another earthquake (fortunately far southern to Japanese islands and Tokyo) with Magnitude M=7.0. As the Energy Magnitude is (in a conventional definition) defined as a logarithmic scale of effective Joule energy, we had 1/1000 times Energy if compared to that of the Tohoku earthquake (M=9.0).<br /><br /><object width="320" height="266" class="BLOG_video_class" id="BLOG_video-75eab9cd573950d0" classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000" codebase="http://download.macromedia.com/pub/shockwave/cabs/flash/swflash.cab#version=6,0,40,0"><param name="movie" value="//www.youtube.com/get_player"><param name="bgcolor" value="#FFFFFF"><param name="allowfullscreen" value="true"><param name="flashvars" value="flvurl=http://redirector.googlevideo.com/videoplayback?id%3D75eab9cd573950d0%26itag%3D5%26source%3Dblogger%26app%3Dblogger%26cmo%3Dsensitive_content%3Dyes%26ip%3D0.0.0.0%26ipbits%3D0%26expire%3D1416228962%26sparams%3Dip,ipbits,expire,id,itag,source%26signature%3D65D6888F3F47ED4F1784E71A3585420D8A34BE16.19696A03699565D64780B01EBF0854E6E3C2EC98%26key%3Dck2&iurl=http://video.google.com/ThumbnailServer2?app%3Dblogger%26contentid%3D75eab9cd573950d0%26offsetms%3D5000%26itag%3Dw160%26sigh%3DSSPFHlu3jFR26mJCQy1BIJR-MJ0&autoplay=0&ps=blogger"><embed src="//www.youtube.com/get_player" type="application/x-shockwave-flash" width="320" height="266" bgcolor="#FFFFFF" flashvars="flvurl=http://redirector.googlevideo.com/videoplayback?id%3D75eab9cd573950d0%26itag%3D5%26source%3Dblogger%26app%3Dblogger%26cmo%3Dsensitive_content%3Dyes%26ip%3D0.0.0.0%26ipbits%3D0%26expire%3D1416228962%26sparams%3Dip,ipbits,expire,id,itag,source%26signature%3D65D6888F3F47ED4F1784E71A3585420D8A34BE16.19696A03699565D64780B01EBF0854E6E3C2EC98%26key%3Dck2&iurl=http://video.google.com/ThumbnailServer2?app%3Dblogger%26contentid%3D75eab9cd573950d0%26offsetms%3D5000%26itag%3Dw160%26sigh%3DSSPFHlu3jFR26mJCQy1BIJR-MJ0&autoplay=0&ps=blogger" allowFullScreen="true" /></object><br /><br />The image above "The Earth Top" (taken by me) is what I am preparing for the last two lectures of dynamics and electro-magnetics at the year 2012 (Winter semester of 2011) at Tokyo. We will compute the inertia momentum "I", diagonalization by diag(I1, I2, I3) for non-symmetric gyro top, and the introduction of the coordinate transformation.<br /><br />Galileo's episode (made up by historians?) is quoted as "Yes, that's right" (Answer to "Isn't the earth moving?") This saying has several variations, such as "Yet the earth does move." However, at the era of Galileo Galilei, it was still possible to study mechanics as a mathematical hypothesis like the heliocentric model by Nicolaus Copernicus in the 15C's and 16C's. Galileo's accused point [1564-1642] was to study his relativity principle (coordinate changes between two inertia frames) as a guiding principle of real-world problem.<br /><br />I wish a happy new year and good documents for (special) relativity.http://makotosakurai.blogspot.com/2012/01/earth-top-and-spin-rotation.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-8261821379545007869Wed, 21 Dec 2011 13:38:00 +00002013-09-13T15:17:00.987+09:00Newton's Festival at the University of Tokyo<div class="post-header-line-1"><br />Dear friends;<br /><br />My homepage is temporarily closed for some reasons (, but I preserve its files and information). For almost one year, I worked for my mathematics lecture [brush-up and undergraduate mathematics at the summer semester] as well as my physics lecture [brush-up and introduction to dynamics / analytical mechanics (including some classical integrable systems of tops with inertia momentum tensor), and electro-magnetic special relativity at the winter semester].<br /><br />Here is some mini-blogs (I'm sorry it is written in Japanese) for this year; I have a Facebook account for more English posts (or sometimes in French, German, or Japanese [from Twitter or Android cell phone]).<br /><br />http://twilog.org/makotosakuraijp/<br /><br /><a href="http://makotosakurai.blogspot.com/2006/03/1st-day-of-jps-march-2006.html">My old diary</a> described my trip to a university of Japan, which had an "apple tree of Newton". Today was the "Newton Festival 2011" of Department of Physics, the University of Tokyo. However, as I explained above, I could not leave the lecture until 18:15, so that I could not attend the party at the Sanjo-Kaikan (山上会館) inside the Hongo Campus of the University of Tokyo.<br /><br />As all of you must know, Japan is under the revival from the Tohoku earthquake at 11-March-2011, 14:46, and the nuclear crisis afterwards. (I explained some of the radioactivity information and radioactivity protection to my colleagues and students.) Therefore, I could not travel much for conferences or workshops far from Tokyo, so that it was very difficult to keep my research activity.<br /><br />I wish you would have happy holidays and a "better" new year!<br /><br />Best wishes,<br /><br />Makoto Sakurai</div><br /><iframe allowtransparency="true" frameborder="0" scrolling="no" src="//www.facebook.com/plugins/like.php?href=http%3A%2F%2Fmakotosakurai.blogspot.com%2F2011%2F12%2Fnewtons-festival-at-university-of-tokyo.html&send=false&layout=button_count&width=450&show_faces=true&action=like&colorscheme=light&font&height=21" style="border: none; height: 21px; overflow: hidden; width: 450px;"></iframe>http://makotosakurai.blogspot.com/2011/12/newtons-festival-at-university-of-tokyo.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-649100983242355098Fri, 31 Dec 2010 22:53:00 +00002011-01-01T08:15:54.601+09:00Japanese Rising Sun 2011<object width="320" height="266" class="BLOG_video_class" id="BLOG_video-1cf2673f9c08659" classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000" codebase="http://download.macromedia.com/pub/shockwave/cabs/flash/swflash.cab#version=6,0,40,0"><param name="movie" value="//www.youtube.com/get_player"><param name="bgcolor" value="#FFFFFF"><param name="allowfullscreen" value="true"><param name="flashvars" value="flvurl=http://redirector.googlevideo.com/videoplayback?id%3D01cf2673f9c08659%26itag%3D5%26source%3Dblogger%26app%3Dblogger%26cmo%3Dsensitive_content%3Dyes%26ip%3D0.0.0.0%26ipbits%3D0%26expire%3D1416228962%26sparams%3Dip,ipbits,expire,id,itag,source%26signature%3DB223D47A9647C333DF41786BDB06E0B9F3D88A8D.8EA4AF01E4BC7FC017307F0DFB84EAD114B9087D%26key%3Dck2&iurl=http://video.google.com/ThumbnailServer2?app%3Dblogger%26contentid%3D01cf2673f9c08659%26offsetms%3D5000%26itag%3Dw160%26sigh%3DuhO2gXz1q7piuV1KOrZyh3E-Jcw&autoplay=0&ps=blogger"><embed src="//www.youtube.com/get_player" type="application/x-shockwave-flash" width="320" height="266" bgcolor="#FFFFFF" flashvars="flvurl=http://redirector.googlevideo.com/videoplayback?id%3D01cf2673f9c08659%26itag%3D5%26source%3Dblogger%26app%3Dblogger%26cmo%3Dsensitive_content%3Dyes%26ip%3D0.0.0.0%26ipbits%3D0%26expire%3D1416228962%26sparams%3Dip,ipbits,expire,id,itag,source%26signature%3DB223D47A9647C333DF41786BDB06E0B9F3D88A8D.8EA4AF01E4BC7FC017307F0DFB84EAD114B9087D%26key%3Dck2&iurl=http://video.google.com/ThumbnailServer2?app%3Dblogger%26contentid%3D01cf2673f9c08659%26offsetms%3D5000%26itag%3Dw160%26sigh%3DuhO2gXz1q7piuV1KOrZyh3E-Jcw&autoplay=0&ps=blogger" allowFullScreen="true" /></object><br /><br /><br /><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://4.bp.blogspot.com/_FGOg_XWX-R4/TR5hlbtSTlI/AAAAAAAAALc/R3kBziyVsQI/s1600/RisingSun2011-4.JPG"><img style="float:right; margin:0 0 10px 10px;cursor:pointer; cursor:hand;width: 400px; height: 300px;" src="http://4.bp.blogspot.com/_FGOg_XWX-R4/TR5hlbtSTlI/AAAAAAAAALc/R3kBziyVsQI/s400/RisingSun2011-4.JPG" border="0" alt="" id="BLOGGER_PHOTO_ID_5556986285942525522" /></a><br /><br />The sun is rising. I had observed before the dawn to the sunrise of New Year's Day 2011. The photos are listed anti-chronologically.<br /><br />Have happy holidays and a good new year.<br /><br />Makoto Sakurai<br /><br /><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://1.bp.blogspot.com/_FGOg_XWX-R4/TR5hfb5PuiI/AAAAAAAAALU/2SrsUol4_DY/s1600/RisingSun2011-3.JPG"><img style="float:right; margin:0 0 10px 10px;cursor:pointer; cursor:hand;width: 400px; height: 300px;" src="http://1.bp.blogspot.com/_FGOg_XWX-R4/TR5hfb5PuiI/AAAAAAAAALU/2SrsUol4_DY/s400/RisingSun2011-3.JPG" border="0" alt="" id="BLOGGER_PHOTO_ID_5556986182913473058" /></a><br /><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://3.bp.blogspot.com/_FGOg_XWX-R4/TR5hNa3ltBI/AAAAAAAAALE/5x1pJ-tD2pg/s1600/RisingSun2011-2.JPG"><img style="float:right; margin:0 0 10px 10px;cursor:pointer; cursor:hand;width: 400px; height: 300px;" src="http://3.bp.blogspot.com/_FGOg_XWX-R4/TR5hNa3ltBI/AAAAAAAAALE/5x1pJ-tD2pg/s400/RisingSun2011-2.JPG" border="0" alt="" id="BLOGGER_PHOTO_ID_5556985873400443922" /></a><br /><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://3.bp.blogspot.com/_FGOg_XWX-R4/TR5hIIQqlMI/AAAAAAAAAK8/q22fc2YqXXg/s1600/RisingSun2011.JPG"><img style="float:right; margin:0 0 10px 10px;cursor:pointer; cursor:hand;width: 400px; height: 300px;" src="http://3.bp.blogspot.com/_FGOg_XWX-R4/TR5hIIQqlMI/AAAAAAAAAK8/q22fc2YqXXg/s400/RisingSun2011.JPG" border="0" alt="" id="BLOGGER_PHOTO_ID_5556985782506001602" /></a><br /><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://2.bp.blogspot.com/_FGOg_XWX-R4/TR5hAs_vYbI/AAAAAAAAAK0/3xKh5KIv8zI/s1600/RedDawning2011.JPG"><img style="float:right; margin:0 0 10px 10px;cursor:pointer; cursor:hand;width: 400px; height: 300px;" src="http://2.bp.blogspot.com/_FGOg_XWX-R4/TR5hAs_vYbI/AAAAAAAAAK0/3xKh5KIv8zI/s400/RedDawning2011.JPG" border="0" alt="" id="BLOGGER_PHOTO_ID_5556985654928171442" /></a><br /><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://2.bp.blogspot.com/_FGOg_XWX-R4/TR5g5P_9yAI/AAAAAAAAAKs/cJfHrRV6pH4/s1600/Moon2011.JPG"><img style="float:right; margin:0 0 10px 10px;cursor:pointer; cursor:hand;width: 400px; height: 300px;" src="http://2.bp.blogspot.com/_FGOg_XWX-R4/TR5g5P_9yAI/AAAAAAAAAKs/cJfHrRV6pH4/s400/Moon2011.JPG" border="0" alt="" id="BLOGGER_PHOTO_ID_5556985526885402626" /></a><br /><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://4.bp.blogspot.com/_FGOg_XWX-R4/TR5gzE7TifI/AAAAAAAAAKk/Oz-vAtH-AA0/s1600/MoonStar2011.JPG"><img style="float:right; margin:0 0 10px 10px;cursor:pointer; cursor:hand;width: 400px; height: 300px;" src="http://4.bp.blogspot.com/_FGOg_XWX-R4/TR5gzE7TifI/AAAAAAAAAKk/Oz-vAtH-AA0/s400/MoonStar2011.JPG" border="0" alt="" id="BLOGGER_PHOTO_ID_5556985420833851890" /></a>http://makotosakurai.blogspot.com/2011/01/japanese-rising-sun-2010.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-384778061855409727Wed, 15 Sep 2010 10:01:00 +00002013-08-27T16:55:14.997+09:00Japan Physical Society 2010 Fall in Kyushu<img alt="" border="0" id="BLOGGER_PHOTO_ID_5517087472050613074" src="http://3.bp.blogspot.com/_FGOg_XWX-R4/TJCh0zZVq1I/AAAAAAAAAJA/ihOfTQQxHyo/s400/IMG_0627.JPG" style="cursor: hand; display: block; height: 300px; margin: 0px auto 10px; text-align: center; width: 400px;" /> <br /><div><a href="http://1.bp.blogspot.com/_FGOg_XWX-R4/TJCfUgMwe7I/AAAAAAAAAIw/gaOzjTTChXw/s1600/IMG_0612.JPG"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5517084718118501298" src="http://1.bp.blogspot.com/_FGOg_XWX-R4/TJCfUgMwe7I/AAAAAAAAAIw/gaOzjTTChXw/s400/IMG_0612.JPG" style="cursor: hand; float: right; height: 260px; margin: 0px 0px 10px 10px; width: 292px;" /></a><br /><br /></div><div><div>The Japan Math-Phys Society became separated after the Nobel winning paper by Yukawa at about 75 years ago. So my presentation to the JPS (Japan Physical Society) is the first time since I did at the year 2006; which was a joint meeting with the USA at Hawaii. (See the past blog.)<br /><br />In this week, I visited the Kyushu-Kogyo University by staying for only 2(+1) days at a hotel near Kokura (小倉:a bullet train station). The travel was nice, because I took a very-early-morning flight from Haneda to Kita-Kyushu; my flight was the retirement of the aircraft (type MD87) for 25 years, whose schedule for departure was 5-minute-delayed, but the arrival was just on time. (The speed of flight was 820 km/hour: the second figure is the Kofu-basin 甲府盆地) Then the third figure is the mono-rail and bullet-train station Kokura seen from the station square. </div><div></div><br /><a href="http://2.bp.blogspot.com/_FGOg_XWX-R4/TJChc6EEREI/AAAAAAAAAI4/mISNp5FrVlc/s1600/IMG_0625.JPG"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5517087061523579970" src="http://2.bp.blogspot.com/_FGOg_XWX-R4/TJChc6EEREI/AAAAAAAAAI4/mISNp5FrVlc/s400/IMG_0625.JPG" style="cursor: hand; float: right; height: 256px; margin: 0px 0px 10px 10px; width: 293px;" /></a>Then I took a shuttle bus before an early-checked-in at the hotel for suit case, and checked the way to the university presentation room. It (Sep-12) was Sunday and we just have accelerator experimentalists and I heard a public lecture at the auditorium.<br /><br />The second day was by the lattice gauge theory, quantum integrable systems, AdS/CFT, and quantum mechanics. I heard some physics discussions by senior staffs, and I had become very exhausted.<br /><br />The final day was my presentation day at the string theory session, for the illumination of my past 2-3 years of development of "pure math" to see how the S-duality conjecture is seen from an algebraic-geometer with some physics background. The slide is available at:<br /><a href="http://www.ms.u-tokyo.ac.jp/~makoto/JPS2010Fall.pdf">Moduli space of chiral conformal field theories and compactification to Kahler manifolds</a></div><br /><br />The final figure is the panel guiding the participants to the presentation halls.<br /><img alt="" border="0" id="BLOGGER_PHOTO_ID_5517089397370573138" src="http://2.bp.blogspot.com/_FGOg_XWX-R4/TJCjk3xY0VI/AAAAAAAAAJQ/2LOllM9QbqQ/s400/IMG_0626.JPG" style="cursor: hand; display: block; height: 300px; margin: 0px auto 10px; text-align: center; width: 400px;" />http://makotosakurai.blogspot.com/2010/09/japan-physical-society-2010-fall-in.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-428351455924535458Tue, 10 Aug 2010 22:49:00 +00002010-08-11T08:02:01.295+09:00Virtual visit at KITP California, QFT and Langlands<a href="http://www.itp.ucsb.edu/activities/dbdetails?acro=duallang_m10">Langlands-Type Dualities in Quantum Field Theory</a>, KITP, California, USA, Aug 9, 2010 - Aug 27, 2010 is delivering the videos (and lecture notes) in several formats at <a href="http://online.kitp.ucsb.edu/online/duallang_m10/">the wikispace</a>. This conference is more on physi-cians' mathematics on low dimensional topology (or sometimes with extra dimensions or relative dimension of embeddings).<br /><br />Unfortunately, I do not have time nor budgets to travel this month, but I hope to learn (and contribute to in some sense) something fruitful in this occasion. My old colleagues and friends attend the meetings, so I will do what I can do by myself.http://makotosakurai.blogspot.com/2010/08/virtual-visit-at-kitp-california-qft.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-3476618805541705299Thu, 05 Aug 2010 04:25:00 +00002013-10-02T17:03:12.059+09:00Jet sky and Differential Graded Lie Algebras<div align="right">Today I have a fine sky at Komaba, Tokyo and I am going to visit the string topology by Voronov at Kashiwa campus of the University of Tokyo. The video is the jet sky over the ground of Komaba campus, where we have an "open campus".</div><div align="right"></div><div align="center"></div><object width="320" height="266" class="BLOG_video_class" id="BLOG_video-a5ea93015adf5159" classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000" codebase="http://download.macromedia.com/pub/shockwave/cabs/flash/swflash.cab#version=6,0,40,0"><param name="movie" value="//www.youtube.com/get_player"><param name="bgcolor" value="#FFFFFF"><param name="allowfullscreen" value="true"><param name="flashvars" value="flvurl=http://redirector.googlevideo.com/videoplayback?id%3Da5ea93015adf5159%26itag%3D5%26source%3Dblogger%26app%3Dblogger%26cmo%3Dsensitive_content%3Dyes%26ip%3D0.0.0.0%26ipbits%3D0%26expire%3D1416228962%26sparams%3Dip,ipbits,expire,id,itag,source%26signature%3D053989AAAF9C73B9E1E4A1FD98A88DD685104199.428A93C22D03D7F6190A0FC1A2D89C48CF87CFB6%26key%3Dck2&iurl=http://video.google.com/ThumbnailServer2?app%3Dblogger%26contentid%3Da5ea93015adf5159%26offsetms%3D5000%26itag%3Dw160%26sigh%3DkGcGx8rsQAUyLzWKmjfKrK1dvZI&autoplay=0&ps=blogger"><embed src="//www.youtube.com/get_player" type="application/x-shockwave-flash" width="320" height="266" bgcolor="#FFFFFF" flashvars="flvurl=http://redirector.googlevideo.com/videoplayback?id%3Da5ea93015adf5159%26itag%3D5%26source%3Dblogger%26app%3Dblogger%26cmo%3Dsensitive_content%3Dyes%26ip%3D0.0.0.0%26ipbits%3D0%26expire%3D1416228962%26sparams%3Dip,ipbits,expire,id,itag,source%26signature%3D053989AAAF9C73B9E1E4A1FD98A88DD685104199.428A93C22D03D7F6190A0FC1A2D89C48CF87CFB6%26key%3Dck2&iurl=http://video.google.com/ThumbnailServer2?app%3Dblogger%26contentid%3Da5ea93015adf5159%26offsetms%3D5000%26itag%3Dw160%26sigh%3DkGcGx8rsQAUyLzWKmjfKrK1dvZI&autoplay=0&ps=blogger" allowFullScreen="true" /></object>http://makotosakurai.blogspot.com/2010/08/jet-sky-and-differential-graded-lie.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-7257766271560117888Wed, 30 Jun 2010 13:24:00 +00002010-06-30T22:39:20.412+09:00Rainbow Connection<a href="http://photos1.blogger.com/blogger/4668/1293/1600/NiagaraRainbow4.jpg"><img style="MARGIN: 0px 0px 10px 10px; WIDTH: 614px; FLOAT: right; HEIGHT: 461px; CURSOR: hand" border="0" alt="" src="http://photos1.blogger.com/blogger/4668/1293/1600/NiagaraRainbow4.jpg" /></a><br /><div><br />Today's post is a déjà-vu of Strings 2005 conference in Toronto.<br /><br />See the original: <a href="http://makotosakurai.blogspot.com/2005/07/3rd-day-of-strings-2005.html">3rd day of Strings 2005</a></div>http://makotosakurai.blogspot.com/2010/06/rainbow-connection.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-8569930402715359892Thu, 03 Jun 2010 02:05:00 +00002010-06-18T06:10:35.510+09:00Firework in Tokyo<p><object width="320" height="266" class="BLOG_video_class" id="BLOG_video-77062446e645256c" classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000" codebase="http://download.macromedia.com/pub/shockwave/cabs/flash/swflash.cab#version=6,0,40,0"><param name="movie" value="//www.youtube.com/get_player"><param name="bgcolor" value="#FFFFFF"><param name="allowfullscreen" value="true"><param name="flashvars" value="flvurl=http://redirector.googlevideo.com/videoplayback?id%3D77062446e645256c%26itag%3D5%26source%3Dblogger%26app%3Dblogger%26cmo%3Dsensitive_content%3Dyes%26ip%3D0.0.0.0%26ipbits%3D0%26expire%3D1416228962%26sparams%3Dip,ipbits,expire,id,itag,source%26signature%3D041E4649D3190292C20871B2E18A72E85E86364B.33EC00EC409E41E58015DFF60A88E594592D4937%26key%3Dck2&iurl=http://video.google.com/ThumbnailServer2?app%3Dblogger%26contentid%3D77062446e645256c%26offsetms%3D5000%26itag%3Dw160%26sigh%3DixxNhTU4xxhjIGgfK3gbCHmTEOw&autoplay=0&ps=blogger"><embed src="//www.youtube.com/get_player" type="application/x-shockwave-flash" width="320" height="266" bgcolor="#FFFFFF" flashvars="flvurl=http://redirector.googlevideo.com/videoplayback?id%3D77062446e645256c%26itag%3D5%26source%3Dblogger%26app%3Dblogger%26cmo%3Dsensitive_content%3Dyes%26ip%3D0.0.0.0%26ipbits%3D0%26expire%3D1416228962%26sparams%3Dip,ipbits,expire,id,itag,source%26signature%3D041E4649D3190292C20871B2E18A72E85E86364B.33EC00EC409E41E58015DFF60A88E594592D4937%26key%3Dck2&iurl=http://video.google.com/ThumbnailServer2?app%3Dblogger%26contentid%3D77062446e645256c%26offsetms%3D5000%26itag%3Dw160%26sigh%3DixxNhTU4xxhjIGgfK3gbCHmTEOw&autoplay=0&ps=blogger" allowFullScreen="true" /></object></p><p>Today I observed a firework in this season. Tokyo is about to welcome the summer season. </p>http://makotosakurai.blogspot.com/2010/06/firework-in-tokyo.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-5719333198088165227Sat, 27 Mar 2010 09:20:00 +00002010-03-28T12:20:25.908+09:00Level structures and moduli space of chiral conformal field theories<a href="http://1.bp.blogspot.com/_FGOg_XWX-R4/S63N9FE5zsI/AAAAAAAAAH4/_GUJCBIJm3c/s1600/IMG_0390.JPG"><img style="margin: 0px 0px 10px 10px; width: 400px; float: right; height: 300px;" id="BLOGGER_PHOTO_ID_5453241173033995970" alt="" src="http://1.bp.blogspot.com/_FGOg_XWX-R4/S63N9FE5zsI/AAAAAAAAAH4/_GUJCBIJm3c/s400/IMG_0390.JPG" border="0" /></a> This week, I delivered a talk on holonomic $\mathcal{D}$-modules and their level structure. In order to explain the moduli space of chiral (holomorphic) conformal field theory, I explained some categorical aspects of topological string theory as well as the DG-scheme of Fontaine-Kapranov theory of integration over formal loop space on (hyper-)kahler manifolds with mild singularity.<br /><br />As is always, the slides are avaible on the official website:<br /><br /><a href="http://www.ms.u-tokyo.ac.jp/%7Emakoto/JMS2010March.pdf">Level structures and moduli space of chiral conformal field theories.</a><br /><br /><a href="http://4.bp.blogspot.com/_FGOg_XWX-R4/S63OC4UtfFI/AAAAAAAAAIA/9s2uw4LGW8U/s1600/IMG_0391.JPG"><img style="margin: 0px 10px 10px 0px; width: 400px; float: left; height: 300px;" id="BLOGGER_PHOTO_ID_5453241272689851474" alt="" src="http://4.bp.blogspot.com/_FGOg_XWX-R4/S63OC4UtfFI/AAAAAAAAAIA/9s2uw4LGW8U/s400/IMG_0391.JPG" border="0" /></a> In summary, I explained the "super-"conformal field theories as well as the "supersymmetric" gauge theory, in the language of Differential Graded Category as well as the stack singularity for the Chan-Paton factor, as a generalization of quiver gauge theory.http://makotosakurai.blogspot.com/2010/03/level-structures-and-chiral-conformal.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-7102587120999199999Wed, 24 Feb 2010 07:35:00 +00002010-08-01T01:42:24.836+09:00Eseen 2010 5th day, Algebraic Geometry and Arithmetic2010-Feb-20th was the final day of the official day of Essen 2010, whose schedule was adapted to the carnival that I mentioned previously. <div><br /></div><div>Thelene (CNRS & Paris) and Lazarsfield were the speakers of this day. Thelene talked about the universal invariant and algebraic cycles of higher codimension. The main result was</div><div><br /></div><div>Z^{2i} (X) = H^{2i}_{Hodge} (X, ¥mathbb{Z}) / H^{2i}_{alg} (X, ¥mathbb{Z})</div><div><br /></div><div>(where i = 1: Lefshectz, d-1, or 2). He considered Bloch-Ogus theorem and Betti cohomology.</div><div><br /></div><div>Lazarsfield talked about the positivity (Eckart Viehweg and Esnault) of cycles on abelian varieties. I. Review of positivity for divisors of X = smooth projective variety / ¥mathbb{C}. </div><div><br /></div><div>-- 1960's (Kodaira and Kleiman) for numerical theory of positivity.</div><div><br /></div><div>II. Higher codimension:</div><div><br /></div><div>-- product structure on the nef class (after the letter of Grothendieck to Mumford in the collection Vol. II.), especially on whether nef class is in the pseudo-effective divisors.</div><div><br /></div><div>III. Positivity of Abelian varieties of real (k,k)-forms on V, where we set B = V / ¥Lambda for abelian variety. He stated the notion of strong / weak positivity of (k,k)- differential form.</div><div><br /></div><div>After the conference, some of the participants are guided to the coal mine called Zeche Zollverein, which was about 20 minutes far from the Berliner Platz station by "tram".</div><div><br /></div><div>I could have talked to famous professors as well as young fellows in this week. Therefore I appreciated this occasion of conference on the memory of Prof. Eckard Viehweg.</div>http://makotosakurai.blogspot.com/2010/02/eseen-2010-5th-day-algebraic-geometry.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-3249451479622456721Wed, 24 Feb 2010 07:35:00 +00002010-06-18T06:10:21.653+09:00Eseen 2010 4th day, Algebraic Geometry and ArithmeticThe 4th day (February 19) morning was by Takuro Mochizuki, Venjakob, Fantechi. Mochizuki was on the recent development on the irregular singularity after Sabbah. The motivation came from \mathbb{Q}-holonomic D-module \mathcal{M} / X. Regular singularity case has Riemann-Hilbert correspondence for f_{\ast}, f_!, f^{\ast}, f^!, \otimes, RHom, \psi_g (nearby cycle), \phi_g (vanishing cycle). [Saito-Terasoma: \mathcal{M} regular singular meromorphic bundle, Beilinson-Bloch-Deligne-Esnault: regular, dim X = 1]. Then, rather than naive hope for "pre-Betti structure", he worked on an extra condition of "canonical Betti strucutre" for functoriality of "Stokes structure" (Stokes filration rather than Deligne filtration) after gluing of \mathbb{C}-perverse sheaves.<br /><br />Venjakov was on the non-commutative Iwasawa main conjecture for elliptic curves with complex multiplication (CM). The definition of Iwasawa was on p-adic zeta function \zeta_p up to unit, and L_p for elliptic curve. The CM case was E \ \mathbb{Q} with \mathcal{O}_K = End (E).<br /><br />Fantechi (SISSA) talked about "Twists or logs as you please", Degeneration form for Gromov-Witten invariants. She defined the Gromov-Witten invariants, which were numerical invariants of smooth projective variety over \mathbb{C}. Rather than computing symplectic invariants of Li-Ruan (and relative version by Ionel-Parker), here came the algebraic geometry of Jun Li (2001). After the talks, I went to the student restaurant and a cafe, and explained to participants about the recent understanding of mirror symmetry conjecture on Gromov-Witten potential and generating function of correlation function of cohomological field theory (and Frobenius structure on the Gauss-Manin integrable connection).<br /><br />Afternoon talk was only by Prof. Hida on analytic number theory of 'big' Hecke algebra. As is often the case with automorphic forms, he introduced the space of cusp forms S_{k+1} with weight k+1. He explained something important for definition of analytic L-function by Greenberg's definition written in his books.http://makotosakurai.blogspot.com/2010/02/eseen-2010-4th-day-algebraic-geometry.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-2567527438155571486Sat, 20 Feb 2010 07:27:00 +00002010-02-22T17:54:22.679+09:00Eseen 2010 3rd day, Algebraic Geometry and Arithmetic3rd day morning (Feb.18) was by Kramer, Geisser, and Kim. Kramer's talk was on the Arakelov geometry (a la Gillet et Soule', Faltings, Bismut) by Quillen metric and arithmetic Riemann-Roch theorem by Burger, Kuehn, utilizing heat kernel regulator. The main goal was on the log singular-metric \mu on modular curves and he assumed the Peterson metric induced by \mu on the relative dualizing sheaf. The spectral zeta function worked for the regularization, which seems to be the anomaly formula of string theory. However, I do not know about how supersymmetry can work to regularize the trace and the determinant bundle.<br /><br />Geisser was on Suslin homology (which is a Torsion of simplicial complexes with coefficient A: abelian group, assuming the resolution of singularity) and his recent preprint on Parshin's conjecture. Let k be a perfect field, and X / k separated of finite type. We divided the cohomology paring into torsion-free part and torsion part. Then the Suslin-Voevodsky theorem asserts the equivalence of Suslin and etale cohomology with coefficient \mathbb{Z}/m, where k is algebraically closed, char k doesn't divide m. Then he worked on base finite fields. Under the use of Weil group generated by Frobenius, the Conjecture P_0 (by Parshin's conjecture) is the vanishing of non-zero Suslin homology of rational coefficient for smooth proper scheme. Tate conjecture and Beilinson conjecture deduce Parshin's conjecture, and if further assume Kimura-O'Sullivan finite dimensnionality, conjecture P_0 holds. Then he finally asserted the equivalence of Conj. P_0 and generalized Kato conjecutre, in which for smooth X, we have the abelianization of the fundamental group.<br /><br />Minhhyang Kim was on the Diophantine geometry and Galois theory. 1. Abelian case (elliptic curves, Abelian motives: Fontaine-Mazure & Beilinson & Bloch-Kato), 2. Non-abelian Albanase map (Pro-finite version, the section conjecture of Grothendieck, motivic version).<br /><br />After the morning talk, we took a group photo which is available on the web. We went to the Mensa restaurant and ate a frankfur sausage with vegetable.<br /><br /><a href="http://m2.geometry.de/conference-foto.jpg"><img style="WIDTH: 621px; HEIGHT: 200px" src="http://m2.geometry.de/conference-foto-small.jpg" /></a><br /><br />Afternoon was by Beilinson and Huybrechts. Beilinson was on the Ziv Ran space's contractiblity, which is used in the arc space (formal loop space) formalism of factorization algebra. For X: topological space, R(X) := the set of finite irreducible subsets of X. The proposition was that if X is any connected cell complex (CW complex), then R(X) is contractible. Then the story was on the category $\mathcal{S}$ of finite non-empty sets and surjectivity for the index set I and Ran space R(X). The claim was that homotopy colimit of M_{X^I} in \mathcal{S} is homotopic to Rat(X,Y) (presheaf of rational map from X to Y). Then, for X a curve, Maps (X \ {x_i}, Y) is an ind-affine ind-scheme, and conctractible if Y = Z \subset \neq \mathbb{A}^d.<br /><br />Huybrechts was on the stability conditions on derived categoies of (polarized) K3 surfaces, after Douglas and Bridgeland's pi-stability condition, which is a modern reformulation of Harder-Narasimhan property and t-structure on derived category of coherent sheaves with heart. I asked him about the quintic 3-fold, but we do not know about the compact Calabi-Yau 3-folds, except for the local Calabi-Yau 3-fold by Nekrasov-Okounkov, algorithms of Landau-Ginzburg model for quiver variety with path algebra, (and recent work of Walcher for quintic 3-fold and its real Langrangian submanifold).http://makotosakurai.blogspot.com/2010/02/eseen-2010-3rd-day-algebraic-geometry.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-6144244008420013823Thu, 18 Feb 2010 14:23:00 +00002012-11-11T13:43:16.083+09:00Eseen 2010 2nd day, Algebraic Geometry and ArithmeticYesterday was the banquet day. But, before reporting the party, I will make an academic stuff.<br /><br />Edinxhoven was on the polynomial time algorithm to compute 2-dimensional Galois representations. To be more precise, if we fix the weight k, we obtain a (deterministic) computation of the Hecke operator T_p within a polynomial time in log p. If we further assume the generalized Riemann hypothesis, it is also in poly. time in the weight k. Jannsen was on excellent schemes of dimension 2 and their strong resolution. This was after the recent progress of posotive characteristic case by Prof. Hironaka et.al. Jannsen mentioned the history of canonical, non-embedding, and functorial resolutions of sigularities. Laza was on the minimal model program (Hatching, de Jong-Oort), ADE hypersurface singularity, and GIT quotient.<br /><br />Afternoon was by Nicaise and Abramovich. Nicaise talked about Neron model's existence, Grothendieck ring, motivic integration for monodromy of tame ramifications utilizing Chai's base change conductor. Abramovich talked about "Varieties with a twist" rather than "Geometry & moduli of stacks". He mentioned one of the books of Viehweg (Q.P. model of var. of general type) and a new ongoing book by Kollar. He talked about some family (moduli) of stable varieties. He finally mentioned the recent paper by Hacon-Mckernan on the log minimal model program.http://makotosakurai.blogspot.com/2010/02/eseen-2010-2nd-day-algebraic-geometry.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-2923431126524172843Wed, 17 Feb 2010 07:02:00 +00002013-10-17T06:06:05.340+09:00Eseen 2010 1st day, Algebraic Geometry and Arithmetic<a href="http://3.bp.blogspot.com/_FGOg_XWX-R4/S3uWMzIaTFI/AAAAAAAAAHI/7ycHdSVRcJY/s1600-h/IMG_0174.JPG"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5439106121608088658" src="http://3.bp.blogspot.com/_FGOg_XWX-R4/S3uWMzIaTFI/AAAAAAAAAHI/7ycHdSVRcJY/s400/IMG_0174.JPG" style="float: right; height: 300px; margin: 0px 0px 10px 10px; width: 400px;" /></a><br /><div>Yesterday was the 1st day of the conference on algebraic geometry and arithmetic in Essen, Germany. The internet connection (WiFi) was not established until now, so that I read the e-mail for the first time in Germany at the conference room.</div><br /><a href="http://3.bp.blogspot.com/_FGOg_XWX-R4/S3uXXN7FCiI/AAAAAAAAAHY/YK0rIjRUxrk/s1600-h/IMG_0193.JPG"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5439107400110246434" src="http://3.bp.blogspot.com/_FGOg_XWX-R4/S3uXXN7FCiI/AAAAAAAAAHY/YK0rIjRUxrk/s400/IMG_0193.JPG" style="float: left; height: 400px; margin: 0px 10px 10px 0px; width: 300px;" /></a> <br /><div></div><br /><div>Before the lecture, I had to look for how to reach the yellow building. While I was thinking about a public street (and the tram station) around the campus, it was found out that the lecture room is not at the math department, bur rather at the center of Duisburg-Essen University. </div><br /><div>The morning talks were delivered by Vistoli and Chenever. Before that the organizer delivered a speech on the passing away of Prof. Viehweg. Vistoli was on the "essential dimension" of a curve and the genericity theorem. After the definition of Merkuriev, the theorem of Brousnan-Retchtustein-Vistov holds for any ground filed with characteristic 0 (genus 0: 2, genus 1: +infty, genus 2: 5, genus >= 3, 3g - 3). After the theorem on smooth connected Deligne-Mumford stack of finite type over a field, the genericity theorem (Beosnan-Reichstein-Vistoli) holds. After thinking about the Artin stack and stable curves with n points, one conjectured that the automorphism group G should be "extremely reductive". Then we switched the case for d & n (especially for whether 3 divides d). </div><br /><a href="http://2.bp.blogspot.com/_FGOg_XWX-R4/S3uYulFKc1I/AAAAAAAAAHw/Q3Q4Zv1NNcQ/s1600-h/IMG_0195.JPG"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5439108900975178578" src="http://2.bp.blogspot.com/_FGOg_XWX-R4/S3uYulFKc1I/AAAAAAAAAHw/Q3Q4Zv1NNcQ/s400/IMG_0195.JPG" style="float: right; height: 300px; margin: 0px 0px 10px 10px; width: 400px;" /></a><br /><div>After the first talk, I could see Prof. Beilinson and talked about my research projects and his recent works with Gaitsogry. I reported my current updates at the topological methods (Jacob Lurie et al.) in mathematical physics at the Komaba compus and the Kavli IPMU of the University of Tokyo. </div><div><br />Chenever was on the analytic number theoretical methods to the modularity problem of complex multiplication. Mazur's results for p > 13 (p not 631) for Ramanujan delta function were stated, and the theorem of Graber-Mazur was that the quasi-modular points are Zariski dense. After the theorem on the first cohomology on generic situation, its kernel is isomorphic to 2nd cohomology. </div><br /><div>The lunch was at the shopping mall, and I took a Thai-Reise Spaghetti, which was very hot and I feel refreshed. After the lunch, we went to a cafe and we saw a carnival with bright costume.</div><br /><div>The afternoon session was by Ngo and Brosnan. Ngo talked about the Langlands program. It started from some classical results about Godement, Jacquet, Authur on the L-funciton. The endoscopy and analytic continuation were analyzed on the pole. After the Beilinson-Drinfeld Grassmanian (n=1 case and geometric Langlands), he showed the intersection cohomology of perverse sheaf (Hecke) on the Grassmanian. For the adelization of the trace formula, he utilized the Lie group and its Haar measure, Tamagawa measure on the coset. Then the Poisson resummation formula enables us to make the summation absolutely convergent.</div>http://makotosakurai.blogspot.com/2010/02/eseen-2010-1st-day-algebraic-geometry.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-1381471907066412319Fri, 01 Jan 2010 04:02:00 +00002010-01-01T14:14:37.594+09:00New Year 2010 in Tokyo<a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://4.bp.blogspot.com/_FGOg_XWX-R4/Sz10GlpO3lI/AAAAAAAAAHA/Kq-h32GxRAs/s1600-h/NewYear2010.jpg"><img style="margin: 0pt 0pt 10px 10px; float: right; cursor: pointer; width: 400px; height: 225px;" src="http://4.bp.blogspot.com/_FGOg_XWX-R4/Sz10GlpO3lI/AAAAAAAAAHA/Kq-h32GxRAs/s400/NewYear2010.jpg" alt="" id="BLOGGER_PHOTO_ID_5421617182957035090" border="0" /></a>Greetings.<br /><br />There are several environmental changes in Komaba campus, the University of Tokyo. For example, the entrance of mathematical science building now has a flower garden as is seen in the picture.<br /><br />Although no colleague I have seen for the first time today, I feel like a freshman of this research institute.<br /><br />Now that I am writing a long paper, I think I cannot attend a lot of conferences for this month. I also have to prepare for a travel to Europe of next month.<br /><br />All the best,<br /><br />Makoto Sakuraihttp://makotosakurai.blogspot.com/2009/12/new-year-2010-in-tokyo.htmlnoreply@blogger.com (makoto (真))tag:blogger.com,1999:blog-14329013.post-8544733507345830991Fri, 27 Nov 2009 10:03:00 +00002009-11-28T23:50:28.751+09:00Desplasability and Lagrangean submanifolds<span style="font-size:130%;"><a href="http://2.bp.blogspot.com/_FGOg_XWX-R4/Sw-j-BSk9EI/AAAAAAAAAG4/U7vyMUHkgWU/s1600/SN3E1345-716182.JPG"><img style="width: 412px; height: 231px;" src="http://2.bp.blogspot.com/_FGOg_XWX-R4/Sw-j-BSk9EI/AAAAAAAAAG4/U7vyMUHkgWU/s320/SN3E1345-716182.JPG" alt="" id="BLOGGER_PHOTO_ID_5408721963388826690" border="0" /></a></span><br />IPMU is on the verge of winter. Today's seminar by Tamarkin was on Fukaya category and Hamiltonian symplectomorphisms.<p>Kashiwa has the atmosphere of Christmas.</p>http://makotosakurai.blogspot.com/2009/11/desplasability-and-lagrangean.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-6312451481890027805Wed, 21 Oct 2009 18:24:00 +00002009-11-28T23:49:50.042+09:00Visual F# 1.9.7 availableDon Syme annouced the new version of F# compiler. MSDN subscription enables us to use Visual Studio 2010 Beta 2, but Visual Studio Shell 2008 is ready for today's new F#.<p>enjoy.</p>http://makotosakurai.blogspot.com/2009/10/visual-f-197-available.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-1788060228372244075Wed, 30 Sep 2009 12:52:00 +00002012-12-17T02:59:35.817+09:00Chiral categories at non-critical levels and generalized localization<a href="http://2.bp.blogspot.com/_FGOg_XWX-R4/SsNUtxqRjaI/AAAAAAAAAGg/vzy3TEmE9Jg/s1600-h/SenriChuo.png" onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5387242724666740130" src="http://2.bp.blogspot.com/_FGOg_XWX-R4/SsNUtxqRjaI/AAAAAAAAAGg/vzy3TEmE9Jg/s400/SenriChuo.png" style="cursor: pointer; display: block; height: 225px; margin: 0px auto 10px; text-align: center; width: 400px;" /></a>Last week, I went to Shin-Osaka, in order to deliver an oral presentation at the JMS (Japan Mathematical Society). The presentation hall was at a building of Science Department of Osaka University. To reach this campus, I had to transfer at Senri-Chuo, from subway to mono-rail.<br /><a href="http://4.bp.blogspot.com/_FGOg_XWX-R4/SsNU47MbT9I/AAAAAAAAAGo/RgC1kbTwCAU/s1600-h/OsakaUniv_Shibahara.png" onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5387242916204466130" src="http://4.bp.blogspot.com/_FGOg_XWX-R4/SsNU47MbT9I/AAAAAAAAAGo/RgC1kbTwCAU/s400/OsakaUniv_Shibahara.png" style="cursor: pointer; float: right; height: 400px; margin: 0pt 0pt 10px 10px; width: 225px;" /></a><br />As my current specialization is on the algebro-geometry ("algebroid-analysis"), the generalization of Atiyah-Bott fixed point theorem is a long-standing problem to be stated algebraically.<br /><br />I presented my understanding of the superstring theory within this decade, which is somewhat involved with a series of axioms of quantum field theories. Thus I digested my original preprint into a "causality problem" (physicists' localization theorem of $D$-modules). On the contrary, I did not explain the Wightman axiom or Osterwalder-Schrader axioms. It was because I was more on algebraic analysis of holonomic $D$-modules of hyperfunctions of several variables.<br /><br /><a href="http://3.bp.blogspot.com/_FGOg_XWX-R4/SsNVAokPLgI/AAAAAAAAAGw/CToGi2IsbI4/s1600-h/AlgebraSession.png" onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5387243048643014146" src="http://3.bp.blogspot.com/_FGOg_XWX-R4/SsNVAokPLgI/AAAAAAAAAGw/CToGi2IsbI4/s400/AlgebraSession.png" style="cursor: pointer; float: left; height: 225px; margin: 0pt 10px 10px 0pt; width: 400px;" /></a><br /><br /><br /><br /><br /><br /><br />OK. Let me summarize. My presentation is available at<br /><br /><a href="http://www.ms.u-tokyo.ac.jp/%7Emakoto/JMS2009Fall.pdf">Chiral categories at non-critical levels and generalized localization</a><br /><br />Like this, I somehow focused on the contradictory problem between quantum conformal field theories and general relativity. I tried to eliminate such contradiction by utilizing space-time supersymmetry (special holonomy), and proposed a compact complex surface, with both positive Ricci scalar curvature and cancellation of gerbe cohomology coming from one part of the gravitational anomalies.http://makotosakurai.blogspot.com/2009/09/categorification-and-generalized.htmlnoreply@blogger.com (makoto (真))tag:blogger.com,1999:blog-14329013.post-8237201031982436742Wed, 30 Sep 2009 12:50:00 +00002009-09-30T22:28:01.044+09:00Mobile Phone Posting<p class="mobile-photo"><a href="http://3.bp.blogspot.com/_FGOg_XWX-R4/SsNUNjJL8GI/AAAAAAAAAGY/FQOlcXh2f9E/s1600-h/SN3E0105-762051.jpg"><img src="http://3.bp.blogspot.com/_FGOg_XWX-R4/SsNUNjJL8GI/AAAAAAAAAGY/FQOlcXh2f9E/s320/SN3E0105-762051.jpg" alt="" id="BLOGGER_PHOTO_ID_5387242171014049890" border="0" /></a></p>Two weeks ago, I prepared my presentation by a 1.5 hour seminar at my home campus. That day was my birthday so that I have become matured.http://makotosakurai.blogspot.com/2009/09/mobile-phone-posting.htmlnoreply@blogger.com (makoto (真))0tag:blogger.com,1999:blog-14329013.post-889405590459453115Thu, 17 Sep 2009 05:42:00 +00002013-10-17T06:04:35.426+09:00Quantization and Hodge structures<a href="http://2.bp.blogspot.com/_FGOg_XWX-R4/SrHMrK5CPgI/AAAAAAAAAGQ/jrHCzrUB7dA/s1600-h/KashiwaMilestone.JPG"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5382308071714471426" src="http://2.bp.blogspot.com/_FGOg_XWX-R4/SrHMrK5CPgI/AAAAAAAAAGQ/jrHCzrUB7dA/s400/KashiwaMilestone.JPG" style="cursor: hand; display: block; height: 225px; margin: 0px auto 10px; text-align: center; width: 400px;" /></a> Today was the final day of the celebration of 60th birthday of T.Oda, in Komaba campus, on automorphic forms of several variables. Then I took a short trip (1 hour and a half) to the Kashiwa campus of the University of Tokyo. The milestone above is a monument near the entrance of this campus.<br /><br />We are going to have a seminar on quantization and semi-infinite Hodge theory.<br /><br />Note also that tomorrow (September 18th) is my 30th birthday, and I will welcome this occasion by a preparation seminar for the JMS (Japan Mathematical Society) workshop at Osaka University.http://makotosakurai.blogspot.com/2009/09/today-was-final-day-of-celebration-of.htmlnoreply@blogger.com (makoto (真))tag:blogger.com,1999:blog-14329013.post-4434571009188139769Wed, 22 Jul 2009 02:16:00 +00002009-07-22T11:17:15.383+09:00Total Eclipse<a href="http://2.bp.blogspot.com/_FGOg_XWX-R4/SmZ2mrU3K3I/AAAAAAAAAGI/7z7EwArD6Ss/s1600-h/DiamondRing.jpg"><img style="display:block; margin:0px auto 10px; text-align:center;cursor:pointer; cursor:hand;width: 400px; height: 370px;" src="http://2.bp.blogspot.com/_FGOg_XWX-R4/SmZ2mrU3K3I/AAAAAAAAAGI/7z7EwArD6Ss/s400/DiamondRing.jpg" border="0" alt=""id="BLOGGER_PHOTO_ID_5361102813268487026" /></a>http://makotosakurai.blogspot.com/2009/07/total-eclipse.htmlnoreply@blogger.com (makoto (真))tag:blogger.com,1999:blog-14329013.post-1384023554822369730Tue, 21 Jul 2009 07:32:00 +00002009-07-22T11:20:50.248+09:00Recent developments of chiral categories2 weeks ago, I presented a 1 hour talk at the mathematics department of Tsukuba Univerisity. The slide is available at:<br /><br /><a href="http://www.ms.u-tokyo.ac.jp/~makoto/Tsukuba.pdf">Recent developments of chiral categories (pdf)</a><br /><br />In this talk, I generalized T-duality (of Hodge numbers) into Hyperkaehler / Landau-Ginzburg orbifolds (stacks) correspondence without coordinates (Leray-like theorem of "gerbe cohomology") utilizing BOTH the notion of gluing 2-categories of chiral differential operartors AND a little on the generalized (virtual) localization theorem by quiver gauge theories of chiral multiplets.http://makotosakurai.blogspot.com/2009/07/recent-developments-of-chiral.htmlnoreply@blogger.com (makoto (真))