Consider the following subset of $\mathbb{R}^2$. $$U=\{(x,y):x,y \in \mathbb{R}, x>0\}$$ We can make this into a 1-dimensional complex manifold by giving it a global chart on to the open set of complex numbers with positive real part. $$V=\{z \in \mathbb{C}:Re(z)>0\}$$ Consider the following two identifications, $\phi,\phi^{\prime}$: $$1)\phi(x,y)=x+iy$$ $$2)\phi^{\prime}(x,y)=x+i\frac{y}{a}$$ where $a$ is any non-zero number. In general these two charts aren't holomorphically compatible, so they define two different complex manifolds. I have a hard time wrapping my head around this, what exactly is the difference between the two complex manifolds. I am thinking that they should be very similar since the charts are compatible when you consider them as smooth manifolds. Is there any good example where two incompatible charts give bizarrely different complex manifolds?
2026-03-26 07:56:50.1774511810
Incompatible charts on a complex manifold
221 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in COMPLEX-ANALYSIS
- Minkowski functional of balanced domain with smooth boundary
- limit points at infinity
- conformal mapping and rational function
- orientation of circle in complex plane
- If $u+v = \frac{2 \sin 2x}{e^{2y}+e^{-2y}-2 \cos 2x}$ then find corresponding analytical function $f(z)=u+iv$
- Is there a trigonometric identity that implies the Riemann Hypothesis?
- order of zero of modular form from it's expansion at infinity
- How to get to $\frac{1}{2\pi i} \oint_C \frac{f'(z)}{f(z)} \, dz =n_0-n_p$ from Cauchy's residue theorem?
- If $g(z)$ is analytic function, and $g(z)=O(|z|)$ and g(z) is never zero then show that g(z) is constant.
- Radius of convergence of Taylor series of a function of real variable
Related Questions in DIFFERENTIAL-GEOMETRY
- Smooth Principal Bundle from continuous transition functions?
- Compute Thom and Euler class
- Holonomy bundle is a covering space
- Alternative definition for characteristic foliation of a surface
- Studying regular space curves when restricted to two differentiable functions
- What kind of curvature does a cylinder have?
- A new type of curvature multivector for surfaces?
- Regular surfaces with boundary and $C^1$ domains
- Show that two isometries induce the same linear mapping
- geodesic of infinite length without self-intersections
Related Questions in SMOOTH-MANIFOLDS
- Smooth Principal Bundle from continuous transition functions?
- Possible condition on locally Euclidean subsets of Euclidean space to be embedded submanifold
- "Defining a smooth structure on a topological manifold with boundary"
- Hyperboloid is a manifold
- The graph of a smooth map is a manifold
- A finite group G acts freely on a simply connected manifold M
- An elementary proof that low rank maps cannot be open
- What does it mean by standard coordinates on $R^n$
- Partial Differential Equation using theory of manifolds
- Showing that a diffeomorphism preserves the boundary
Related Questions in COMPLEX-GEOMETRY
- Numerable basis of holomporphic functions on a Torus
- Relation between Fubini-Study metric and curvature
- Hausdorff Distance Between Projective Varieties
- What can the disk conformally cover?
- Some questions on the tangent bundle of manifolds
- Inequivalent holomorphic atlases
- Reason for Graphing Complex Numbers
- Why is the quintic in $\mathbb{CP}^4$ simply connected?
- Kaehler Potential Convexity
- I want the pullback of a non-closed 1-form to be closed. Is that possible?
Related Questions in COMPLEX-MANIFOLDS
- Equality of $C^\infty$-functions on a complex manifold
- Diffeomorphism between two manifolds
- Real Lie group acting on a complex manifold
- Question about the definition of a complex manifold
- What does being "holomorphic at the cusps" mean?
- foliation with many tangencies
- Complex Vector Bundle vs Holomorphic Vector Bundle vs Almost Complex Structures
- Proving that $\mathbb{P}^{n}(\mathbb{C})$ is homeomorphic to $S^{2n+1}/S^{1}$
- Fubini-Study on $\mathbb CP^1$
- Is there a complex structure on $\mathbb{R}^2$ such that $f(x,y) = x-iy$ is analytic?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
I don't have an example of two "bizarrely different complex manifolds", but I can answer your basic question: Let's call the underlying topological space of your manifolds $V$, and the manifolds themselves $M$ and $M'$. The difference between the two manifolds is how you define angles on their underlying topological space. Obviously, there is a standard notion of angles on subspaces of $\mathbb R^n$ via the standard inner product, but when making a complex manifold out of $V$, you're throwing away this notion and instead use the charts to define angles. Take any two smooth, regular (i.e. the tangents are non-zero) curves $\gamma$ and $\eta$ in $M$ and assume they intersect. Then $\tilde\gamma:=\phi\circ\gamma$ and $\tilde\eta:=\phi\circ\eta$ are smooth, regular curves in $\mathbb C$, and they also intersect. Here we can consider the angle between the curves at their intersection, and define: The angle between $\gamma$ and $\eta$ is the angle between $\tilde\gamma$ and $\tilde\eta$. We're essentially reading the angle out of their charts. And another chart $\phi'$ is compatible with $\phi$ only if defining angles via this second chart gives the same angles. Essentially, compatible charts always agree about angles. The reason is that this is one of the main features of conformal maps: conformal maps (which injective holomorphic maps are) are exactly the differentiable maps which preserve angles, and compatibility requires the change of coordinates to be conformal (or injective and holomorphic, which is the same).
Now getting back to your example, you can see that the two charts do not agree about angles. Take two lines: one is the $x$-axis, the other is the line through $(1,1)$ and the origin. The chart $\phi$ tells us that the angle between them is $\frac{\pi}{4}$, or $45^\circ$. But the chart $\phi'$ tells us that the angle is $\operatorname{atan2}(\frac{1}{a},1)$, which is not necessarily $\frac{\pi}{4}$. See here for a description of $\operatorname{atan2}$. It's essentially a function which takes the coordinates of a point and returns its polar angle. One can say that $M'$ is essentially a squished version of $M$.
However, the two are still conformally equivalent. It's just that the conformal map establishing this equivalence will not be the identity on $V$, but the "reverse squishing". Basically, a conformal map $\varphi:M\longrightarrow M'$ must send $(x,y)$ to $(x,ay)$. Because then if we have two intersecting, smooth, regular curves $\gamma$ and $\eta$ on $M$, the curves $\varphi\circ\gamma$ and $\varphi\circ\eta$ will have the same angle between them according to the complex structure of $M'$ as $\gamma$ and $\eta$ have according to the complex structure of $M$.