0
votes
0answers
2 views

Locally Closed Orbits in Real Algebraic Geometry

Let $G$ be a real algebraic group, and let $X$ be an real affine $G$-variety. I am looking for conditions on $G$ and $X$ for which the $G$-orbits are known to be locally closed in the Zariski topology ...
-5
votes
0answers
6 views

Sand dryer centering clamping structure able to achieve centering effect

Bangke is a production of a variety of large machinery and equipment manufacturers, the company mainly to the quality of survival, technology and development, made market-oriented, to the fundamental ...
1
vote
1answer
62 views

deformations of vector bundles on curves

Let $X$ be a smooth algebraic curve. Suppose I have a flat family $V_y\to X$ of vector bundles on $X$ over an affine scheme $S$. Let $p=Spec(k)$ be one geometric point of $S$. If the determinant of ...
2
votes
1answer
62 views

Pictures of the von Neumann polytope

Are there any graphic portrayals of von Neumann polytopes in low dimensions?
4
votes
0answers
36 views

Wrapped Fukaya categories of Stein manifolds

By the work of Abouzaid, we know that the wrapped Fukaya category of $T^\ast Q$ with $Q$ a closed smooth manifold is generated by a cotangent fiber. Basically, this is an application of Abouzaid's ...
0
votes
1answer
48 views

Is the support of two odd theta characteristics on a generic curve disjoint?

Take a canonically embedded generic curve of genus $g$ and denote it by $C \hookrightarrow \mathbb{P}^{g-1}$. There are precisely $2^{g-1} (2^g -1) $ hyperplanes in the ambient space which have ...
0
votes
0answers
27 views

Localization on orbit type submanifolds (generalization of Atiyah-Bott-Berline-Vergne)

In equivariant cohomology, the Atiyah-Bott-Berline-Vergne localization theorem says roughly speaking that the integral of an equivariant cohomology class on the $G$-manifold $M$ has only contributions ...
3
votes
0answers
57 views

“Integrating” solenoidal vector fields

Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...
0
votes
0answers
77 views

path integral and index theorem

I actually have an integral which is used to prove Atiyah-Singer index theorem for spin complex in a path integral fashion. The integral I need to evaluate is following (in simplified form) $\int ...
1
vote
0answers
33 views

Connection between Strebel differentials, ribbon graphs, and Belyi maps

In this paper, a nice story is woven regarding the connection between quadratic differentials on Riemann surfaces, so-called 'ribbon graphs' drawn on those surfaces, and Belyi maps. However, I am ...
-1
votes
0answers
45 views

An isogeny from a split algebraic torus

Suppose that there is an isogeny (in the category of commutative algebraic groups) from a split algebraic torus to a semi-abelian variety. Does it follows that this semi-abelian variety is also an ...
2
votes
0answers
48 views

Explicit equations for conormal bundle to an affine toric variety

