Recent MathOverflow Questions

Logic Diagram in discrete mathematics [on hold]

Math Overflow Recent Questions - Fri, 02/23/2018 - 00:38

I just wanted to ask about this problem "Design a combinational circuit with three inputs.The output will be the square of the input" I would like to ask on how will i get the output? is it the square of 3 ? or is it based on binary ?.. and do you know any free diagramming tool?

Expected value of maximal accumulation of functions $f:\{1,\ldots,n\} \to \{1,\ldots,n\}$

Math Overflow Recent Questions - Fri, 02/23/2018 - 00:19

For any positive integer $n$, let $[n] = \{1,\ldots,n\}$. Let $[n]^{[n]}$ denote the set of functions $f:[n]\to [n]$. For $f\in[n]^{[n]}$, we define the maximum accumulation $\text{macc}(f)$ by $$\text{macc}(f) = \max\{|f^{-1}(\{k\})| : k\in[n]\}.$$ (Note that $f\in[n]^{[n]}$ is bijective if and only if $\text{macc}(f) = 1$.)

Let $$E_n = \frac{1}{n^n}\sum_{f\in [n]^{[n]}} \text{macc}(f).$$ This is the expected value of the maximum accumulation when randomly given a member of $[n]^{[n]}$. I want to get a feeling of how fast $E_n$ grows as $n\to \infty$.

