User ilya nikokoshev - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T12:17:46Z http://mathoverflow.net/feeds/user/65 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/10405/proof-of-bloch-kato-conjecture-of-k-theory Proof of Bloch-Kato conjecture of K-theory? Ilya Nikokoshev 2010-01-01T21:15:16Z 2013-05-14T04:21:19Z <p><a href="http://en.wikipedia.org/wiki/Special%5Fvalues%5Fof%5FL-functions" rel="nofollow">Wikipedia</a> says:</p> <blockquote> <p>this circle of ideas is distinct from the Bloch–Kato conjecture of K-theory, extending the Milnor conjecture, a proof of which was announced in 2009</p> </blockquote> <p>What exactly is the K-theory conjecture of Bloch-Kato and has it been proven?</p> http://mathoverflow.net/questions/1909/what-are-dessins-denfants What are dessins d'enfants? Ilya Nikokoshev 2009-10-22T18:31:24Z 2013-03-22T09:58:49Z <p>There was an observation that any algebraic curve over <code>Q</code> can be rationally mapped to <code>P^1</code> without three points and this led <a href="http://en.wikipedia.org/wiki/Grothendieck" rel="nofollow">Grothendieck</a> to define a special class of these mappings, called the <em>Children's Drawings</em>, or, in French, <em>Dessins d'Enfants</em> (his quote was something like "things as simple as the drawings...").</p> <p>I'm not an expert in this field, so could somebody please write more about those dessins, and what things they are related to? What's their importance? How does the cartographic group act on these?</p> http://mathoverflow.net/questions/1267/k3-over-fields-other-than-c K3 over fields other than C? Ilya Nikokoshev 2009-10-19T19:28:54Z 2013-02-12T22:06:48Z <p>How to classify <strong>K3 surfaces</strong> over an arbitrary field <em>k</em>?</p> http://mathoverflow.net/questions/3700/explanation-for-e-8s-torsion Explanation for E_8's torsion Ilya Nikokoshev 2009-11-01T20:06:22Z 2012-12-18T01:27:17Z <p>To study the topology of Lie groups, you can decompose them into the simple compact ones, plus some additional steps, such as taking the cover if necessary. After that, the structure of $SO(n)$'s is rather straightforward, but the exceptional groups are more interesting.</p> <p>Any simple compact Lie group, by means of Hopf algebra theory, has the <em>rational</em> homology of a product $$S^a \times S^b \times \dots \times S^z$$ where the numbers are called <strong>exponents</strong>. Other than that, their cohomology could also have <strong>torsion</strong>. Now the torsion for all groups is known:</p> <ul> <li>Among classical groups, only 2-torsion is possible and only for $Spin(n)$</li> <li>Exceptional groups can only have 2 and 3-torsion (most do), with the exception of:</li> <li>$E_8$ which has 2-, 3-, and 5- torsion.</li> </ul> <p>Well, this is <em>bound</em> to be related to $E_8$'s Coxeter number, which is 30, but are there any hints as to why? My reference would be <a href="http://arxiv.org/abs/math-ph/0212067" rel="nofollow">math-ph/0212067</a> but it can't relate this to Coxeter number either. </p> <p>For the reference, <em>exponents</em> are known to be related to Coxeter number, see Kostant, <em><a href="http://www.google.com/search?hl=en&amp;safe=off&amp;client=safari&amp;rls=en&amp;q=The+principal+three-dimensional+subgroup+and+the+Betti+Numbers+of+a+Complex+Simple+Lie+Group&amp;aq=f&amp;oq=&amp;aqi=" rel="nofollow">The Principal Three-Dimensional Subgroup and the Betti Numbers of a Complex Simple Lie Group</a></em> (google search).</p> <p>Is this an open problem? Maybe yes, but maybe it's been explained, so I'm posting it as it is for now.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake Most interesting mathematics mistake? Ilya Nikokoshev 2009-10-17T14:28:43Z 2012-08-10T03:52:57Z <p>Some mistakes in mathematics made by extremely smart and famous people can eventually lead to interesting developments and theorems, e.g. Poincare's 3d sphere charaterization or the search to prove that Euclid's parallel axiom is really <s>necessary</s> unnecessary.</p> <p>But I also think there are less famous mistakes worth hearing about. So, here's a question:</p> <blockquote> <p>What's the most interesting mathematics mistake that you know of?</p> </blockquote> <p>This question is community wiki, meaning neither the question nor the answers receive points (which are reserved for "hard" questions). So please post as much as you like (indeed <strong>please post one answer per post</strong> so that others can upvote the ones easier), vote a lot and vote freely. </p> <p>(should there be a tag 'not-math-related' or similar?)</p> <p>EDIT: There is a similar question which has been closed as a duplicate to this one, but which also garnered some new answers. It can be found here:</p> <p><a href="http://mathoverflow.net/questions/77425/failures-that-lead-eventually-to-new-mathematics" rel="nofollow">http://mathoverflow.net/questions/77425/failures-that-lead-eventually-to-new-mathematics</a></p> http://mathoverflow.net/questions/283/what-is-a-tmf-in-topology What is a TMF in topology? Ilya Nikokoshev 2009-10-11T14:54:45Z 2012-07-12T14:35:24Z <p>What is a <strong>topological modular form</strong>? How are they related to 'normal' (number-theoretic) modular forms?</p> http://mathoverflow.net/questions/11066/non-simply-connected-smooth-proper-scheme-over-z Non-simply-connected smooth proper scheme over Z? Ilya Nikokoshev 2010-01-07T20:48:46Z 2012-05-16T04:14:09Z <h3>Source</h3> <p>This question came up in the discussion between <a href="http://mathoverflow.net/users/1384/kevin-buzzard" rel="nofollow">Kevin Buzzard</a> and <a href="http://mathoverflow.net/users/1826/minhyong-kim" rel="nofollow">Minhyong Kim</a> in the comments to <a href="http://mathoverflow.net/questions/9576/smooth-proper-scheme-over-z/9605#9605" rel="nofollow">Smooth proper scheme over Z</a>. It was 2 weeks ago, so I took the liberty of posting it as community wiki.</p> <h3>Question</h3> <blockquote> <p>Is there an example of smooth proper variety $X \to \mathop{\text{Spec}}\mathbb Z$ such that $\pi_1(X) \ne 0$?</p> </blockquote> <h3>About tags</h3> <p>We recently had other questions of the form "Example of ... with everywhere good reduction at $\mathbb Z$" (<a href="http://mathoverflow.net/questions/10569/smooth-proper-schemes-over-z-with-points-everywhere-locally" rel="nofollow">local-global</a>, <a href="http://mathoverflow.net/questions/10860/why-no-abelian-varieties-over-z" rel="nofollow">abelian varieties</a>). I think it would be interesting to create a tag to group these. Thoughts?</p> http://mathoverflow.net/questions/4778/singular-k3-mathematical-meaning Singular K3 -- mathematical meaning? Ilya Nikokoshev 2009-11-09T21:54:35Z 2012-02-06T18:49:19Z <p>There's a very interesting text by Cumrun Vafa called <a href="http://arxiv.org/pdf/hep-th/9810149v1" rel="nofollow">Geometric Physics</a>.</p> <p>Here I'm particularly interested in Chapter 4, where we take a Calabi-Yau manifold presented as a degenerating fibration:</p> <blockquote> <p>The appearance of the Dynkin structure for the K3 singularities appears mathematically as purely “accidental”. However this accident gets explained in this duality context: One identifies the singular K3 geometries with A-D-E singularities with the points on the heterotic side with enhanced A-D-E gauge symmetry...</p> </blockquote> <p>I look at the pictures (p.15) and I have a very simple question: </p> <ul> <li>Is this vanishing K3 obtainable as a <strong>vanishing/nearby cycle</strong> functor for the cohomology of the fibration? </li> </ul> <p>If it is, I will finally have an example of the abovementioned functor. If not, how to describe this K3 from a math point of view? One possible way would be to vary Kahler parameters and get a true, finite-size K3. Other descriptions?</p> http://mathoverflow.net/questions/2144/a-single-paper-everyone-should-read A single paper everyone should read? Ilya Nikokoshev 2009-10-23T18:42:05Z 2012-01-07T22:42:25Z <p>Different people like different things in math, but sometimes you stand in awe before a beautiful and simple, but not universally known, result that you want to <strong>share with any of your colleagues.</strong> </p> <p>Do you have such an example?</p> <p>Let's try to go in the direction of papers that can actually be read online or accessible with little effort, e.g. in major libraries, so that people could actually <strong>follow your advice</strong> and read about it immediately.</p> <p>And as usual let's do one per post and vote freely, vote a lot.</p> http://mathoverflow.net/questions/2146/whats-the-yoga-of-motives What's the "Yoga of Motives"? Ilya Nikokoshev 2009-10-23T18:52:35Z 2011-11-23T06:13:39Z <p>There are some things about geometry that show why a motivic viewpoint is deep and important. A good indication is that Grothendieck and others had to invent some important and new algebraico-geometric conjectures <em>just to formulate the definition of motives</em>.</p> <p>There are things that I know about motives on some level, e.g. I know what t<a href="http://mathoverflow.net/questions/319/spectrum-of-the-grothendieck-ring-of-varieties" rel="nofollow">he Grothendieck ring of varieties</a> is or, roughy, what are the ingredients of the definition of motives.</p> <p>But, how would you explain the <strong>Grothendieck's yoga of motives</strong>? What is it referring to?</p> http://mathoverflow.net/questions/2703/beilinson-conjectures Beilinson conjectures Ilya Nikokoshev 2009-10-26T22:50:11Z 2011-08-27T05:46:10Z <p>Continuing an amazingly interesting chain of answers about <a href="http://mathoverflow.net/questions/2146/whats-the-yoga-of-motives" rel="nofollow">motivic cohomology</a>, I thought I should learn about the Beilinson conjectures, referred there.</p> <p>I have found some references, and they seem to present the conjectures from different sides, e.g. there's the statement about <a href="http://wwwmath.uni-muenster.de/u/pschnei/publ/beilinson-volume/Schneider.pdf" rel="nofollow"><strong>vanishing</strong></a> but then there are also connections to <a href="http://www.math.uiuc.edu/K-theory/0152/" rel="nofollow"><strong>motivic polylogarithms</strong></a>. </p> <p>What I miss from these articles in a general picture that would allow us to start somewhere natural. So,</p> <blockquote> <p>how would you describe an introduction into <strong>Beilinson conjectures in motivic homotopy</strong>?</p> </blockquote> <p>Sorry for such a loaded question &mdash; I really don't know how to make it fit MathOverflow format better. One could theoreticlly post lost of specific questions on the topic, but to ask the right questions in this case you might need to know more than I do. Also, I know there are some technical developments, e.g. the language of derived stacks, and my hope would be that somebody could make a connection to these conjectures using some clear and suitable language.</p> http://mathoverflow.net/questions/1252/where-stands-functoriality-in-2009 Where stands functoriality in 2009? Ilya Nikokoshev 2009-10-19T18:13:46Z 2011-07-06T07:12:50Z <p>Robert Langlands is famous in number theory for making famous and deep conjectures about very abstract things called <strong>automorphic forms</strong>, somewhere in the 60s.</p> <p>There's a very interesting article by Langlands called <a href="http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/functoriality.html" rel="nofollow"><em>Where stands functoriality today</em></a> which describes the development of the subject from Langlands' point of view as of 1990s.</p> <p>But if somebody was to write an overview of the current state of Langlands functoriality, what would it say?</p> http://mathoverflow.net/questions/4280/number-of-faithful-representations-of-a-finite-group/4305#4305 Answer by Ilya Nikokoshev for Number of faithful representations of a finite group Ilya Nikokoshev 2009-11-05T21:37:10Z 2011-05-20T16:13:20Z <p>I haven't heard this question before, but I would approach it in a following way: you know some basic relations between irreducible representations of a groups &mdash; e.g. their <code>#</code> is the <code>#</code> of conjugacy classes &mdash; and let's say we've written the kernels of representations and their dimensions. The generating function <sup><code>(*)</code></sup> that counts all representations is $((1-x^{r_1})(1-x^{r_2})\dots (1-x^{r_k}))^{-1}$ and you're asked to subtract the representations that have nontrivial kernel. This combinatorial problem is partly tractable for a given group, though I don't see a nice closed formula.</p> <p>The situation simplifies for Abelian groups, and the answer you provide is in the right direction. A semisimple representation of Abelian group is a sum of characters. (I misunderstood what you asked here a bit, but bear with me.) A <em>single character</em> could already be faithful: for example, for $\mathbb Z_2 \times \mathbb Z_3 = \mathbb Z_6$ the irreducible character that hits all 6-roots of unity is a faithful representation. And there are $\varphi(6) = \varphi(3)\cdot\varphi(2) = 2$ of those. Another example: $\mathbb Z_2\times \mathbb Z_2$. The same formula doesn't works here as $1\cdot 1 = 1$ but the corresponding representation isn't faithful. For two-dimensional case, you positively get two characters, but there is no reason to expect that there will be a splitting into a character of exactly first summand and exactly second summand. You should, however, be able to calculate it by the method below. </p> <p>So the formula $\prod\varphi(m_i)$ will correctly describe the answer only for a case of group having only one invariant factor.</p> <p>Here's how to make a complete computation for an $n$-dimensional space and the case of $\mathbb Z_6$. You need to take all representations of it which are neither representations of $\mathbb Z_2$ nor of $\mathbb Z_3$. Fortunately, this is easy to write using inclusion-exclusion principle: $(1 -x)^{-5} - (1-x)^{-1} - (1-x)^{-2} + 1$ and you can simplify this or just get the first three terms:<br> $1+5x+20x^2 + 5x^2 - 1 - x - x^2 - 1 - 2x - 3x^2 + 1 = 0 + 2x + 21x^2 + \dots$ The 2 here stands for 2 "simple" characters of $\mathbb Z_6$, while 21, if I made no mistake, is the number of 2-dimensional representations: 19 of them are of the type "character as above $\oplus$ anything" and 2 of the type "character of $\mathbb Z_2$ $\oplus$ character of $\mathbb Z_3$ ". </p> <p>Now I think using the same principle you can actually write a generating function for your sequence with an inclusion-exclusion principle for <em>any group</em> G. Since a representation is faithful iff it doesn't have a kernel, you can enumerate all of your normal subgroups and then find your answer as $F_G(x) - F_{G/H_1}(x) - F_{G/H_2}(x) - \dots + F_{G/H_1\cup H_2}(x) + \dots$. Here the notation $F_G(x)$ is a generating function counting all representations and $H_1, H_2, \dots$ are all maximal normal subgroups.</p> <p>Hope that helps.</p> <hr> <p><strong>Update:</strong> I understand now you're interested in a closed formula for a specific case. For example, the computation by the formula above for $\mathbb Z_2\times \mathbb Z_2$ gives $(3\cdot 4)/2 -1 -1 -1 = 3$. The normal subgroups of an Abelian group are not hard to write, so it would be plausible if this could be made into a good formula.</p> <hr> <p><sup><code>(*)</code></sup> Let me know if you're not familiar with generating functions.</p> http://mathoverflow.net/questions/2138/cartographic-group-and-flat-stringy-connection Cartographic group and flat stringy connection Ilya Nikokoshev 2009-10-23T18:05:12Z 2011-05-03T20:20:17Z <p>There's a literature about dessins d'enfants (including <a href="http://mathoverflow.net/questions/1909/what-are-dessins-denfants" rel="nofollow">my previous question here</a>), and one amazing thing about them is that absolute Galois group <code>Gal Q</code> acts on cartographic group which, I believe, is isomorphic to <code>letters_2 = &lt;&lt;A, B&gt;&gt;</code> (group, freely generated by two noncommuting letters).</p> <p>The funny thing about the latter group is that there is a flat connection coming from string theory defined on its group algebra, <code>C[letters_2]</code>, which I think has the name of Knizhnik-Zamolodchikov. So, it that latter connection somehow related to Galois group?</p> http://mathoverflow.net/questions/359/a-reading-list-for-topological-quantum-field-theory/363#363 Answer by Ilya Nikokoshev for A reading list for topological quantum field theory? Ilya Nikokoshev 2009-10-12T17:50:45Z 2011-03-16T16:11:32Z <p>Try <strong><a href="http://math.ucr.edu/home/baez/week14.html" rel="nofollow">This Week's Finds in Mathematical Physics</a></strong> first. It has some classic references, e.g. <strong>Atiyah's book</strong>:</p> <blockquote> <p>The Geometry and Physics of Knots, by Michael Atiyah, Cambridge U. Press, 1990.</p> </blockquote> <p>(<strong>update:</strong> Atiyah has many books and to my knowledge any of them is worth a look)</p> http://mathoverflow.net/questions/10630/why-do-todd-classes-appear-in-grothendieck-riemann-roch-formula Why do Todd classes appear in Grothendieck-Riemann-Roch formula? Ilya Nikokoshev 2010-01-03T22:46:49Z 2011-03-08T12:20:44Z <p>Suppose for some reason one would be expecting a formula of the kind </p> <p><code>$$\mathop{\text{ch}}(f_!\mathcal F)\ =\ f_*(\mathop{\text{ch}}(\mathcal F)\cdot t_f)$$</code></p> <p>valid in $H^*(Y)$ where</p> <ul> <li>$f:X\to Y$ is a proper morphism with $X$ and $Y$ smooth and quasiprojective, </li> <li>$\mathcal F\in D^b(X)$ is a bounded complex of coherent sheaves on $X$, </li> <li>$f_!: D^b(X)\to D^b(Y)$ is the derived pushforward, </li> <li>$\text{ch}:D^b(-)\to H^*(-)$ denotes the Chern character,</li> <li>and $t_f$ is some cohomology class that depends only on $f$ but not $\mathcal F$.</li> </ul> <p>According to the <a href="http://en.wikipedia.org/wiki/Grothendieck-Riemann-Roch%20theorem" rel="nofollow">Grothendieck–Hirzebruch–Riemann–Roch theorem</a> (did I get it right?) this formula is true with $t_f$ being the relative Todd class of $f$, defined as the <a href="http://en.wikipedia.org/wiki/Todd%5Fclass" rel="nofollow">Todd class</a> of relative tangent bundle $T_f$.</p> <p>So, let's play at "guessing" the $t_f$ pretending we didn't know GHRR ($t_f$ are <a href="http://mathoverflow.net/questions/10631/homology-class-orthogonal-to-image-of-chern-characters/10660#10660" rel="nofollow">not uniquely defined</a>, so add conditions on $t_f$ in necessary). </p> <blockquote> <p><strong>Question.</strong> Expecting the formula of the above kind, how to find out that <code>$t_f = \text{td}\, T_f$</code>?</p> </blockquote> <p>You don't have to show this choice works (that is, prove GHRR), but you have to show no other choice works. Also, let's not use <a href="http://en.wikipedia.org/wiki/Hirzebruch-Riemann-Roch%5Fformula" rel="nofollow">Hirzebruch–Riemann–Roch</a>: I'm curious exactly how and where Todd classes will appear.</p> http://mathoverflow.net/questions/115/what-is-the-exact-statement-of-there-are-27-lines-on-a-cubic What is the exact statement of "there are 27 lines on a cubic"? Ilya Nikokoshev 2009-10-05T13:59:55Z 2010-11-18T16:35:50Z <p>I think there was a theorem, like </p> <ul> <li>every cubic hypersurface in $\mathbb P^3$ has 27 lines on it. </li> </ul> <p>What is the exact statement and details?</p> http://mathoverflow.net/questions/1243/how-to-write-math-well How to write math well? Ilya Nikokoshev 2009-10-19T17:52:24Z 2010-10-27T22:41:29Z <p>Let's learn about writing good mathematical texts. </p> <p>For some people it could be especially interesting to answer about writing texts on Math Overflow, though I personally feel like I've already mastered a certain level in writing online answers while being hopelessly behind the curve in writing papers. So,</p> <blockquote> <p>What is your advice in writing good mathematical texts, online or offline?</p> </blockquote> http://mathoverflow.net/questions/2875/unitary-representations-of-sl2-r Unitary representations of SL(2, R) Ilya Nikokoshev 2009-10-27T19:54:15Z 2010-10-14T02:41:33Z <p>I've heard that irreducible unitary representations of noncompact forms of simple Lie groups, the first example of such a group <code>G</code> being <code>SL(2, R)</code>, can be completely described and that there is a discrete and continuous part of the spectrum of <code>L^2(G)</code>.</p> <ol> <li>How are those representations described?</li> <li>Do all unitary representations come from <code>L^2(G)</code>?</li> <li>How are those related to representation of compact <code>SO(3, R)</code>? </li> <li>What happens in the flat limit between <code>SL(2, R)</code> and <code>SO(3, R)</code>?</li> </ol> <p>Also, is it possible to answer the questions above simultaneously for all Lie groups, not just <code>SL(2, R)</code>?</p> http://mathoverflow.net/questions/9835/polynomial-representing-prime-numbers Polynomial representing prime numbers Ilya Nikokoshev 2009-12-27T00:20:43Z 2010-09-13T05:11:43Z <p>Along the lines of <a href="http://mathoverflow.net/questions/9731/polynomial-representing-all-nonnegative-integers" rel="nofollow">Polynomial representing all nonnegative integers</a>, but likely well-known question:</p> <blockquote> <p>is there a polynomial <code>$f \in \mathbb Q[x_1, \dots, x_n]$</code> such that <code>$f(\mathbb Z\times\mathbb Z\times\dots\times\mathbb Z) = P$</code>, the set of primes? </p> </blockquote> http://mathoverflow.net/questions/367/what-is-the-base-change-in-number-theory What is the base change in number theory? Ilya Nikokoshev 2009-10-12T18:29:45Z 2010-07-24T19:04:02Z <p>I'm somewhat familiar with base change in scheme theory: sometimes a property of a morphism <code>X \to Y</code> survives a <em>base change</em> <code>f:Z\to Y</code>, meaning that <code>X \times_{Y} Z \to Z</code> also has this property.</p> <blockquote> <p><strong>Question:</strong> Is the base change in number theory and derived algebraic geometry the same thing as above? What would be the examples?</p> </blockquote> http://mathoverflow.net/questions/10860/why-no-abelian-varieties-over-z Why no abelian varieties over Z? Ilya Nikokoshev 2010-01-05T22:59:34Z 2010-06-29T16:27:22Z <h3>Motivation</h3> <p>I learned about this question from a wonderful article <a href="http://www.math.mcgill.ca/darmon/pub/Articles/Expository/12.Clay/paper.pdf" rel="nofollow">Rational points on curves</a> by Henri Darmon. He gives a list of statements (some are theorems, some conjectures) of the form </p> <ul> <li>the set <code>$\{$</code> objects $\dots$ over field $K$ with good reduction everywhere except set $S$ <code>$\}$</code> is finite/empty</li> </ul> <p>One interesting thing he mentions is about <a href="http://en.wikipedia.org/wiki/Abelian%5Fvariety#Abelian%5Fscheme" rel="nofollow">abelian schemes</a> in the most natural case $K = \mathbb Q$, $S$ empty. I think according to the definition we have a trivial example of relative dimension 0.</p> <h3>Question</h3> <blockquote> <p>Why is the set of non-trivial abelian schemes over $\mathop{\text{Spec}}\mathbb Z$ empty?</p> </blockquote> <h3>Reference</h3> <p>This is proven in <a href="http://www.springerlink.com/content/q513r78tx707428j/" rel="nofollow">Il n'y a pas de variété abélienne sur Z</a> by Fontaine, but I'm asking because: (1) Springer requires subscription, (2) there could be new ideas after 25 years, (3) the text is French and could be hard to read (4) this knowledge is worth disseminating.</p> http://mathoverflow.net/questions/99/how-to-understand-character-sheaves How to understand character sheaves Ilya Nikokoshev 2009-10-04T22:00:31Z 2010-06-24T09:51:45Z <p>There's a well-known series of articles by Lusztig about <strong>Character Sheaves</strong>. They have important connections to many things in (geometric) representation theory, e.g. <a href="http://arxiv.org/abs/0904.1247" rel="nofollow">0904.1247</a></p> <p>How to understand these for a person with less than excellent representation theory background?</p> http://mathoverflow.net/questions/2713/bertrand-postulate Bertrand postulate Ilya Nikokoshev 2009-10-26T23:13:23Z 2010-05-29T02:42:03Z <p>I believe there was an old conjecture that there's <strong>always a prime number between <code>N</code> and <code>2N</code></strong>.</p> <p>What's the history and how is this proven is the easiest/elementary/deepest ways?</p> http://mathoverflow.net/questions/23394/applications-of-algebraic-geometry-over-a-field-with-one-element/23403#23403 Answer by Ilya Nikokoshev for Applications of algebraic geometry over a field with one element Ilya Nikokoshev 2010-05-04T04:17:22Z 2010-05-04T04:17:22Z <p>I'm not aware of such a <em>theorem</em>, but you should take a look into <strong>absolute zeta-functions</strong>, which hope to prove a lot about zeta-functions &mdash; perhaps up to Riemann's Hypothesis.</p> <p>Since I don't know much, I better refer you to another MO question:</p> <ul> <li><a href="http://mathoverflow.net/questions/2300/what-is-the-field-with-one-element" rel="nofollow">What is the field with one element?</a></li> </ul> http://mathoverflow.net/questions/23368/homology-of-koszul-complex-is-finitely-generated/23371#23371 Answer by Ilya Nikokoshev for Homology of koszul complex is finitely generated? Ilya Nikokoshev 2010-05-03T19:56:02Z 2010-05-03T19:56:02Z <p>At least for the <a href="http://en.wikipedia.org/wiki/Koszul_complex" rel="nofollow">definition I know</a>, it seems to be because all the groups in the Koszul complex are finitely generated as $A$-modules, being explicitely constructed as sums of tensor products of $M$!</p> http://mathoverflow.net/questions/23294/homology-of-algebraic-varieties-in-okounkovs-paper-on-enumerating-algebraic-curv/23362#23362 Answer by Ilya Nikokoshev for Homology of algebraic varieties in Okounkov's paper on enumerating algebraic curves Ilya Nikokoshev 2010-05-03T18:22:52Z 2010-05-03T18:22:52Z <p>It appears that you want the "rough, introductory answers", so feel fine to ask more detailed questions if anything is unclear/potentially wrong. Also, I only have very general knowledge about enumerations!</p> <ol> <li><p>It looks like the standard <a href="http://en.wikipedia.org/wiki/Moduli_of_algebraic_curves" rel="nofollow">moduli stack of marked curves</a>. There are quite a lot of references obtainable by searching Internet, arXiv and Math Overflow, or check out that Wikipedia page.</p></li> <li><p>He refers to topological $H_2(X)$ of the space considered as a complex manifold. $H$ can be defined as the divisor of $\mathcal O(1)$, or simply the hyperplane section under that projective embedding. It so happens that the number he's interested in is an intersection number of $C$ and $H$; you could compute it algebro-geometrically as $C\cdot H$ or topologically, doesn't matter.</p></li> <li><p>Because it's 1 infinite row above and 1 infinite column left; and then he makes use of the equality $1+1=2$. After I'll read the whole paper I'll probably know this should equal to the degree $d$ :) </p></li> <li><p>I'm less sure about how he gets the 9, but one way to renormalize infinity here would be to consider a whole infinite row or column to have zero area. By that logic, we have an infinite row, then an infinite colun without a piece, then 10 pieces, which adds up as $0 + 0 - 1 + 10$. </p></li> </ol> http://mathoverflow.net/questions/23323/how-to-compute-irreducible-representation-of-lie-algebra-in-the-framework-of-bbd/23326#23326 Answer by Ilya Nikokoshev for How to compute irreducible representation of Lie algebra in the framework of BBD Ilya Nikokoshev 2010-05-03T07:04:56Z 2010-05-03T07:10:54Z <p>There could be different ways to give meaning to the phrase "explicit construction".</p> <p>In an algebro-geometric sense, an expicit construction comes from more classical <a href="http://en.wikipedia.org/wiki/Borel%E2%80%93Weil%E2%80%93Bott_theorem" rel="nofollow">Borel-Weil-Bott theorem</a> of which BDD is an abstract generalization. There's a number of proof in the literature, e.g the one by Jacob Lurie (on his <a href="http://www.math.harvard.edu/~lurie/" rel="nofollow">home page</a>).</p> <p>According to the BWB, you can get the (finite-dimensional) representation by taking the global sections of one of the equivariant bundles $\mathcal O(\lambda)$. </p> <p>Another way to construct the representation would be to start with some simple $\mathfrak g$-modules and combine them to get your represenation. In this way, BDD helps by establishing a correspondence between simple equivariant D-modules and <a href="http://en.wikipedia.org/wiki/Verma_module" rel="nofollow">Verma modules</a>. Therefore, the resolution for a bundle $\mathcal O(\lambda)$ corresponds to a construction in the category of $\mathfrak g$-modules, the one called Bernstein-Gelfand-Gelfand resolution, giving rise to <a href="http://en.wikipedia.org/wiki/Weyl_character_formula" rel="nofollow">Weyl character formula</a></p> <p>As an example, the $\mathfrak{sl}_2$ modules correspond to equivariant D-modules on a $\mathbb P^1$, which has two cells. Therefore, a BGG resolution for an $\mathfrak{sl}_2$-module has two terms. Since a Verma module for $\mathfrak{sl}_2$ with an integer weight $\lambda$ has (I think) exactly one vector of each weight $\lambda' \le \lambda$, you can picture it as a ray on a weight lattice; the picture then becomes [segment] = [ray] - [ray]. </p> http://mathoverflow.net/questions/101/what-is-a-topos What is a topos? Ilya Nikokoshev 2009-10-04T22:20:36Z 2010-04-03T14:38:55Z <p>According to <em>Higher Topos Theory</em> <a href="http://arxiv.org/abs/math/0608040" rel="nofollow">math/0608040</a> <strong>topos</strong> is </p> <blockquote> <p>a category C which behaves like the category of sets, or (more generally) the category of sheaves of sets on a topological space.</p> </blockquote> <p>Could one elaborate on that?</p> http://mathoverflow.net/questions/2900/how-to-get-product-on-cohomology-using-the-kg-n How to get product on cohomology using the K(G, n)? Ilya Nikokoshev 2009-10-27T21:37:59Z 2010-03-30T20:52:22Z <p>This came up in the <a href="http://mathoverflow.net/questions/2890/cohomology-and-eilenberg-maclane-spaces" rel="nofollow">question about Eilenberg-MacLane spaces</a>. Given the definition of <code>K(G, n)</code>, it's easy to prove that there is a map <code>K(G,n) x K(G,n) --&gt; K(G,n)</code> that endows cohomology with an additive structure.</p> <blockquote> <p><strong>Question:</strong> what's the most geometric way to show the existence of maps <code>K(G,n) x K(G,m) --&gt; K(G,n+m)</code> that endow cohomology with multiplicative structure?</p> </blockquote> http://mathoverflow.net/questions/23294/homology-of-algebraic-varieties-in-okounkovs-paper-on-enumerating-algebraic-curv/23362#23362 Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-05-05T19:31:38Z 2010-05-05T19:31:38Z Not really: you can't get all divisors that way. That's a fascinating story you can search for in courses and textbooks on something like &quot;algebraic geometry&quot; or &quot;geometry of surfaces&quot;. http://mathoverflow.net/questions/23294/homology-of-algebraic-varieties-in-okounkovs-paper-on-enumerating-algebraic-curv/23362#23362 Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-05-04T04:13:27Z 2010-05-04T04:13:27Z That should be $X\cap H$ above. http://mathoverflow.net/questions/23294/homology-of-algebraic-varieties-in-okounkovs-paper-on-enumerating-algebraic-curv/23362#23362 Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-05-04T04:13:04Z 2010-05-04T04:13:04Z Every time you have $X$ in projective space, you have a divisor $X\cup H$ on $X$ where $H$ is a hyperplane... Take a look at any book on projective varieties. http://mathoverflow.net/questions/23368/homology-of-koszul-complex-is-finitely-generated/23371#23371 Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-05-03T20:01:43Z 2010-05-03T20:01:43Z Thanks! I misread the question as being about <i>finitely presented</i> modules. As Robin Chapman correctly says, the question is stated needs some additional assumptions! http://mathoverflow.net/questions/23323/how-to-compute-irreducible-representation-of-lie-algebra-in-the-framework-of-bbd/23326#23326 Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-05-03T19:58:59Z 2010-05-03T19:58:59Z I don't think you'll get anything this way that you couldn't get by Verma modules... although that, again, depends on what types of constructions you're looking for. Perhaps you should really split the question into different ones... http://mathoverflow.net/questions/23294/homology-of-algebraic-varieties-in-okounkovs-paper-on-enumerating-algebraic-curv Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-05-03T18:03:31Z 2010-05-03T18:03:31Z There's no reason the paper couldn't be linked, let's just do that! http://mathoverflow.net/questions/21562/what-are-some-mathematical-concepts-that-were-pretty-much-created-from-scratch/21620#21620 Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-04-25T06:01:10Z 2010-04-25T06:01:10Z I don't think it's fair to characterize Shannon's information theory as completely new. In fact, the idea of a qualitative matric of information was quite well-known under the name of <b>enthropy</b> in physics (statistical mechanics was developed in 19th-first half of 20th century). Shannon introduced that concept into math and formalized it; but he didn't pretend to invent the idea, and even used the same name! http://mathoverflow.net/questions/2144/a-single-paper-everyone-should-read/15729#15729 Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-03-02T10:04:37Z 2010-03-02T10:04:37Z +1. Quite an amazing paper! http://mathoverflow.net/questions/16837/cone-of-curves-and-mori-theorem-for-algebraic-surfaces Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-03-02T09:52:06Z 2010-03-02T09:52:06Z That looks like an interesting theorem! Could you provide a link for those new to it, please? http://mathoverflow.net/questions/14667/intuition-for-primitive-cohomology/14682#14682 Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-02-10T18:12:25Z 2010-02-10T18:12:25Z Actually, I first write this as a statement, but then decided to change to question, since I didn't check it carefully. Will think a bit more and post! http://mathoverflow.net/questions/14181/a-specific-branched-cover-of-s2-as-a-subgroup-of-pi-1/14203#14203 Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-02-04T23:34:33Z 2010-02-04T23:34:33Z It's true, but the question was stated in geometric terms, so the answer should also include identification of letters with cycles. You can't have this for free: if your map is that simple, the expressions for cycles must be a bit more involved then mine :) http://mathoverflow.net/questions/14175/how-to-learn-about-shimura-varieties Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-02-04T19:34:10Z 2010-02-04T19:34:10Z @norondion, please don't take the closure personally. If the linked answer is not sufficient for some reason (e.g. it only deals with curves), you should just provide more background in the question body. http://mathoverflow.net/questions/14175/how-to-learn-about-shimura-varieties Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-02-04T19:30:25Z 2010-02-04T19:30:25Z I vote to close as duplicate. I also changed the title of the question linked to by David to make it reflect the question/answer more accurately. http://mathoverflow.net/questions/11219/what-is-a-good-roadmap-for-learning-shimura-curves Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-02-04T19:27:18Z 2010-02-04T19:27:18Z @Ben, I retitled your question to reflect more general second question; it includes the first one as well. Feel free to revert! http://mathoverflow.net/questions/13820/1-rectangle-4-squares/13969#13969 Comment by Ilya Nikokoshev Ilya Nikokoshev 2010-02-04T13:05:45Z 2010-02-04T13:05:45Z They discuss the &quot;plus/minus problem&quot; as well: <i>We prove polylogarithmic <code>(C(log n)d)</code> upper and lower bounds for the number of hypercubes needed to tile a hypercuboid in either of the above senses. In more than two dimensions this is a huge improvement on anything previously known. It was not even known whether an <code>n &#215; 1 &#215; 1</code> cuboid could be tiled with fewer than n cubes in the plus/minus sense.</i> (page 3)