Questions tagged [analytic-geometry]
The analytic-geometry tag has no usage guidance.
111
questions
37
votes
2
answers
2k
views
Residues in several complex variables
I am trying to educate myself about the basics of the theory of residues in several complex variables. As is usually written in the introduction in the textbooks on the topic, the situation is much ...
- 1,180
31
votes
3
answers
4k
views
Complex analytic vs algebraic geometry
This is more of a philosophical or historical question, and I can be totally wrong in what I am about to write next.
It looks to me, that complex-analytic geometry has lost its relative positions ...
- 1,180
19
votes
1
answer
2k
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 ...
- 19.2k
19
votes
1
answer
2k
views
When do real analytic functions form a coherent sheaf?
It is known that, in general, the sheaf of real analytic functions on a real analytic manifold is not coherent. However, there are some examples, where we have coherence: for example, if $X$ is a ...
- 1,234
14
votes
0
answers
709
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).
...
- 19.4k
13
votes
1
answer
683
views
Cotangent Complex in Analytic Category
I am looking for a reference which develops the theory of the cotangent complex for complex analytic spaces. I need this to justify some computations I did assuming some formal properties which hold ...
- 1,721
13
votes
1
answer
1k
views
Geometric interpretation of algebraic tangent cone
Suppose $(A,\mathfrak m)$ is a Neotherian local $k$-algebra with residue field $k$. Then, we define (the coordinate ring of) its algebraic tangent cone to be the $k$-algebra $A_c = \sum_{i\ge 0} \...
- 1,721
12
votes
2
answers
576
views
The $r$-dimensional volume of the Minkowski sum of $n$ ($n\geq r$) line sets
Let $n$ line sets be $\mathcal{S}_i=\{a\mathbf{h}_i:0 \le a \le 1\}$, for $1 \le i \le n$, where $\{\mathbf{h}_1,\cdots,\mathbf{h}_n\}$ is a vector group of rank $r$ in the $r$-dimensional Euclidean ...
- 550
11
votes
3
answers
705
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 $\...
- 792
11
votes
0
answers
244
views
Detecting topology change of tubular neighbourhoods via smoothness of volume function
Let $M$ be an embedded closed manifold in $\mathbb R^n$, define $M_r=\{x\in\mathbb R^n:d(x,M)<r\}$.
Define $r\in\mathcal S_M$ iff $M_r\subset M_{r+\epsilon}$ is not a homotopy equivalence for all ...
- 111
10
votes
4
answers
6k
views
Place of Analytic geometry in modern undergraduate curriculum
I am a freshmen student in mathematics at Moscow State University (in Russia) and I'm confused with placing the subject called "analytic geometry" into the system of mathematical knowledge (if you ...
- 101
10
votes
3
answers
759
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 ...
- 247
10
votes
1
answer
312
views
Is there a divisor in $\mathbb P^2$ such that all analytic maps into its complement algebraize?
Is there a closed subscheme $D$ in $\mathbb P^2_{\mathbb C}$ pure of codimension one such that, for all algebraic varieties $X$ over $\mathbb C$, any analytic map
$$ \phi: X(\mathbb C) \to \mathbb P^...
- 103
10
votes
1
answer
481
views
Does GAGA hold over other topological fields?
If k is a non-discrete topological field, we can define an analytic space over k just like complex analytic spaces over $\mathbb{C}$. If you replace "complex analytic space" and "complex algebraic ...
- 2,080
9
votes
1
answer
749
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 ...
- 4,962
9
votes
2
answers
1k
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 ...
- 23.2k
8
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 ...
- 4,231
8
votes
1
answer
420
views
Easiest proof for showing finite etale (analytic) quotients of algebraic varieties are algebraic
Let $X$ be an algebraic variety over $\mathbb C$. Let $X^{an}\to Y$ be a finite etale morphism with $Y$ a complex analytic space.
I read somewhere that $Y$ algebraizes, ie, $Y=V^{an}$ for some ...
- 81
8
votes
1
answer
498
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 ...
- 1,598
8
votes
0
answers
432
views
What lies between algebraic geometry and analytic geometry?
Algebraic geometry and analytic geometry are closely related (witness GAGA). But the latter still seems much "bigger" than the former. I'd like to be able to get from algebraic geometry to ...
- 59k
8
votes
0
answers
1k
views
Galois descent for schemes over fields
Let $K\subset L$ be a finite galois extension of fields (the case I have in mind is $K=\mathbb{R},L=\mathbb{C}$). Given a scheme $X$ over $K$ by pulling back to $L$ we get a scheme $Y=X\times _K L$ ...
- 953
7
votes
3
answers
883
views
Norms as Points in $C(X)$
$\newcommand\abs[1]{\lvert{#1}\rvert}$Let $X$ be a compact hausdorff space, and put $C(X)$ for the $\mathbb{R}$-algebra of continuous maps from $X$ to $\mathbb{R}$.
For each point $x$, there is a ...
- 4,647
7
votes
1
answer
434
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 ...
- 1,882
7
votes
0
answers
155
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 ...
- 1,168
6
votes
1
answer
520
views
Intersection theory in analytic geometry
This might be a weird/stupid question, but it came to me a couple of times, and I would like to get an answer for that.
In some papers I read, constantly the authors define some analytic subspaces, ...
- 287
6
votes
2
answers
263
views
Contractible real analytic varieties
If a real analytic variety $V$ in $\mathbb{R}^n$ is both bounded and contractible, is it true that $V$ must be a single point?
Here a real analytic variety is the set of zeros of a real analytic ...
- 540
6
votes
1
answer
201
views
Additivity of characteristic cycle of holonomic D-module
Let $\mathcal{M}$ be a holonomic D-module on a complex analytic (or alternatively, algebraic) manifold $X$. One can attach to it (using a good filtration) a characteristic cycle $Ch(\mathcal{M})$ ...
- 20.5k
6
votes
1
answer
200
views
Why are Berkovich spaces locally connected?
A characteristic feature of Berkovich spaces is that they are locally connected (in fact, locally contractible). I'd like to understand the proof. The key ingredient seems to be Corollary 2.2.8 in ...
- 59k
6
votes
1
answer
189
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 ...
- 4,040
6
votes
0
answers
118
views
Integrals of real analytic functions
Let $A\subset \mathbb{R}^{n+m}$ be a compact subanalytic subset. Let $F\colon A\to \mathbb{R}$ be a function which is a restriction to $A$ of a real analytic function defined in a neighborhood of $A$.
...
- 20.5k
6
votes
0
answers
531
views
Pseudo-effective divisor which is not nef in any birational model
Let $X$ be a smooth complex projective algebraic variety and let $D$ be a $\mathbb{Q}$-Cartier pseudo-effective divisor on $X$. Lets say that $D$ is birationally nef
if there exists a birational ...
- 1,585
6
votes
0
answers
1k
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 ...
- 353
5
votes
2
answers
529
views
When is a real-analytic variety a union of non-singular subvarieties?
I have asked this before on MSE, but received no answer yet.
Say I have a set in $\mathbb{R}^n$ defined to be the zero set of an analytic function $F:\mathbb{R}^n\to\mathbb{R}^k$, $k<n$. Everywhere,...
- 212
5
votes
1
answer
554
views
Polynomials (or analytic functions) vanishing on a real algebraic set
I have seen the following result stated several times in the literature, without proof:
Let $\mathbb{K}$ be $\mathbb{R}$ or $\mathbb{C}$, and assume $P\in\mathbb{K}[X_{1},\ldots,X_{n}]$ is an ...
- 3,731
5
votes
1
answer
274
views
Regular sequence from prime ideal
Let $I$ be a prime ideal in $\mathbb{C}\{x_1, \ldots, x_n\}_0$ (the localization at the maximal ideal that defines $0$) and suppose that the height of $I$ is $h$. Then, there is a standard trick to ...
- 1,364
5
votes
1
answer
634
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 ...
- 879
5
votes
1
answer
225
views
Is there a notion of a complex/analytic diffeological space?
I have a bit of a general question. This seems like something you can do, but I can't seem to find much reference for this.. Perhaps something like this already exists in a different guise. But, is ...
- 285
5
votes
1
answer
206
views
Orbits space of real-analytic planar foliations
Consider a foliation of $\mathbb{R}^2$, say coming from the trajectories of a vector field $X$. Its orbit space (the quotient of $\mathbb{R}^2$ by the relation "lying on the same trajectory")...
- 5,289
5
votes
1
answer
305
views
Are continuous rational functions arc-analytic?
Let $X\subseteq\mathbb{R}^n$ be a smooth semi-algebraic set (for simplicity we can assume $X=B(0,r)$ is a small ball around the origin). A function $f:X\rightarrow \mathbb{R}$ is called a continuous ...
- 953
5
votes
0
answers
181
views
Berkovich Integration on algebraic curves
Berkovich developed a theory of integrating one-forms on his analytic spaces in his book "Integration of One-forms on $P$-adic analytic spaces". As this book is difficult to digest for me, I ...
- 445
5
votes
0
answers
316
views
GAGA for vector bundles over Riemann surfaces
Serre’s GAGA theorem gives an equivalence of categories between algebraic and analytic coherent sheaves over a complex projective variety. The proof relies on the finiteness of the cohomologies of ...
- 541
5
votes
0
answers
495
views
How to compute the volume of a region transformed by a matrix?
This is a rewrite of the OP's question to emphasize what I think are the research level issues here.
Let $\mathscr{R}$ be a bounded convex body in $\mathbb{R}^n$ and let $H : \mathbb{R}^n \to \mathbb{...
- 550
5
votes
0
answers
73
views
Subadditivity of multiplier ideals with a pluriharmonic function
I would like to have a reference for the following two facts (if true):
Let $D$ be a nef and big divisor on an algebraic variety $X$ and $h$ a Hermitian metric with minimal singularities on $D$, ...
- 1,585
4
votes
3
answers
2k
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,066
4
votes
3
answers
2k
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 ...
- 551
4
votes
1
answer
250
views
Can an analytic variety extend along a codimension 2 subvariety?
Let $X$ be a smooth, connected, complex analytic variety, and $Y\subset X$ a closed, analytic subvariety of codimension at least 2. Now let $V\subset X\backslash Y$ be a closed, analytic subvariety. ...
- 2,756
4
votes
1
answer
247
views
English reference for Douady/Grauert construction of versal deformations of compact complex spaces
I'm trying to learn about the deformation theory of compact complex spaces. I'm familiar with the case of compact complex manifolds from the paper "On the Locally Complete Families of Complex ...
- 1,721
4
votes
1
answer
562
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 ...
- 2,169
4
votes
1
answer
364
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, \dots,...
user91576
4
votes
1
answer
440
views
Origin of 'Analytic' Geometry?
My impression is that the name analytic geometry, which I understand roughly to be geometry in Euclidean space using coordinates, is not used that much anymore. We would probably classify the subject ...
- 13.4k