Questions. Do we have $\lim_{n\to\infty}\frac{E_n}{\log n} \in \;]0,\infty[$? Or is $\lim_{n\to\infty}\frac{E_n}{\sqrt{n}} \in \;]0,\infty[$? (If any statement is true, then the actual value of the limit would also be interesting to know.)

Bound of complex power of the Laplacian on a complex Riemann surface at $s=-1$

Math Overflow Recent Questions - Thu, 02/22/2018 - 23:46

Let $X$ be a compact Riemann surface and $\Delta_{\overline{\partial}}$ be the Dolbeault Laplacian. I am wondering if there is any non-trivial bound on $$ \frac{d}{ds}\Delta^{s}, s=0,-1 $$ (say) in terms of $g$ and the area of $X$. Normalizations via Gauss-Bonnet or other conventions are okay to me. Here the complex power is defined using either Mellin transform of the heat kernel or via cuts through the spectral plane. I assume the subject has been well-studied by experts, but I could not find any reference on it, especially for bounds of the value of the derivative of the zeta function at $s=-1$ (Ray-Singer's paper already gave closed form expression for $s=0$). I am not sure if it is because the subject is difficult.

Motivation: According to Soule's paper, any non-trivial bound on this under Arakelov metric would imply a bound on Faltings delta function $h_{\delta}(F)$, which controls the self-intersection number of the relative canonical class minus the contribution from the singularities.

Rationally connected blow-ups [on hold]

Math Overflow Recent Questions - Thu, 02/22/2018 - 22:21

Are blow-ups of $\mathbf{P}^n$ rationally connected? unirational?

Is the blow-up of a rational variety rationally connected? unirational?

Picard group of a finite type $\mathbb{Z}$-algebra

Math Overflow Recent Questions - Thu, 02/22/2018 - 21:56

Let $A$ be a finitely generated $\mathbb{Z}$-algebra. Is $\operatorname{Pic}(A)$ finitely generated (as an abelian group)?


  1. We may assume that $A$ is reduced since $\operatorname{Pic}(A) = \operatorname{Pic}(A_{\mathrm{red}})$.
  2. If $A$ is reduced, then the group of units $A^{\times}$ is a finitely generated abelian group, see e.g. [1, Appendix 1, no. 3] or [4, Théorème 1] (which I learned about through this question).
  3. The case $A$ is normal is proved in [3, Chapter 2, Theorem 7.6].
  4. The following argument is from [2, Lemma 9.6]: Let $B$ be the normalization of $A$, set $X := \operatorname{Spec} A$ and $Y := \operatorname{Spec} B$ and let $\pi : Y \to X$ be the normalization morphism. We have the Leray spectral sequence $$ \mathrm{E}_{2}^{p,q} = \mathrm{H}^{p}(X,\mathbf{R}^{q}\pi_{\ast}\mathbb{G}_{m,Y}) \implies \mathrm{H}^{p+q}(Y,\mathbb{G}_{m,Y}) $$ with differentials $\mathrm{E}_{2}^{p,q} \to \mathrm{E}_{2}^{p+2,q-1}$. Since $\pi$ is a finite morphism (e.g. since $\mathbb{Z}$ is Nagata and [5, 030C]), every invertible sheaf on $Y$ can be trivialized on an open cover obtained as the preimage of an open cover of $X$ (e.g. [5, 0BUT]). Hence $\mathbf{R}^{1}\pi_{\ast}\mathbb{G}_{m,Y} = 0$, so we have $\operatorname{Pic}(Y) \simeq \mathrm{H}^{1}(X,\pi_{\ast}\mathbb{G}_{m,Y})$ from the Leray spectral sequence. Set $Q := \pi_{\ast}\mathbb{G}_{m,Y}/\mathbb{G}_{m,X}$; then the long exact sequence in cohomology associated to the sequence $1 \to \mathbb{G}_{m,X} \to \pi_{\ast}\mathbb{G}_{m,Y} \to Q \to 1$ gives an exact sequence $$ \Gamma(Y,\mathbb{G}_{m,Y}) \to \Gamma(X,Q) \stackrel{\partial}{\to} \operatorname{Pic}(X) \to \operatorname{Pic}(Y) $$ where the first and fourth terms are finitely generated. But what can I say about the sheaf $Q$? I know that it is $0$ on a dense open since $\pi$ is an isomorphism on a dense open (e.g. since $A$ is reduced, the regular locus is an open subset containing the generic points [5, 07R5]).
  5. I should also note that there is a Hartshorne exercise (II, Exercise 6.9) which relates the Picard group of a singular curve (over a field) to that of its normalization.


  1. Bass, Introduction to Introduction to Some Methods of Algebraic K-Theory, Number 20 in CBMS Regional Conference Series in Mathematics. American Mathematical Society, 1974.

  2. Jaffe, "Coherent functors, with application to torsion in the Picard group", Transactions of the American Mathematical Society, vol. 349, no. 2, 1997, pp. 481–527 link

  3. Lang, Fundamentals of Diophantine Geometry, Springer-Verlag (1983)

  4. Samuel, "A propos du théorème des unités", Bulletin des Sciences Mathématiques, vol. 90, 1966, pp. 89–96

  5. Stacks Project link

Keywords: arithmetic scheme, Picard group, finite type $\mathbb{Z}$-algebra

Why should one subscribe to print Journals?

Math Overflow Recent Questions - Thu, 02/22/2018 - 21:48

It seems obvious to me. Yes, Arxiv, MathSciNet, Overflow and most Mathematicians keeping preprints and reprints of their papers in their homepages, which changed everything in front of my eyes and I have been beneficiary of these.

But I still can't get myself agree to the opinion that one should stop subscribing to print copies of Journals. Is that the norm? So many times I chanced upon a result while browsing through the pages of a Journal; sometimes relevant to my own area, and sometimes totally unrelated but so exciting that it got me interested in that area.

I am asking this as Higher Ups in The University are of the opinion that we should stop subscribing to Print Version Of The Journals. How does one defend the case for need of Print Journals?

Every quasicharacter of an open subgroup extends to a quasicharacter on the whole group

Math Overflow Recent Questions - Thu, 02/22/2018 - 21:02

Let $H$ be an open subgroup of a locally compact Hausdorff abelian group $G$. Assume that $G/H$ is a finitely generated abelian group. Let $\chi: H \rightarrow \mathbb{C}^{\ast}$ be a continuous homomorphism. Does $\chi$ extend to a continuous homomorphism into $\mathbb{C}^{\ast}$ defined on all of $G$?

If $\chi$ maps $H$ into the circle $S^1$, then $\chi$ does extend to a continuous homomorphism on all of $G$, also mapping into $S^1$. This follows from Pontryagin duality, and in fact this is true when $H$ is a closed, not necessarily open subgroup, and with no assumption about $G/H$.

Sufficient conditions for secondary invariants

Math Overflow Recent Questions - Thu, 02/22/2018 - 20:45

Let $G$ be a finite group, $k$ be a field whose characteristic divides $|G|$, and $\rho:G\hookrightarrow\operatorname{GL}_n(k)$ be a faithful representation of $G$. Let $V$ be a $k$-space of dimension $n$ with ring of invariants $k[V]^G$. Suppose further that $k[V]^G$ is Cohen-Macaulay, so that there are primary invariants $f_1,\ldots,f_n$ and secondary invariants $h_1,\ldots,h_m$ such that $k[V]^G$ is a free module over $k[f_1,\ldots,f_n]$ with basis given by $1,h_1,\ldots,h_m$.

Given a list $f_1,\ldots,f_n$ of invariant functions on $V$, one may check to see if they form a set of primary invariants using the sufficient condition (which is also necessary) that the variety defined by the $f_i$ over $\overline{k}$ is $\{\bf{0}\}$.

Given primary invariants $f_1,\ldots,f_n$, I'm looking for sufficient conditions for a list of invariant functions $h_1,\ldots,h_m$ to be secondary invariants. Since $k[V]^G$ is Cohen-Macaulay, a necessary condition is that $$ m=\frac{\prod_{i=1}^n\operatorname{deg}(f_i)}{|G|}. $$ In the non-modular case, one could make use of Molien's formula for the Hilbert series to determine the degrees of the secondary invariants, and then show that $$ k[V]^G_{\operatorname{deg}(h_i)}\subset k[f_1,\ldots,f_n]\cdot 1\oplus k[f_1,\ldots,f_n]\cdot h_1\oplus\ldots\oplus k[f_1,\ldots,f_n]\cdot h_m $$ for all $i=1,\ldots,m$, where $k[V]^G_{\operatorname{deg}(h_i)}$ is the $k$-space of homogeneous invariant functions of degree $\operatorname{deg}(h_i)$ (which is presumably computable given $\rho$).

What can be said about the modular case? If I write down $h_1,\ldots,h_m$, how can I test that they are secondary invariants?

Can the wavelet bispectrum be normalised so that its integral "gives the right answer"?

Math Overflow Recent Questions - Thu, 02/22/2018 - 20:08

Fix a rapidly decreasing function $\psi \in \mathcal{S}(\mathbb{R})$ with the properties that $\int_\mathbb{R} \psi = 0$, $\mathrm{Re}(\psi(\cdot))$ is an even function, and $\mathrm{Im}(\psi(\cdot))$ is an odd function.

Given any bounded integrable function $x \colon \mathbb{R} \to \mathbb{R}$, define \begin{align*} \mathcal{F}x(\xi) \ :=& \ \int_\mathbb{R} x(\tau)e^{-2\pi i\xi\tau} \, d\tau \\ \mathcal{W}x(\xi,t) \ :=& \ \int_\mathbb{R} x(\tau)\psi(\xi(\tau-t)) \, d\tau \end{align*} for all $\xi,t \in \mathbb{R}$. (Obviously $\mathcal{F}x$ is the Fourier transform; $\mathcal{W}x$ is a version of the wavelet transform.)

It is known that

$$ \hspace{20mm} \int_\mathbb{R} x(t)^2 \, dt \ = \ \int_\mathbb{R} |\mathcal{F}x(\xi)|^2 \, d\xi \ = \ C_\psi\!\iint_{\mathbb{R}^2} |\xi\,\mathcal{W}x(\xi,t)|^2 \, d\xi dt \hspace{18mm} (1) $$

where $C_\psi$ is a constant that depends only on $\psi$ and not on $x$, namely $$ C_\psi \ = \ \left( \int_\mathbb{R} \frac{\mathcal{F}\psi(r)^2}{|r|} \, dr \right)^{\!-1}\,. $$ It is also known that the first equality in $(1)$ can be extended to the 3rd moment by

$$ \int_\mathbb{R} x(t)^3 \, dt \ = \ \iint_{\mathbb{R}^2} \mathcal{F}x(\xi_1)\mathcal{F}x(\xi_2)\overline{\mathcal{F}x(\xi_1+\xi_2)} \, d\xi_1d\xi_2 $$

where the bar denotes complex conjugate. This naturally leads to the question of whether the second equality in $(1)$ can be extended to the third moment:

Does there exist a function $f_\psi \colon \mathbb{R}^2 \to \mathbb{C}$ such that for every bounded integrable function $x \colon \mathbb{R} \to \mathbb{R}$, $$ \int_\mathbb{R} x(t)^3 \, dt \ = \ \iiint_{\mathbb{R}^3} f_\psi(\xi_1,\xi_2) \mathcal{W}x(\xi_1,t)\mathcal{W}x(\xi_2,t)\overline{\mathcal{W}x(\xi_1+\xi_2,t)} \, d\xi_1d\xi_2dt \, ? $$ (If not, then [a more open-ended question] are there reasonable conditions on $\psi$ under which one can find a function $f_\psi$ such that the above equality "approximately" holds?)

A little bit of numerical experimentation by myself and a friend seems to suggest that the function $$ f_\psi(\xi_1,\xi_2) \ = \ D_\psi(\xi_1+\xi_2) $$ might work for some constant $D_\psi \in \mathbb{C}$.

Birational invariants in étale cohomology

Math Overflow Recent Questions - Thu, 02/22/2018 - 19:29

If $k$ is a perfect field (not necessarily separably closed), $f : X\to Y$ a proper birational map of smooth projective $k$-varieties, $\ell$ a prime invertible in $k$, is the induced map, for some $j$

$$f^* : H^j_{ét}(Y, \mu_{\ell^n}^{\otimes i})\to H^j_{ét}(X, \mu_{\ell^n}^{\otimes i})$$ an isomorphism, for every $n\ge 1$?

For example, if $k$ is of characteristic zero and $i=1$, $j=2$, we have

$$0\to \text{CH}^1(X)/\ell^n\to H^2(X,\mu_{\ell^n})\to \text{Br}(X)[\ell^n]\to 0$$

and left and right sides are birational invariants.

identity involving generating sum over colored plane partitions

Math Overflow Recent Questions - Thu, 02/22/2018 - 19:01

Some notation. Introduce 3 variables $q_1$, $q_2$, $q_3$ and $N$ variables $u_1,\ldots,u_N$ for some fixed positive integer $N$. Let $\pi$ denote a plane partition (see Wikipedia for definition), and $\vec\pi=(\pi_1,\ldots,\pi_N)$ a $N$ tuple of plane partitions, namely a colored plane partition. Its dimension $|\vec \pi|$ is given by the sum of dimensions of its components. Let $q^{r+i}=q_1^{r_1+i} q_2^{r_2+i} q_3^{r_3+i}$ for $r \in \pi$, $i \in \mathbb Z$, $u_{km}=u_k u_m^{-1}$, $Q=q_1 q_2 q_3$. Finally, $[x]=x^{1/2}-x^{-1/2}$.

It seems plausible that the following identity holds: $$ \sum_{k=0}^\infty ((-1)^N p)^k \sum_{|\vec{\pi}|=k} \mu_{\vec \pi} ( \{q_i\}, \{ u_i\} ) = \exp \sum_{m=1}^\infty \frac 1m F_N (q_1^m,q_2^m,q_3^m,p^m) $$ where $$ F_ N(q_1, q_2, q_3, p) = - \frac {[q_1 q_2] [q_2 q_3] [q_1 q_3]}{[q_1] [q_2] [q_3]} \frac { [Q^N] } {[Q] } \frac p {\left( 1- p Q ^{\frac N2} \right) \left( 1- p Q ^{-\frac N2} \right)} $$ and (probably with many cancellations) $$ \mu_{\vec \pi} ( \{q_i\}, \{ u_i\} )= \prod_{k,m=1}^N \frac { \displaystyle \prod_{s \in \pi_k} [q^s u_{km}] \prod_ {s' \in \pi_m} [q^{s-s'} u_{km}] \prod_{i=1}^3 [ q_i^{-1} q^{s-s'+1} u_{km}] } { \displaystyle \prod_{s' \in \pi_m} [q^{1-s'} u_{km}] \prod_{s \in \pi_k} [q^{s-s'+1} u_{km}] \prod_{i=1}^3 [q_i q^{s-s'} u_{km}] } $$

Is there an elementary proof of that? (by elementary I mean not involving Hilbert schemes of points etc)

Connes-Chern pairing, compatibility with periodicity operator in the odd case

Math Overflow Recent Questions - Thu, 02/22/2018 - 17:57

Let $A$ be an algebra (say unital). For an odd (say $2n-1$) cyclic cocycle $\varphi$ and a class in $K_1(A)$ represented by invertible $u$ we define $$\langle [\varphi],[u] \rangle:=\frac{2^{-(2n+1)}}{(n-\frac12)(n-\frac32) \cdot \ldots \cdot \frac32 \cdot \frac12}\varphi(u^{-1}-1,u-1,...,u^{-1}-1,u-1).$$ Let $S$ be a periodicity operator in cyclic cohomology: $S: HC^n(A) \to HC^{n+2}(A)$. It is defined as the composition of two connecting homomorphisms in two long exact sequence: it can be also defined directly at the level of cocycles as $S=-b(1+2\lambda+3\lambda^2+...+(n+2)\lambda^{n+1})b'$ where $\lambda$ is the cyclic operator, $b$ is a boundary in Hochschild (or cyclic) cohomology and $b'$ is $b$ without the last term.

How to prove that $\langle [\varphi],[u] \rangle=\langle S[\varphi],[u] \rangle$?

It is left as an exercise in Connes book or in the IHES paper: it is also left as an exercise in Khalkhali ,,Basic Noncommutative Geometry'' book. In this book the even case is treated using the formula above for the $S$ operator. Connes works with the rather different formula for operator $S$ using the closed graded trace $\hat{\varphi}$ defined on the universal differential graded algebra (on $\Omega^n(A)$ precisely) by the formula $$\widehat{\varphi}(a_0da_1...da_n)=\varphi(a_0,...,a_n).$$

I haven't found any place in the literature where it is carefully verified.

On certain number theoretic sextuples?

Math Overflow Recent Questions - Thu, 02/22/2018 - 17:36

Given small parameters $0<\epsilon<\epsilon'$ is there an $n_\epsilon>0$ such that at every $n>n_\epsilon$ if we are given a prime $n^2<p<2n^2$ then can we always find integers $a,b,c,d,e,f$ with $a,b$ coprime and $n^{1+\epsilon}<a,b<2n^{1+\epsilon}$ with $a$ even and $b,e,f$ odd, $p/2<c,d<p$ and $p^{\epsilon'}<e,f<2p^{\epsilon'}$ such that $$p|(ad-bc)\mbox{ and }p|(cf-de)$$ holds?

$$\mbox{Note }ad\equiv bc\bmod p,\quad cf\equiv de\bmod p\implies cd^{-1}\equiv ab^{-1}\equiv ef^{-1}\bmod p\mbox{ holds}.$$

If $e,f$ odd are fixed with $p^{\epsilon'}<e,f<2p^{\epsilon'}$ then there are $\frac{\frac{n^{1+\epsilon}}2n^{1+\epsilon}}{\zeta(2)}=\frac{n^{2(1+\epsilon)}}{2\zeta(2)}$ choices of coprime $a,b$ with $a$ even and so at least one of these choices should give right $a,b$ with $ab^{-1}\equiv ef^{-1}\bmod p$ (we should expect $\frac{n^{2\epsilon}}{2\zeta(2)}$ choices of coprime $a,b$ with $a$ even since $p$ is of size $O(n^2)$). A similar argument holds for $c,d$.

Do such sextuples really exist? The argument indicates each of the $O(p^{2\epsilon'})$ different pairs of $e,f$ have at least one $a,b,c,d$ associated with them.

Polynomial convexity of a multi-circular set (not domain)

Math Overflow Recent Questions - Thu, 02/22/2018 - 16:36

It is well-known that there is a simple criteria for a (bounded) multi-circular domain (Reinhardt domain) $\Omega$ in $\mathbb{C}^n$ to be polynomially convex: namely, if the image of $\Omega\cap(\mathbb{C}^{*})^{n}$ under the tropicalisation map $$Log:(\mathbb{C}^{*})^{n}\to (\mathbb{R})^n, \text{ }(z_1,\dots, z_n)\mapsto (\log|z_1|, \dots, \log|z_n|)$$ is linearly convex, then $\Omega$ is polynomially convex. Now I would like to know what happens for polynomial convexity of multi-circular sets which are not domains.

For example, let $$\Omega=\{0\}\times \overline{\mathbb{D}}(0,2)\text{ }\cup\text{ } \overline{\mathbb{D}}(0,1)\times \overline{\mathbb{D}}(0,1)\subset \mathbb{C}^2$$ be a multi-circular compact set, where $\overline{\mathbb{D}}(0,1)$ is the closed disc of center $0$ and radius $1$. This set is a union of a 1-dimensional disc and a 2-dimensional poly-disc. By constructing a holomorphic disc whose boundary lies in $\Omega$ but with some interior point not lying in $\Omega$, one knows that by maximum principle, $\Omega$ is not polynomially convex. The construction is to build two holomorphic functions on $\overline{\mathbb{D}}(0,1)$ with certain properties, and use them as coordinates for the map of the holomorphic disc.

Note that the construction of holomorphic functions here needs Cauchy integral to build certain Riemann map. To show the (non) polynomial convexity, is there a simpler proof just via some analysis of convergence of series? Is there a criteria in terms of the image of generalized/compactified tropicalisation map which maps $\Omega$ into $(\{-\infty\}\cup\mathbb{R})^n$? The need for such robustness of proof comes from the hope that a simpler proof may be generalized to the non-archimedean situation, namely one would like to show the NON-polynomial-convexity of $$\Omega'=\{0\}\times \overline{\mathbb{D}}(0,2)\text{ }\cup\text{ } \overline{\mathbb{D}}(0,1)\times \overline{\mathbb{D}}(0,1)\subset (\mathbb{A}_k^2)^{an}$$ where $(\mathbb{A}_k^2)^{an}$ is the Berkovich analytification of affine space over a complete ultra-metric field $(k,|\cdot|)$.

For tori $S \subseteq T$, every character of $S(k)$ extends to a character of $T(k)$?

Math Overflow Recent Questions - Thu, 02/22/2018 - 16:17

Let $k$ be a $p$-adic field, $T$ a torus over $k$, and $S$ an $k$-subtorus of $T$. If $\chi: S(k) \rightarrow \mathbb{C}^{\ast}$ is a smooth (resp. continuous) homomorphism, then does $\chi$ necessarily extend to a smooth (resp. continuous) homomorphism on $T(k)$?

Even in the special case where $T$ is split over $k$, I am not sure of the answer. One can find a complentary $k$-subtorus $S'$ of $T$ such that $T$ is the direct product of $S$ and $S'$. Then $S(k) \times S'(k)$ is isomorphic to a subgroup of finite index in $T(k)$, so one is reduced to the case of considering finite index subgroups of a finite product of copies of $k^{\ast}$.

We do have a homomorphism $H_T: T(k) \rightarrow \textrm{Hom}_{\mathbb{Z}}(X(T)_k,\mathbb{Z})$ defined by

$$H_T(t)(\chi) = \log |\chi(t)|$$

whose kernel is the unique maximal open compact subgroup of $T(k)$, see for example my previous question. The same for $S(k)$. It might be possible to restrict a given character to $\textrm{Ker } H_S$, which is then necessarily unitary, and look at the fact that $S(k)/\textrm{Ker } H_S$ is a discrete finite rank free abelian group, and do something there.

If there is a good notion of an Ext functor in the category of locally compact abelian Hausdorff groups, I was also thinking it might be possible to look at a sequence like

$$0 \rightarrow \operatorname{Hom}_{\textrm{top-grp}}(T(k)/S(k),\mathbb{C}^{\ast}) \rightarrow \operatorname{Hom}_{\textrm{top-grp}}(T(k),\mathbb{C}^{\ast})$$ $$\rightarrow \operatorname{Hom}_{\textrm{top-grp}}(S(k),\mathbb{C}^{\ast}) \rightarrow \operatorname{Ext}^1_{\textrm{top-grp}}(T(k)/S(k),\mathbb{C}^{\ast})$$

and look at $\operatorname{Ext}^1_{\textrm{top-grp}}(T(k)/S(k),\mathbb{C}^{\ast})$ when $\mathbb{C}^{\ast}$ is alternatively viewed in its usual topology and the discrete topology.

Confusion about Teichmuller curves and $SL_2$ action

Math Overflow Recent Questions - Thu, 02/22/2018 - 16:13

Let $M_g$ be the moduli space of curves, $\Omega M_g$ the total space of the bundle of holomorphic 1-forms and $\pi: \Omega M_g\to M_g$ the natural projection. On $\Omega M_g$ there's an action of $SL_2(\mathbb{R})$. When the image $\pi(SL_2(\mathbb{R})\cdot x)\subset M_g$ of an orbit is a closed algebraic curve of $M_g$ it's called a Teichmuller curve. This is the most common definition of Teichmuller curve. On the other hand sometimes they are also referred to as affine invariant submanifolds (i.e. complex submanifolds of a stratum of $\Omega M_g$ which are $SL_2(\mathbb{R})$-invariant and linear in the period coordinates). My confusion stems from the following fact: if $(X,\omega)$ generates a Teichmuller curve then its stabiliser under the action of $SL_2(\mathbb{R})$ is a lattice and the orbit would have real dimension equal to $dim SL_2(\mathbb{R})=3$, so I don't see how to interpret a Teichmuller curve as an affine invariant submanifold.

Matrix exponential, containing a thermal state

Math Overflow Recent Questions - Thu, 02/22/2018 - 11:37

This question was originally posted on MSE, and I'm cross posting it here.

Define an infinite matrix $$ M = \begin{bmatrix} 0 & -1 & 0 & 0 & \cdots \\ 1 & 0 & -2 & 0 & \cdots \\ 0 & 2 & 0 & -3 & \cdots \\ 0 & 0 & 3 & 0 & \cdots \\ \vdots & \vdots & \vdots & \vdots & \ddots \\ \end{bmatrix}$$

Numerically, I've found that the first column of $\exp(M)$ is given by $\alpha(1,e^{-\lambda},e^{-2\lambda},e^{-3\lambda},\dots)^T$, where $\lambda \approx 0.27$ and $\alpha = \sqrt{1-e^{-2\lambda}} \approx 0.65$.

Question: How can we prove analytically that the first column of $\exp(M)$ has the stated form?

Context: This question comes from a quantum mechanical model of two harmonic oscillators coupled by a Hamiltonian of the form $\hat{H} \propto \hat{a}_1^\dagger \hat{a}_2^\dagger - \hat{a}_1 \hat{a}_2$, where $\hat{a}_i$ is the lowering operator for oscillator $i$. The matrix $M$ is essentially this Hamiltonian on the subspace spanned by $\{\left|nn\right>\}$, and so $\exp(M)$ is a time evolution operator. The exponentially decaying coefficients in the first column indicates that either of the individual harmonic oscillators (after tracing out the other one) is in a thermal state.

I've tried several tricks with the BCH formula, but was discouraged by the fact that the commutators are not very cooperative.

Understanding the branch cut and discontinuity of the hypergeometric function

Math Overflow Recent Questions - Thu, 02/22/2018 - 11:14

DISCLAIMER: This question comes from math.stackexchange (where it has an active bounty). The link is here. UPDATE: the question has been answered on math.stackexchange at the previous link, and the answer is satisfactory.

I am going through this paper, and I am having trouble understanding page 20. I am still learning my way around managing multi valued complex functions, so I'd like your help in understanding what's happening there.

I have the definition of the hypergeometric series $_2F_1$ as $$ _2F_1(a,b;c;z)=\sum_{n=0}^\infty \frac{(a)_n(b)_n}{(c)_n}\frac{z^n}{n!}. $$ Here $(a)_n$ is the rising Pochhammer symbol, $(a)_n=\Gamma(a+n)/\Gamma(a)$ (well defined whenever $a$ is not a negative integer or zero). By elementary computations, the radius of convergence of this series is 1. It is then said that $_2F_1$ can be continued analitically in the whole complex plane along any curve not passing through $[1;+\infty)$, and $1$ itself is a branching point and the function has a cut on the previous segment.

Furthermore, equation $2.115$ of the paper computes the discontinuity when crossing the branch cut as (with $x\geq4/3$ to have the real part of the argument bigger than one) $$ _2F_1\left(\frac16,\frac56;1;\frac{3x}4+i\epsilon\right)-_2F_1\left(\frac16,\frac56;1;\frac{3x}4-i\epsilon\right)=i\, _2F_1\left(\frac16,\frac56,1;1-\frac{3x}4\right). $$ I am trying to understand those results. It is not clear to me how to understand from the power series form the behaviour on the boundary of the disk of convergence. It is clear to me that the series in $z=1$ diverges, as the coefficients do not go to zero, so there should be no analytical continuation.

A way to study that function would be its integral representation: $$ _2F_1(a,b;c;z)=\frac{\Gamma(c)}{\Gamma(b)\Gamma(c-b)}\int_0^1t^{b-1}(1-t)^{c-b-1}(1-zt)^{-a}dt. $$ Here it is understood that $\arg t=0=\arg(1-t)$. From this representation, it is clear to me that the function can have branches whenever $a$ is not a positive integer, and if $z\in[1;\infty)$ we have $0$ in the integration path, so we can have multiple branches. And that's exactly my case. The problem is that I can't use this form to prove the previous equation about the discontinuity: all I manage to write is (here I write z=x with x real number bigger than one, and I am neglecting some numerical factors that can easily be reinserted) $$ \lim_{\epsilon\to0}((1-xt-i\epsilon t)^{-a}-(1-xt+i\epsilon t)^{-a})=-(1-e^{-2i\pi a})(1-xt)^{-a}. $$ This is different from the line that I would like to prove (as an example, I do not see why I should change the argument, but I also see that with that argument changing the function is at least evaluated in a point where well defineteness is guaranteed).

For reference, I'd like to prove 15.2.3 of (where the equality is with the regularized hypergeometric function, that is just the hypergeometric function without a factor $\Gamma(c)$).

To summarize, I have three questions:

  • How to prove the discontinuity from the integral form?
  • More in general: how to treat power series in order to understand if their singularities are poles or branch cuts, and the discontinuity of their analytic continuations? I know that this is a very broad topic, and I'd also like some references to continue my study.
    • A last question: how to approach functions in the complex plane that are defined through a parametric integration of functions that may or may not have branch points, depending on the parameter? Even here, I'm more looking for references that a big answer.

Thanks everybody for the time you took reading this.

EDIT: In the comments, it has been asked me to clarify what I'm looking for, and it was pointed that functions with branch cuts are not discontinuous on the cut.

I unfortunately do not know a general framework to discuss functions with branch cuts, so you will have to forgive my lack of precision. I agree that the function is not discontinuous at the cut because it has not to be considered as a function from the complex plane to the complex plane, but as a function from a more general Riemannian surface to the complex numbers. I think my question makes sense even in this framework, but I have to clarify it a bit. As I do not have precise definitions, I will proceed with an example.

The basic example happens by defining the square root of a number $z$ of modulus $r$ and phase $\theta\in[0;2\pi)$ as $$ \sqrt{z}=\sqrt{re^{i\theta}}=\sqrt{r}e^{i\frac{\theta}{2}}. $$ I am basically defining a branch of the global function square root, and I can interpret it as a function on the complex plane, cut with a branch cut going from $0$ to $+\infty$, covering the positive real axis.

What I want to do is to compute, for $x$ real positive \begin{align} \lim_{\epsilon\to0^+}(\sqrt{x+i\epsilon}-\sqrt{x-i\epsilon}). \end{align} To compute that, I can write (the $\arctan$ function is here defined having range in $(-\pi/2,\pi/2)$) $$ \sqrt{x+i\epsilon}=\sqrt{\sqrt{x^2+\epsilon^2}e^{i\arctan{\frac\epsilon x}}}=\sqrt{x}+o(\epsilon),\\ \sqrt{x-i\epsilon}=\sqrt{\sqrt{x^2+\epsilon^2}e^{-i\arctan{\frac{\epsilon}x}+i2\pi}}=-\sqrt{x}+o(\epsilon). $$ From this computation, I conclude that the "discontinuity" of the square root on the cut is given by $2\sqrt{x}$.

I'm looking for the analogue of this computation in the more difficult case in which the function is given by the integral of a function with branch cuts and a parameter (that is the argument of the function), as in my example. The result should include the second equation of this post.

How singular is the metric on an orbifold

Math Overflow Recent Questions - Thu, 02/22/2018 - 08:08

I am reading some stuff on orbifolds. I am particularly interested in the metrics on orbifolds. The famous example of one orbifold is the "American football", which is $\mathbb{S}^2$ quotient by the group of rotation by $\pi$. This orbifold $\mathbb{S}^2/\mathbb{Z}_2$ inherits the metric from $\mathbb{S}^2$, which we call them $g_{AF}$ and $g_0$ respectively. If we pull them both back to $\mathbb{R}^2$, one can prove that $$g_{AF}=\frac{1+O(r)}{4r}g_0$$ where $r=\sqrt{x^2+y^2}$. To prove this, we must use some complex analysis technique. Clearly one can see the metic has cone singularity at origin.

Now suppose we have an orbifold of higher dimension $n\geq 3$ with isolated singularity. As we all know a neighborhood of the orbifold tip is diffeomorphic to a ball in $\mathbb{R}^n$ quotient by some finite group $\Gamma$. For simplicity, let us assume the orbifold inherits the manifold of $\mathbb{R}^n$. If we pull back the metric on this manifold, how does it look like? Still be conic?

Forcings predicted by core model theory $+$$ZFC$ results proved by the method of core model theory

Math Overflow Recent Questions - Thu, 02/22/2018 - 01:58

I have two unrelated question.

First question. To motivate the question, let me explain an example. The natural way to force the failure of singular cardinals hypothesis ($SCH$), is to start with a large cardinal $\kappa$, and make it singular while blowing up its power. However, results of core model theory show that if $SCH$ fails at $\kappa,$ then either $\kappa$ is a large cardinal, or it is a singular limit of large cardinals. Motivated by this fact, the long and short extender forcings were developed, showing that the second case can be forced as well.

Now my question is the following:

Question 1. Are there any other example of forcing notions, whose existence is first predicted using core model techniques and then they are discovered?

Second question. Forcing is a powerful tool to prove $ZFC$ results as well, see for example Forcing as a tool to prove theorems, and Examples of ZFC theorems proved via forcing and Proving results about complete Boolean algebras in ZFC using Boolean valued models and Producing finite objects by forcing!.

Surprisingly, one can also use the technique of core model theory to prove $ZFC$ results. One example that I know, is the following result of Woodin: Suppose that $V=L[s]$, where $s$ is an $ω$-sequence of ordinals. Then $GCH$ (and in fact much more) holds. See The universe constructed from a sequence of ordinals.

Question 2. Are there any other examples of $ZFC$ results whose proof uses techniques of core model theory. The same question for theories like $ZFC+\phi$, where $\phi$ is the assertion that some large cardinal(s) exist, for which we know a core model exists (so that we can apply the core model techniques).

Remark. I am not interested in results which use some kind of covering in the absence of large cardinals to get some results, like, if there is no measurable cardinal (or even larger cardinals), then square holds at singular cardinals or so on.


Subscribe to curious little things aggregator