Processing math: 100%

Tuesday, 31 October 2006

nt.number theory - Inequality with Euler's totient

Using the first 100,000 values of varphi(n) it seems that the following is true.



Let mathcalA be a finite subset of mathbbN, forallninmathbbNsetminusmathcalA, displaystylefrac1varphi(2n)frac1varphi(2n+1)geqslantfrac12nln(2n).



Is this true? Is there a stronger lower bound?



P.S.: I looked at Handbook of Number Theory I by Mitrinović and Sándor which has a lot of info about varphi(n) but it doesn't appear there.

dna - How can you identify if a person is homozygous for a certain allele?

You could use a 3-primers strategy, where you have a common primer, one that only amplifies the mutant allele and one that only amplifies the wt. This may or may not be feasable depending on the type of mutation.
DNA from het people will amplify both product, while homozygous will only amplify one (wt or mutant).



Of course then, linking the mutation of a gene to the lack of a chemokine is not necessarily straightforward.



To be honest, however, I would use a different approach: take people who don't produce the chemokine, and people who do (simply by dosing the chemokine in the blood). Now sequence the gene in the two groups and look for mutations.

Monday, 30 October 2006

ag.algebraic geometry - Computing 3 points Gromov-Witten invariants of the Grassmannian

This is from an exercise in Koch, Vainsencher - An invitation to quamtum cohomology.



Background



The exercise asks to compute the 3-points Gromov-Witten invariants of the Grassmannian G=mathopGr(1,mathbbP3)=mathopGr(2,4) via the enumerative interepretation. In particular my problem is with computing the invariant I2(pcdotpcdotp), where p is the class of a point on G. This is the number of rational curves of degree 2 through 3 generic points on G. Here we see G as embedded by the Plucker map, and the degree is defined accordingly.



A rational curve CsubsetG of degree d will sweep out a rational ruled surface S of degree d in mathbbP3; up to here I agree with the hints of the book. The problem is the following hint:




Show that the condition on C of passing through a point qinG corresponds to the condition on S of containing the line in mathbbP3 corresponding to q.




This seems to me plain false. Of course one implication is true, but is absolutely possible that S contains a line without C passing through the corresponding point.



For instance, when d=1, C is a line on the Grassmannian, and it is well-known that these have the form ellmidainellsubsetA, where a is a point and A a plane of mathbbP3. In this case S is the plane A, so it contains many lines which do not pass through a, hence these lines are not parametrized by C.



Similarly, when d=2, the surface S can be a smooth quadric, which has two distinct rulings of lines; one will correspond to lines parametrized by C, but the other one will not. To see that a smooth quadric can actually arise, just invert the construction. Starting from a smooth quadric S take any line ellsubsetS. There is a natural map elltoG given by sending a point qinell to the unique line in the other ruling passing through q. The image of this map is a curve CsubsetG, such that the associated surface is S itself.



Given the hint, the book goes on to say




Show that I2(pcdotpcdotp)=1, by interpreting this number as a count of quadrics containing three lines.




Now I certainly agree that given three generic lines in mathbbP3 there is a unique quadric containing them. To see this, just choose 3 points on each line: a quadric will contain the lines iff it contains the 9 points, and it can be shown that these 9 points give 9 independent conditions.



Still I do no see how this implies the count I2(pcdotpcdotp)=1. What I guess happens is that generically we will have two lines in one ruling and one line in the other, so that the curve CsubsetG which sweeps S will only pass through one or two of the assigned points.



Question



What is the right count? Is there something wrong in what I said above? Is it even true that I2(pcdotpcdotp)=1?

Saturday, 28 October 2006

molecular biology - How do I clean phenol contaminated RNA without losing any of the sample?

I recently extracted RNA from developing plant leaves for the first time, as part of a very long and intensive experiment. The samples were extremely precious because of the amount of effort that went into obtaining them (harvesting thousands of miniscule leaves, one from each plant, to get the required mass).



I extracted the RNA with TRIzol and chloroform. Nanodrop showed excellent yield as you would expect for actively growing young tissue, but some of the samples had really low 260/230 ratios. I know this suggests phenol or salt contamination, but what can I do to clean the samples without losing any of the precious RNA? And how can I avoid the contamination in the future?

nt.number theory - An elementary number theoretic infinite series

For a positive integer k, let d(k) be the number of divisors of k. So d(1)=1, d(p) =2 if p is a prime, d(6)=4, and d(12)=6.



What is the precise asymptotics of SUM_{k=1}^n 1/(kd(k))



Background:



1) This came up on the side in the polymath5 project.



2) There, Tim Gowers wrote: If nobody knows the answer, maybe that’s one for Mathoverflow, where I imagine a few minutes would be enough.



3) Asked: 14:17 Jerusalem time. (The first accurate answer: 17:44 Jerusalem time.)



4) Looking only at primes or only at integers with a typical number of divisors suggested a loglogn behavior, but looking at semiprimes indicates the sum is larger. I dont know how much larger.



5) I couldn't find an asnwer on the web. If there is an easy way searching for an answer that I missed this will be interesting too.





Great answers!! thanks. What about the sum



sumnk=11/(kd2(k)) ?

arithmetic geometry - The monodromy-weight-, Ramanujan-, Langlands-landscape

Dear Thomas,



This "landscape" is, I think, a sketch of the proof of the following theorem of Taylor and Yoshida: if Pi is a self-dual cuspdidal automorphic form on GLn over E (a CM field)
(satisfying some further technical conditions) and rho is the associated n-dimensional
Galois representation (constructed by Harris and Taylor in their book "The geometry and cohomology of some simple Shimura varieties"), then the local factors of Pi at any prime
p of E matches, via local Langlands, with the restriction of rho to a decomposition group at p.



What was proved in Harris--Taylor was that this matching is correct, up to the question
of matching the N on each side. What Taylor and Yoshida verified is that the N on each side
also matches.



The top part of the landscape represents the reduction to the unipotent situation (i.e. the context in which Pi, locally at p, has an Iwahori fixed vector --- the analogue
of classical level Gamma0(p)), by
base-changing to an extension of E. On the automorphic side, this is the process
labelled by the names Arthur--Clozel--Selberg; on the Galois side, this is just restricting
from Gal(overlineE/E) to Gal(overlineE/E) for some appropriately chosen
extension E of E. If one thinks of rho as appearing in the cohomology of a Shimura
variety (which is, after all, how it is constructed), then this just corresponds to
base-changing the variety from E to E, which is why this process is labelled as
geometric base change in the "landscape".



On the lower right of the diagram, one has the generalized Ramanujan conjecture, stating that the local factor of Pi at p should be tempered,
which in turn implies that the local (at p) Galois representation (more precisely,
Weil--Deligne representation) attached to this local factor satisfies the monodromy
weight conjecture. This temperedness was proved by Harris--Taylor.



Now we already know that rho locally at p matches with the local factor of Pi at
p up to N, and it is not hard to show that there is a unique way to add N so as
to obtain a local Weil--Deligne representation satisfying the monodromy weight conjecture.
So to prove their theorem, Taylor and Yoshida are reduced to proving that rho, locally
at p, satisfies the monodromy weight conjecture.
They do this via an application of the Rapoport--Zink spectral sequence and a careful analysis of the bad reduction of the Shimura variety in whose cohomology rho lives. This is represented in the lower left part of the diagram.



The very bottom part of the diagram on the left represents the fact that a priori one knows
that rho is mixed, i.e. its semi-simplification has Frobenius eigenvalues that are
Weil numbers of various weights. But the main part of the landscape here is the monodromy weight conjecture, which describes the precise relationship between the Frobenius eigenvalues and the N operator.



