All Questions
12,776 questions
1
vote
0
answers
278
views
Localization in analytic geometry
Let $X$ be a Stein complex analytic space, and let $Z$ be a closed complex analytic subspace. Set $U=X-Z$.
I was wandering if there is any relationship between $A_1:=\mathcal{O}_X(U)$
and the ...
- 23.3k
7
votes
3
answers
1k
views
What information do the roots of the generating function of the nontrivial zeroes of the Riemann zeta function encode.
Let $a_{m}$ be the imaginary part of the nontrivial roots of the Riemann zeta function $\zeta(s)$. Suppose we have their generating function $u(x)=\sum_{m=1}^{\infty} a_{m}x^{m}=14.134725\ldots{}x^{1}+...
- 975
16
votes
2
answers
4k
views
Usefulness of Frechet versus Gateaux differentiability or something in between.
If you have a function $V: L \rightarrow \mathbb{R}$, where $L$ is an infinite dimensional topological vector space, there are multiple notions of differentiability. For $x,u \in L$, $V$ is Gateaux ...
- 943
28
votes
7
answers
13k
views
Regular borel measures on metric spaces
When teaching Measure Theory last year, I convinced myself that a finite measure defined on the Borel subsets of a (compact; separable complete?) metric space was automatically regular. I used the ...
- 18.7k
7
votes
2
answers
413
views
Can curves induced by analytic maps wiggle infinitely across a line?
Let $f$ be a function analytic on an open subset $D\subset \mathbb{C}$, and let $\gamma:[0,1] \to D$ be a line segment. $g = f\circ\gamma$ is another curve in the complex plane; is it possible to for $...
- 2,019
11
votes
1
answer
2k
views
Algebraic properties of the algebra of continuous functions on a manifold.
Does the algebra of continuous
functions from a compact manifold to
$\mathbb{C}$ satisfy any specific
algebraic property?
I'm not sure what kind of algebraic property I expect, but I feel that ...
- 855
12
votes
3
answers
2k
views
To what extent is convexity a local property?
A polyhedron is the intersection of a finite collection of halfspaces. These halfspaces are not assumed to be linear, i.e. their bounding hyperplanes are not assumed to contain the origin. The ...
- 1,846
3
votes
1
answer
1k
views
Amazing examples in complex Algebraic Geometry
Good example teaches sometimes more than couple of theorems. I wonder what are your favourite examples in complex algebraic geometry, the ones that were astonishing for you, the simpler (at least ...
- 161
4
votes
3
answers
3k
views
Examples of Banach spaces and their duals
There are many representation theorems which state that the dual space of a Banach space $X$ has a particularly concrete form. For example, if $X = C([0,1],\mathbb R)$ is the space of real-valued ...
- 8,512
11
votes
0
answers
657
views
For which Lie groups is the convolution of any two nonzero integrable compactly supported functions nonzero?
The Titchmarsh convolution theorem implies that the convolution of two nonzero functions $f,g\in L^1(\mathbb R)$ with compact support is nonzero. There is a generalization of this theorem to the case ...
- 637
12
votes
1
answer
1k
views
How to best distribute points on two concentric circles?
An N-subset $\{x_1,\dots,x_N\}$ of a compact set $X\subset \mathbb R^d$ is called a set of Fekete points (named after Michael Fekete) if it maximizes the product $$\prod_{1\le k<j\le N}|x_k-x_j|\...
6
votes
5
answers
1k
views
smooth Gelfand-duality
Assume $M$ is a compact smooth manifold (without boundary). What can we say about the spectrum of the $\mathbb{R}$-algebra $A=C^{\infty}(M)$? The elements of $M$ give rise to rational points of $A$, ...
- 63.1k
1
vote
3
answers
5k
views
rules for operator commutativity?
Hi, my apologies for a rather non-specific question. I wonder if there is a general set of conditions under which operators are commutative in functional analysis. Most that I've found is that "...
- 222
65
votes
9
answers
12k
views
Polish spaces in probability
Probabilists often work with Polish spaces, though it is not always very clear where this assumption is needed.
Question: What can go wrong when doing probability on non-Polish spaces?
- 651
1
vote
0
answers
660
views
Fractional Fourier transform [closed]
Let $T: L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n)$ be the Fourier transform. Is there any reasonable definition of fractional Fourier transform (i.e. operator $A$ such that $A^{\alpha}=T$ for $\...
- 3,323
2
votes
0
answers
354
views
What is this effect in Fourier/additive synthesis called?
Hi, I have re-synthesized a cyclic function additively, and I added a fixed offset to the frequency of each partial. So if the function was $\sum a_{n} sin(2 \pi x * n)$ and its frequencies were $n*f_{...
- 165
6
votes
2
answers
2k
views
Does there exist a holomorphic function which takes given values on the positive integers?
Inspired of course by What's a natural candidate for an analytic function that interpolates the tower function?
I am minded to ask what looks to me like a more natural question: given a sequence $...
- 41.4k
14
votes
6
answers
3k
views
What's a natural candidate for an analytic function that interpolates the tower function?
I know that there are analytic functions whose composition with itself is the exponential function, the so-called functional square root of the exponential function, with the additional property that ...
- 4,466
12
votes
3
answers
646
views
Radii and centers in Banach spaces
Suppose I have a Banach space $V$ and a set $A \subseteq V$ such that for all $\epsilon > 0$ there exists $v$ such that $A \subseteq \overline{B}(v, r + \epsilon)$. Does there exist $c$ such that $...
- 1,331
9
votes
1
answer
629
views
conformally embedding complex tori into R^3
Let $L$ be a lattice in $\mathbb{C}$ with two fundamental periods, so that $\mathbb{C}/L$ is topologically a torus. Let $p:\mathbb{C}/L \mapsto \mathbb{R}^3$ be an embedding ($C^1$, say). Call $p$ ...
- 1,961
2
votes
0
answers
197
views
Generating cones having no surjections [in operator spaces]
Is this little toy known ?
Let $E$ be some Banach space, and let $K$ be the closed unit ball
of its dual, endowed with the weak-star topology. Also, let $j:E$ $\rightarrow$ $C(K)$
be the natural ...
- 4,060
6
votes
0
answers
490
views
Lacunar series with an interesting (in-formula) symmetry.
So, I wrote out a table of functions like so:
$\sum_{n=1}^{\infty} (-1)^{n+1}q^{n}=$ $+q^{1}$ $-q^{2}$ $+q^{3}$ $-q^{4}$ $+q^{5}$ + $\ldots$
$\sum_{n=1}^{\infty} (-1)^{n}q^{n^{2}}=$ $-q^{1}$ $+q^{4}...
8
votes
3
answers
2k
views
what is the formal definition of multi-valued holomorphic function?
It seems that there exists ring structure on all multi-valued holomorphic functions on a punctured disc.
Can someone explain the formal definition of multi-valued holomorphic function?
I only know ...
- 1,457
32
votes
19
answers
23k
views
Good books on theory of distributions
Hi all.
I'm looking for english books with a good coverage of distribution theory.
I'm a fan of Folland's Real analysis, but it only gives elementary notions on distributions.
Thanks in advance.
1
vote
3
answers
2k
views
A question on weak derivative - Sobolev spaces
Let $\Omega$ be an open set in $R^n$, and $f \in L^1_{loc}(\Omega)$, such that for each multiindex $\alpha\in N^n$, $|\alpha| = l$ f has weak derivative $D^\alpha f$ in $L^p(\Omega)$, with $1\leq p\...
- 783
81
votes
4
answers
8k
views
Did Gelfand's theory of commutative Banach algebras influence algebraic geometers?
Guillemin and Sternberg wrote the following in 1987 in a short article called "Some remarks on I.M. Gelfand's works" accompanying Gelfand's Collected Papers, Volume I:
The theory of commutative ...
- 7,329
1
vote
1
answer
359
views
Convergence of operators to the identity on Banach spaces
Let $U_\infty$ be a compact space, and let $U_r$ be an increasing family of compact subspaces whose closure is all of $U_\infty$. That is, $U_r \subseteq U_{r'}$ if $r \le r'$ and $U_\infty = \...
- 8,512
5
votes
3
answers
3k
views
Branched coverings of Riemann surfaces with specified branch points.
Today I showed, using some ad hoc algebraic topology, that if $\Sigma$ is a Riemann surface and $\mathfrak{p} \subset \Sigma$ is a finite set of points, then there is another Riemann surface $S$ and a ...
6
votes
1
answer
5k
views
How would You encourage graduate students to learn algebraic geometry and/or complex analysis? [closed]
Hello,
I am the 3rd year undegraduate student of mathematics.
After I obtain a bachelor degree I want to study maths at graduate level, especially algebraic geometry and complex analysis.
This fields ...
- 1,042
12
votes
4
answers
1k
views
Topologizing free abelian groups
For any set $S$ one can consider the free abelian group $\mathbb{Z}[S]$ generated by this set. Now suppose, there is a topology on $S$ given. Is it possible to find a topology on $\mathbb{Z}[S]$ in ...
- 11.1k
4
votes
1
answer
1k
views
When can a partial isometry $u$ in $\mathcal B(H \otimes K)$ be extended to a unitary in $1 \otimes \mathcal B(K)$?
Let $H$ and $K$ be Hilbert spaces, and let $u$ be a partial isometry in $\mathcal{B}(H \otimes K)$ between projections $p_0 = u^\ast u$ and $p_1 = u u^\ast$ such that $p_0, p_1 \leq 1 \otimes (1-q)$ ...
- 1,199
16
votes
3
answers
3k
views
Infinite projective space
Is infinite (say complex) projective space a scheme? More generally, can schemes have infinite cardinal dimension? It seems that infinite dimensional projective space is not a manifold, since it is ...
user2529
6
votes
3
answers
677
views
Approximately holomorphic functions
In real analysis one can define something known as the approximative derivative of a function. See here eg Roughly speaking one asks that the limit of the difference quotient exists as long as h goes ...
- 757
4
votes
2
answers
2k
views
Upper half plane quotient by a discrete group
I was reading Mehta and Seshadri's paper "Moduli of vector bundles on curves with parabolic structures".
In the second paragraph, they wrote:
"Suppose that $H$ mod $\Gamma$ has finite measure ($H$ ...
4
votes
1
answer
313
views
Maximally symmetric smooth projective varieties in CP^2
Let P(X,Y,Z) be a homogeneous polynomial in ℂ[X,Y,Z] whose locus M in ℂℙ2 is a nonsingular curve of genus ≥ 2.
Define M to be maximally symmetric if the following is not true:
...
- 2,858
14
votes
3
answers
3k
views
The difference between $l^1(G)$ and the reduced group $C^*$ algebra $C_r^*(G)$
Let $G$ be a group and $l^2(G)$ the Hilbert space on $G$. The complex group algebra $CG$ can be imbedded in $B(l^2(G))$, the set of all bounded linear operators, by left translation. The reduced group ...
- 1,373
1
vote
1
answer
994
views
On the convolution of generalized functions
It is provable that $f_\lambda\to f\Rightarrow f_\lambda*g\to f*g$ if $g$ has a compact support (shown in my textbook). In my particular case, $g=u(t+\triangle t)-u(t-\triangle t)$. Does for that ...
- 1,524
1
vote
0
answers
1k
views
Bessel function in polar coordinates
I want to write the Bessel function of the first kind in polar coordinates
$J_\alpha(z)=|J_\alpha(z)|e^{i\varphi_\alpha(z)}$
Is anything known about $\varphi_\alpha(z)$?
In particular, I'm ...
21
votes
4
answers
2k
views
Holomorphic vector fields acting on Dolbeault cohomology
The question.
Let $(X, J)$ be a complex manifold and $u$ a holomorphic vector field, i.e. $L_uJ = 0$. The holomorphicity of $u$ implies that the Lie derivative $L_u$ on forms preserves the (p,q) ...
- 6,247
2
votes
1
answer
475
views
Finding Functional form for a given Scaling Condition
Dear all
While studying the overlap distribution for two random Cantor sets (long story made short), I came across the following problem.
$G(k)$ is a complex valued function, and satisfy the ...
- 317
14
votes
6
answers
2k
views
Finding questions between functional analysis and set theory
Are there some good questions on functional analysis whose solution depends on tools in set theory? My major is mathematical logic, I think tools in set theory, especially infinity combinatorics and ...
- 315
6
votes
2
answers
433
views
Triangles, squares, and discontinuous complex functions
Is there some onto function $f:$ $\mathbb{C}$ $\rightarrow$ $\mathbb{C}$
such that for each triangle $T$ (with its interior), $f(T)$ is a
square (with interior, too) ?
I would have the same question ...
- 63
14
votes
0
answers
2k
views
Schwartz kernel theorem for A-linear operators
Let $X,Y \subset \mathbb{R}^n$ be open subsets. Denote by $C^\infty(X)$ the smooth functions on $X$, let $\mathcal{E}'(Y)$ be its dual space considered as a space of distributions. Let $L(C^\infty(X), ...
- 7,637
2
votes
2
answers
584
views
A proof about an unconditional basis theorem
Hello everyone. I'm in a little trouble trying to find the proof of a theorem stated by W. T. Gowers. It is the Lemma 1.6 in his article 'An infinite Ramsey theorem and some Banach space dichotomies' (...
- 105
11
votes
1
answer
2k
views
Spectral theory for self-adjoint field operators on a symmetric Fock space
Background
Suppose we have a finite-dimensional Hilbert space $H = \mathbb{C}^s$ (for a natural number s) and we construct the symmetric (or bosonic) Fock space built from it: $$F(H):= \mathbb{C} \...
- 195
77
votes
0
answers
4k
views
2, 3, and 4 (a possible fixed point result ?)
The question below is related to the classical Browder-Goehde-Kirk fixed point theorem.
Let $K$ be the closed unit ball of $\ell^{2}$, and let $T:K\rightarrow K$
be a mapping such that
$$\Vert Tx-Ty\...
- 4,060
2
votes
3
answers
4k
views
Show a linear operator is not compact
For $f\in L^2(0,\infty),$ define $(Tf)(x)=x^{-1}\int_0^x f(s)ds,$ for $x\in(0,\infty),$ then from hardy's inequality, $T\in B(L^2),$ my question is how to show that $T$ is not compact?
- 187
1
vote
1
answer
338
views
Power series for meromorphic differentials on compact Riemann surfaces
Suppose I have a compact Riemann surface of $g>1$ given by the quotient $H/\Gamma$ where I do know $\Gamma$ explicit. Is there a way to write down the power series of meromorphic functions, ...
- 6,825
8
votes
1
answer
381
views
Estimating flat norm distance from a planar disc
Let $D\subset\mathbb R^2\subset\mathbb R^n$ be a unit planar disc in $\mathbb R^n$. Let $S$ be an orientable two-dimensional surface in $\mathbb R^n$ such that $\partial S=\partial D$. Of course, we ...
- 32.4k
50
votes
7
answers
16k
views
Way to memorize relations between the Sobolev spaces?
Consider the Sobolev spaces $W^{k,p}(\Omega)$ with a bounded domain $\Omega$ in n-dimensional Euclidean space. When facing the different embedding theorems for the first time, one can certainly feel ...
- 2,935