User ilya nikokoshev - MathOverflowmost recent 30 from http://mathoverflow.net2013-05-23T12:17:46Zhttp://mathoverflow.net/feeds/user/65http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/10405/proof-of-bloch-kato-conjecture-of-k-theoryProof of Bloch-Kato conjecture of K-theory?Ilya Nikokoshev2010-01-01T21:15:16Z2013-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-denfantsWhat are dessins d'enfants?Ilya Nikokoshev2009-10-22T18:31:24Z2013-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-cK3 over fields other than C?Ilya Nikokoshev2009-10-19T19:28:54Z2013-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-torsionExplanation for E_8's torsionIlya Nikokoshev2009-11-01T20:06:22Z2012-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&safe=off&client=safari&rls=en&q=The+principal+three-dimensional+subgroup+and+the+Betti+Numbers+of+a+Complex+Simple+Lie+Group&aq=f&oq=&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-mistakeMost interesting mathematics mistake?Ilya Nikokoshev2009-10-17T14:28:43Z2012-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-topologyWhat is a TMF in topology?Ilya Nikokoshev2009-10-11T14:54:45Z2012-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-zNon-simply-connected smooth proper scheme over Z?Ilya Nikokoshev2010-01-07T20:48:46Z2012-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-meaningSingular K3 -- mathematical meaning?Ilya Nikokoshev2009-11-09T21:54:35Z2012-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-readA single paper everyone should read?Ilya Nikokoshev2009-10-23T18:42:05Z2012-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-motivesWhat's the "Yoga of Motives"?Ilya Nikokoshev2009-10-23T18:52:35Z2011-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-conjecturesBeilinson conjecturesIlya Nikokoshev2009-10-26T22:50:11Z2011-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 — 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-2009Where stands functoriality in 2009?Ilya Nikokoshev2009-10-19T18:13:46Z2011-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#4305Answer by Ilya Nikokoshev for Number of faithful representations of a finite groupIlya Nikokoshev2009-11-05T21:37:10Z2011-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 — e.g. their <code>#</code> is the <code>#</code> of conjugacy classes — 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-connectionCartographic group and flat stringy connectionIlya Nikokoshev2009-10-23T18:05:12Z2011-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 = <<A, B>></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#363Answer by Ilya Nikokoshev for A reading list for topological quantum field theory?Ilya Nikokoshev2009-10-12T17:50:45Z2011-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-formulaWhy do Todd classes appear in Grothendieck-Riemann-Roch formula?Ilya Nikokoshev2010-01-03T22:46:49Z2011-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-cubicWhat is the exact statement of "there are 27 lines on a cubic"?Ilya Nikokoshev2009-10-05T13:59:55Z2010-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-wellHow to write math well?Ilya Nikokoshev2009-10-19T17:52:24Z2010-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-rUnitary representations of SL(2, R)Ilya Nikokoshev2009-10-27T19:54:15Z2010-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-numbersPolynomial representing prime numbersIlya Nikokoshev2009-12-27T00:20:43Z2010-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-theoryWhat is the base change in number theory?Ilya Nikokoshev2009-10-12T18:29:45Z2010-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-zWhy no abelian varieties over Z?Ilya Nikokoshev2010-01-05T22:59:34Z2010-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-sheavesHow to understand character sheavesIlya Nikokoshev2009-10-04T22:00:31Z2010-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-postulateBertrand postulateIlya Nikokoshev2009-10-26T23:13:23Z2010-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#23403Answer by Ilya Nikokoshev for Applications of algebraic geometry over a field with one elementIlya Nikokoshev2010-05-04T04:17:22Z2010-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 — 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#23371Answer by Ilya Nikokoshev for Homology of koszul complex is finitely generated?Ilya Nikokoshev2010-05-03T19:56:02Z2010-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#23362Answer by Ilya Nikokoshev for Homology of algebraic varieties in Okounkov's paper on enumerating algebraic curvesIlya Nikokoshev2010-05-03T18:22:52Z2010-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#23326Answer by Ilya Nikokoshev for How to compute irreducible representation of Lie algebra in the framework of BBDIlya Nikokoshev2010-05-03T07:04:56Z2010-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-toposWhat is a topos?Ilya Nikokoshev2009-10-04T22:20:36Z2010-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-nHow to get product on cohomology using the K(G, n)?Ilya Nikokoshev2009-10-27T21:37:59Z2010-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) --> 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) --> 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#23362Comment by Ilya NikokoshevIlya Nikokoshev2010-05-05T19:31:38Z2010-05-05T19:31:38ZNot 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 "algebraic geometry" or "geometry of surfaces".http://mathoverflow.net/questions/23294/homology-of-algebraic-varieties-in-okounkovs-paper-on-enumerating-algebraic-curv/23362#23362Comment by Ilya NikokoshevIlya Nikokoshev2010-05-04T04:13:27Z2010-05-04T04:13:27ZThat should be $X\cap H$ above.http://mathoverflow.net/questions/23294/homology-of-algebraic-varieties-in-okounkovs-paper-on-enumerating-algebraic-curv/23362#23362Comment by Ilya NikokoshevIlya Nikokoshev2010-05-04T04:13:04Z2010-05-04T04:13:04ZEvery 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#23371Comment by Ilya NikokoshevIlya Nikokoshev2010-05-03T20:01:43Z2010-05-03T20:01:43ZThanks! 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#23326Comment by Ilya NikokoshevIlya Nikokoshev2010-05-03T19:58:59Z2010-05-03T19:58:59ZI 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-curvComment by Ilya NikokoshevIlya Nikokoshev2010-05-03T18:03:31Z2010-05-03T18:03:31ZThere'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#21620Comment by Ilya NikokoshevIlya Nikokoshev2010-04-25T06:01:10Z2010-04-25T06:01:10ZI 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#15729Comment by Ilya NikokoshevIlya Nikokoshev2010-03-02T10:04:37Z2010-03-02T10:04:37Z+1. Quite an amazing paper!http://mathoverflow.net/questions/16837/cone-of-curves-and-mori-theorem-for-algebraic-surfacesComment by Ilya NikokoshevIlya Nikokoshev2010-03-02T09:52:06Z2010-03-02T09:52:06ZThat 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#14682Comment by Ilya NikokoshevIlya Nikokoshev2010-02-10T18:12:25Z2010-02-10T18:12:25ZActually, 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#14203Comment by Ilya NikokoshevIlya Nikokoshev2010-02-04T23:34:33Z2010-02-04T23:34:33ZIt'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-varietiesComment by Ilya NikokoshevIlya Nikokoshev2010-02-04T19:34:10Z2010-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-varietiesComment by Ilya NikokoshevIlya Nikokoshev2010-02-04T19:30:25Z2010-02-04T19:30:25ZI 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-curvesComment by Ilya NikokoshevIlya Nikokoshev2010-02-04T19:27:18Z2010-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#13969Comment by Ilya NikokoshevIlya Nikokoshev2010-02-04T13:05:45Z2010-02-04T13:05:45ZThey discuss the "plus/minus problem" 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 × 1 × 1</code> cuboid could be tiled with fewer than n cubes in the plus/minus sense.</i> (page 3)