# Tagged Questions

The tag has no usage guidance.

97 views

### Is there an exponential map on (Hahn) ordered fields?

If $F$ is an ordered field and $G$ is an ordered abelian group, one can define the Hahn product $F \boxtimes G$ to be the set of formal Laurent series with coefficients in $F$ and exponents in $G$. It ...
106 views

### Bieberbach-type bound for bounded univalent functions

Suppose $f: \mathbb{D}\to \mathbb{C}$ is a univalent function with $$f(z)=z+a_2z^2+a_3z^3+\cdots.$$ The Bieberbach conjecture/de Branges' theorem asserts that $|a_n|\leq n$ with equality for the Koebe ...
112 views

### Can an algebraic function be zero both at $z=0$ and at its leading singularity?

Apologies for asking possibly strange questions, but I am just a poor computer scientist trying to understand a mathematical paper on singularity analysis of algebraic functions that is apparently not ...
315 views

### When are growth series rational?

For a finitely generated group $G$ with generating set $S$, one can define the word metric. Using this, we are able to define the sequence $\sigma(n)$ by $\sigma(n) = |\mathcal{S}(e,n)|$, which is ...
80 views

### Result of Larsen and Lunts on rationality of power series with coefficients in a free abelian group

Let $G$ be a free abelian group (not necessarily finitely-generated) and $F$ be the fraction field of the group ring of $G$. Let $\Theta$ be the set of power series in $F[[t]]$ such that each nonzero ...
54 views

### Can I apply Lagrange inversion theorem? [closed]

I want to invert the equation $$\eta = g(x)\sqrt{1+g'(x)^2}$$ to get $x$ as a function of $\eta$. Assume $g(0)=0$, $g'(0)=0$ and $g'(x)>0$ for $x>0$ (Think $g(x) = x^p$ for $p\geq 2$ integer). ...
25 views

69 views

386 views

### Analytic continuation of the double sum $\sum_{n,m\ge0}x^ny^mt^{nm}$

Define function $f(x,y,t)$ as the analytic continuation of the series $$f(x,y,t)=\sum_{n,m\ge0}x^ny^mt^{nm}$$ This series definitely converges when all the arguments are small enough. I would like to ...
58 views

### Redundancy in transseries representation of functions?

"Transseries" are a kind of generalized power series that allow things like fractional exponents and exponentials (with another transseries as the exponent). I know very little about them but I have ...
214 views

### Is $k(\!(x,y)\!)$ a topological field?

More generally, let $(R,m)$ be a Noetherian local domain with fraction field $K$. The $m$-adic topology turns $R$ into a topological ring. When $R$ is a discrete valuation ring, this topology extends ...
74 views

### Orbits of some action of SL2 on Pontryagin dual of the field of formal Laurent series

Let $K=\mathbb{F}_2((t))$ be the field of formal Laurent series over the finite field $\mathbb{F}_2$. Now consider $K^3$ as an additive group and its dual group $\hat{K^3}$, which consists of all ...
78 views

103 views

### When is the diagonal of a rational bivariate power series again rational

Given a rational bivariate power series $F(x,y)=\sum{a_{n,m}x^ny^m}$, the diagonal function $G(t):=\sum{a_{n,n}t^n}$ is known to be algebraic, although not rational in general. I was wondering if ...
101 views

198 views

164 views

### Mod 2 modular forms in levels 5 and 25--how to account for this Hecke isomorphism?

The space $P1$ of my earlier question 203755 "Two spaces attached to mod 2 level 9 modular forms...", is essentially the space of mod 2 level 3 modular forms. That such a space should appear inside ...
48 views

### Simplifying closed form for Meta Operator

I was consider the set of linear operators: $$O_{a,k} = \frac{f(ax^k) - f(x)}{ax^k - x}$$' Particularly I am looking for the closed forms of the eigenfunctions of this operator, that is the ...
484 views

### Local coordinates on (infinite dimensional) Lie groups, factorization of Riemann zeta functions

Given a (finite dimensional) Lie group $G$ (real $k=\mathbb{R}$ or complex $k=\mathbb{C}$) and its Lie algebra $\mathfrak{g}$, one can prove (a basis $B=(b_i)_{1\leq i\leq n}$ of $\mathfrak{g}$ being ...
166 views

### Two spaces attached to mod 2 level 9 modular forms--a conjectural Hecke isomorphism

MOTIVATION Nicolas and Serre have analyzed the structure of the space of mod $2$ modular forms of level $1$, viewed as a "Hecke-module". They show that for each $p>2$, the operator $T_p$ acting on ...
183 views

172 views

### Singularities of an analytic function over a non-archimedean field

What do we know about the types of singularities that a convergent power series over a non-archimedean field can have? More specifically: i) What types of essential singularities can occur? ii) Are ...
68 views

### Generating function for products of laguerre polynomials?

In a quantum physics context, I would like to evaluate $S=\sum_{n=0}^\infty z^n\cos(\pi L_n(x))$ for $z<1$. I found generating functions for squares of Laguerre polynomials but not for any higher ...
732 views

572 views

### Find an integrable, positive, unbounded, analytic function

Is there a standard example of a function $f \in L^1( \mathbb R)$ which is analytic, positive, integrable but not bounded? An example which comes immediately to mind is to take the series of narrower ...
301 views

### The rigid-analytic open disk

Let $K$ be a local field and $D_K$ the open unit disk, considered as a rigid space or adic space over $K$. What is the algebra of analytic functions on $D_K$? Proposition 1.1 of this article describes ...
The formal delta function is $\,\,\displaystyle\delta(x):=\sum_{n\in\mathbb Z}x^n.$ If we agree that expressions $(x+y)^n$ for $n\in\mathbb Z$ are always expanded in non-negative powers of the second ...