Let $L \subset \mathbb{Z}^n$ be a lattice and let $X_L$ be the closed toric subvariety of $\mathbb{C}^n$ cut out by the lattice ideal $I_L = \{x^{l_+} - x^{l_-} \,| \, l_+, l_- \in \mathbb{N}^n \text{ ...
-3
votes
1answer
30 views

convex upper bound of a non-convex function [on hold]

is there any formula for finding convex upper bound of a non-convex function? Like for finding convex lower bound of a non convex function, fenchel dual exists.
1
vote
0answers
61 views

preservation of localness among certain Krull domains

The following question essentially appeared (http://math.stackexchange.com/questions/931801/preservation-of-localness-among-certain-krull-domains) on math.SE a while ago, but nobody has done anything ...
3
votes
1answer
110 views

Containment of two varieties with a lot of intersection

Given a projective variety $X\subset \mathbb P^n$ and a curve $C\subset \mathbb P^n$, when can I conclude that $C\subset X$, from the fact that $C$ and $X$ have 'many' points in common. I.e., is there ...
5
votes
2answers
110 views

Geodesic flow on infinite surfaces

The geodesic flow on a compact hyperbolic surface (i.e. a surface with a riemannian metric of constant curvature $-1$) has been well-studied, in particular it has been known for a long time that it is ...
2
votes
1answer
196 views

Can the Grothendieck ring of varities over a field $k$ be defined for non separated schemes?

The Grothendieck ring of varieties over a field $k$ is the abelian group generated by isomorphim classes $[X]$ of separated, reduced $k$-schemes $X$ of finite type with the relation $[X]=[Y] + ...
0
votes
0answers
140 views

Decomposition of symmetric homogeneous polynomials

Can every symmetric polynomial of degree $r$ in $d$ variables that has no constant term be written as a sum of the $r$th powers of linear polynomials in $d$ variables and a homogeneous polynomial of ...
1
vote
0answers
47 views

Decomposition of Lefschetz fibrations into surface bundles and Lefschetz fibrations over spheres

Assume that $M$ is a Lefschetz fibration with fiber genus $g$ over a base of genus $h>0$ (with at least one singular fiber). What obstructions exist to decomposing $M$ into a surface bundle $S$ of ...
-1
votes
0answers
61 views

Isogeny of abelian varieties over general fields [on hold]

We know that given an abelian variety $X$ over an algebraically closed field $K$ of characteristic $0$ and any integer $n$ the induced map $[n]:X \to X$ is an isogeny. As far as I understand this ...
6
votes
1answer
145 views

Generalizing “variation of parameters”

I'm stuck on generalizing an ODE formula and could use your help! One way to think about "variation of parameters" is that it bakes the solution $z(t)=e^{At}z_0$ of $z'=Az$ (here ...
1
vote
0answers
61 views

On the universal property of certain representable functors and rational sections

Let $P_1,P_2$ be two Hilbert polynomials of subschemes in $\mathbb{P}^n$. Denote by $H_{P_1,P_2}$ the corresponding flag Hilbert scheme (parametrizing pairs $(X\subset Y)$ where $X$ has Hilbert ...
-3
votes
0answers
85 views

Relation between $\text{Hom}_{\mathsf{Alg}_{\mathbb{R}}}(\mathcal{C}^\infty(M),A) $ and $ X \otimes_\mathbb{R} A$? [on hold]

This question is a little bit of a shot in the dark, but maybe someone stumbled over it before... Let $M$ be a (simply connected) smooth manifold modelled on a locally convex space $X$ over ...
8
votes
0answers
106 views

Different notions of convergence of complex subvarieties

Let $X$ be a smooth complex algebraic variety (or, better, complex analytic manifold). Let $\{C_i\}$ be a sequence of compact algebraic subvarieties (resp. analytic reduced subspaces) which converges ...
1
vote
1answer
111 views

An application of the Grauert's upper semi-continuity theorem

Let $X$ be a smooth projective variety, $A$ a complete discrete valuation ring, $Y=\mbox{Spec} A$ and $f:X \to Y$ a smooth, projective, surjective morphism. Denote by $y$ the closed point of $Y$. Let ...
4
votes
1answer
249 views

Besides the tracioid are there other surfaces of revolution that have a constant negative curvature?

There is no surface in $ R^3 $ that can represent the complete hyperbolic plane (Hilberts theorem) so we always have to do with a surface that is not completely equivalent, has a cusp somewhere, but ...
5
votes
0answers
192 views

Singularities arising from the Minimal Model Program (an algebraic point of view)

I will start the story by the end: Is there some characterization of (some of) the singularities arising from the Minimal Model Program (canonical, terminal, log-...) in terms of commutative algebra ...
4
votes
2answers
261 views

Random Vornoi Diagrams (particular measures)

This is my second question about Random Voronoi diagrams, in my first question was given some excellent advice but i was not clear in explaining what i was looking for. I'm interested to know ...
0
votes
0answers
98 views

Does exterior product commute functor Hom?

Let $M$ be an module over the commutative ring $R$. I'd like to ask do we have the following isomorphism? $$Hom_R(\wedge^n_RM,R)\simeq \wedge^n_R Hom_R(M,R)$$ We can obviously see it's true for the ...
-4
votes
0answers
89 views

On the Picard group of a product of projective varieties [on hold]

Let $K$ be a field of characteristic zero, $X$ a smooth projective curve on $K$ and $Y$ a Fano variety over $K$. Consider the natural projection morphism $\mbox{pr}_1$ (resp. $\mbox{pr}_2$) from $X ...
6
votes
1answer
170 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 ...
9
votes
1answer
384 views

Is it easy to prove that $\sum_n |X(\mathbb{F}_{q^n})| t^n$ is rational?

Background: Let $X$ be an algebraic variety over a finite field $\mathbb{F}_q$. One of the successes of Etale cohomology - previously achieved by Dwork- was proving the rationality of the Zeta ...
0
votes
0answers
116 views

When is there a polynomial transformation? [on hold]

First part: given $$\frac{P_1(x_1,x_2,\dots,x_n)}{P_2(x_1,x_2,\dots,x_n)}=\frac{P_3(f(x_1,x_2,\dots,x_n))}{P_4(f(x_1,x_2,\dots,x_n))}|\det (J(f(x_1,x_2,\dots,x_n)))|$$ where $P_i$ is polynomial ( that ...
1
vote
0answers
173 views

Are these two “FUNCTORS” adjoint?

I am considering the following correspondence: Let $X$ be quasi compact quasi separated schemes.Consider a pseudo functor \begin{equation}Sch\rightarrow CAT :U\mapsto Qcoh(U),f:U\rightarrow V\mapsto ...
2
votes
0answers
105 views

If the direct image of f preserves coherent sheaves on notherian schemes,how to show f is proper?

The other direction is well known I think it is true and I was told by several other guys doing algebraic geometry that it is indeed true but they did not know how to prove.I am also wondering whether ...
1
vote
1answer
179 views

Blow-ups and cohomology

I'm trying to understand how to compute the Chow ring of a blow-up. Let $W\subset \mathbb P^4$ be a smooth surface and let $X$ be the blow-up of $\mathbb P^4$ along $W$ with exceptional divisor $E$. ...
7
votes
2answers
584 views

Random Voronoi Diagrams

I'm interested in what research has already been done with regards to the statistics of random voronoi diagrams. I have had a look on google scholar and results are a little inconclusive. I'm ...
7
votes
1answer
217 views

What are the exact holomorphic Lagrangians in complex 2-space?

In an exact symplectic manifold, i.e. where the symplectic form can be written $\omega = d \lambda$, it's natural to look for exact Lagrangians, i.e. $L$ on which $\lambda_L = df$. One reason is ...
2
votes
1answer
102 views

Distance from constant width bodies

EDIT As @David has observed, my conjecture was clearly wrong for $\ n:=2.\ $ Let me still give it a chance for $\ n\ge 3$. I'll call a family $\ F\ $ of bound closed convex subsets of $\ \mathbb ...
4
votes
0answers
154 views

Tannaka categories and reductive groups

The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple. Pro-reductive groups make sense over any scheme. Is there an extension of the theory ...
3
votes
1answer
112 views

Categorical characterization of closed imbeddings

Let $f\colon X\to Y$ be a morphism of schemes. Let $F_X$ and $F_Y$ be the contravariant functors from the category $Sch$ of schemes to the category of sets defined via the Yoneda construction, i.e. ...
3
votes
0answers
86 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 ...
0
votes
0answers
57 views

Nonpositive curvature of Stein manifolds

It is a theorem of Greene and Wu that a complete, simply-connected Kaehler manifold of everywhere nonpositive sectional curvature is a Stein manifold. I am curious about what kinds of additional ...
1
vote
0answers
104 views

Is there such thing as the Gorensteinification of a one-dimensional local ring?

That is, given $A$ local, reduced and one-dimensional, is there a finite extension $A\to B$ where $B$ is Gorenstein?
6
votes
1answer
129 views

Minimizing deep holes in sphere packings

What's the current state of knowledge regarding packings of spheres in $n$-space that minimize the supremum of the sizes of the holes? This notion of tightness is more rigid than asymptotic density. I ...
3
votes
0answers
63 views

Nice minimal embeddings of large finite groups into compact Riemannian manifolds

The initial motivation for this question is a very practical problem: I need to find the absolute minimum of a function on a very large symmetric group $\Sigma_N$ (with $N$ 10000 or more). So if ...
0
votes
1answer
94 views

An unconventional definition of the $ C^{*} $-algebraic reduced crossed product

Let $ (A,G,\alpha) $ be a $ C^{*} $-dynamical system, i.e., $ A $ is a $ C^{*} $-algebra, $ G $ is a locally compact Hausdorff group and $ \alpha $ is a strongly continuous action of $ G $ on $ A $ by ...
11
votes
0answers
99 views

Higher dimensional generalization of: Any quadrilateral tiles the plane?

Any (non-self-intersecting) quadrilateral tiles the plane.     (MathWorld image.) Q. What is the strongest known generalization of this statement to higher dimensions? I.e., ...
2
votes
0answers
58 views

Normal-like coordinates for weakly differentiable metrics

Let $(M,g)$ be a Riemannian $W^{2,p}$ metric, with $p>n/2$. Thus $g$ is at least continuous. At any point $P\in M$, do there exist local coordinates $x^i$ such that $g$ can be decomposed as $g_{ij} ...
5
votes
1answer
108 views

Ham sandwich theorem for discrete measures - reference request

A discrete version of the ham sandwich theorem states as follows (see for instance "Common Hyperplane Medians for Random Vectors" - Hill): For every $\mu_1,...,\mu_n$ discrete (i.e., purely atomic) ...