To prove the MWC in their context, Taylor and Yoshida
use the interplay between the geometry of the
special fibre of the Shimura variety and the representation theory of Pi that is the main subject of Harris and Taylor's book, as well as Section 2 of Taylor and Yoshida's article. In particular, the fact that Pi, locally at p, is tempered unitary, and is assumed to have an Iwahori fixed vector, puts strong restrictions on its structure (using the known classification of unitary reps. of GLn over local fields; this is why Tadic's name appears on the right hand side of the landscape), which when fed over to
the geometric side implies that the RZ spectral sequence degenerates at E1, giving the desired monodromy weight conjecture.



My suggestion is that if you want to understand this in more detail, you should read Taylor and Yoshida's article. Start at the very end of the paper, where the main theorem is proved (i.e. the paragraph beginning "We can now conclude ... "). The lemmas referred to in section 1 are more or less elementary. Theorem 3.2 is the heart of the argument; it is where degeneration of the RZ spectral sequence is proved. One can try to read it more or less formally, taking various assertions as a black box,
at least to see what role the temperedness of Pi locally at p plays. The earlier parts of Section 3 are just establishing notation, and making contact with the book of Harris--Taylor. Section 2 is devoted to establishing the basic properties of the semi-stable models of the Shimura varieties in whose cohomology rho lives; I recommend treating it as a black box on first reading.



Added: First, I should note that the references I make are to the version of Taylor--Yoshida that is currently posted on Taylor's web-page, which I am told may differ quite substantially in its organization from the published version of the paper.



Also, let me add something about the role of the classification of unitary representations
of GLn, which will help illuminate the structure of the lower part of the landscape:
First, one uses the general result that geometrically obtained Galois representations are mixed (i.e. have Frobenius eigenvalues that are Weil numbers), coupled with the local-global compatibility without the N, to deduce that the Frobenius eigenvalues
of the Weil--Deligne representation attached to the local factor of Pi at p are Weil numbers. Second, results of Tadic on the classification of unitary representations of GLn of p-adic fields greatly restrict the structure of this
local factor (since it is both unitary and generic, being the local factor of a cuspidal
automorphic representation for GLn). Finally, when this is combined with the fact that
the Weil--Deligne rep'n associated to it via local Langlands is mixed, ones sees that this
local factor is forced to be tempered. This is how Harris--Taylor deduce temperedness;
it is an analogue at p of an argument at the archimedean prime made by Clozel in his Ann Arbor paper. (See Lemma 4.9 on p.144 of volume I of the Ann Arbor conference. A scan
is available on Jim Milne's web-page here,
but note that it is quite a big file.)



Finally, let me now explain how to correctly read the landscape: one starts in the lower left, following the arrow. When you come to a bridge, you cross the river from the motivic/Galois side to the automorphic side, or back again, continuing to follow the arrows. The areas marked with
x's are impenetrable (or, at least, you don't try to cross them directly --- e.g. you don't prove GRC directly, you don't prove WMC directly, you don't study the general semi-stable reduction problem directly); the only way to proceed is by crossing the river. This then gives
the structure of the Taylor--Yoshida argument.

Are supervector spaces the representations of a Hopf algebra?

As a monoidal category, supervector spaces are the same as mathbbZ/2mathbbZ representations, so you can think of them as representations of the Hopf algebra mathbbC[mathbbZ/2mathbbZ].



However, the symmetric structure is different, so the thing you need to do is make mathbbC[mathbbZ/2mathbbZ] into a quasi-triangular Hopf algebra in an interesting way, that is, change things so that the map from VotimesWtoWotimesV isn't just flipping, it's flipping followed by an element of mathbbC[mathbbZ/2mathbbZ]otimesmathbbC[mathbbZ/2mathbbZ] which is called the R-matrix. I'll leave actually writing this element as an exercise to the reader, but it's uniquely determined by acting by -1 on sign tensor sign and by 1 on everything else.



You may want to have a look at the relevant Wikipedia article.

Friday, 27 October 2006

pr.probability - Google question: In a country in which people only want boys

I think this is already implicit in the heavily up-voted answer, but it may be worth clarifying: there are two kinds of expectations that we can talk about.



The first is the distribution of G/B, G/(G + B), B/G, B/(B + G), values for the entire population (along with its expected value, standard deviation, etc.). Here, the distribution is over all possible "runs of history", so to speak, in the sense that we average over all possible ways history could turn out. If the population is large enough (thousands? millions?), then the expected values of all these quantities are what you would expect from a 50:50 split, and the standard deviations are near zero. Thus, as far as demographic estimations of the overall population are concerned, 50:50 is the way to go. In fact, at the population level, the ratio of girls to boys cannot be influenced by stopping strategies; any influence must either (i) affect the relative probability of conception of male versus female fetus (ii) adopt a post-conception filtering mechanism, such as induced abortion or infanticide).



The second is the expected G/B, G/(G + B), B/G, B/(B + G), etc., values over families. More generally, we may be interested in the distribution of different (G,B) values for different families. If we are interested in understanding family dynamics more thoroughly, we may also be interested in the birth orders, i.e., in what order girls and boys arise. Here, family stopping strategies could affect the distribution of (G,B) values and also of the birth orders. In particular, the strategy here ("stop as soon as you have a boy") gives 50% of the families with a single boy, 25% with one (older) girl and one (younger) boy, 12.5% with two older girls and one younger boy, and so on (assuming the complication of twins and triplets does not arise). This could have important demographic implications in the long term, when mating is done for the next generation (since birth order and the age gaps between children and their parents all play a role in mating and the creation of chlidren). However, that is getting beyond the current question.



For this second sense, it is not just the expected value per family that matters, but rather, the specific distribution of families. As already pointed out, since the variables are not independent, E[G/B] is not the same thing as E[G]/E[B], so what variable we choose to average over affects what answer we get. Looking at the whole distribution conveys more information.



When demographers are making short-term population estimates, it is the first sense (expected values for the population over runs of history) that is relevant, so stopping strategies can be discounted unless they are accompanied by post-conception selective strategies or strategies that affect conception probabilities. A deeper understanding of society would require knowing things in both the first and the second sense.

Thursday, 26 October 2006

nt.number theory - Subfields joining an algebraic element to another

EDIT: Okay, wrong. Sorry for spamming.



This looks just too easy, so I guess I'm doing something stupid.



I'll prove that



(a) whenever a subfield K of mathbbC satisfies betainKleft[alpharight], then betainleft(KcapmathbbQleft(alpha,betaright)right)left[alpharight].



Adding to this the trivial observation that



(b) whenever a subfield K of mathbbC satisfies betanotinK, then betanotinKcapmathbbQleft(alpha,betaright),



we see that whenever a subfield K of mathbbC joins alpha to beta, its subfield KcapmathbbQleft(alpha,betaright) does the same. This obviously settles 1) (even without the normal closure) and therefore 2).



So let's prove (a) now: Since betainKleft[alpharight], there exists a polynomial PinKleft[Xright] such that beta=Pleft(alpharight). Since KcapmathbbQleft(alpha,betaright) is a vector subspace of K (where "vector space" means mathbbQ-vector space), there exists a linear map phi:KtoKcapmathbbQleft(alpha,betaright) such that phileft(vright)=v for every vinKcapmathbbQleft(alpha,betaright) (this may require the axiom of choice for infinite K, but if you want to consider infinite field extensions of mathbbQ I think you can't help but use the axiom of choice). Applying the linear map phi to every coefficient of the polynomial PinKleft[Xright], we get another polynomial Qinleft(KcapmathbbQleft(alpha,betaright)right)left[Xright] which also satisfies beta=Qleft(alpharight) (since all powers of alpha and beta lie in KcapmathbbQleft(alpha,betaright) and thus are invariant under phi). Thus, betainleft(KcapmathbbQleft(alpha,betaright)right)left[alpharight], qed.



Can anyone check this for nonsense?

Wednesday, 25 October 2006

computational complexity - A polynomial-time algorithm for deciding whether a language has a polynomial time algorithm

For any NP-complete problem, search and decision are polynomially related to each other.



If we can find solutions in polynomial time then surely we can decide if a solution exists in polynomial time.



On the other hand, using self reducibility of SAT, we can show that the search problem can be solved in polynomial time using an oracle to the decision version of SAT. Here's the technique:



Suppose I am given formula F, a SAT instance on n variables, and an oracle to decide satisfiability. To solve the search problem, we show how to extend any particular partial solution by fixing a value for one more variable. Then we just start with the empty assignment and repeat this process n times.



Given F, first use Oracle to decide if F has a solution, and if it doesn't, then report Fail. Assuming that it does, we will now find a solution.
Take the first variable of F, call it X_1 (any arbitrary variable will do), and plug in True for it, simplifying F accordingly. Then take this resulting formula and give it to the SAT oracle. If by hypothesizing that X_1 = True, we have now made it so that there is no solution to F, then we know that any solution will have X_1 = False. If the oracle said that there are still solutions when X_1 = True, then we retain this partial assignment and proceed. Whatever value we decided on for X_1, we plug that into F and simplify, then repeat for X_2 ... X_n. At the end we must have found a full solution.



This property is called self-reducibility of SAT -- the point is that SAT on instances of length n can be solved in polynomial time with oracle access to SAT on instances of length n-1. Clearly any other NP-complete problem has a similar self-reduction - for instance with HAM CYCLE, I could take a vertex with more than 2 edges, and then make smaller graphs by deleting one of its edges. Polynomially many graphs result this way, and each is smaller then the initial graph. If one of them has a HAM CYCLE, I can just focus on that smaller graph and start deleting edges from it... eventually, I will be left with one massive Hamiltonian cycle. If none of them has a HAM CYCLE, then I know the original graph didn't have one either.



Additionally, many NP problems that are not NP-complete will have search to decision reductions. For instance, Graph Isomorphism. Along slightly different lines, problems like Discrete Logarithm have what is called Ransom Self Reducibility -- if you have an oracle that solves a large fraction of smaller instances of a problem successfully, then you can solve the problem on a larger input size. This kind of property allows you to reduce worst case to average case, and so a way to try to establish Average Case hardness of a problem, which is important for Cryptography.



Not all NP problems are known to be self-reducible though. Although many common ones are, the result in this paper rules out any simple proof for every single problem in NP.



