The analytic-geometry tag has no usage guidance.

**4**

votes

**1**answer

172 views

### GCD in polynomial vs. formal power series rings

I'm having problems finding an appropriate reference for this question.
Given two elements $f, g \in \mathbb{C}[x_1, \dots, x_n]$, consider their greatest common divisor, $\gcd_{\mathbb{C}[x_1, ...

**4**

votes

**0**answers

62 views

### why use Crofton's formula in order to prove log-analyticity of volume?

In their interesting paper "Integration des fonctions sous-analytiques et volumes des sous-ensembles sous-analytiques" Lion and Rollin show that the volume of a fibre $Y_x$ of a globally subanalytic ...

**6**

votes

**1**answer

151 views

### Connectivity of complements of Stein opens

Let $Y$ be an affine open subset of a locally noetherian scheme $X$. Then, $X \setminus Y$ has pure codimension one [EGAIV$_4$, Cor. 21.12.7]. Moreover, if $X$ is proper and of finite type over a ...

**0**

votes

**0**answers

79 views

### Analytification of Poisson structures on an affine variety

It is well known that one can transfer every affine variety $X$ over $\mathbb{C}$ into an analytic space $X^{an}$ in a natural way. This process is called the analytification. My question is that does ...

**2**

votes

**1**answer

125 views

### Conic sections in high dimensions

Can every $n$-dimensional ellipsoid be obtained as a (spherical) conic section?
This is false for generic quadrics but seems true for ellipsoid.
Does anybody have any references?

**1**

vote

**0**answers

49 views

### Dimensions of fibers of analytic map

I must admit that I know nothing about p-adic geometry, so the following question may be completely trivial.
Let $V\subset K^n$ be an affine algebraic variety. Let $D$ be a polydisk, and $F$ be an ...

**5**

votes

**0**answers

88 views

### Finite covers in complex analytic geometry

Given a complex manifold or complex analytic space, one has the standard notion of open set. There are two different Grothendieck topologies that one can define using this notion, one where covers ...

**3**

votes

**1**answer

142 views

### about transverse complete intersection

There are several questions about transverse complete intersection arising from L. Guth's paper:
http://www.ams.org/journals/jams/0000-000-00/S0894-0347-2015-00827-X/home.html
We say a polynomial ...

**0**

votes

**0**answers

61 views

### Good covering of a (singular) curve in a complex surface

Let $W$ be a $2$-dimensional complex manifold and $C\subset W$ a compact complex curve (possibly singular). I would like to know a reference for the following fact: there exists a collection ...

**2**

votes

**1**answer

172 views

### Reference to parabola lemma

I am looking for a previous reference to the following very simple geometric lemma, which I use in my paper [arXiv:1503.03462]:
Let $P$ be the parabola $y=x^2$. Let $a,b,c,d$ be four points on $P$ ...

**0**

votes

**0**answers

48 views

### Pascal and Brianchon's theorems generalized for hyperbolic paraboloid

I know that giving a general version of these two theorems for quadrics can be quite tricky, but if we restrict ourselves to a verssion that holds for the hyperbolic paraboloid only it should be ...

**11**

votes

**3**answers

482 views

### Why does inconstructibility of $\sqrt[3]{2}$ imply impossibility of cube doubling? [closed]

In this question "constructing" and "doubling" is meant in the compass-and-straightedge sense.
On my desk I have five Basic Algebra texts treating constructability in the plane $\mathbb{C}$ or ...

**13**

votes

**1**answer

378 views

### Groups and pregeometries

Definition.
For an infinite structure $\mathcal{A}$ and $cl : P(dom(\mathcal{A})) \longrightarrow P(dom(\mathcal{A}))$ , we say
that $(\mathcal{A}, cl)$ is a structure carrying an $\omega$-homogeneous ...

**3**

votes

**0**answers

125 views

### Universal covering space of a Zariski open subset of projective space

Let $U$ be a Zariski open subset of $\mathbb P^n_{\mathbb C}$. Assume $U$ is the complement of some divisors.
Have the possible universal covering spaces of $U$ been classified?
Do we know when the ...

**4**

votes

**1**answer

245 views

### Simple maps: Flat versus locally trivial

In deformation of complex analytic spaces, one usually considers an analytic proper simple surjective map $\varpi: \mathscr{M} \twoheadrightarrow \mathscr{P}$ as an analytic family. However the term ...

**0**

votes

**1**answer

113 views

### Can an analytic set admit such a foliation?

I confess to be not an expert of analytic geometry, but I have come across the following problem, for which I need an help from experts in this specific field.
I was wondering myself if it is ...

**3**

votes

**1**answer

177 views

### Tangent cone and embedded components

Is it possible for a reduced, equidimensional germ of complex analytic singularity to have a tangent cone with embedded components but without multiple irreducible components?
If it is, how can you ...

**2**

votes

**2**answers

773 views

### supporting facts to fujita conjecture

I came across the Fujita conjecture which is perhaps very widely known. I want to know what are the supporting facts to the truth of the conjecture.
http://en.wikipedia.org/wiki/Fujita_conjecture

**2**

votes

**0**answers

204 views

### Asymptotics vs Puiseux series

Define asymptotic as a class of sequences {$ x_i$},$_{i\in\mathbb N}$ modulo equivalence {$x_i$}={$y_i$} if $\lim_{i\to\infty} (x_i/y_i)=c\in\mathbb R,c\ne 0$.
More, we define $X= \{x_i\} \lt Y= \{ ...

**18**

votes

**0**answers

501 views

### On Determinants of Laplacians on Riemann Surfaces

History of the Formula: In their famous paper "On Determinants of Laplacians on Riemann Surfaces" (1986), D'Hoker and Phong computed the determinant of the Laplacian $\Delta_n^+$ on the space $T^n$ of ...

**2**

votes

**3**answers

184 views

### How to tell if a second-order curve goes below the $x$ axis?

Suppose we have a second-order curve in general form:
(1) $a_{11}x^{2}+2a_{12}xy+a_{22}y^{2}+2a_{13}x+2a_{23}y+a_{33}=0$.
I'd like to know if there is a simple condition that ensures that the curve ...

**0**

votes

**0**answers

150 views

### Asymptotes of hyperbolic sections of a given cone

A book I'm reading (Companion to Concrete Math Vol. I by Melzak) mentions, "...any ellipse occurs as a plane section of any given cone. This is not the case with hyperbolas: for a fixed cone only ...

**5**

votes

**1**answer

370 views

### Topology of theta nulls

Siegel upper half-space, $\mathfrak{h}_g$, consists of symmetric $g\times g$ complex matrices with positive-definite imaginary part. From an element $Z\in \mathfrak{h}_g$ we can construct a theta ...

**10**

votes

**3**answers

557 views

### Geometric realization of Hochschild complex

Let $A$ be a commutative $\mathbb{C}$-algebra, and consider $C_{\bullet}(A,A)$ the simplicial Hochschild homology module of $A$ with respect to itself (i.e. $C_{n}(A,A)=A^{\otimes (n+1)}$). This is a ...

**12**

votes

**0**answers

561 views

### Cohesive ∞-toposes for analytic geometry

There is a class of big ∞-toposes that come with a good supply of intrinsic notions of differential geometry and differential cohomology: called cohesive ∞-toposes (after Lawvere's cohesive toposes).
...

**4**

votes

**3**answers

929 views

### Lattice points close to a line

Take a sheet of grid paper and draw a straight line in any direction from the origin. What is the closest non-zero grid point $\boldsymbol{p}\in\mathbb{Z}^2$ within a distance $\epsilon>0$ of the ...

**7**

votes

**1**answer

476 views

### Pathologies of analytic (non-algebraic) varieties.

Note: By an "analytic non-algebraic" surface below I mean a two dimensional compact analytic variety $X$ (over $\mathbb{C}$) which is not an algebraic variety.
A property of Nagata's example (see ...

**2**

votes

**2**answers

394 views

### If $K$ and $L$ are compact convex sets with smooth boundary, does their union have piecewise-smooth boundary?

Clarification: by "piecewise", I mean a finite number of pieces.
I'm sure this must be true, but my search for a citation was in vain (although I did learn the new term "polyconvex").
Thanks!

**2**

votes

**1**answer

223 views

### Is a compact subset of a Stein space admitting a fundamental system of Stein neighbourhoods necessarily holomorphically convex?

Let X be a Stein manifold and let K be a compact subset of X. Suppose that K possesses in X a fundamental system of neighbourhoods which are Stein spaces. Then, it is a result by Rossi that such a ...

**2**

votes

**1**answer

280 views

### Is the closure of an open holomorphically convex subset of a Stein space holomorphically convex?

Let X be a Stein manifold and U an open, connected, relatively compact, holomorphically convex subset of X. Is the closure of U in X holomorphically convex?
Also, if X is a Stein space with a finite ...

**4**

votes

**0**answers

813 views

### Generalized GAGA

So, I have heard GAGA works for Rigid Analytic spaces. I know next to nothing about this, but it made me curious as to whether there are any other contexts in which GAGA "works". Of course, this is a ...

**13**

votes

**1**answer

1k views

### Are flat morphisms of analytic spaces open?

Let $f:X\to Y$ be a morphism of complex analytic spaces. Assume $f$ is flat (or, more generally, that there is a coherent sheaf on $X$ with support $X$ which is $f$-flat). Is $f$ an open map?
The ...

**6**

votes

**2**answers

790 views

### Embeddings and triangulations of real analytic varieties

This is a follow up question to my answer here How do you define the Euler Characteristic of a scheme?
A real analytic space is a ringed space locally isomorphic to $(X,O/I)$ where $X$ is the zero ...

**7**

votes

**1**answer

1k views

### Did Apollonius invent co-ordinate geometry?

When I read descriptions of Apollonius' treatise on conics, some of them say that he invented co-ordinate geometry, some say that he kind of did and others are silent on the matter. Or is it the case ...