http://www.google.com/url?sa=t&source=web&cd=5&ved=0CDEQFjAE&url=http%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fdownload%3Fdoi%3D10.1.1.157.3658%26rep%3Drep1%26type%3Dpdf&ei=02VmTMjIC4K8sQPW0OSXDQ&usg=AFQjCNEvu2rttkpbEQ7X0C9MIlrU-FIgJA&sig2=k7eTQI6BgHMTaIMv312UXA



Your question is also tangentially related to the Dichotomy Conjecture for CSPs. The problem can be posed as follows. Given any particular CSP language, determining if a particular CSP in that language is satisfiable is an NP problem. For some CSP languages, the corresponding problem is NP-complete, for instance 3SAT, while for others such as XORSAT, the problem is known to be in P. Is it true that, for every CSP language, the corresponding problem will be solvable in polynomial time OR NP-complete? Given a description of a particular CSP language, can we determine in polynomial time whether the corresponding problem is solvable in Polynomial Time or NP-complete? There has been much work and a resurgence of interest in this problem in recent years, and it seems that top researchers are getting close to resolving it in the affirmative.

Tuesday, 24 October 2006

Is there a relationship between model theory and category theory?

Between model theory and category theory broadly conceived: not anything really compelling, because a category, on its own, does not stand as an interpretation for anything.



Between model theory and categorical logic, however: yes, I think the overlap is large.



A spot of history: the man most deserving, in my opinion, of being called the father of model theory is Alfred Tarski, who came from a Polish school of logic that, I understand, was very much within the algebraic school. His model theory was more in the vein of a reworking of the Polish-style algebraic logic (this is not, in anway, to talk down his achievement).



Blackburn &al (2001, pp40-41) talk of a might-have-been for the Jónsson-Tarski representation theorem:




...while modal algebras were useful tools, they seemed of little help in guiding logical intuitions. The [theorem] should have swept this apparent shortcoming away for good, for in essence they showed how to represent modal algebras as the structures we now call models! In fact, they did a lot more that this. Their representation technique is essentially a model building technique, hence their work gave the technical tools needed to prove the completeness result that dominated [work on modal logic before Kripke].




They go on to present a nice anecdote showing how Tarski did not seem to think this algebraic approach provided a semantics for modal logic, even after Kripke stressed how important it was to Kripke semantics. It seems that sometimes algebraic logic and model theory are more similar than they appear.



Like model theory, categorical logic can seem to be a special way of doing algebraic logic. And with some theories, model theory and algebraic logic sometimes seem to differ only in trivialities; with categorical logic I am more hesitant in making sweeping judgements, but it sometimes feels that way to me too.



Ref: Blackburn, de Rijke, & Venema (2001) Modal Logic, CUP.

Monday, 23 October 2006

at.algebraic topology - singular homology of a differential manifold

Let M is differential manifold, Delta is the closed simplex [p0,p1,...,pk]. A differential singular k-simplex sigma of M is a smooth mapping sigma:Delta>M.



And we construct a chain complex in the same way we construct the chain complex of singular homology, we gain its homology group.



My question is why this homology group equals the singular homology group? I have tried finding in many books but there is no answer of this question.

ag.algebraic geometry - Normal bundle to a double line in quartic threefold

Let X be your threefold (I assume it is smooth) and ellsubsetX a line. We have the Gauss map ellrightarrowmathbbP2 which associates ot a point x the tangent TxX. Here the target mathbbP2 is the space of hyperplanes containing ell.



Since the map is given by derivatives of an equation of X, it has degree 3, so it is either 1:1 on a cubic or 3:1 on a line. In the first case the cubic spans the whole mathbbP2, so the intersection of all tangent hyperplanes along ell is ell itself. In the second case there is a plane Psupsetell which is everywhere tangent along ell.



I believe if the double line is contained in X we are in the second case. Now these two cases can be used to distinguish the normal of ell in X as follows. First we can compute by adjunction c1(Nell,X)=1. Since a vector bundle on a line splits, we must have Nell,X=mathcalO(e1)oplusmathcalO(e2), with e1+e2=1. Since this is a subbundle of Nell,mathbbP4=bigoplusmathcalO(1), each eileq1, leaving the two cases you mentioned, namely (e1,e2)=(0,1) or (1,2).



Now it comes the part where I actually did not do the computations, but it should be the same as the case of a cubic fourfold, where I have worked everything out. Namely you can distinguish the two cases according to the number of sections of Nell,X. You have to write explicitly a generic section of Nell,mathbbP4; these form a space of dimension 6.



Then you impose that such a section is actually tangent to X; this lowers the dimension by something which depends on the derivatives of X. If you do the computation, you will find that this dimension is different according to the two cases I have described above. I believe it turns out that h0(ell,Nell,X=1 in the first case and 2 in the second (which should be the one where the line is double).



A final remark: to perform the above computation it may be easier to observe that the normal exact sequence for the inclusion of the line into X splits and work with sections of TX|ell.

Sunday, 22 October 2006

gr.group theory - Fox Calculus and Cohomology.

A 2-group? You are tough cookie. For a knot group, Crowell-Fox's book on knot theory does a nice job. In general its just an observation about the module structure of the CW groups of a normal covering space of your CW complex, where you are working over the group ring of the deck transformations. It only works for computing the 0th and 1st homology groups. Maybe you meant two complex. :) In which point it works for every homology group.

ag.algebraic geometry - Euler-Maclaurin formula and Riemann-Roch

Let Df denote the derivative of a function f(x) and bigtriangledownf=f(x)f(x1) be the discrete derivative. Using the Taylor series expansion for f(x1), we easily get bigtriangledown=1eD or, by taking the inverses,
frac1bigtriangledown=frac11eD=frac1DcdotfracD1eD=frac1D+frac12+suminftyk=1B2kfracD2k1(2k)!,
where B2k are Bernoulli numbers.



(Edit: I corrected the signs to adhere to the most common conventions.)



Here, (1/D)g is the opposite to the derivative, i.e. the integral; adding the limits this becomes a definite integral intn0g(x)dx. And (1/bigtriangledown)g is the opposite to the discrete derivative, i.e. the sum sumnx=1g(x). So the above formula, known as Euler-Maclaurin formula, allows one, sometimes, to compute the discrete sum by using the definite integral and some error terms.



Usually, there is a nontrivial remainder in this formula. For example, for g(x)=1/x, the remainder is Euler's constant gammasimeq0.57. Estimating the remainder and analyzing the convergence of the power series is a long story, which is explained for example in the nice book "Concrete Mathematics" by Graham-Knuth-Patashnik. But the power series becomes finite with zero remainder if g(x) is a polynomial. OK, so far I am just reminding elementary combinatorics.



Now, for my question. In the (Hirzebruch/Grothendieck)-Riemann-Roch formula one of the main ingredients is the Todd class which is defined as the product, going over Chern roots alpha, of the expression fracalpha1ealpha. This looks so similar to the above, and so suggestive (especially because in the Hirzebruch's version
chi(X,F)=h0(F)h1(F)+dots=intXch(F)Td(TX)
there is also an "integral", at least in the notation) that it makes me wonder: is there a connection?



The obvious case to try (which I did) is the case when X=mathbbPn and F=mathcalO(d). But the usual proof in that case is a residue computation which, to my eye, does not look anything like Euler-Maclaurin formula.



But is there really a connection?




An edit after many answers: Although the connection with Khovanskii-Pukhlikov's paper and the consequent work, pointed out by Dmitri and others, is undeniable, it is still not obvious to me how the usual Riemann-Roch for X=mathbbPn and F=mathcalO(d) follows from them. It appears that one has to prove the following nontrivial



Identity: The coefficient of xn in Td(x)n+1edx equals
frac1n!Td(partial/partialh0)dotsTd(partial/partialhn)(d+h0+dots+hn)n|h0=dotshn=0



A complete answer to my question would include a proof of this identity or a reference to where this is shown. (I did not find it in the cited papers.) I removed the acceptance to encourage a more complete explanation.

noncommutative topology - Sources for exact triangles in triangulated categories.

This question has kind of been bothering me since I started thinking about it - I am far from an expert on KK-theory but I thought I'd throw something out there and maybe someone else will see it and come along and agree with me or correct me.



I think this statement is a way of thinking rather than something precise. Indeed by definition every distinguished triangle in KK is an isomorph of an extension triangle (although in the equivariant case I believe life is not so simple). Alternatively one can define the triangulation by taking distinguished triangles to be those candidates triangle (i.e. XtoYtoZtoSigmaX where each pair of composites vanishes) which are isomorphic to mapping cone triangles. So this is really all one has. The same story is true in the derived category of an abelian category for instance.



But (here is the punchline) one does not generally build the triangles one needs to prove things by considering short exact sequences of chain complexes! Indeed, one of the virtues of triangulated categories is that one has the ability to produce lots of new objects and triangles starting with very little. Often it is hard/impossible to do this in any explicit way - in fact one generally just knows that some collection of triangles doing the job exists and has no idea what they look like. So even though every triangle one might construct is (up to KK equivalence) an extension there is a very good chance that one didn't obtain it by writing down an explicit extension.



I guess there is also the fact that a triangle which is just isomorphic in KK to an extension triangle is not itself literally an extension of C-algebras. I don't know the stuff well enough to know whether or not one can produce interesting triangles via other constructions where there is a guarantee that some extension exists to make it distinguished. This is entirely possible (and in my opinion viewing such a construction as a different source of triangles is a worthwhile psychological distinction).

sleep - Is it possible to live without health problems sleeping one day and not the other?

(too long to be a comment)



You may be interested in http://en.wikipedia.org/wiki/Phase_response_curve.



This graph shows how the body's circadian rhythm normally works: http://en.wikipedia.org/wiki/File:Body_Temp_Variation.png. Body temperature decreases during the night (apparently due to more melatonin production.



I conjecture that the proposed schedule would interfere with the Circadian rhythm. Melatonin is the hormone that regulates sleep--it causes drowsiness. It is suppressed by blue light (because we get exposed to blue light in the daytime).



Aside from this, I am also very interested in the effects because I have personally wondered about the same question. The thing I am worried about is significant immunosuppression.



A larger question might be--"Why is sleep necessary?" Does it serve only to conserve food (which is very useful if you are living on subsistence) or does it serve a greater purpose? (whenever I have asked anyone about it, they always cite "regeneration" and some have cited the recycling of neurotransmitters. Personally, I'm a little skeptical.)



One final study: there was a study by Dement on the effect of dream deprivation: he took several people and woke them up whenever they went into REM sleep. Then, there was a period when the patients were not woken up. He found that there was a "REM rebound"--that they would go into more REM sleep after they had been deprived of it. This seems to indicate that dreaming, specifically, may serve a significant purpose.

lo.logic - Graph properties and infinite FOL sentences

Let me suppose for simplicity at first that we are speaking here just of countable graphs. There are continuum many isomorphism types of countable graphs, and any collection of such isomorphism types would seem to constitute a property of countable graphs. Thus, there are 22omega many properties of countable graphs.



If your infinitary logic does not have this many sentences, therefore, then clearly not every property can be described by an infinitary sentence. For example, if as you seem to, you only allow countable conjunctions, disjunctions and quantifications, so that every sentence is countable, then there are only continuum many sentences, but more than continuum many properties.



If you are more generous with the infinitary sentences, by allowing larger iterated disjunctions (but still just countable quantifications in any one block of quantifiers), then the answer is yes. The reason is that every countable graph G is uniquely specified up to isomorphism by a sentence sigmaG in infinitary logic saying: there are such-and-such vertices connected in exactly such-and-such way and no other vertices (according to what is true in the particular graph G). This assertion, which is expressible provided that we have countable conjunctions and quantifications, is true in a graph exactly when it is isomorphic to G. Now for any property P, let GammaP be the disjunction over all sigmaG among the G with property P, which will be a size at most continuum disjunction, if we use at most one G of each isomorphism type. The sentence GammaP is true of a countable graph exactly when that graph has property P. (The same idea works for uncountable G by allowing larger quantifier blocks and disjunctions.)



I take this answer to show that one needs to be more specific about which infinitary logic is to be used. If the logic is too generous, then the infinitary language doesn't seem really to give any insight to the nature of the graphs, since it amounts to describing the property just by listing the graphs that have that property, and we can already do this in our ordinary mathematical treatment of graphs, without any formal language. But when the logic is restricted, for example, if you consider a specific infinitary logic Lkappa,lambda and focus in detail on what is describable in that logic, then interesting answers may emerge. The answer above shows that larger logics will be more expressive.

Friday, 20 October 2006

Finding all paths on undirected graph

There is an easy way to partition the set of s-t paths in a graph G. Fix an edge tt in G. Let P1 be the set of paths from s to t which use the edge tt, and let P2 be the set of paths from s to t in Gtt. Then P1capP2=emptyset and the set of s-t paths P=P1cupP2. Moreover, there is a one to one correspondence between the set of paths P1 and the set of s-t paths in the graph Gt.



Thus, we get an easy recursive algorithm to find the set of paths s-t paths in a graph G. Pick an edge tt incident the vertex t and recursively calculate the sets P1 and P2. With a small amount of pre-processing, we can ensure that the runtime is O(m(p+1)) where m is the number of edges and p is the number of s-t paths.



To make the recurrence relation on the runtime work, consider the following. We can test in time O(m) if a given graph G and pair of vertices s and t if G has 0, exactly one, or at least two distinct s-t paths. To see this, simply find the block decomposition of the graph and, and check if there is any non-trivial block between s and t in the tree.



We can push this slightly farther. Given an instance of the problem G and vertices s and t, we can reduce the problem in time O(m) to a graph barG and vertices x and y such that for all edges xx incident to x, we have that



  1. xx is in some y-x path,

  2. there exists a y-x path in barGx.

To see this, again using the block decomposition, we contract any bridge in the graph and delete edges not contained in any s-t path. As above, this can be done in O(m) time.



We give an O(m(p1)) time algorithm to find the set of s-t paths in a given graph G with at least two s-t paths.



  1. We may assume, as above, that every edge tt incident to t is contained in some s-t path and that there exists at least one s-t path in Gt.

  2. Check if the number of s-t paths in Gtt is at least two, and if not, let P1 be the set of the unique s-t path in Gtt. If there are at least two such paths, we recursively find the set of all such paths. Let p1=|P1|. By choice of tt, p1ge1.

  3. Check if the number of s-t paths in Gt is at least two, and if not let P2 be the set of the unique s-t path in Gt. Otherwise, we recursively find the set P2 of s-t path in Gt. Let p2=|P2|, and as above, we again have p2ge1.

Step 1 can be performed in cm operations for some constant c. The initial check in steps 2 and 3 can be performed in c(m1) steps. If we must recursively run the algorithm, this will require another c(m1)(pi1) operations for i=1,2 in Steps 2 and 3, respectively. As pige1, we can bound the work in each of Steps 2 and 3 by cm+cm(pi1). Thus, the total number of operations is at most 3cm+c(m)(p1+p22)lecm(p1) if we choose cge3c.

Thursday, 19 October 2006

nt.number theory - How natural is the reciprocity map?

The reciprocity map in the local case can be motivated by considering the unramified case. Let me try to explain this. For simplicity, let us consider the case of a finite abelian unramified extension Kn/bfQp of degree n. Denote by kn the residue field of Kn. The unramified condition gives rise to the isomorphism
Gal(Kn/bfQp)simeqGal(kn/bfFp)simeqbfZ/n.



Now we like to parametrize these abelian unramified extensions {Kn} of bfQp using information from bfQp. However, bfQp is not finitely generated as a module over bfZp, let along over bfZ. bfQtpimes, on the other hand, decomposes as
bfQtpimessimeqpbfZtimesbfZtpimessimeqbfZtimesmup1timesZp,
which, if anything, at least contains a copy of bfZ (depending on the choice of a uniformizer, say p).



It then seems somewhat natural to consider the map bfQtpimesxrightarrowArtGal(bfQab,unp/bfQp)qquadpmapstoFrob



where Frob is a choice of a topological generator for Gal(bfQab,unp/bfQp), the Galois group of the maximal abelian unramified extension bfQab,unp of bfQp, which is naturally isomorphic to Gal(barbfFp/bfFp) (which is itself non-canonically isomorphic to hatbfZ).



Now compose the Artin map Art with the restriction map Gal(bfQab,unp/bfQp)toGal(Kn/bfQp), we obtain a map
bfQptimesxrightarrowArtnGal(Kn/bfQp) whose kernel is pnbfZtimesbfZtpimes, which coincidentally is also the image of the norm of Ktnimes in bfQtpimes.



This also sheds some light on the global situation, where you have Frobenius at all but finitely many primes. Don't quote me on this, but I recall the Artin reciprocity map is uniquely determined by its action on the Frobenii (I assume a Chebatorev density argument will show this, and you can prove Chebatorev Density Theorem independent of class field theory if I remember correctly.)



Lastly, we saw that the (local) reciprocity map depends on the choice of a Frobenius as well as that of a uniformizer.

Outer automorphisms of simple Lie Algebras

I don't have a good reference, but I can work out the beginning of the answer for you. I will work just over mathbbC, and I will call my simple Lie algebra mathfrakg.



First, you must decide what you mean by "outer automorphism". We know what an automorphism is, and an "inner automorphism" should be conjugation by something. Of course, for xinmathfrakg, the bracket textadx=[x,]inmathfrakgl(mathfrakg) is a derivation of mathfrakg, not an automorphism. So I assume you mean the automorphism exp(textadx)inrmGL(mathfrakg) as the inner automorphism. Now, the set of matrices of the form exp(textadx) is not a group, but generates a connected group, which I will call textInn(mathfrakg). (Remark: any automorphism of mathfrakg preserves the Killing form, so we really have textInn(mathfrakg)subseteqtextAut(mathfrakg)subseteqrmSO(mathfrakg).) Of course, mathfrakg acts on itself faithfully since it is simple, so textLiebigl(textInn(mathfrakg)bigr)=mathfrakg, but textInn(mathfrakg) may not be simply-connected. Regardless, it is a quotient of the connected simply-connected simple group G with Lie algebra mathfrakg, and so you could if you prefer consider inner automorphisms to be given by the adjoint action of G.



Now, over mathbbC (and this requires facts about the topology of mathbbC), any two choices of Cartan subalgebra are conjugate by an element of textInn(mathfrakg). See, for example, Proposition 5.32 of my notes on the class by M. Haiman. So, to understand textOut(mathfrakg)=textAut(mathfrakg)/textInn(mathfrakg), it suffices to understand how it acts any chosen Cartan subalgebra mathfrakh.



Any automorphism of mathfrakg that fixes mathfrakh must act on the root lattice, and must take some system of positive roots to some system of positive roots. Now, any two systems of positive roots are related by the Weyl group WsubseteqrmGL(mathfrakh). (Proposition 5.60 from my notes.) On the other hand, we have W=mathcalNG(H)/H, the normalizer of the maximal torus H=expmathfrakh in G modulo H, which acts trivially on mathfrakh. So W acts on mathfrakh by inner automorphisms, indeed by mathcalNG(H)subseteqG.



A system of positive roots picks out a Cartan matrix and corresponding Dynkin diagram, and conversely from this matrix you can reconstruct the group. Thus, the only possible source of outer automorphisms of come from automorphisms of the Dynkin diagram.



So your question follows simply from looking at the Dynkin diagrams. In particular, A1, the B and C series, and the exceptional groups G2,F4,E7,E8 have no outer automorphisms. For the others, you have to do a calculation. Maybe it's obvious, but it's late; I'll think about it. As others pointed out in the time I took to write this answer, the theorem is that automorphisms of the Dynkin diagram are all outer. Actually, perhaps this is obvious. If an automorphism of the Dynkin diagram were inner, then it would induce among other things an automorphism of H, and so be in the Weyl group, and you must convince yourself that non-trivial elements of the Weyl group do not preserve the system of positive roots. But this is essentially the statements that W acts faithfully on H and that each W-orbit intersects the positive Weyl chamber only once. So I am using the fact that W=mathcalNG(H)/H, which off the top of my head right now I don't know how to prove.



Notice that for semisimples, the Dynkin might be disconnected, and clearly any inner automorphism preserves the connected components. So there are certainly outer automorphism for mathfrakgtimesn given by the Sn that permutes the pieces.

universal algebra - Essential arities in quasi-varieties.

For my question, let us consider the following scenario.



We have a quasi-variety mathcalA generated by a finite algebra mathbfM (i.e. mathcalA=mathbbISP(mathbfM)). Now, let mathbfA be another finite algebra in mathcalA. Assume that there exists an integer k such that, for each ninmathbbN, every homomorphism fcolonmathbfAnrightarrowmathbfM is essentially at most k-ary.



My question is: Is it guaranteed that there exists a finite algebra mathbfMinmathcalA with mathbfAinmathbbISP(textbfM) such that, for each ninmathbbN, every homomorphism fcolonmathbfAnrightarrowmathbfM is essentially at most unary?



To illustrate this question, I will now give an example in which this is true. Let textbfM and textbfA be two finite distributive lattices. Now, there exists an integer k such that the essential artiy of every fcolonmathbfAnrightarrowmathbfM is at most k-ary. We can define mathbfM to be the (up to isomorphism unique) two-element distributive lattice.



Note that mathbbISP(mathbfM)=mathbbISP(mathbfM) is not required (although it is true in the example). It is only required to have mathbfAinmathbbISP(mathbfM).



Is this always possible? I believe it is not, but I do not know any counterexample up to this point in time. Does anybody know a counterexample, a proof or has a feeling of whether this statement is true or false?



Note: If the answer to my question would be positive, this would have some very nice consequences for centralizer clones (which is my main research interest at the time). In fact, this would mean (and I can explain later, why that is) that every centralizer clones that has bounded essential arity cannot contain many types of functions. Among them: Near-unanimity operations, minority operations, semiprojections etc.. Furthermore, it would lead to a full characterization of all minimal clones in centralizer clones with bounded essential arity.

Wednesday, 18 October 2006

pr.probability - Brownian Bridge under observational error

if you consider a Gaussian vector V=(X,Y)inmathbbRd=m+n, you know how to find the conditional distribution of X knowing the value of Y=y, right ? This is exactly the same thing here.



For example, let us suppose that a=0,b=N+1:



  • you have a noisy observation Y=(y1,y2)=(Oa,Ob) with know covariance matrix SigmaY

  • the data you are looking for, X=(z1,ldots,zN)inmathbbRN, have a known covariance matrix SigmaX

  • the covariance matrix E[XYt]=SigmaX,Y is also known.

A quick way to find the conditional distribution of X knowing Y is to write
X=AU+BV
Y=CU
where U,V are independent standard Gaussian random variable of size 2 and N respectively, while AinMN,2(mathbbR) and BinMN,N(mathbbR) and CinM2,2(mathbbR). Because



  • CCt=SigmaY gives you C=Sigmafrac12y,

  • ACt=SigmaX,Y then gives you A=SigmaX,YSigmafrac12y,

  • AAt+BBt=SigmaX then gives you B=(SigmaXSigmaX,YSigma1ySigmaX,Y)frac12,

the 3 matrices are easily computable, and C is invertible in the case you are considering. This shows that if you know that Y=y, the conditional law of X|Y=y is given by
X=AC1y+BV,
which is a Gaussian vector with mean AC1y=SigmaX,YSigma1yy and covariance BBt=SigmaXSigmaX,YSigma1ySigmaX,Y

co.combinatorics - Nimber multiplication

In part 2 of Game Theory by Thomas Ferguson, example 2 'Turning Corners' on page 33, Thomas Ferguson mentions a so-called 'flipping-coin' game, where the Sprague-Grundy functions g(x, y) equals nim multiplication of x and y.




A move consists of turning over four distinct coins at the corners of a rectangle, i.e.
(a, b), (a, y), (x, b) and (x, y), where 0 ≤ a < x and 0 ≤ b < y, the coin at (x, y) going from
heads to tails.




This is under the (in part 2 of this book) usual assumptions that the game is for 2 players, and the last player that makes a move wins (i.e., you lose when you can't make a valid move according to the rules of the game). This might be the game that Alex Fink referred to, but I didn't find it to be such a contrived example, so it might be worth looking at (to be honest, at this point I don't understand the game completely and I don't have time for it now: this might be the same game that Lenstra mentions in the article linked to by Kevin O'Bryant: both are 'coin-turning' games).



Edit: In fact, the Sprague-Grundy value of a move in any 'product' of two coin-turning games G1 and G2 is given by the nimber product of the SG-value of the corresponding move in G1 and the corresponding move in G2. What this means exactly is explained more clearly in the document I linked to.

Tuesday, 17 October 2006

ca.analysis and odes - A two-variable Fourier series and a strange integral

I know how I want to answer this question. I'll write up the easy parts here, and leave the hard part for you :).




First some minor changes. It will be convenient to clear out denominators and work with logleft(4+e2piix+e2piix+e2piiy+e2piiyright). That just changes the constant term of your Fourier series by log2. Next, it is convenient to focus on
int10int10logleft(4+e2piix+e2piix+e2piiy+e2piiyright)e2piimxe2piinydxdy.
A simple linear transformation goes between this and the cosine formulation. Let S=(z,w):|z|=|w|=1. So we are dealing with
frac1(2pii)2intSlogleft(4+z+z1+w+w1right)zm1wn1dzdw.
Dropping out the 4pi2, we want to show the integrand is of the form api+b.



UPDATE: Thanks to fedja for pointing out that I had oversimplified the next paragraph.



Assuming that (m,n)neq(0,0), we can integrate by parts with respect to one of the two variables, let's say z. Once we do that, we will have a quantity of the form
(mboxrationalnumber)cdotintSfrac(zz1)wkzelldwdz4+w+w1+z+z1



So we'd like to show this quantity is of the form a+bpi.



As fedja points out, we need to be careful here. Without the zz1 term, the integral diverges like intintdsdt/(s2+t2) near (1,1).




Whew! Now comes the actual hard part. Let
E:=(z,w)in(mathbbC)2:4+z+z1+w+w1=0.
This is an elliptic curve with four punctures. As Bjorn points out, this is a nodal cubic and can be parameterized as
(z,w)=left(frac1uu(1+u),fracu(u1)1+uright).
We'll come back to this point later.



The 2-form dwdz/(4+z+z1+w+w1) has a simple pole on E. Let omega be the 1-form on E which is the residue of that 2-form.



I think there should be a curve gamma in E such that S is homotopic, in (mathbbC)2setminusE, to a tubular neighborhood of gamma. So
intSfracwkzell(zz1)dwdz4+w+w1+z+z1=intgammaomegawkzell(zz1).



If we substitute in the above parameterization, this will be the integral around a closed loop of some rational function in mathbbQ(u). In particular, we can compute this integral by residues and we will get something of the form a+bpi, as desired.



Actually, it looks to me like we should just get bpi. Maybe the integration by parts doesn't go as well as I hoped?




Obviously, someone should actually work this out explicitly, but I don't think it will be me.

Friday, 13 October 2006

gr.group theory - Uses of the holomorph, Hol(G) = Grtimes Aut(G)

If G is abelian, then the holomorph of G is a reasonably nice group. If G is a finite elementary abelian p-group of order pn, then you can consider it to be a vector space over Z/pZ. The automorphism group is the group GL(n,p) of invertible n×n matrices over Z/pZ. The holomorph is called the affine general linear group, AGL(n,p), which can be thought of as (n+1)×(n+1) matrices [ A, v ; 0, 1 ] where A in Aut(G) ≅ GL(n,p) and v in G ≅ (Z/pZ)^n. If you restrict the automorphism group to only include GF(p^k) automorphisms, where k divides n, then you get a subgroup AGL(n/k,p^k) that is also important.



These sorts of groups are (one of) the standard examples of primitive permutation groups. Every soluble primitive permutation group has some minimal normal subgroup G that is elementary abelian, and a maximal subgroup M contained in Aut(G) = GL(n,p) that acts irreducibly on G, and the group itself is then the obvious subgroup { [ A, v ; 0, 1 ] : A in M } of AGL(n,p). Insoluble primitive groups can replace G with a non-abelian simple group or two, but a fair amount of the theory still applies.



These are all examples of the original motivation of the holomorph as the normalizer in the symmetric group of the regular representation of the group. For instance, a Sylow p-subgroup of the symmetric group on p points is regular of order p, and the Sylow normalizer is the holomorph, AGL(1,p).



Regular normal subgroups occur frequently in permutation groups and computational group theory (usually as something to be avoided due to behaving so differently), and their normalizers (aka, the whole group, since the subgroup is normal), are contained in the holomorph.



Primitive soluble groups, and in general, "irreducible" subgroups of AGL(n,p), tend to be important "boundary" examples (as in the boundary of a Schunck class) which do not have a property, but such that every quotient does. "M" is chosen to have the property, and then "G" is taken to be an irreducible M-module such that M⋉G does not have the property. It bugs me to call M the group and G the module, so in the next part M will be the module, and R the ring:



Something similar to a holomorph can be constructed from any module over a ring. You take the matrices [ r, m ; 0, 1 ] where r in R, m in M, and you get another ring where M the module becomes M the ideal; a so-called trivial extension. If instead of all of R, you just take the units of R, GL(1,R), then you get a nice group. For instance, taking R to be the p-adic integers extended by a p'th root of unity z (not already in there), and M to be R, then you get a very important pro-p-group of coclass 1, G = { [ z^i, r ; 0, 1 ] : 0 ≤ i < p, r in R }. For p=2, this is a pro-2 version of the dihedral group, and for all p its finite quotients are "mainline" p-groups of maximal class.



When G is not abelian, many of these comments still apply, but the matrix formulations are usually less enlightening. In general, the holomorph is a very nice setting in which to work with a group G and its automorphisms, with a regular normal subgroup G, with a primitive soluble group, or with various other nice examples.

linear algebra - Geometric Interpretation of Trace

What seems really odd to me is this limitation set by the original question.




The divergence application of trace is somewhat interesting, but again, not really what we are looking for.




Maybe that is rejected because it involves a metric tensor in most textbooks about differential geometry, but the divergence requires only an affine connection, even in differential geometry. In flat Cartesian space (without a norm or inner product), it's even simpler.



First consider that matrices have two main applications, as the components of linear maps and as the components of bilinear forms. Let's ignore the bilinear forms. Linear maps are really where matrices come from because matrix multiplication corresponds to composition of linear maps.



We know that the determinant is the coefficient of the characteristic polynomial at one end of the polynomial, and the trace is at the other end, as the coefficient of the linear term. So we should think in terms of linearization and volume, or some combination of these two concepts. We know that the determinant can be interpreted as the relative volume expansion of the map xmapstoAx. So we should think in terms of maybe linearizing this in some way.



Define a velocity vector field V(x)=Ax on mathbbRn and integrate the flow for a short time. What happens to the volume of any region? The rate of increase of volume equals mathrmTr(A). This is because the integral curves have the form x(t)=exp(At)x(0). (See Jacobi's formula.)



Thus the determinant tells you the volume multiplier for a map with coefficient matrix A, whereas the trace tells you the multiplier for a map whose rate of expansion has component matrix A.



That sounds very neat and simple to me, but only if you avoid the formulas in the DG literature which try to interpret divergence in terms of absolute volume by referring to a metric tensor or inner product.



PS. To avoid analysis, to keep it completely algebraic apart from the geometric meaning of the determinant, consider the family of transformations x(t)=x(0)+tAx(0) for tinmathbbR for all x(0)inmathbbRn. Then the volume of a figure (such as a cube) is a polynomial function of t. The linear coefficient of this polynomial with respect to t is mathrmTr(A). There are no derivatives, integrals or exponentials here. The trace also happens to be the linear component of the characteristic polynomial. I think this is a pretty close tie-up.



PS 2. I forgot to mention that the divergence of the field V(x)=Ax is textrmdivV=mathrmTr(A). Therefore trace equals divergence. That's the geometrical significance of the trace. The function V is the linear map with coefficient matrix A. And the trace equals its divergence if it is thought of as a vector field rather than just a linear map. You could even write mathrmTr(A)=mathrmdiv(A) if you identify the matrix with the corresponding linear map.

Wednesday, 11 October 2006

ag.algebraic geometry - Does a locally free sheaf over a product pushforward to a locally free sheaf?

One can prove this also without Bass's theorem.
Let X=SpecA and Y=SpecB.
The sheaf calF comes from a finitely generated module M over C=AotimesB.
Our first goal is to show that M, as an A-module, is a direct sum of finitely generated, locally free modules.
Since A is noetherian, this is equivalent to M being a direct sum of finitely generated projective A-modules.



The fact that M is locally-free implies that M is projective over C, further it is finitely generated, so there is a finitely generated C-module N such that MoplusN=bigopluski=1Cei.
Now each ei of this free basis can bewritten uniquely as ei=mi+ni.
Let M0 be the A-module generated by m1,dots,mk.
Let (bj)jinJ be a basis of B over the ground field, then
M=bigoplusjinJbjM0.
Let N0 be the A-module generated by n1,dots,nk. Then M0oplusN0=bigoplusiAei is a free A-module and so is
Also bj(M0oplusN0)=bigoplusiAbjei.
This means that we have written M as a direct sum of finitely generated projective A-modules as claimed.



Now to conclude remember that A is noetherian, therefore for each point in X there exists an open neighborhood, where all summands of calG are free.

Monday, 9 October 2006

hyperbolic geometry - Coordinates on Teichmuller space

We know that every surface of genus (ggeq2) admits a pair of pants decomposition. And there is the Fenchel Nielsen Coordinates on the Teichmuller space associated to such a decomposition where we have the length functions of the geodesics boundaries and the twisting parameters for gluing these boundaries.



My question is the following:



We choose again a pair of pants decomposition. Then there arises the trivalent graph representing this decomposition.



We could associate a fixed a pair of pants to each of vertices, say of boundary geodesic length (1,1,1). And then glue flat cylinders of both boundary length 1 and height h to form a Riemann surface(of course we will also need the twisting parameter for the sewing, but it seems that we should only need the relative twisting parameter as cylinder itself has a rotation symmetry.).



The height of these cylinders and the relative twisting parameter together form 6g-6 parameters. Will they also be a parametrization of Teichmuller space?

Sunday, 8 October 2006

at.algebraic topology - Ring of closed manifolds modulo fiber bundles

Consider the variation where we ask for smooth manifolds and smooth fiber bundles. Then I claim that R is not finitely generated.



The starting observation is that if FtoExrightarrowpB is a smooth fiber bundle then



0totextker(p)toT(E)topast(T(B))to0



gives a splitting of the tangent bundle of E. There are cohomological obstructions to such splittings existing in general, which we can compute. The upshot is that if E is a simply connected (so it has no nontrivial covers) closed smooth manifold whose tangent bundle has no nontrivial subbundles, then [E] does not participate in any of the interesting relations defining R, and in particular cannot lie in the subring of R generated by manifolds of dimension smaller than dimE. Hence to show that R is not finitely generated it suffices to write down a sequence of such E of arbitrarily large dimension.



But this is standard: we can take the even-dimensional spheres S2n. First, observe that because S2n is simply connected, it has no nontrivial covering spaces, and in addition every real vector bundle over S2n is orientable, hence has well-defined Euler classes (after picking an orientation). Second, the Euler class e(T) of the tangent bundle is 2 times a generator of H2n(S2n), and in particular does not vanish. Since the Euler class is multiplicative with respect to direct sum, if T=T1oplusT2 is a nontrivial splitting of the tangent bundle then e(T)=e(T1)e(T2). But the cohomology groups that e(T1) and e(T2) live in both vanish for S2n; contradiction. Hence the tangent bundle of S2n admits no nontrivial splittings, and so S2n is not the total space of any nontrivial smooth fiber bundle of closed smooth manifolds.



(Maybe this argument can be rescued in the topological setting using tangent microbundles?)



(Strictly speaking this argument's not quite complete: we also need to show that there aren't any interesting bundles with total space the disjoint union of S2n with something else. But fiber bundle maps p:EtoB are open, so the image of S2n under such a map is a connected component of the base, and we can restrict our attention to this connected component without loss of generality. Then E breaks up, as a fiber bundle, as a disjoint union of S2n and whatever else, and we can restrict our attention to S2n again without loss of generality. In other words, in the defining relations we can assume that E and B are both connected without loss of generality.)

Saturday, 7 October 2006

measure theory - Dimension of the measurable space mathbbRn

Consider mathbbRn as measurable space with the Borel algebra. If mathbbRn and mathbbRm are isomorphic (in the category of measurable spaces, i.e. there are measurable maps in both directions, which are inverse to each other), can we conclude n=m? Note that this statement is stronger than the invariance of dimension in topology and I doubt that it is true. Can you give a counterexample?

dg.differential geometry - Cobordisms of bundles?

Is there a notion of a cobordism which is compatible with bundle structure?



That is, if I have bundles E and F, is it the case that the manifold W with E and F as boundary components, can be made into a bundle whose bundle structure, when restricted to E or F, is the bundle structure of E or F.



And, particularly, when can I connect E and F this way (not just when they're cobordant, but when this cobordism is compatable with this structure)? And what can I say about the bundle structure of W, knowing what E and F look like? (e.g., if E and F are G-bundles what can I say about the group action on W?)



Also, can anyone point me to any particular references which discuss this? I spent a few hours in our (fairly small) math library looking for something like this, but haven't been able to find anything that seems to discuss this. But I may just not know the right catch phrases to search for!

Friday, 6 October 2006

ct.category theory - is localization of category of categories equivalent to |Cat|

There are set theoretic issues that will hinder any proof of this statement. In particular I don't believe you can construct the adjunction in part (2) without applying the axiom of choice to CAT, and it's not clear the localization S^(-1)CAT makes sense either.



That said, let's ignore these issues and pretend that CAT is a small category of (small) categories.



I was originally confused by this. I believe that there are some problems in the formulation of this question. In particular if S consists of those functors which are equivalences of categories, then it does not form a multiplicative system. Specifically, the right Ore condition fails. I'll give an example later. What this means though, is that the property your are trying to check in part (1) actually fails. To see this pick a group G and view it as a category with one object. Then the functors from H to H are the homomorphisms, and the equivalence classes of this functors are the orbits of Hom(H,H) under the conjugation action. Choose H such that there are distinct automorphisms of H which are equivalent under conjugation.



Claim: If F,G: H --> H are two such automorphisms, then there is no equivalence s:H --> C such that sF = sG. I think this is easy to check, so I'll leave it at that.



So the second part of (1) is impossible to prove.



I first thought that we can answer this question be going to skeletal categories. This is not correct, but let's look at why it is not correct. Let SKEL be the full subcategory of CAT consisting of the Skeletal categories, i.e. those categories in which acongb implies a=b, i.e. those categories which have a single object in each isomorphism class.



Every object in CAT is equivalent to one in SKEL. This is an easy exercise you should work out for yourself. By applying the axiom of choice to all of CAT we can construct an equivalence between CAT and SKEL, and in particular we have L: CAT ---> SKEL with an equivalence CcongL(C) for every category C.



Notice that a functor between skeletal categories is an equivalence if and only if it is an isomorphism on the nose. So we are part way there. This made me think that SKEL was the localizing subcategory we were after.



However two functors into a skeletal category can be naturally isomorphic without being equal. The group example above is actually an example of this. The functors F and G are naturally isomorphic, but not equal.



Let J denote the "Joyal interval", the category with two objects and an isomorphism between them. J can be used to say when two functors are naturally isomorphic. F,G: C --> D are nat. isomorphic if they extend to a functor CtimesJtoD. There is a quotient of J where we identify the two objects. This is in fact the category Z (the group of integers viewed as a category). Let W be the set of morphisms consisting of the single morphism J --> Z. Notice that SKEL consists of exactly the "W-local" objects. But this is not quite what we want.




Okay, now for the rest. First, I promised an example where the right Ore condition fails. This is given by considering the two inclusions of pt into J. Both of these are equivalences, but this cannot be completed to an appropriate square. So the class of equivalences in not a multiplicative system.



Next, Toen doesn't assume that S is a multiplicative system. He (correctly) defines the localization in terms of a (weak) universal property. Namely, there exists a locization functor:



L:CATtoS1CAT



such that fro any other category D, L:Fun(S1CAT,D)toFun(CAT,D) is fully-faithfull and the essential image consists of those functors which send elements of S to isomorphisms in D. In particular the quotient functor from CAT to |CAT| does this, so this gives us functor from S^(-1)CAT to |CAT| defined up to unique natural isomorphism.



On the other hand, |CAT| is also defined by a universal property. This gives us maps between |CAT| and S^(-1)CAT and by the usual sort of general nonsense this is an equivalence. The details aren't too hard, so I'll leave them to you.



Now the second part of your question asks about whether we can realize |CAT| as a full subcategory of CAT such that the quotient q:CATto|CAT| is left adjoint to the inclusion. The answer is no. Let's first look at whether q can have a right adjoint at all and what this would mean.



Suppose that R: |CAT| --> CAT is right adjoint to the quotient q. Be abuse, we will identify the objects of CAT and |CAT|. This means that for all categories X and Y we have:



CAT(X,R(Y))=|CAT|(X,Y)=|CAT|(XtimesJ,Y)=CAT(XtimesJ,R(Y))



So R(Y) must be cartesian local with respect to the map J --> pt. In particular we see, taking X=pt, that R(Y) has no non=identity automorphisms, i.e. R(Y) is rigid.



Now let's look at an example. Consider the group Z viewed as a category with one object. Then the endomorphisms of Z in |CAT| is the monoid Z (under multiplication). Now if R is fully-faithful then we need:



mathbbZ=|CAT|(mathbbZ,mathbbZ)=CAT(R(mathbbZ),R(mathbbZ))



but this last is equal to the automorphism of some set R(Z), hence we have a contradiction. So there is no such fully-faithful right adjoint.

mg.metric geometry - find the collision of a particle with a swept triangle.

Consider the (mostly nontrivial) tetrahedron formed by the three moving points and P. There is a determinantal formula for the volume of the tetrahedron, as well as one for the area of the triangle formed by the three moving points. Now you have two formulas depending on t, one measuring signed tetrahedral volume, the other the signed area of the moving triangle. If the area is nonzero at time t while the volume is 0 at time t, then you have a time when point P is in the plane of the triangle. Then you can do some calculations to see if P is inside the triangle or not. Otherwise, either the volume is nonzero (and thus no intersection between P and the triangle), or the triangle has zero area, and you have to check to see if P is collinear at that time with the other points, and also lies within the segment determined by the three points.



If you have more information about the trajectories, I may have more suggestions on how to find time t, if it exists.



Gerhard "Ask Me About System Design" Paseman, 2010.01.23

Wednesday, 4 October 2006

na.numerical analysis - Is there any numerical technique to sum x^(n^alpha), n=0,1,...?

The kth power is the generating function for the ways of expressing n as a sum of k alphath powers of positive integers. However, I don't think this helps much even for most integer values of alpha.



When alpha=1, this is a geometric series.



When alpha=2, this is a theta function related to the Jacobi triple product formula



prodim=1nfty(1x2m)(1+x2m1y2)(1+x2m1y2)=sumin=inftynftyxn2y2n
since
(frac12textRHS+frac12)bigg|y=1=sumin=0nftyxn2.



You may be able to compute the sum when alpha=2 more efficiently using one of the integral formulas or other properties for elliptic theta functions. Other than that, I don't know of special cases.



This doesn't say anything about whether some rapid series acceleration technique exists.

physiology - How does the microbial environment in your gut initiate?

Clearly, a zygote does not harbor any microbes. As it develops, and the alimentary canal tissue is differentiated, I logically assume that there is still no microbial activity in the fetus's gut. I'm thus also assuming that the commencement of microbial activity in the intestines occurs after birth, but when, and how?



Do newborn babies just happen to ingest only certain e.g., E.coli strains? Is the gut a selective environment in which only certain E.coli strains develop?



Are there any mechanisms to ensure that harmful bacteria do not initially reside in the gut? Is a newborn's digestive tract particularly unstable and ineffective until the proper microbes are established?

Tuesday, 3 October 2006

nt.number theory - Transformation formulae for classical theta functions

I am looking for a reference for the transformation formulae
for the classical theta-functions
theta4(tau)=sumin=inftynfty(1)nqn2
and
theta2(tau)=sumin=inftynftyq(2n+1)2/4
under the congruence group Gamma0(4).
Here tau lies in the upper-half plane and qx denotes
exp(2piixtau). More precisely I want the exact automorphy
factors for each AinGamma0(4) (some eighth root of
unity times sqrtctau+d). I know these can easily
be deduced from those for the basic theta-function
theta3(tau)=sumin=inftynftyqn2
for which a nice reference for the automorphy factors is Koblitz's Introduction
to Elliptic Curves and Modular Forms
. However



  1. a citation would be useful to me,


  2. I want to check my calculation and


  3. a reference may give the formulae in a more convenient form than I have.


Thanks in advance.



EDIT I have now found a convenient reference: Rademacher's
Topics in Analytic Number Theory.



FURTHER EDIT Rademacher atcually gives full transformation formula
for the two-variable classical Jacobi theta functions under arbitrary
matrices in mathrmSL2(mathbbZ). From these we can deduce
for AinGamma1(4) that
fractheta2(Atau)theta3(Atau)=ibfractheta2(tau)theta3(tau)
and
fractheta4(Atau)theta3(Atau)=ic/4fractheta4(tau)theta3(tau)
in the usual notation. Once noticed, these relations are easy to prove
from scratch.



Thanks to all who replied to this question.

gr.group theory - Can the symmetric groups on sets of different cardinalities be isomorphic?

For any set X, let SX be the symmetric group on
X, the group of permutations of X.



My question is: Can there be two nonempty sets X and Y with
different cardinalities, but for which SX is
isomorphic to SY?



Certainly there are no finite examples, since the symmetric
group on n elements has n! many elements, so the finite
symmetric groups are distinguished by their size.



But one cannot make such an easy argument in the infinite
case, since the size of SX is 2|X|,
and the exponential function in cardinal arithmetic is not
necessarily one-to-one.



Nevertheless, in some set-theoretic contexts, we can still
make the easy argument. For example, if the Generalized
Continuum Hypothesis holds, then the answer to the question
is No, for the same reason as in the finite case, since the
infinite symmetric groups will be characterized by their
size. More generally, if κ < λ implies
2κ < 2λ for all
cardinals, (in another words, if the exponential function
is one-to-one, a weakening of the GCH), then again
Sκ is not isomorphic to
Sλ since they have different
cardinalities. Thus, a negative answer to the question is
consistent with ZFC.



But it is known to be consistent with ZFC that
2κ = 2λ for some
cardinals κ < λ. In this case, we will
have two different cardinals κ < λ, whose
corresponding symmetric groups Sκ and
Sλ nevertheless have the same cardinality. But can we still
distinguish these groups as groups in some other (presumably more group-theoretic) manner?



The smallest instance of this phenomenon occurs under Martin's Axiom plus ¬CH, which implies 2ω =
2ω1. But also, if one just forces ¬CH by adding Cohen reals over a model of GCH, then again 2ω =
2ω1.



(I am primarily interested in what happens with AC. But if
there is a curious or weird counterexample involving
¬AC, that could also be interesting.)

Monday, 2 October 2006

ct.category theory - Candidate definitions for "1-braided 2-category"?

Recall that a braided monoidal category is a category mathcalC, a functor otimes:mathcalCtimesmathcalCtomathcalC satisfying some properties, and a natural isomorphism bV,W:VotimesWtoWotimesV satisfying some properties. Recall also that a monoidal category (just mathcalC,otimes and their properties) is the same as a one-element 2-category: the objects of mathcalC become the morphisms, and the monoidal structure becomes composition.



Thus, is there a natural definition of "1-braided 2-category"? I'm calling it "1-braided" because the braiding acts on 1-morphisms (as opposed to "braided monoidal 2-category", where the braiding acts on the 0-morphisms).



I realize, of course, that if V,W are morphisms of a 2-category so that VcircW is defined, then generally WcircV is not defined, so a priori asking for any relationship VcircWcongWcircV doesn't make sense. On the other hand, consider Aaron Lauda's categorification of Uq(mathfraksl2). It is a 2-category, but different hom-sets can be more-or-less identified.

Sunday, 1 October 2006

Space Bounded Communication Complexity of Identity

Here's an argument that I believe shows that lognomega(1) is impossible. (This argument came out of a discussion I had with Steve Fenner.)



Let Alice's input be xin0,1n and let Bob's input be yin0,1n. Assume the shared memory stores states in 0,1m, and its initial state is 0m. We are interested in lower-bounding m for any protocol that computes EQ(x,y).



A given protocol is defined by two collections of functions fx and gy, representing the functions applied to the shared memory by Alice on each input x and Bob on each input y, respectively, along with some answering criterion. To be more specific, let us assume that if the shared memory ever contains the string 1m1b then the output of the protocol is b (for each bin0,1). For convenience, let us also assume that fx(1m1b)=1m1b: and gy(1m1b)=1m1b: for every x,yin0,1n and bin0,1. In other words, Alice and Bob don't change the shared memory once they know the answer.



Now, for each x,yin0,1n, consider what happens when Alice and Bob run the protocol on the input (x,y). Define Ax,ysubseteq0,1m to be the set of all states of the shared memory that Alice receives at any point in the protocol, and likewise define Bx,ysubseteq0,1m to be the states of the shared memory that Bob receives. Also define
[
S_{x,y} = {0w,:,win A_{x,y}} cup {1w,:,win B_{x,y}}.
]

We will assume Alice goes first, so 0minAx,y for all x,y. Let us also make the following observations:



  1. By the definition of Ax,y and Bx,y, it holds that fx(Ax,y)subseteqBx,y and gy(Bx,y)subseteqAx,y for all x,y.


  2. For every x,y with xnot=y it holds that 1m10inAx,ycupBx,y, because Alice and Bob output 0 when their strings disagree.


  3. For every x it holds that 1m10notinAx,xcupBx,x, because Alice and Bob do not output 0 when their strings agree.


Now let us prove that Sx,xnot=Sy,y whenever xnot=y. To do this, let us assume toward contradiction that xnot=y but Sx,x=Sy,y (i.e., Ax,x=Ay,y and Bx,x=By,y), and consider the behavior of the protocol on the input (x,y).



Let wt be the contents of the shared memory after t turns have passed in the protocol, so we have w0=0m, w1=fx(w0), w2=gy(w1), and so on. It holds that
[
begin{array}{c}
w_0 = 0^m in A_{x,x}\
w_1 = f_x(w_0) in f_x(A_{x,x}) subseteq B_{x,x} = B_{y,y},\
w_2 = g_y(w_1) in g_y(B_{y,y}) subseteq A_{y,y} = A_{x,x},
end{array}
]

and in general
[
begin{array}{c}
w_{2t + 1} = f_x(w_{2t}) in f_x(A_{x,x}) subseteq B_{x,x} = B_{y,y}\
w_{2t+2} = g_y(w_{2t+1}) in g_y(B_{y,y}) subseteq A_{y,y} = A_{x,x}
end{array}
]

for each tinmathbbN. It follows that Ax,ysubseteqAx,x and Bx,ysubseteqBy,y.



But now we have our contradiction, assuming the protocol is correct: given that Ax,ysubseteqAx,x and Bx,ysubseteqBy,y, it follows that 1m10inAx,xcupBy,y, so Alice and Bob output the incorrect answer 0 on either (x,x) or (y,y).



Each Sx,x is a subset of 0,1m+1, so there are at most 22m+1 choices for Sx,x. Given that the sets Sx,x must be distinct for distinct choices of x, it follows that 22m+1geq2n, so mgeqlogn1.

How to estimate the fraction of graphs with small clique among the graphs with certain edges

A little further elaboration on what you're looking for would be appreciated; as you've asked it, this could be anything from an elementary probability exercise to what I think might be an open problem!



So if we fix k and take n large, then the answer depends entirely on the size of M compared with n. The term of art is "threshold function"; see here for more details. Specifically, for fixed k, if M>>n22/(k1) then almost every graph with n vertices and M edges has a clique of size k; if M<<n22/(k1) then almost no graph with those parameters has a clique of size k. This can be proved by a straightforward application of linearity of expectation and bounding the variance (Chebyshev's inequality), using the fact that every subgraph of Kk has a smaller ratio of edges to vertices than does Kk itself. (See Ch. 4 of Alon and Spencer for more details.) When M has the same growth rate as n22/(k1) the analysis is considerably subtler.



If we fix M/n2 to be some constant (say around 1/4), then the size of the largest clique grows like log n, and in fact as n goes to infinity (and taking M/binomn2=1/2) the clique number becomes concentrated at two points! This should also not be too difficult, but it's in a chapter of Alon-Spencer (Ch. 10) I haven't actually read yet, so I'm just glancing at the proof -- it doesn't look too bad. If you want more details I can try to read it more closely.



In general, the first approach I'd look at would be to estimate the expected number of k-cliques in a random graph and then bound the variance, but this might work less well depending on what exactly you're trying to do.

Page 1 of 7201234567...720Next »Last